2005-08-26 17:39:27 +00:00
|
|
|
#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();
|
|
|
|
|
}
|
