OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Put a couple of options in alphabetical order

Browse Source 
2020-06-03  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* opt.ads (Disable_FE_Inline): Move around.
	(Disable_FE_Inline_Always): Likewise.
This commit is contained in:
Eric Botcazou 2020-01-06 10:12:44 +01:00 committed by Pierre-Marie de Rodat
parent cf9e38295f
commit bad8184e3e
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
gcc/ada/opt.ads
View File

@ -492,6 +492,15 @@ package Opt is
-- PROJECT MANAGER
-- Set to False with switch -f of gnatclean and gprclean
Disable_FE_Inline : Boolean := False;
Disable_FE_Inline_Always : Boolean := False;
-- GNAT
-- Request to disable front end inlining from pragma Inline or pragma
-- Inline_Always out of the presence of the -fno-inline back end flag
-- on the command line, regardless of any other switches that are set.
-- It remains the back end's reponsibility to honor -fno-inline at the
-- back end level.
Display_Compilation_Progress : Boolean := False;
-- GNATMAKE, GPRBUILD
-- Set True (-d switch) to display information on progress while compiling
@ -1514,15 +1523,6 @@ package Opt is
-- with'ed indirectly. It is set True by use of either the -gnatg or
-- -gnaty switches, but not by use of the Style_Checks pragma.
Disable_FE_Inline : Boolean := False;
Disable_FE_Inline_Always : Boolean := False;
-- GNAT
-- Request to disable front end inlining from pragma Inline or pragma
-- Inline_Always out of the presence of the -fno-inline back end flag
-- on the command line, regardless of any other switches that are set.
-- It remains the back end's reponsibility to honor -fno-inline at the
-- back end level.
Suppress_Control_Flow_Optimizations : Boolean := False;
-- GNAT
-- Set by -fpreserve-control-flow. Suppresses control flow optimizations