getl_close_all ();
}
-#if __CHECKER__
-static void induce_segfault (void);
-#endif
-
/* Some machines are broken. Compensate. */
#ifndef EXIT_SUCCESS
#define EXIT_SUCCESS 0
outp_done ();
-#if __CHECKER__
- if (!success)
- induce_segfault ();
-#endif
-
exit (success ? EXIT_SUCCESS : EXIT_FAILURE);
}
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