yynull.c 242 B

12345678910111213
  1. #include <stdio.h>
  2. #include <stdlib.h>
  3. void _YYnull(char *file, int line) {
  4. fprintf(stderr, "null pointer dereferenced:");
  5. if (file)
  6. fprintf(stderr, " file %s,", file);
  7. fprintf(stderr, " line %d\n", line);
  8. fflush(stderr);
  9. abort();
  10. }