diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-31 11:43:09 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-31 11:43:09 +0200 |
| commit | b38c3c9e469195d5d26a8b82b869b3de7fb181dd (patch) | |
| tree | 04584a60191b73d3f189233e2d99ddf13717988c /gcc | |
| parent | 0dabde3a62d7d8e095c0e0a4bcf97b1dea430179 (diff) | |
| download | gcc-b38c3c9e469195d5d26a8b82b869b3de7fb181dd.zip gcc-b38c3c9e469195d5d26a8b82b869b3de7fb181dd.tar.gz gcc-b38c3c9e469195d5d26a8b82b869b3de7fb181dd.tar.bz2 | |
Resync
From-SVN: r138373
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 25 |
1 files changed, 25 insertions, 0 deletions
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 <dewar@adacore.com> + * 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 <celier@adacore.com> + + * s-os_lib.adb: Minor comment fix + +2008-07-31 Ed Schonberg <schonberg@adacore.com> + + * 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 <dewar@adacore.com> + * mlib-utl.ads: Minor reformatting 2008-07-31 Ed Schonberg <schonberg@adacore.com> |