diff options
| author | Robert Dewar <dewar@adacore.com> | 2013-09-10 14:56:41 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-09-10 16:56:41 +0200 |
| commit | 7fe6c026821c350ac3d8e6c005f03ca6ff831677 (patch) | |
| tree | 82895488fd4b208b6f38e6064fe55f999dd81b60 /gcc/ada/adaint.c | |
| parent | 15e934bf713f8a57abdd0d93d17deac3340e5158 (diff) | |
| download | gcc-7fe6c026821c350ac3d8e6c005f03ca6ff831677.zip gcc-7fe6c026821c350ac3d8e6c005f03ca6ff831677.tar.gz gcc-7fe6c026821c350ac3d8e6c005f03ca6ff831677.tar.bz2 | |
exp_prag.adb (Expand_Pragma_Check): Ignore pragma if Is_Ignored set.
2013-09-10 Robert Dewar <dewar@adacore.com>
* exp_prag.adb (Expand_Pragma_Check): Ignore pragma if Is_Ignored set.
* sem_ch13.adb (Make_Aitem_Pragma): Set Is_Checked if needed.
* sem_prag.adb (Check_Kind): Moved from spec (Analyze_Pragma):
Make sure Is_Ignored/Is_Checked are set right (Analyze_Pragma,
case Check): Ditto (Check_Applicable_Policy): Handle
Statement_Assertion case Throughout, set and check the Is_Checked
flag as appropriate.
* sem_prag.ads (Check_Kind): Moved to body.
* sinfo.ads, sinfo.adb (Is_Checked): New flag.
From-SVN: r202457
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions