[Bug gcov-profile/80911] gcov failed: gcno corrupted

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80911

--- Comment #13 from Tom de Vries <vries at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #12)
> Created attachment 41436 [details]
> Candidate patch
> 
> Please test the patch.

Currently testing.