https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93623
--- Comment #11 from calixte <cdenizet at mozilla dot com> --- Why did you remove __gcov_flush ? FYI, we use it in Firefox to dump counters on SIGUSR1: https://searchfox.org/mozilla-central/source/tools/code-coverage/CodeCoverageHandler.cpp#49
