diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-05 15:36:47 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-05 15:36:47 +0000 |
| commit | 8f1fc867e5a31662664758fc405b82017e74cfbc (patch) | |
| tree | e0c8b07c07d3e9ee843137e6e4f27761d35a1df3 /gcc/ada/opt.ads | |
| parent | 217a36050a351d990f922f810e8f96b70252e667 (diff) | |
| download | gcc-8f1fc867e5a31662664758fc405b82017e74cfbc.tar.gz | |
2011-08-05 Robert Dewar <dewar@adacore.com>
* a-cbmutr.adb: Minor reformatting
(Allocate_Node): refactor node allocation algorithm
2011-08-05 Robert Dewar <dewar@adacore.com>
* opt.ads, opt.adb (Debug_Pragmas_Disabled): New switch.
* sem_prag.adb (Analyze_Pragma, case Debug_Policy): Implement Disable
mode.
(Analyze_Pragma, case Check_Policy): Ditto.
* sem_prag.ads (Check_Disabled): New function
* snames.ads-tmpl: Add Name_Disable.
2011-08-05 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document implementation-defined policy DISABLE for
pragmas Assertion_Policy, Check_Policy, Debug_Policy.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177459 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index d7cde533426..a9c2d9f7570 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -374,6 +374,10 @@ package Opt is -- GNAT -- Enable debug statements from pragma Debug + Debug_Pragmas_Disabled : Boolean := False; + -- GNAT + -- Debug pragmas completely disabled (no semantic checking) + subtype Debug_Level_Value is Nat range 0 .. 3; Debugger_Level : Debug_Level_Value := 0; -- GNATBIND @@ -1661,6 +1665,11 @@ package Opt is -- terminated by Empty. The order is most recently processed first. This -- list includes only those pragmas in configuration pragma files. + Debug_Pragmas_Disabled_Config : Boolean; + -- GNAT + -- This is the value of the configuration switch for debug pragmas disabled + -- mode, as possibly set by use of the configuration pragma Debug_Policy. + Debug_Pragmas_Enabled_Config : Boolean; -- GNAT -- This is the value of the configuration switch for debug pragmas enabled @@ -1885,6 +1894,7 @@ private Assertions_Enabled : Boolean; Assume_No_Invalid_Values : Boolean; Check_Policy_List : Node_Id; + Debug_Pragmas_Disabled : Boolean; Debug_Pragmas_Enabled : Boolean; Default_Pool : Node_Id; Dynamic_Elaboration_Checks : Boolean; |