diff options
Diffstat (limited to 'lcc/lib/yynull.c')
-rwxr-xr-x | lcc/lib/yynull.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lcc/lib/yynull.c b/lcc/lib/yynull.c new file mode 100755 index 0000000..8c01190 --- /dev/null +++ b/lcc/lib/yynull.c @@ -0,0 +1,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();
+}
|