Commit 135da41f by Robert Dewar Committed by Arnaud Charlet

exp_ch6.adb, [...]: Minor reformatting.

2014-08-04  Robert Dewar  <dewar@adacore.com>

	* exp_ch6.adb, sem_util.adb: Minor reformatting.

From-SVN: r213581
parent 6a74a7b0
2014-08-04 Robert Dewar <dewar@adacore.com>
* exp_ch6.adb, sem_util.adb: Minor reformatting.
2014-08-04 Olivier Hainque <hainque@adacore.com>
* a-comutr.ads: Set Root_Node_Type'Alignment to
......
......@@ -5209,11 +5209,11 @@ package body Exp_Ch6 is
-- Analyze call, but something goes wrong in some weird cases
-- and it is not worth worrying about ???
-- The return statement is handled properly, and the call to
-- the postcondition, inserted below, does not require
-- The return statement is handled properly, and the call
-- to the postcondition, inserted below, does not require
-- information from the body either. However, that call is
-- analyzed in the enclosing scope, and an elaboration check
-- might improperly be added to it. A guard in sem_elab is
-- might improperly be added to it. A guard in Sem_Elab is
-- needed to prevent that spurious check, see Check_Elab_Call.
Append_To (S, Rtn);
......
......@@ -1260,7 +1260,7 @@ package body Sem_Util is
procedure Build_Default_Init_Cond_Procedure_Body (Typ : Entity_Id);
-- If type Typ is subject to pragma Default_Initial_Condition, build the
-- body of the procedure which verifies the assumption of the pragma at
-- runtime. The generated body is added after the type declaration.
-- run time. The generated body is added after the type declaration.
--------------------------------------------
-- Build_Default_Init_Cond_Procedure_Body --
......@@ -1406,7 +1406,7 @@ package body Sem_Util is
-- If the type is subject to pragma Default_Initial_Condition,
-- generate the body of the internal procedure which verifies
-- the assertion of the pragma at runtime.
-- the assertion of the pragma at run time.
if Has_Default_Init_Cond (Typ) then
Build_Default_Init_Cond_Procedure_Body (Typ);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment