diff options
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 30 |
1 files changed, 6 insertions, 24 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index d60380d..ebd5a78 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -242,9 +242,9 @@ package Opt is -- GNAT -- If set True, enables back annotation of representation information -- by gigi, even in -gnatc mode. This is set True by the use of -gnatR - -- (list representation information) or -gnatt (generate tree). It is - -- also set true if certain Unchecked_Conversion instantiations require - -- checking based on annotated values. + -- (list representation information). It is also set true if certain + -- Unchecked_Conversion instantiations require checking based on annotated + -- values. Back_End_Handles_Limited_Types : Boolean; -- This flag is set true if the back end can properly handle limited or @@ -704,10 +704,10 @@ package Opt is -- Indicates the current setting of Fast_Math mode, as set by the use -- of a Fast_Math pragma (set True by Fast_Math (On)). - Force_ALI_Tree_File : Boolean := False; + Force_ALI_File : Boolean := False; -- GNAT - -- Force generation of ALI file even if errors are encountered. Also forces - -- generation of tree file if -gnatt is also set. Set on by use of -gnatQ. + -- Force generation of ALI file even if errors are encountered. + -- Set on by use of -gnatQ. Disable_ALI_File : Boolean := False; -- GNAT @@ -1644,10 +1644,6 @@ package Opt is -- Set True to treat pragma Restrictions as Restriction_Warnings. Set by -- -gnatr switch. - Tree_Output : Boolean := False; - -- GNAT - -- Set to True (-gnatt) to generate output tree file - Try_Semantics : Boolean := False; -- GNAT -- Flag set to force attempt at semantic analysis, even if parser errors @@ -2232,20 +2228,6 @@ package Opt is -- be in the spec of Expander, but it is referenced by Errout, and it -- really seems wrong for Errout to depend on Expander. - ----------------------- - -- Tree I/O Routines -- - ----------------------- - - procedure Tree_Read; - -- Reads switch settings from current tree file using Tree_Read - - procedure Tree_Write; - -- Writes out switch settings to current tree file using Tree_Write - - Tree_Version_String : String_Access; - -- Used to store the compiler version string read from a tree file to check - -- if it is from the same date as stored in the version string in Gnatvsn. - ----------------------------------- -- Modes for Formal Verification -- ----------------------------------- |