X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/c547693afdacf4b865027d3bb8c53f601eadb5ae..0fe9720964da510a2b359af390a3053aace65f9f:/src/complain.h diff --git a/src/complain.h b/src/complain.h index e27b40d3..b0a1a293 100644 --- a/src/complain.h +++ b/src/complain.h @@ -21,73 +21,68 @@ # include "location.h" -# ifdef __cplusplus -extern "C" { -# endif - -/** Record that a warning is about to be issued, and treat it as an - error if warnings_flag & warnings_error. This is exported - only for the sake of Yacc-compatible conflict reports in conflicts.c. - All other warnings should be implemented in complain.c and should use - the normal warning format. */ -void set_warning_issued (void); - -/** Informative messages, but we proceed. Report iff - warnings_flag & warnings_other. */ - -void warn (char const *format, ...) - __attribute__ ((__format__ (__printf__, 1, 2))); - -void warn_at (location loc, char const *format, ...) - __attribute__ ((__format__ (__printf__, 2, 3))); - -/* Generate a message aligned by an indent. - When *indent == 0, assign message's indent to *indent, - When *indent > 0, align the message by *indent value. */ -void warn_at_indent (location loc, unsigned *indent, - char const *format, ...) - __attribute__ ((__format__ (__printf__, 3, 4))); +/* Sub-messages indent. */ +# define SUB_INDENT (4) -/** An error, but we continue and die later. */ +/*-------------. +| --warnings. | +`-------------*/ -void complain (char const *format, ...) - __attribute__ ((__format__ (__printf__, 1, 2))); +typedef enum + { + Wnone = 0, /**< Issue no warnings. */ + Wmidrule_values = 1 << 0, /**< Unset or unused midrule values. */ + Wyacc = 1 << 1, /**< POSIXME. */ + Wconflicts_sr = 1 << 2, /**< S/R conflicts. */ + Wconflicts_rr = 1 << 3, /**< R/R conflicts. */ + Wdeprecated = 1 << 4, /**< Obsolete constructs. */ + Wother = 1 << 5, /**< All other warnings. */ -void complain_at (location loc, char const *format, ...) - __attribute__ ((__format__ (__printf__, 2, 3))); + Werror = 1 << 10, /** This bit is no longer used. */ -/* Generate a message aligned by an indent. - When *indent == 0, assign message's indent to *indent, - When *indent > 0, align the message by *indent value. */ -void complain_at_indent (location loc, unsigned *indent, - char const *format, ...) - __attribute__ ((__format__ (__printf__, 3, 4))); + complaint = 1 << 11, /**< All complaints. */ + fatal = 1 << 12, /**< All fatal errors. */ + silent = 1 << 13, /**< Do not display the warning type. */ + no_caret = 1 << 14, /**< Do not display caret location. */ + + /**< All above warnings. */ + Wall = ~complaint & ~fatal & ~silent + } warnings; -/** An incompatibility with POSIX Yacc: mapped either to warn* or - complain* depending on yacc_flag. */ +/** What warnings are issued. */ +extern warnings warnings_flag; -void yacc_at (location loc, char const *format, ...) - __attribute__ ((__format__ (__printf__, 2, 3))); +/** What warnings are made errors. */ +extern warnings errors_flag; -/** A midrule-value warning. Report iff - warnings_flag & warnings_midrule_values. */ +/** Display a "[-Wyacc]" like message on stderr. */ +void warnings_print_categories (warnings warn_flags); -void midrule_value_at (location loc, char const *format, ...) - __attribute__ ((__format__ (__printf__, 2, 3))); +/** Make a complaint, with maybe a location. */ +void complain (location const *loc, warnings flags, char const *message, ...) + __attribute__ ((__format__ (__printf__, 3, 4))); -/** A fatal error, causing immediate exit. */ +/** Likewise, but with an \a argc/argv interface. */ +void complain_args (location const *loc, warnings w, unsigned *indent, + int argc, char *arg[]); -void fatal (char const *format, ...) - __attribute__ ((__noreturn__, __format__ (__printf__, 1, 2))); +/** Make a complaint with location and some indentation. */ +void complain_indent (location const *loc, warnings flags, unsigned *indent, + char const *message, ...) + __attribute__ ((__format__ (__printf__, 4, 5))); -void fatal_at (location loc, char const *format, ...) - __attribute__ ((__noreturn__, __format__ (__printf__, 2, 3))); -/** Whether an error was reported. */ -extern bool complaint_issued; +/** Warnings treated as errors shouldn't stop the execution as regular errors + should (because due to their nature, it is safe to go on). Thus, there are + three possible execution statuses. */ +typedef enum + { + status_none, + status_warning_as_error, + status_complaint + } err_status; -# ifdef __cplusplus -} -# endif +/** Whether an error was reported. */ +extern err_status complaint_status; #endif /* !COMPLAIN_H_ */