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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Note that __gcov_flush() is not part of the provided API:
https://gcc.gnu.org/onlinedocs/gcc/Gcov-and-Optimization.html

We only support __gcov_reset and __gcov_dump.

Reply via email to