src/base/cl_notreached.cc

   1 // cl_notreached_abort().
   2
   3 // General includes.
   4 #include "cl_sysdep.h"
   5
   6 // Specification.
   7 #include "cl_macros.h"
   8
   9
  10 // Implementation.
  11
  12 #include "cl_io.h"
  13 #include "cl_abort.h"
  14
  15 void cl_notreached_abort (const char* filename, int lineno)
  16 {
  17         fprint(cl_stderr, "Internal error: statement in file ");
  18         fprint(cl_stderr, filename);
  19         fprint(cl_stderr, ", line ");
  20         fprintdecimal(cl_stderr, lineno);
  21         fprint(cl_stderr, " has been reached!!\n");
  22         fprint(cl_stderr, "Please send the authors of the program a description how you produced this error!\n");
  23         cl_abort();
  24 }