X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/81ebdef91dce5d4b2f0d2b3bbfa8e0ac8877aa01..c53b6848897960bc783afdbc230e1a247977d63d:/src/complain.h?ds=sidebyside diff --git a/src/complain.h b/src/complain.h index 4bf37199..0d81503d 100644 --- a/src/complain.h +++ b/src/complain.h @@ -1,10 +1,12 @@ /* Declaration for error-reporting function for Bison. - Copyright (C) 2000, 2001, 2002 Free Software Foundation, Inc. - This program is free software; you can redistribute it and/or modify it - under the terms of the GNU General Public License as published by the - Free Software Foundation; either version 2, or (at your option) any - later version. + Copyright (C) 2000-2002, 2006, 2009-2013 Free Software Foundation, + Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -12,51 +14,131 @@ GNU General Public License for more details. You should have received a copy of the GNU General Public License - along with this program; if not, write to the Free Software - Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, - USA. */ + along with this program. If not, see . */ #ifndef COMPLAIN_H_ # define COMPLAIN_H_ 1 # include "location.h" -# ifdef __cplusplus -extern "C" { -# endif - -/* Informative messages, but we proceed. */ - -void warn (char const *format, ...) - __attribute__ ((__format__ (__printf__, 1, 2))); - -void warn_at (location loc, char const *format, ...) - __attribute__ ((__format__ (__printf__, 2, 3))); - -/* Something bad happen, but let's continue and die later. */ - -void complain (char const *format, ...) - __attribute__ ((__format__ (__printf__, 1, 2))); - -void complain_at (location loc, char const *format, ...) - __attribute__ ((__format__ (__printf__, 2, 3))); - -/* Something bad happen and we die now. */ - -void fatal (char const *format, ...) - __attribute__ ((__noreturn__, __format__ (__printf__, 1, 2))); - -void fatal_at (location loc, char const *format, ...) - __attribute__ ((__noreturn__, __format__ (__printf__, 2, 3))); - -/* This variable is set each time `warn' is called. */ -extern bool warning_issued; - -/* This variable is set each time `complain' is called. */ -extern bool complaint_issued; - -# ifdef __cplusplus -} -# endif +/* Sub-messages indent. */ +# define SUB_INDENT (4) + +/*-------------. +| --warnings. | +`-------------*/ + +/** The bits assigned to each warning type. */ +typedef enum + { + warning_midrule_values, /**< Unset or unused midrule values. */ + warning_yacc, /**< POSIXME. */ + warning_conflicts_sr, /**< S/R conflicts. */ + warning_conflicts_rr, /**< R/R conflicts. */ + warning_empty_rule, /**< Implicitly empty rules. */ + warning_deprecated, /**< Obsolete constructs. */ + warning_precedence, /**< Useless precedence and associativity. */ + warning_other, /**< All other warnings. */ + + warnings_size /**< The number of warnings. Must be last. */ + } warning_bit; + +/** Whether -Werror was set. */ +extern bool warnings_are_errors; + +/** Decode a single argument from -W. + * + * \param arg the subarguments to decode. + * If null, then activate all the flags. + * \param no length of the potential "no-" prefix. + * Can be 0 or 3. If 3, negate the action of the subargument. + * \param err length of a potential "error=". + * Can be 0 or 6. If 6, treat the subargument as a CATEGORY. + * + * If VALUE != 0 then KEY sets flags and no-KEY clears them. + * If VALUE == 0 then KEY clears all flags from \c all and no-KEY sets all + * flags from \c all. Thus no-none = all and no-all = none. + */ +void warning_argmatch (char const *arg, size_t no, size_t err); + +/** Decode a comma-separated list of arguments from -W. + * + * \param args comma separated list of effective subarguments to decode. + * If 0, then activate all the flags. + */ +void warnings_argmatch (char *args); + + +/*-----------. +| complain. | +`-----------*/ + +/** Initialize this module. */ +void complain_init (void); + +typedef enum + { + /**< Issue no warnings. */ + Wnone = 0, + + Wmidrule_values = 1 << warning_midrule_values, + Wyacc = 1 << warning_yacc, + Wconflicts_sr = 1 << warning_conflicts_sr, + Wconflicts_rr = 1 << warning_conflicts_rr, + Wdeprecated = 1 << warning_deprecated, + Wempty_rule = 1 << warning_empty_rule, + Wprecedence = 1 << warning_precedence, + Wother = 1 << warning_other, + + Werror = 1 << 10, /** This bit is no longer used. */ + + 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. */ + Weverything = ~complaint & ~fatal & ~silent, + Wall = Weverything & ~Wyacc + } warnings; + +/** Whether the warnings of \a flags are all unset. + (Never enabled, never disabled). */ +bool warning_is_unset (warnings flags); + +/** Make a complaint, with maybe a location. */ +void complain (location const *loc, warnings flags, char const *message, ...) + __attribute__ ((__format__ (__printf__, 3, 4))); + +/** Likewise, but with an \a argc/argv interface. */ +void complain_args (location const *loc, warnings w, unsigned *indent, + int argc, char *arg[]); + +/** 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))); + + +/** Report an obsolete syntax, suggest the updated one. */ +void deprecated_directive (location const *loc, + char const *obsolete, char const *updated); + +/** Report a repeated directive for a rule. */ +void duplicate_directive (char const *directive, + location first, location second); + +/** 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; + +/** Whether an error was reported. */ +extern err_status complaint_status; #endif /* !COMPLAIN_H_ */