On Mon, Mar 04, 2019 at 02:05:50PM +0100, Vincent Lefevre wrote: > On 2019-03-02 16:40:57 -0600, Segher Boessenkool wrote: > > On Fri, Mar 01, 2019 at 01:59:26PM +0100, Vincent Lefevre wrote: > > > See, e.g. > > > https://gcc.gnu.org/onlinedocs/gcc/Invoking-Gcov.html > > > https://gcc.gnu.org/onlinedocs/gcc/Gcov-and-Optimization.html > > > > ... this is about the Gcov manual, not the GCC manual. > > But the gcov manual is part of the GCC manual (this is Section 10). I actually checked that, but I probably fat-fingered my search command. Sorry. > > Patches are welcome (at gcc-patches@), or you can discuss it on gcc@, or > > report a suggested improvement in bugzilla; it's off topic for this list. > > I've suggested the replacement in Bugzilla: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89577 Thanks! Segher