diff options
author | Arnaud Charlet <charlet@adacore.com> | 2020-01-01 15:19:05 -0500 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-03 06:01:26 -0400 |
commit | ba2034610fcc0d56dd52cb20c26f9ab1997b520e (patch) | |
tree | 5260826d088dfa1346429c93e923ffd7866428bb /gcc/ada/opt.ads | |
parent | bad8184e3e16dfd4d30099e18e443c4a54b97c83 (diff) | |
download | gcc-ba2034610fcc0d56dd52cb20c26f9ab1997b520e.zip gcc-ba2034610fcc0d56dd52cb20c26f9ab1997b520e.tar.gz gcc-ba2034610fcc0d56dd52cb20c26f9ab1997b520e.tar.bz2 |
[Ada] Remove ASIS tree generation
2020-06-03 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* aspects.adb, aspects.ads, atree.adb, atree.ads, elists.adb,
elists.ads, fname.adb, fname.ads, gnat1drv.adb, lib.adb,
lib.ads, namet.adb, namet.ads, nlists.adb, nlists.ads, opt.adb,
opt.ads, osint-c.adb, osint-c.ads, repinfo.adb, repinfo.ads,
sem_aux.adb, sem_aux.ads, sinput.adb, sinput.ads, stand.ads,
stringt.adb, stringt.ads, switch-c.adb, table.adb, table.ads,
uintp.adb, uintp.ads, urealp.adb, urealp.ads (Tree_Read,
Tree_Write): Remove generation of ASIS trees.
* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
Remove -gnatt and -gnatct documentation.
* gnat_ugn.texi: Regenerate.
* tree_in.ads, tree_in.adb, tree_io.ads, tree_io.adb,
tree_gen.ads, tree_gen.adb, stand.adb: Remove.
* gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Remove
references to tree_gen.o tree_in.o tree_io.o.
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 -- ----------------------------------- |