diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-11-21 12:28:32 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-11-21 12:28:32 +0100 |
commit | 4bf201ed2f9a1c163a02eae24a99440d2790e192 (patch) | |
tree | 94dffdb37fccec41de21492a90bba6c4c418e388 | |
parent | 301680433d60925930ae1699865ab4a7fd3eb6ab (diff) | |
download | gcc-4bf201ed2f9a1c163a02eae24a99440d2790e192.zip gcc-4bf201ed2f9a1c163a02eae24a99440d2790e192.tar.gz gcc-4bf201ed2f9a1c163a02eae24a99440d2790e192.tar.bz2 |
sem_elab.adb: Minor reformatting
2011-11-21 Gary Dismukes <dismukes@adacore.com>
* sem_elab.adb: Minor reformatting
From-SVN: r181562
-rw-r--r-- | gcc/ada/ChangeLog | 20 | ||||
-rw-r--r-- | gcc/ada/sem_elab.adb | 2 |
2 files changed, 21 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 003a23e..5092d57 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,23 @@ +2011-11-21 Gary Dismukes <dismukes@adacore.com> + + * sem_elab.adb: Minor reformatting + +2011-11-21 Robert Dewar <dewar@adacore.com> + + * exp_ch6.adb: Minor reformatting. + +2011-11-21 Ed Schonberg <schonberg@adacore.com> + + * sem_ch12.adb (Check_Formal_Package_Instance): If a formal + subprogram of the formal package is covered by an others + association with a box initialization, no check is needed + against the actual in the instantiation of the formal package. + +2011-11-21 Robert Dewar <dewar@adacore.com> + + * sem_elab.adb (Check_Internal_Call_Continue): Suppress junk + elab warning from within precondition/postcondition etc. + 2011-11-21 Ed Schonberg <schonberg@adacore.com> * exp_ch6.adb (Expand_Actuals): In Ada 2012, a function call diff --git a/gcc/ada/sem_elab.adb b/gcc/ada/sem_elab.adb index d51dae9..ce4cff3 100644 --- a/gcc/ada/sem_elab.adb +++ b/gcc/ada/sem_elab.adb @@ -2133,7 +2133,7 @@ package body Sem_Elab is -- been encountered. A warning message is needed, except if this is the -- case of appearing within an aspect specification that results in -- a check call, we do not really have such a situation, so no warning - -- is needed (e.g., the case of a precondition, where the call appears + -- is needed (e.g. the case of a precondition, where the call appears -- textually before the body, but in actual fact is moved to the -- appropriate subprogram body and so does not need a check). |