diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2013-07-08 08:19:20 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-07-08 10:19:20 +0200 |
| commit | 78d432da45406aaeb97b7485f548d07fc3ca7049 (patch) | |
| tree | 7c0c51ec75e08539b1ae46df7140c5e3b9e335b0 /gcc/combine.c | |
| parent | 5884c232046e65f6b617ee69f34b4c90a31b68eb (diff) | |
| download | gcc-78d432da45406aaeb97b7485f548d07fc3ca7049.zip gcc-78d432da45406aaeb97b7485f548d07fc3ca7049.tar.gz gcc-78d432da45406aaeb97b7485f548d07fc3ca7049.tar.bz2 | |
einfo.adb (Get_Pragma): Handle the retrieval of delayed pragmas stored in N_Contract nodes.
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb (Get_Pragma): Handle the retrieval of delayed
pragmas stored in N_Contract nodes.
* einfo.ads (Get_Pragma): Update the comment on usage.
* sem_prag.adb (Check_Precondition_Postcondition): Retain a copy
of the pragma when it applies to a body that acts as a spec. The
copy is preanalyzed and chained on the contract of the body.
From-SVN: r200774
Diffstat (limited to 'gcc/combine.c')
0 files changed, 0 insertions, 0 deletions