sem_attr.adb (Analyze_Attribute, [...]): Handle properly a quantified expression...
authorEd Schonberg <schonberg@adacore.com>
Mon, 1 Aug 2011 08:59:50 +0000 (08:59 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 1 Aug 2011 08:59:50 +0000 (10:59 +0200)
commit67e28ef818ad694185e3738dad037864d2c51240
treec97b4b0bfb9c203a519611dae003a263130a3d97
parent57044b5af1c270378dd02087bb48c48cd6786d6e
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
gcc/ada/ChangeLog
gcc/ada/sem_attr.adb