===================================================================
@@ -8247,7 +8247,7 @@ except those that often increase code si
It also enables @option{-finline-functions}, causes the compiler to tune for
code size rather than execution speed, and performs further optimizations
-designed to reduce code size.
+designed to reduce code size.
@item -Ofast
@opindex Ofast
@@ -8395,7 +8395,7 @@ If all calls to a given function are int
declared @code{static}, then the function is normally not output as
assembler code in its own right.
-Enabled at levels @option{-O2}, @option{-O3}, @option{-Os}. Also enabled
+Enabled at levels @option{-O3}, @option{-Os}. Also enabled
by @option{-fprofile-use} and @option{-fauto-profile}.
@item -finline-functions-called-once
The documentation is confused in various ways depending on the active branch, although the implementation in opts.c is strictly identical on all of them: mainline: Enabled at levels `-O2', `-O3', `-Os'. Also enabled by `-fprofile-use' and `-fauto-profile'. 8 branch: Enabled at levels `-O2', `-O3', `-Os'. 7 branch: Enabled at level `-O3'. None is fully correct, the correct form being: Enabled at levels `-O3', `-Os'. Also enabled by `-fprofile-use' and `-fauto-profile'. Tested with 'make doc', applied on all active branches as obvious. 2019-01-09 Eric Botcazou <ebotcazou@adacore.com> * doc/invoke.texi (-Os): Remove trailing spaces. (-finline-functions): Remove reference to -O2. 2019-01-09 Eric Botcazou <ebotcazou@adacore.com> * doc/invoke.texi (-Os): Add reference to -finline-functions. (-finline-functions): Remove reference to -O2, add references to -fprofile-use and -fauto-profile. 2019-01-09 Eric Botcazou <ebotcazou@adacore.com> * doc/invoke.texi (-Os): Add reference to -finline-functions. (-finline-small-functions): Add references to -O3 and -Os. (-findirect-inlining): Likewise. (-finline-functions): Add references to -Os, -fprofile-use and -fauto-profile.