projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c144ca8) | patch
sem_attr.adb: (Analyze_Attribute...
authorEd Schonberg <schonberg@adacore.com>
Tue, 5 Aug 2008 14:37:19 +0000 (16:37 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 5 Aug 2008 14:37:19 +0000 (16:37 +0200)
commit8d9509fd725209f785a5ded6152ff9aa97058cde
tree36be339a1f68d20f83cb834527e20ee802f5b0d6tree | snapshot
parentc144ca8df7c7d54a934b2987a6945d7e75fe39a5commit | diff
sem_attr.adb: (Analyze_Attribute...

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.

From-SVN: r138722
gcc/ada/sem_attr.adb diff | blob | history
Domain: System / Toolchain;