[Bug gcov-profile/83878] Line hit counts are sometimes wrong

[mcastelluccio at mozilla dot com]

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

Marco Castelluccio <mcastelluccio at mozilla dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |VERIFIED

--- Comment #4 from Marco Castelluccio <mcastelluccio at mozilla dot com> ---
Thanks! I've verified that the test case is fixed now!