From 7fe6c026821c350ac3d8e6c005f03ca6ff831677 Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Tue, 10 Sep 2013 14:56:41 +0000 Subject: exp_prag.adb (Expand_Pragma_Check): Ignore pragma if Is_Ignored set. 2013-09-10 Robert Dewar * 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 --- gcc/ada/sinfo.adb | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'gcc/ada/sinfo.adb') 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 -- cgit v1.1