diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2008-08-01 11:03:23 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-01 11:03:23 +0200 |
| commit | 14037bbc9c7d2229754399f96ad6fa2cb6ee6161 (patch) | |
| tree | 046c01c8d47e6a5aa0b78b8f8fe6922d1f9515a9 /gcc/tree-ssa-pre.c | |
| parent | 8045c479546de9d456e1be06d8d8f1dbc922684f (diff) | |
| download | gcc-14037bbc9c7d2229754399f96ad6fa2cb6ee6161.zip gcc-14037bbc9c7d2229754399f96ad6fa2cb6ee6161.tar.gz gcc-14037bbc9c7d2229754399f96ad6fa2cb6ee6161.tar.bz2 | |
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
Diffstat (limited to 'gcc/tree-ssa-pre.c')
0 files changed, 0 insertions, 0 deletions