X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ferror.c;h=181bd3c9587241e97fa69ce6cc513e1db7d5aac9;hb=ecd77539d8be24ba673becc0f25bb453f4e2944d;hp=1983df4d056b92ec412f9a6c25f11948dfb1b9a0;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/error.c b/src/error.c
index 1983df4d05..181bd3c958 100644
--- a/src/error.c
+++ b/src/error.c
@@ -217,10 +217,6 @@ err_check_count (void)
   getl_close_all ();
 }
 
-#if __CHECKER__
-static void induce_segfault (void);
-#endif
-
 /* Some machines are broken.  Compensate. */
 #ifndef EXIT_SUCCESS
 #define EXIT_SUCCESS 0
@@ -244,11 +240,6 @@ err_hcf (int success)
 
   outp_done ();
 
-#if __CHECKER__
-  if (!success)
-    induce_segfault ();
-#endif
-
   exit (success ? EXIT_SUCCESS : EXIT_FAILURE);
 }
 
@@ -285,11 +276,11 @@ err_vmsg (const struct error *e)
       {0, NULL, N_("installation error")},	/* IE */
       {2, NULL, N_("installation error")},	/* IS */
 
-      {2, NULL, N_("error")},			/* DE */
-      {2, NULL, N_("warning")},			/* DW */
+      {2, &err_error_count, N_("error")},	/* DE */
+      {2, &err_warning_count, N_("warning")},	/* DW */
 
-      {0, NULL, N_("error")},			/* ME */
-      {0, NULL, N_("warning")},			/* MW */
+      {0, &err_error_count, N_("error")},	/* ME */
+      {0, &err_warning_count, N_("warning")},	/* MW */
       {0, NULL, N_("note")},			/* MM */
     };
 
@@ -499,19 +490,3 @@ dump_message (char *msg, unsigned indent, void (*func) (const char *),
 
   local_free (buf);
 }
-
-#if __CHECKER__
-/* Causes a segfault in order to force Checker to print a stack
-   backtrace. */
-static void
-induce_segfault (void)
-{
-  fputs (_("\n"
-	   "\t*********************\n"
-	   "\t* INDUCING SEGFAULT *\n"
-	   "\t*********************\n"), stdout);
-  fflush (stdout);
-  fflush (stderr);
-  abort ();
-}
-#endif