git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[Ada] Minor reformattings 

2018-12-11  Gary Dismukes  <dismukes@adacore.com>

gcc/ada/

	* exp_util.ads: Use preferred U.S. spelling of "honored".
	* sem_spark.adb: Remove extra whitespace.

From-SVN: r266997
This commit is contained in:
Gary Dismukes 2018-12-11 11:10:48 +00:00 committed by Pierre-Marie de Rodat
parent e2819941fc
commit 371e21cf90
3 changed files with 12 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/ChangeLog
View File

@ -1,3 +1,8 @@
2018-12-11 Gary Dismukes <dismukes@adacore.com>
* exp_util.ads: Use preferred U.S. spelling of "honored".
* sem_spark.adb: Remove extra whitespace.
2018-12-11 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Insert_Action): Add new formal parameter

8
gcc/ada/exp_util.ads
View File

@ -96,7 +96,7 @@ package Exp_Util is
-- above. The action is analyzed using the default checks after it is
-- inserted. Assoc_Node is the node with which the action is associated.
-- When flag Spec_Expr_OK is set, insertions triggered in the context of
-- spec expressions are honoured, even though they contradict "Handling
-- spec expressions are honored, even though they contradict "Handling
-- of Default and Per-Object Expressions".
procedure Insert_Action
@ -109,7 +109,7 @@ package Exp_Util is
-- by the given Suppress argument after it is inserted. Assoc_Node is
-- the node with which the action is associated. When flag Spec_Expr_OK
-- is set, insertions triggered in the context of spec expressions are
-- honoured, even though they contradict "Handling of Default and Per-
-- honored, even though they contradict "Handling of Default and Per-
-- Object Expressions".
procedure Insert_Actions
@ -121,7 +121,7 @@ package Exp_Util is
-- after they are inserted. Assoc_Node is the node with which the actions
-- are associated. Ins_Actions may be No_List, in which case the call has
-- no effect. When flag Spec_Expr_OK is set, insertions triggered in the
-- context of spec expressions are honoured, even though they contradict
-- context of spec expressions are honored, even though they contradict
-- "Handling of Default and Per-Object Expressions".
procedure Insert_Actions
@ -135,7 +135,7 @@ package Exp_Util is
-- Assoc_Node is the node with which the actions are associated. List
-- Ins_Actions may be No_List, in which case the call has no effect.
-- When flag Spec_Expr_OK is set, insertions triggered in the context of
-- spec expressions are honoured, even though they contradict "Handling
-- spec expressions are honored, even though they contradict "Handling
-- of Default and Per-Object Expressions".
procedure Insert_Action_After

6
gcc/ada/sem_spark.adb
View File

@ -230,8 +230,8 @@ package body Sem_SPARK is
--------------------
procedure Perm_Mismatch
(Exp_Perm, Act_Perm : Perm_Kind;
N : Node_Id);
(Exp_Perm, Act_Perm : Perm_Kind;
N : Node_Id);
-- Issues a continuation error message about a mismatch between a
-- desired permission Exp_Perm and a permission obtained Act_Perm. N
-- is the node on which the error is reported.
@ -1652,7 +1652,7 @@ package body Sem_SPARK is
if Present (Iteration_Scheme (Loop_N)) then
declare
Exit_Env : constant Perm_Env_Access := new Perm_Env;
Exit_Env : constant Perm_Env_Access := new Perm_Env;
begin
Copy_Env (From => Current_Perm_Env, To => Exit_Env.all);