From: Arnaud Charlet Date: Thu, 31 Jul 2008 09:43:09 +0000 (+0200) Subject: Resync X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=b38c3c9e469195d5d26a8b82b869b3de7fb181dd;p=platform%2Fupstream%2Fgcc.git Resync From-SVN: r138373 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 97a860e..92023b0 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,30 @@ 2008-07-31 Robert Dewar + * einfo.adb (Spec_PPC): Now defined for generic subprograms + + * einfo.ads (Spec_PPC): Now defined for generic subprograms + + * sem_prag.adb (Check_Precondition_Postcondition): Handle generic + subprogram case + +2008-07-31 Vincent Celier + + * s-os_lib.adb: Minor comment fix + +2008-07-31 Ed Schonberg + + * sem_ch6.adb (Analyze_Generic_Subprogram_Body): After analysis, + transfer pre/postconditions from generic copy to original tree, so that + they will appear in each instance. + (Process_PPCs): Do not transform postconditions into a procedure in a + generic context, to prevent double expansion of check pragmas. + + * sem_attr.adb: In an instance, the prefix of the 'result attribute + can be the renaming of the + current instance, so check validity of the name accordingly. + +2008-07-31 Robert Dewar + * mlib-utl.ads: Minor reformatting 2008-07-31 Ed Schonberg