compiler/purify/src/debug.c

   1 #include <stdio.h>
   2 #include "debug.h"
   3 #include "posinfo.h"
   4
   5 void Purify_AssertFailed (const char * file, int line, const char * fname,
   6                         const char * expr)
   7 {
   8     fprintf (stderr, "%s:%d: %s(): Assertion `%s' failed.\n",
   9         file, line, fname, expr
  10     );
  11     fprintf (stderr, "This was inserted at %s:%d into %s()\n",
  12         Purify_Filename, Purify_Lineno, Purify_Functionname
  13     );
  14     abort ();
  15 }
  16