diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2008-07-31 11:42:51 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-31 11:42:51 +0200 |
| commit | 0dabde3a62d7d8e095c0e0a4bcf97b1dea430179 (patch) | |
| tree | 1ff9dac3356245eceba1f6077404889d95d51574 /gcc/ada/gcc-interface | |
| parent | 44527de3a6aa07d7fe48363cc9eb8dd91988a9bb (diff) | |
| download | gcc-0dabde3a62d7d8e095c0e0a4bcf97b1dea430179.zip gcc-0dabde3a62d7d8e095c0e0a4bcf97b1dea430179.tar.gz gcc-0dabde3a62d7d8e095c0e0a4bcf97b1dea430179.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions