diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-01-06 10:12:44 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-03 06:01:25 -0400 |
| commit | bad8184e3e16dfd4d30099e18e443c4a54b97c83 (patch) | |
| tree | a92a937d65a772ef5b64746e31f64a077dbba0de /gcc/ada | |
| parent | cf9e38295f751336e2ce4bc08fe8bf9f7b3ae898 (diff) | |
| download | gcc-bad8184e3e16dfd4d30099e18e443c4a54b97c83.zip gcc-bad8184e3e16dfd4d30099e18e443c4a54b97c83.tar.gz gcc-bad8184e3e16dfd4d30099e18e443c4a54b97c83.tar.bz2 | |
[Ada] Put a couple of options in alphabetical order
2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* opt.ads (Disable_FE_Inline): Move around.
(Disable_FE_Inline_Always): Likewise.
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/opt.ads | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 29cb6e3..d60380d 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -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 |