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/sinfo.adb | |
| 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/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index c8eab8a..6cb18c1 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -1732,6 +1732,15 @@ package body Sinfo is return Flag16 (N); end Is_Boolean_Aspect; + function Is_Checked + (N : Node_Id) return Boolean is + begin + pragma Assert (False + or else NT (N).Nkind = N_Aspect_Specification + or else NT (N).Nkind = N_Pragma); + return Flag11 (N); + end Is_Checked; + function Is_Component_Left_Opnd (N : Node_Id) return Boolean is begin @@ -4840,6 +4849,15 @@ package body Sinfo is Set_Flag16 (N, Val); end Set_Is_Boolean_Aspect; + procedure Set_Is_Checked + (N : Node_Id; Val : Boolean := True) is + begin + pragma Assert (False + or else NT (N).Nkind = N_Aspect_Specification + or else NT (N).Nkind = N_Pragma); + Set_Flag11 (N, Val); + end Set_Is_Checked; + procedure Set_Is_Component_Left_Opnd (N : Node_Id; Val : Boolean := True) is begin |