On Fri, Mar 01, 2019 at 01:59:26PM +0100, Vincent Lefevre wrote: > As documented, --coverage is a synonym for -fprofile-arcs -ftest-coverage > (when compiling). > > Then why does the GCC manual use "-fprofile-arcs -ftest-coverage" > instead of the simpler "--coverage"? Probably because no one sent a patch for that / sent suggestions to change this / brought it up some other way? Likely this manual was written before the -coverage option existed, to answer your question. I couldn't find it btw, and that's because... > 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. 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. Segher