diff options
Diffstat (limited to 'gcc/gcov-io.c')
| -rw-r--r-- | gcc/gcov-io.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/gcov-io.c b/gcc/gcov-io.c index 7370f51..640a55a 100644 --- a/gcc/gcov-io.c +++ b/gcc/gcov-io.c @@ -74,8 +74,7 @@ gcov_open (const char *name, int mode) s_flock.l_pid = getpid (); #endif - if (gcov_var.file) - abort (); + GCOV_CHECK (!gcov_var.file); gcov_var.start = 0; gcov_var.offset = gcov_var.length = 0; gcov_var.overread = -1u; |