diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-22 10:58:05 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-22 10:58:05 +0000 |
| commit | 9e7efbc0f44d01d5d6b49310907d6a0a60bbcb29 (patch) | |
| tree | 2ec2991b4b703486a13a1e342cad99b4003d833a /gcc/ada/sem_prag.adb | |
| parent | e0717c27d8279b70ab27442c225677dad840ab55 (diff) | |
| download | gcc-9e7efbc0f44d01d5d6b49310907d6a0a60bbcb29.tar.gz | |
2013-04-22 Yannick Moy <moy@adacore.com>
* exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite pragma as
null statement if ignored.
* sem_ch6.adb (Expand_Contract_Cases): Do nothing if pragma is ignored.
* sem_prag.adb (Analyze_Pragma): Keep analyzing ignored pragmas.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198135 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_prag.adb')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 26 |
1 files changed, 1 insertions, 25 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 64bc2e78c78..66d772cc7a1 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -6768,7 +6768,7 @@ package body Sem_Prag is Check_Applicable_Policy (N); - -- If pragma is disable, rewrite as Null statement and skip analysis + -- If pragma is disabled, rewrite as Null statement and skip analysis if Is_Disabled (N) then Rewrite (N, Make_Null_Statement (Loc)); @@ -8733,14 +8733,6 @@ package body Sem_Prag is GNAT_Pragma; Check_Arg_Count (1); - -- Completely ignore if not enabled - - if Is_Ignored (N) then - Rewrite (N, Make_Null_Statement (Loc)); - Analyze (N); - return; - end if; - -- Check the placement of the pragma if not Is_List_Member (N) then @@ -13893,14 +13885,6 @@ package body Sem_Prag is Check_Arg_Count (1); Check_Loop_Pragma_Placement; - -- Completely ignore if not enabled - - if Is_Ignored (N) then - Rewrite (N, Make_Null_Statement (Loc)); - Analyze (N); - return; - end if; - Preanalyze_Assert_Expression (Expression (Arg1), Any_Boolean); -- Transform pragma Loop_Invariant into equivalent pragma Check @@ -13964,14 +13948,6 @@ package body Sem_Prag is Check_At_Least_N_Arguments (1); Check_Loop_Pragma_Placement; - -- Completely ignore if not enabled - - if Is_Ignored (N) then - Rewrite (N, Make_Null_Statement (Loc)); - Analyze (N); - return; - end if; - -- Process all increasing / decreasing expressions Variant := First (Pragma_Argument_Associations (N)); |