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