diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2008-07-31 10:17:31 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-31 10:17:31 +0200 |
| commit | 3023ce4262d7de329d1082347943a91621b88e1d (patch) | |
| tree | 3ef533639b476810f12a0417048a001d97ae786e /gcc/ada/gcc-interface/gigi.h | |
| parent | aaf891732c67b50f16f81653e19a363251cd2e89 (diff) | |
| download | gcc-3023ce4262d7de329d1082347943a91621b88e1d.zip gcc-3023ce4262d7de329d1082347943a91621b88e1d.tar.gz gcc-3023ce4262d7de329d1082347943a91621b88e1d.tar.bz2 | |
sem_attr.adb: 'Result can have an ambiguous prefix, and is resolved from context.
2008-07-31 Ed Schonberg <schonberg@adacore.com>
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
From-SVN: r138364
Diffstat (limited to 'gcc/ada/gcc-interface/gigi.h')
0 files changed, 0 insertions, 0 deletions