| commit | 0dabde3a62d7d8e095c0e0a4bcf97b1dea430179 | |
| author | Ed Schonberg <schonberg@adacore.com> | |
| Thu, 31 Jul 2008 09:42:51 +0000 (31 11:42 +0200) | ||
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | |
| Thu, 31 Jul 2008 09:42:51 +0000 (31 11:42 +0200) | ||
| tree | 1ff9dac3356245eceba1f6077404889d95d51574 | treesnapshot (tar.gz zip) |
| parent | 44527de3a6aa07d7fe48363cc9eb8dd91988a9bb | commitdiff |
sem_ch6.adb (Analyze_Generic_Subprogram_Body): After analysis...
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.
From-SVN: r138372
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.
From-SVN: r138372
| gcc/ada/sem_attr.adb | diffblobblamehistory | |
| gcc/ada/sem_ch6.adb | diffblobblamehistory |