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.