diff options
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index e595b08..73f9fe8 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -746,9 +746,20 @@ package Opt is -- Possible legal modes that can be set by aspect/pragma Ghost as well as -- value None, which indicates that no such aspect/pragma applies. - Ghost_Mode : Ghost_Mode_Type := None; + type Ghost_Config_Type is record + Ghost_Mode : Ghost_Mode_Type := None; + -- The current Ghost mode in effect + + Ignored_Ghost_Region : Node_Id := Empty; + -- The start of the current ignored Ghost region. This value must always + -- reflect the starting node of the outermost ignored Ghost region. If a + -- nested ignored Ghost region is entered, the value must remain + -- unchanged. + end record; + + Ghost_Config : Ghost_Config_Type; -- GNAT - -- The current Ghost mode in effect + -- All relevant Ghost mode settings Global_Discard_Names : Boolean := False; -- GNAT, GNATBIND @@ -810,12 +821,6 @@ package Opt is -- use of -gnateu, causing subsequent unrecognized switches to result in -- a warning rather than an error. - Ignored_Ghost_Region : Node_Id := Empty; - -- GNAT - -- The start of the current ignored Ghost region. This value must always - -- reflect the starting node of the outermost ignored Ghost region. If a - -- nested ignored Ghost region is entered, the value must remain unchanged. - Implicit_Packing : Boolean := False; -- GNAT -- If set True, then a Size attribute clause on an array is allowed to |