From 024238a2bf6ed3340ccd940d3298ccfa2e99b939 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 31 Jul 2008 10:30:58 +0200 Subject: [PATCH] Resync From-SVN: r138367 --- gcc/ada/ChangeLog | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) 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 + * mlib-utl.ads: Minor reformatting + +2008-07-31 Ed Schonberg + + 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 + + * prj.adb, prj.ads, clean.adb, prj-nmsc.adb: Remove declarations that + were for gprmake only + +2008-07-31 Robert Dewar + + * 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 + * g-pehage.adb, g-pehage.ads: Minor reformatting 2008-07-31 Arnaud Charlet -- 2.7.4