* gcse.c (INSN_CUID, insert_set_in_table, find_avail_set,

[pf3gnuchains/gcc-fork.git] / gcc / gcov-io.c

diff --git a/gcc/gcov-io.c b/gcc/gcov-io.c
index 7370f51..640a55a 100644 (file)
--- 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;