diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-31 10:30:58 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-31 10:30:58 +0200 |
| commit | 024238a2bf6ed3340ccd940d3298ccfa2e99b939 (patch) | |
| tree | f77ca573cbf6423419f0fbf0960c552db1cab5ec | |
| parent | d47f523225d50a2858686471e22060d1fd7abfaa (diff) | |
| download | gcc-024238a2bf6ed3340ccd940d3298ccfa2e99b939.zip gcc-024238a2bf6ed3340ccd940d3298ccfa2e99b939.tar.gz gcc-024238a2bf6ed3340ccd940d3298ccfa2e99b939.tar.bz2 | |
Resync
From-SVN: r138367
| -rw-r--r-- | gcc/ada/ChangeLog | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 3d3cc0c..97a860e 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,31 @@ 2008-07-31 Robert Dewar <dewar@adacore.com> + * mlib-utl.ads: Minor reformatting + +2008-07-31 Ed Schonberg <schonberg@adacore.com> + + sem_attr.adb: 'Result can have an ambiguous prefix, and is resolved + from context. This attribute must be usable in Ada95 mode. + The attribute can appear in the body of a function marked + Inline_Always, but in this case the postocondition is not enforced. + + sem_prag.adb (Check_Precondition_Postcondition): within the expansion + of an inlined call pre- and postconditions are legal + +2008-07-31 Vincent Celier <celier@adacore.com> + + * prj.adb, prj.ads, clean.adb, prj-nmsc.adb: Remove declarations that + were for gprmake only + +2008-07-31 Robert Dewar <dewar@adacore.com> + + * gnat_ugn.texi: Update -gnatN documentation. + + * gnat_rm.texi: Add note about pre/postcondition + pragmas not checked in conjunction with front-end inlining. + +2008-07-31 Robert Dewar <dewar@adacore.com> + * g-pehage.adb, g-pehage.ads: Minor reformatting 2008-07-31 Arnaud Charlet <charlet@adacore.com> |