https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90380
--- Comment #20 from Victor <vsande at cimne dot upc.edu> --- Hi Martin, these are great news! Indeed we are using 9.1.0 till today for the CI process, and since monday for testing purposes before production. The coverage issue is still present in GCC 9.1.0. The great thing is that we discover the -fprofile-exclude-files option to try to workaround the issue. But the issue is present through many files of the project and it was a mess to try to exclude one by one ... Anyway, please let me know when this patch is present in a gcc-release/patch version to test it. Thanks for helping us! VĂctor