https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87442
calixte <cdenizet at mozilla dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |mcastelluccio at mozilla dot com, | |sylvestre at debian dot org --- Comment #2 from calixte <cdenizet at mozilla dot com> --- About the name of the options -coverage-exclude & -coverage-filter, I took my inspiration from the gcovr (-gcov-exclude & -gcov-filter): https://manpages.debian.org/jessie/gcovr/gcovr.1.en.html @martin, are you ok with that or do you have other ideas ?