This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r138722 - /trunk/gcc/ada/sem_attr.adb
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 05 Aug 2008 14:37:20 -0000
- Subject: r138722 - /trunk/gcc/ada/sem_attr.adb
Author: charlet
Date: Tue Aug 5 14:37:19 2008
New Revision: 138722
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138722
Log:
2008-08-05 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb:
(Analyze_Attribute, case 'Result): handle properly the case where some
operand of the expression in a post-condition generates a transient
block.
Modified:
trunk/gcc/ada/sem_attr.adb