X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/49f801e6fecc97549486b15513c68f17496463c5..b475e0cce5411d3eeb149f81d299a248412986ad:/src/complain.h diff --git a/src/complain.h b/src/complain.h index f28b6420..5c15b3f2 100644 --- a/src/complain.h +++ b/src/complain.h @@ -44,19 +44,19 @@ void complain_at (location_t location, const char *format, ...) /* Something bad happen and we die now. */ void fatal (const char *format, ...) - __attribute__ ((__format__ (__printf__, 1, 2))); + __attribute__ ((__noreturn__, __format__ (__printf__, 1, 2))); void fatal_at (location_t location, const char *format, ...) - __attribute__ ((__format__ (__printf__, 2, 3))); + __attribute__ ((__noreturn__, __format__ (__printf__, 2, 3))); /* Position in the current input file. */ -extern char *infile; +extern const char *current_file; -/* This variable is incremented each time `warn' is called. */ -extern unsigned int warn_message_count; +/* This variable is set each time `warn' is called. */ +extern bool warning_issued; -/* This variable is incremented each time `complain' is called. */ -extern unsigned int complain_message_count; +/* This variable is set each time `complain' is called. */ +extern bool complaint_issued; # ifdef __cplusplus }