projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8045c47) | patch
2008-08-01 Ed Schonberg <schonberg@adacore.com>
authorEd Schonberg <schonberg@adacore.com>
Fri, 1 Aug 2008 09:03:23 +0000 (11:03 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 1 Aug 2008 09:03:23 +0000 (11:03 +0200)
commit14037bbc9c7d2229754399f96ad6fa2cb6ee6161
tree046c01c8d47e6a5aa0b78b8f8fe6922d1f9515a9tree | snapshot
parent8045c479546de9d456e1be06d8d8f1dbc922684fcommit | diff
2008-08-01  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb:
(Check_Precondition_Postcondition): If not generating code, analyze the
expression in a postcondition that appears in a subprogram body, so that
it is properly decorated for ASIS use.

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