X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/ec88357a8c000500930e18e010883d62965e9bb3..2cbd078f5153288a39cbf046231a3870df8170cb:/src/complain.h diff --git a/src/complain.h b/src/complain.h index 0e527c45..9ae334a4 100644 --- a/src/complain.h +++ b/src/complain.h @@ -13,7 +13,7 @@ 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, + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */ #ifndef COMPLAIN_H_ @@ -25,33 +25,30 @@ extern "C" { # endif -/* Informative messages, but we proceed. */ +/* Informative messages, but we proceed. */ -void warn (const char *format, ...) +void warn (char const *format, ...) __attribute__ ((__format__ (__printf__, 1, 2))); -void warn_at (location_t location, const char *format, ...) +void warn_at (location loc, char const *format, ...) __attribute__ ((__format__ (__printf__, 2, 3))); -/* Something bad happen, but let's continue and die later. */ +/* Something bad happened, but let's continue and die later. */ -void complain (const char *format, ...) +void complain (char const *format, ...) __attribute__ ((__format__ (__printf__, 1, 2))); -void complain_at (location_t location, const char *format, ...) +void complain_at (location loc, char const *format, ...) __attribute__ ((__format__ (__printf__, 2, 3))); -/* Something bad happen and we die now. */ +/* Something bad happened, and let's die now. */ -void fatal (const char *format, ...) +void fatal (char const *format, ...) __attribute__ ((__noreturn__, __format__ (__printf__, 1, 2))); -void fatal_at (location_t location, const char *format, ...) +void fatal_at (location loc, char const *format, ...) __attribute__ ((__noreturn__, __format__ (__printf__, 2, 3))); -/* Position in the current input file. */ -extern char *infile; - /* This variable is set each time `warn' is called. */ extern bool warning_issued;