]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0532db) | patch
Remove __gcov_flush.
authorMartin Liska <mliska@suse.cz>
Tue, 5 May 2020 14:15:47 +0000 (16:15 +0200)
committerMartin Liska <mliska@suse.cz>
Tue, 5 May 2020 14:15:47 +0000 (16:15 +0200)
commit811b7636cb8c10f1a550a76242b5666c7ae36da2
treeea0379a64bf214b68baee4d56fd693cfd01fb914tree | snapshot
parentc0532db47d092430f8e8f497b2dc53343527bb13commit | diff
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.
gcc/ChangeLog diff | blob | blame | history
gcc/tree-cfg.c diff | blob | blame | history
libgcc/ChangeLog diff | blob | blame | history
libgcc/Makefile.in diff | blob | blame | history
libgcc/gcov.h diff | blob | blame | history
libgcc/libgcov-interface.c diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git