From bad8184e3e16dfd4d30099e18e443c4a54b97c83 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Mon, 6 Jan 2020 10:12:44 +0100 Subject: [PATCH] [Ada] Put a couple of options in alphabetical order 2020-06-03 Eric Botcazou gcc/ada/ * opt.ads (Disable_FE_Inline): Move around. (Disable_FE_Inline_Always): Likewise. --- gcc/ada/opt.ads | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 29cb6e37795..d60380db45a 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