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 3d3cc0cbf743..97a860e93b5b 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,29 @@ +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 -- 2.47.2