r177001 - in /trunk/gcc/ada: ChangeLog sem_attr...

[charlet@gcc.gnu.org]

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