12345678910111213 |
- #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();
- }
|