https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93623
--- Comment #9 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Martin Liska <mar...@gcc.gnu.org>: https://gcc.gnu.org/g:811b7636cb8c10f1a550a76242b5666c7ae36da2 commit r11-85-g811b7636cb8c10f1a550a76242b5666c7ae36da2 Author: Martin Liska <mli...@suse.cz> Date: Tue May 5 16:15:47 2020 +0200 Remove __gcov_flush. PR gcov-profile/93623 * tree-cfg.c (stmt_can_terminate_bb_p): Update comment to reflect reality. PR gcov-profile/93623 * Makefile.in: Remove __gcov_flush. * gcov.h (__gcov_flush): Remove. * libgcov-interface.c (__gcov_flush): Remove. (init_mx): Use renamed mutex. (__gcov_lock): Likewise. (__gcov_unlock): Likewise. (__gcov_fork): Likewise. (__gcov_flush): Remove.