Patchwork [Ada] Clear confusion about -fno-inline in the GNAT UG

login
register
mail settings
Submitter Arnaud Charlet
Date Aug. 3, 2011, 8:11 a.m.
Message ID <20110803081129.GA21558@adacore.com>
Download mbox | patch
Permalink /patch/108039/
State New
Headers show

Comments

Arnaud Charlet - Aug. 3, 2011, 8:11 a.m.
The GNAT Pro User's Guide reads:

`-fno-inline'
    Suppresses all back-end inlining, even if other optimization or inlining 
switches are set. This includes suppression of inlining that results from the 
use of the pragma Inline_Always. Any occurrences of pragma Inline or 
Inline_Always are ignored, and `-gnatn' and `-gnatN' have no effect if this 
switch is present. 

This is confusing because both pragma Inline_Always and -gnatN are front-end 
inlining.  -fno-inline simply suppresses all inlining.

Tested on x86_64-pc-linux-gnu, committed on trunk

2011-08-03  Eric Botcazou  <ebotcazou@adacore.com>

	* gnat_ugn.texi (Switches for gcc): Make it clearer that -fno-inline
	suppresses all inlining.

Patch

Index: gnat_ugn.texi
===================================================================
--- gnat_ugn.texi	(revision 177236)
+++ gnat_ugn.texi	(working copy)
@@ -3961,10 +3961,9 @@ 
 
 @item -fno-inline
 @cindex @option{-fno-inline} (@command{gcc})
-Suppresses all back-end inlining, even if other optimization or inlining
-switches are set.
-This includes suppression of inlining that results
-from the use of the pragma @code{Inline_Always}.
+Suppresses all inlining, even if other optimization or inlining
+switches are set.  This includes suppression of inlining that
+results from the use of the pragma @code{Inline_Always}.
 Any occurrences of pragma @code{Inline} or @code{Inline_Always}
 are ignored, and @option{-gnatn} and @option{-gnatN} have no
 effect if this switch is present.