diff options
Diffstat (limited to 'gcc/ada/opt.ads')
-rw-r--r-- | gcc/ada/opt.ads | 19 |
1 files changed, 4 insertions, 15 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index a6c0cf3..5eac7ed 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -486,11 +486,6 @@ package Opt is -- GNAT -- Set to True to generate full elaboration warnings (-gnatwl) - Enable_Overflow_Checks : Boolean := False; - -- GNAT - -- Set to True if -gnato (enable overflow checks) switch is set, - -- but not -gnatp. - Error_Msg_Line_Length : Nat := 0; -- GNAT -- Records the error message line length limit. If this is set to zero, @@ -1068,12 +1063,6 @@ package Opt is -- True if output of list of objects is requested (-O switch set). List is -- output under the given filename, or standard output if not specified. - Overflow_Checks_Unsuppressed : Boolean := False; - -- GNAT - -- This flag is True if there has been at least one pragma with the - -- effect of unsuppressing overflow checks, meaning that a more careful - -- check of the current mode is required. - Persistent_BSS_Mode : Boolean := False; -- GNAT -- True if a Persistent_BSS configuration pragma is in effect, causing @@ -1252,10 +1241,10 @@ package Opt is Suppress_Options : Suppress_Record; -- GNAT - -- Flags set True to suppress corresponding check, i.e. add an implicit - -- pragma Suppress at the outer level of each unit compiled. Note that - -- these suppress actions can be overridden by the use of the Unsuppress - -- pragma. This variable is initialized by Osint.Initialize. + -- Indicates outer level setting of check suppression. This initializes + -- the settings of the outer scope level in any unit compiled. This is + -- initialized by Osint.Initialize, and further initialized by the + -- Adjust_Global_Switches flag in Gnat1drv. Suppress_Back_Annotation : Boolean := False; -- GNAT |