https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88994
--- Comment #4 from Robin <moussu.robin at pm dot me> --- Perfect! How do I test your patch. If I update my git clone of gcc (gcov is in gcc repo, isn't it?), it should already be in it, or do I need to wait a few days? I guess I can also apply the patch itself on my repo then rebuild.