+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.
-- 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
(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);
--------------------
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.
-- 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;