| commit | 8d9509fd725209f785a5ded6152ff9aa97058cde | |
| author | Ed Schonberg <schonberg@adacore.com> | |
| Tue, 5 Aug 2008 14:37:19 +0000 (5 16:37 +0200) | ||
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | |
| Tue, 5 Aug 2008 14:37:19 +0000 (5 16:37 +0200) | ||
| tree | 36be339a1f68d20f83cb834527e20ee802f5b0d6 | treesnapshot (tar.gz zip) |
| parent | c144ca8df7c7d54a934b2987a6945d7e75fe39a5 | commitdiff |
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
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 | diffblobblamehistory |