diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-08-04 12:54:59 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 14:54:59 +0200 |
| commit | 135da41f0d468b1f90c7ddcc6d965ba47b17ad5b (patch) | |
| tree | c2499ab7caf52ea25226d3f6516f0978d57481b2 | |
| parent | 6a74a7b056cc46079cd4146f25ee22708f473ac5 (diff) | |
| download | gcc-135da41f0d468b1f90c7ddcc6d965ba47b17ad5b.zip gcc-135da41f0d468b1f90c7ddcc6d965ba47b17ad5b.tar.gz gcc-135da41f0d468b1f90c7ddcc6d965ba47b17ad5b.tar.bz2 | |
exp_ch6.adb, [...]: Minor reformatting.
2014-08-04 Robert Dewar <dewar@adacore.com>
* exp_ch6.adb, sem_util.adb: Minor reformatting.
From-SVN: r213581
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/exp_ch6.adb | 6 | ||||
| -rw-r--r-- | gcc/ada/sem_util.adb | 4 |
3 files changed, 9 insertions, 5 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 49127ff..3f10d88 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +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 diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index 82c8787..9746416 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -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); diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index d55d7c5..6759903 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -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); |