Replace __gcov_flush with __gcov_dump

__gcov_flush was a private function and was removed from later GCC
versions (at least from 11.2.0, possibly earlier). Replace with the
documented public __gcov_dump.
This commit is contained in:
Geza Lore
2022-07-30 16:02:03 +01:00
parent b9d7819faa
commit 38e5b6c1ad
3 changed files with 6 additions and 9 deletions
+1 -1
View File
@@ -167,7 +167,7 @@ void V3Error::vlAbortOrExit() {
}
void V3Error::vlAbort() {
VL_GCOV_FLUSH();
VL_GCOV_DUMP();
std::abort();
}