OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

exp_util.ads, [...]: Minor reformatting. 

2016-05-02  Gary Dismukes  <dismukes@adacore.com>

	* exp_util.ads, sem_ch12.adb: Minor reformatting.

From-SVN: r235743
This commit is contained in:
Gary Dismukes 2016-05-02 10:31:25 +00:00 committed by Arnaud Charlet
parent 89d3b1a133
commit 14c3ae9af8
3 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ada/ChangeLog
View File

@ -1,3 +1,7 @@
2016-05-02 Gary Dismukes <dismukes@adacore.com>
* exp_util.ads, sem_ch12.adb: Minor reformatting.
2016-05-02 Javier Miranda <miranda@adacore.com>
* exp_util.ads, exp_util.adb (Force_Evaluation): Adding new formal.

6
gcc/ada/exp_util.ads
View File

@ -542,8 +542,8 @@ package Exp_Util is
-- of the same expression won't generate multiple side effects, whereas
-- Force_Evaluation further guarantees that all evaluations will yield
-- the same result. If Mode is Relaxed then calls to this subprogram have
-- no effect if Exp is side-effects free; if Mode is Strict and Exp is not
-- a static expression then no side-effects check is performed on Exp and
-- no effect if Exp is side-effect free; if Mode is Strict and Exp is not
-- a static expression then no side-effect check is performed on Exp and
-- temporaries are unconditionally generated.
--
-- Related_Id denotes the entity of the context where Expr appears. Flags
@ -985,7 +985,7 @@ package Exp_Util is
(L : List_Id;
Name_Req : Boolean := False;
Variable_Ref : Boolean := False) return Boolean;
-- Determines if all elements of the list L are side effect free. Name_Req
-- Determines if all elements of the list L are side-effect free. Name_Req
-- and Variable_Ref are as described above.
procedure Silly_Boolean_Array_Not_Test (N : Node_Id; T : Entity_Id);

8
gcc/ada/sem_ch12.adb
View File

@ -5759,7 +5759,7 @@ package body Sem_Ch12 is
--------------------
procedure Check_Mismatch (B : Boolean) is
-- a Formal_Type_Declaration for a derived private type is rewritten
-- A Formal_Type_Declaration for a derived private type is rewritten
-- as a private extension decl. (see Analyze_Formal_Derived_Type),
-- which is why we examine the original node.
@ -5927,9 +5927,9 @@ package body Sem_Ch12 is
-- If the formal entity comes from a formal declaration, it was
-- defaulted in the formal package, and no check is needed on it.
elsif
Nkind_In (Original_Node (Parent (E2)),
N_Formal_Object_Declaration, N_Formal_Type_Declaration)
elsif Nkind_In (Original_Node (Parent (E2)),
N_Formal_Object_Declaration,
N_Formal_Type_Declaration)
then
goto Next_E;