17 lines
316 B
C
17 lines
316 B
C
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
#ifndef EXPORT
|
|
#define EXPORT
|
|
#endif
|
|
|
|
static char rcsid[] = "$Id$";
|
|
|
|
EXPORT 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();
|
|
}
|