This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r177001 - in /trunk/gcc/ada: ChangeLog sem_attr...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 01 Aug 2011 08:59:51 -0000
- Subject: r177001 - in /trunk/gcc/ada: ChangeLog sem_attr...
Author: charlet
Date: Mon Aug 1 08:59:50 2011
New Revision: 177001
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177001
Log:
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.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_attr.adb