diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-26 14:49:56 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-26 14:49:56 +0100 |
| commit | 65564d08a267dbc7f56c069161b7cd44ffe84164 (patch) | |
| tree | 1b33af4080c74c8a3723bc10f6095775be68c37a /gcc/ada/sinfo.adb | |
| parent | 2b054f631a94b4af133e564f9995473aaabd4911 (diff) | |
| download | gcc-65564d08a267dbc7f56c069161b7cd44ffe84164.zip gcc-65564d08a267dbc7f56c069161b7cd44ffe84164.tar.gz gcc-65564d08a267dbc7f56c069161b7cd44ffe84164.tar.bz2 | |
[multiple changes]
2010-01-26 Robert Dewar <dewar@adacore.com>
* par_sco.adb (Traverse_Declarations_Or_Statements): Only generate
decisions for pragmas Assert, Check, Precondition, Postcondition if
-gnata set.
* scos.ads: Update comments.
* get_scos.adb, put_scos.adb: Minor fix to code reading statement SCOs.
Also remove obsolete code for CT (exit point) SCOs.
2010-01-26 Thomas Quinot <quinot@adacore.com>
* switch-c.adb: Fix handling of -gnatz*
From-SVN: r156247
Diffstat (limited to 'gcc/ada/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index f4c171c..73377f1 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -2257,14 +2257,6 @@ package body Sinfo is return Node4 (N); end Parent_Spec; - function PPC_Enabled - (N : Node_Id) return Boolean is - begin - pragma Assert (False - or else NT (N).Nkind = N_Pragma); - return Flag5 (N); - end PPC_Enabled; - function Position (N : Node_Id) return Node_Id is begin @@ -2281,6 +2273,14 @@ package body Sinfo is return List2 (N); end Pragma_Argument_Associations; + function Pragma_Enabled + (N : Node_Id) return Boolean is + begin + pragma Assert (False + or else NT (N).Nkind = N_Pragma); + return Flag5 (N); + end Pragma_Enabled; + function Pragma_Identifier (N : Node_Id) return Node_Id is begin @@ -5135,14 +5135,6 @@ package body Sinfo is Set_Node4 (N, Val); -- semantic field, no parent set end Set_Parent_Spec; - procedure Set_PPC_Enabled - (N : Node_Id; Val : Boolean := True) is - begin - pragma Assert (False - or else NT (N).Nkind = N_Pragma); - Set_Flag5 (N, Val); - end Set_PPC_Enabled; - procedure Set_Position (N : Node_Id; Val : Node_Id) is begin @@ -5159,6 +5151,14 @@ package body Sinfo is Set_List2_With_Parent (N, Val); end Set_Pragma_Argument_Associations; + procedure Set_Pragma_Enabled + (N : Node_Id; Val : Boolean := True) is + begin + pragma Assert (False + or else NT (N).Nkind = N_Pragma); + Set_Flag5 (N, Val); + end Set_Pragma_Enabled; + procedure Set_Pragma_Identifier (N : Node_Id; Val : Node_Id) is begin |