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