diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2011-08-01 08:59:50 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-01 10:59:50 +0200 |
| commit | 67e28ef818ad694185e3738dad037864d2c51240 (patch) | |
| tree | c97b4b0bfb9c203a519611dae003a263130a3d97 /gcc/final.c | |
| parent | 57044b5af1c270378dd02087bb48c48cd6786d6e (diff) | |
| download | gcc-67e28ef818ad694185e3738dad037864d2c51240.zip gcc-67e28ef818ad694185e3738dad037864d2c51240.tar.gz gcc-67e28ef818ad694185e3738dad037864d2c51240.tar.bz2 | |
sem_attr.adb (Analyze_Attribute, [...]): Handle properly a quantified expression that appears within a postcondition and...
2011-08-01 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Analyze_Attribute, case 'Result): Handle properly a
quantified expression that appears within a postcondition and uses the
Ada2012 'Result attribute.
From-SVN: r177001
Diffstat (limited to 'gcc/final.c')
0 files changed, 0 insertions, 0 deletions