xref: /src/usr.bin/xlint/lint1/err.c

/*	$NetBSD: err.c,v 1.195 2023/04/25 19:00:57 rillig Exp $	*/

/*
 * Copyright (c) 1994, 1995 Jochen Pohl
 * All Rights Reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 * 3. All advertising materials mentioning features or use of this software
 *    must display the following acknowledgement:
 *      This product includes software developed by Jochen Pohl for
 *	The NetBSD Project.
 * 4. The name of the author may not be used to endorse or promote products
 *    derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */

#if HAVE_NBTOOL_CONFIG_H
#include "nbtool_config.h"
#endif

#include <sys/cdefs.h>
#if defined(__RCSID)
__RCSID("$NetBSD: err.c,v 1.195 2023/04/25 19:00:57 rillig Exp $");
#endif

#include <limits.h>
#include <stdarg.h>
#include <stdlib.h>
#include <string.h>

#include "lint1.h"

/* number of errors found */
int	nerr;

/* number of syntax errors */
int	sytxerr;


static const char *const msgs[] = {
	"empty declaration",					      /* 0 */
	"old-style declaration; add 'int'",			      /* 1 */
	"empty declaration",					      /* 2 */
	"'%s' declared in argument declaration list",		      /* 3 */
	"illegal type combination",				      /* 4 */
	"modifying typedef with '%s'; only qualifiers allowed",	      /* 5 */
	"use 'double' instead of 'long float'",			      /* 6 */
	"only one storage class allowed",			      /* 7 */
	"illegal storage class",				      /* 8 */
	"only register valid as formal parameter storage class",      /* 9 */
	"duplicate '%s'",					      /* 10 */
	"bit-field initializer out of range",			      /* 11 */
	"compiler takes size of function",			      /* 12 */
	"incomplete enum type '%s'",				      /* 13 */
	"",							      /* 14 */
	"function returns illegal type '%s'",			      /* 15 */
	"array of function is illegal",				      /* 16 */
	"null dimension",					      /* 17 */
	"illegal use of 'void'",				      /* 18 */
	"void type for '%s'",					      /* 19 */
	"negative array dimension (%d)",			      /* 20 */
	"redeclaration of formal parameter '%s'",		      /* 21 */
	"incomplete or misplaced function definition",		      /* 22 */
	"undefined label '%s'",					      /* 23 */
	"cannot initialize function '%s'",			      /* 24 */
	"cannot initialize typedef '%s'",			      /* 25 */
	"cannot initialize extern declaration '%s'",		      /* 26 */
	"redeclaration of '%s'",				      /* 27 */
	"redefinition of '%s'",					      /* 28 */
	"'%s' was previously declared extern, becomes static",	      /* 29 */
	"redeclaration of '%s'; ANSI C requires static",	      /* 30 */
	"'%s' has incomplete type '%s'",			      /* 31 */
	"type of argument '%s' defaults to 'int'",		      /* 32 */
	"duplicate member name '%s'",				      /* 33 */
	"nonportable bit-field type '%s'",			      /* 34 */
	"illegal bit-field type '%s'",				      /* 35 */
	"illegal bit-field size: %d",				      /* 36 */
	"zero size bit-field",					      /* 37 */
	"function illegal in structure or union",		      /* 38 */
	"zero-sized array '%s' in struct is a C99 extension",	      /* 39 */
	"",			/* never used */		      /* 40 */
	"bit-field in union is very unusual",			      /* 41 */
	"forward reference to enum type",			      /* 42 */
	"redefinition of '%s' hides earlier one",		      /* 43 */
	"declaration of '%s %s' introduces new type in ANSI C",	      /* 44 */
	"base type is really '%s %s'",				      /* 45 */
	"%s tag '%s' redeclared as %s",				      /* 46 */
	"zero sized %s is a C99 feature",			      /* 47 */
	"enumeration value '%s' overflows",			      /* 48 */
	"anonymous struct/union members is a C11 feature",	      /* 49 */
	"argument '%s' has function type, should be pointer",	      /* 50 */
	"parameter mismatch: %d declared, %d defined",		      /* 51 */
	"cannot initialize parameter '%s'",			      /* 52 */
	"declared argument '%s' is missing",			      /* 53 */
	"trailing ',' prohibited in enum declaration",		      /* 54 */
	"integral constant expression expected",		      /* 55 */
	"integral constant too large",				      /* 56 */
	"enumeration constant '%s' hides parameter",		      /* 57 */
	"type of '%s' does not match prototype",		      /* 58 */
	"formal parameter #%d lacks name",			      /* 59 */
	"void must be sole parameter",				      /* 60 */
	"void parameter '%s' cannot have name",			      /* 61 */
	"function prototype parameters must have types",	      /* 62 */
	"prototype does not match old-style definition",	      /* 63 */
	"()-less function definition",				      /* 64 */
	"'%s' has no named members",				      /* 65 */
	"",							      /* 66 */
	"cannot return incomplete type",			      /* 67 */
	"typedef already qualified with '%s'",			      /* 68 */
	"inappropriate qualifiers with 'void'",			      /* 69 */
	"",			/* unused */			      /* 70 */
	"too many characters in character constant",		      /* 71 */
	"typedef declares no type name",			      /* 72 */
	"empty character constant",				      /* 73 */
	"no hex digits follow \\x",				      /* 74 */
	"overflow in hex escape",				      /* 75 */
	"character escape does not fit in character",		      /* 76 */
	"bad octal digit %c",					      /* 77 */
	"",			/* unused */			      /* 78 */
	"dubious escape \\%c",					      /* 79 */
	"dubious escape \\%o",					      /* 80 */
	"\\a undefined in traditional C",			      /* 81 */
	"\\x undefined in traditional C",			      /* 82 */
	"storage class after type is obsolescent",		      /* 83 */
	"ANSI C requires formal parameter before '...'",	      /* 84 */
	"dubious tag declaration '%s %s'",			      /* 85 */
	"automatic '%s' hides external declaration",		      /* 86 */
	"static '%s' hides external declaration",		      /* 87 */
	"typedef '%s' hides external declaration",		      /* 88 */
	"typedef '%s' redeclared",				      /* 89 */
	"inconsistent redeclaration of extern '%s'",		      /* 90 */
	"declaration of '%s' hides parameter",			      /* 91 */
	"inconsistent redeclaration of static '%s'",		      /* 92 */
	"dubious static function '%s' at block level",		      /* 93 */
	"function '%s' has illegal storage class",		      /* 94 */
	"declaration of '%s' hides earlier one",		      /* 95 */
	"cannot dereference non-pointer type '%s'",		      /* 96 */
	"suffix U is illegal in traditional C",			      /* 97 */
	"suffixes F and L are illegal in traditional C",	      /* 98 */
	"'%s' undefined",					      /* 99 */
	"unary '+' is illegal in traditional C",		      /* 100 */
	"type '%s' does not have member '%s'",			      /* 101 */
	"illegal use of member '%s'",				      /* 102 */
	"left operand of '.' must be struct or union, not '%s'",      /* 103 */
	"left operand of '->' must be pointer to struct or union, not '%s'", /* 104 */
	"non-unique member requires struct/union %s",		      /* 105 */
	"left operand of '->' must be pointer",			      /* 106 */
	"operands of '%s' have incompatible types '%s' and '%s'",     /* 107 */
	"operand of '%s' has invalid type '%s'",		      /* 108 */
	"void type illegal in expression",			      /* 109 */
	"pointer to function is not allowed here",		      /* 110 */
	"unacceptable operand of '%s'",				      /* 111 */
	"cannot take address of bit-field",			      /* 112 */
	"cannot take address of register '%s'",			      /* 113 */
	"%soperand of '%s' must be lvalue",			      /* 114 */
	"%soperand of '%s' must be modifiable lvalue",		      /* 115 */
	"illegal pointer subtraction",				      /* 116 */
	"bitwise '%s' on signed value possibly nonportable",	      /* 117 */
	"semantics of '%s' change in ANSI C; use explicit cast",      /* 118 */
	"conversion of '%s' to '%s' is out of range",		      /* 119 */
	"bitwise '%s' on signed value nonportable",		      /* 120 */
	"negative shift",					      /* 121 */
	"shift amount %llu is greater than bit-size %llu of '%s'",    /* 122 */
	"illegal combination of %s '%s' and %s '%s', op '%s'",	      /* 123 */
	"illegal combination of '%s' and '%s', op '%s'",	      /* 124 */
	"ANSI C forbids ordered comparisons of pointers to functions",/* 125 */
	"incompatible types '%s' and '%s' in conditional",	      /* 126 */
	"'&' before array or function: ignored",		      /* 127 */
	"operands of '%s' have incompatible pointer types to '%s' and '%s'", /* 128 */
	"expression has null effect",				      /* 129 */
	"enum type mismatch: '%s' '%s' '%s'",			      /* 130 */
	"conversion to '%s' may sign-extend incorrectly",	      /* 131 */
	"conversion from '%s' to '%s' may lose accuracy",	      /* 132 */
	"conversion of pointer to '%s' loses bits",		      /* 133 */
	"conversion of pointer to '%s' may lose bits",		      /* 134 */
	"converting '%s' to '%s' increases alignment from %u to %u",  /* 135 */
	"cannot do pointer arithmetic on operand of unknown size",    /* 136 */
	"",			/* unused */			      /* 137 */
	"unknown operand size, op '%s'",			      /* 138 */
	"division by 0",					      /* 139 */
	"modulus by 0",						      /* 140 */
	"integer overflow detected, op '%s'",			      /* 141 */
	"floating point overflow on operator '%s'",		      /* 142 */
	"cannot take size/alignment of incomplete type",	      /* 143 */
	"cannot take size/alignment of function type '%s'",	      /* 144 */
	"cannot take size/alignment of bit-field",		      /* 145 */
	"cannot take size/alignment of void",			      /* 146 */
	"invalid cast from '%s' to '%s'",			      /* 147 */
	"improper cast of void expression",			      /* 148 */
	"cannot call '%s', must be a function",			      /* 149 */
	"argument mismatch: %d %s passed, %d expected",		      /* 150 */
	"void expressions may not be arguments, arg #%d",	      /* 151 */
	"argument cannot have unknown size, arg #%d",		      /* 152 */
	"converting '%s' to incompatible '%s' for argument %d",	      /* 153 */
	"illegal combination of %s '%s' and %s '%s', arg #%d",	      /* 154 */
	"passing '%s' to incompatible '%s', arg #%d",		      /* 155 */
	"function expects '%s', passing '%s' for arg #%d",	      /* 156 */
	"ANSI C treats constant as unsigned",			      /* 157 */
	"'%s' may be used before set",				      /* 158 */
	"assignment in conditional context",			      /* 159 */
	"operator '==' found where '=' was expected",		      /* 160 */
	"constant in conditional context",			      /* 161 */
	"operator '%s' compares '%s' with '%s'",		      /* 162 */
	"a cast does not yield an lvalue",			      /* 163 */
	"assignment of negative constant to unsigned type",	      /* 164 */
	"constant truncated by assignment",			      /* 165 */
	"precision lost in bit-field assignment",		      /* 166 */
	"array subscript cannot be negative: %ld",		      /* 167 */
	"array subscript cannot be > %d: %ld",			      /* 168 */
	"precedence confusion possible: parenthesize!",		      /* 169 */
	"first operand must have scalar type, op ? :",		      /* 170 */
	"cannot assign to '%s' from '%s'",			      /* 171 */
	"too many struct/union initializers",			      /* 172 */
	"too many array initializers, expected %d",		      /* 173 */
	"too many initializers",				      /* 174 */
	"initialization of incomplete type '%s'",		      /* 175 */
	"",			/* no longer used */		      /* 176 */
	"non-constant initializer",				      /* 177 */
	"initializer does not fit",				      /* 178 */
	"cannot initialize struct/union with no named member",	      /* 179 */
	"bit-field initializer does not fit",			      /* 180 */
	"{}-enclosed initializer required",			      /* 181 */
	"incompatible pointer types to '%s' and '%s'",		      /* 182 */
	"illegal combination of %s '%s' and %s '%s'",		      /* 183 */
	"illegal combination of '%s' and '%s'",			      /* 184 */
	"cannot initialize '%s' from '%s'",			      /* 185 */
	"bit-field initialization is illegal in traditional C",	      /* 186 */
	"string literal too long (%lu) for target array (%lu)",	      /* 187 */
	"no automatic aggregate initialization in traditional C",     /* 188 */
	"",			/* no longer used */		      /* 189 */
	"empty array declaration for '%s'",			      /* 190 */
	"'%s' set but not used in function '%s'",		      /* 191 */
	"'%s' unused in function '%s'",				      /* 192 */
	"statement not reached",				      /* 193 */
	"label '%s' redefined",					      /* 194 */
	"case not in switch",					      /* 195 */
	"case label affected by conversion",			      /* 196 */
	"non-constant case expression",				      /* 197 */
	"non-integral case expression",				      /* 198 */
	"duplicate case in switch: %ld",			      /* 199 */
	"duplicate case in switch: %lu",			      /* 200 */
	"default outside switch",				      /* 201 */
	"duplicate default in switch",				      /* 202 */
	"case label must be of type 'int' in traditional C",	      /* 203 */
	"controlling expressions must have scalar type",	      /* 204 */
	"switch expression must have integral type",		      /* 205 */
	"enumeration value(s) not handled in switch",		      /* 206 */
	"loop not entered at top",				      /* 207 */
	"break outside loop or switch",				      /* 208 */
	"continue outside loop",				      /* 209 */
	"enum type mismatch between '%s' and '%s' in initialization", /* 210 */
	"function has return type '%s' but returns '%s'",	      /* 211 */
	"cannot return incomplete type",			      /* 212 */
	"void function '%s' cannot return value",		      /* 213 */
	"function '%s' expects to return value",		      /* 214 */
	"function '%s' implicitly declared to return int",	      /* 215 */
	"function '%s' has 'return expr' and 'return'",		      /* 216 */
	"function '%s' falls off bottom without returning value",     /* 217 */
	"ANSI C treats constant as unsigned, op '%s'",		      /* 218 */
	"concatenated strings are illegal in traditional C",	      /* 219 */
	"fallthrough on case statement",			      /* 220 */
	"initialization of unsigned with negative constant",	      /* 221 */
	"conversion of negative constant to unsigned type",	      /* 222 */
	"end-of-loop code not reached",				      /* 223 */
	"cannot recover from previous errors",			      /* 224 */
	"static function '%s' called but not defined",		      /* 225 */
	"static variable '%s' unused",				      /* 226 */
	"const object '%s' should have initializer",		      /* 227 */
	"function cannot return const or volatile object",	      /* 228 */
	"converting '%s' to '%s' is questionable",		      /* 229 */
	"nonportable character comparison '%s'",		      /* 230 */
	"argument '%s' unused in function '%s'",		      /* 231 */
	"label '%s' unused in function '%s'",			      /* 232 */
	"struct '%s' never defined",				      /* 233 */
	"union '%s' never defined",				      /* 234 */
	"enum '%s' never defined",				      /* 235 */
	"static function '%s' unused",				      /* 236 */
	"redeclaration of formal parameter '%s'",		      /* 237 */
	"initialization of union is illegal in traditional C",	      /* 238 */
	"constant argument to '!'",				      /* 239 */
	"",			/* unused */			      /* 240 */
	"dubious operation on enum, op '%s'",			      /* 241 */
	"combination of '%s' and '%s', op '%s'",		      /* 242 */
	"dubious comparison of enums, op '%s'",			      /* 243 */
	"illegal structure pointer combination",		      /* 244 */
	"incompatible structure pointers: '%s' '%s' '%s'",	      /* 245 */
	"dubious conversion of enum to '%s'",			      /* 246 */
	"pointer cast from '%s' to '%s' may be troublesome",	      /* 247 */
	"floating-point constant out of range",			      /* 248 */
	"syntax error '%s'",					      /* 249 */
	"unknown character \\%o",				      /* 250 */
	"malformed integer constant",				      /* 251 */
	"integer constant out of range",			      /* 252 */
	"unterminated character constant",			      /* 253 */
	"newline in string or char constant",			      /* 254 */
	"undefined or invalid # directive",			      /* 255 */
	"unterminated comment",					      /* 256 */
	"extra characters in lint comment",			      /* 257 */
	"unterminated string constant",				      /* 258 */
	"argument #%d is converted from '%s' to '%s' due to prototype", /* 259 */
	"previous declaration of '%s'",				      /* 260 */
	"previous definition of '%s'",				      /* 261 */
	"\\\" inside character constants undefined in traditional C", /* 262 */
	"\\? undefined in traditional C",			      /* 263 */
	"\\v undefined in traditional C",			      /* 264 */
	"%s does not support 'long long'",			      /* 265 */
	"'long double' is illegal in traditional C",		      /* 266 */
	"shift amount %u equals bit-size of '%s'",		      /* 267 */
	"variable '%s' declared inline",			      /* 268 */
	"argument '%s' declared inline",			      /* 269 */
	"function prototypes are illegal in traditional C",	      /* 270 */
	"switch expression must be of type 'int' in traditional C",   /* 271 */
	"empty translation unit",				      /* 272 */
	"bit-field type '%s' invalid in ANSI C",		      /* 273 */
	"ANSI C forbids comparison of %s with %s",		      /* 274 */
	"cast discards 'const' from type '%s'",			      /* 275 */
	"'__%s__' is illegal for type '%s'",			      /* 276 */
	"initialization of '%s' with '%s'",			      /* 277 */
	"combination of '%s' and '%s', arg #%d",		      /* 278 */
	"combination of '%s' and '%s' in return",		      /* 279 */
	"comment /* %s */ must be outside function",		      /* 280 */
	"duplicate comment /* %s */",				      /* 281 */
	"comment /* %s */ must precede function definition",	      /* 282 */
	"argument number mismatch with directive /* %s */",	      /* 283 */
	"fallthrough on default statement",			      /* 284 */
	"prototype declaration",				      /* 285 */
	"function definition is not a prototype",		      /* 286 */
	"function declaration is not a prototype",		      /* 287 */
	"dubious use of /* VARARGS */ with /* %s */",		      /* 288 */
	"can't be used together: /* PRINTFLIKE */ /* SCANFLIKE */",   /* 289 */
	"static function '%s' declared but not defined",	      /* 290 */
	"invalid multibyte character",				      /* 291 */
	"cannot concatenate wide and regular string literals",	      /* 292 */
	"argument %d must be 'char *' for PRINTFLIKE/SCANFLIKE",      /* 293 */
	"multi-character character constant",			      /* 294 */
	"conversion of '%s' to '%s' is out of range, arg #%d",	      /* 295 */
	"conversion of negative constant to unsigned type, arg #%d",  /* 296 */
	"conversion to '%s' may sign-extend incorrectly, arg #%d",    /* 297 */
	"conversion from '%s' to '%s' may lose accuracy, arg #%d",    /* 298 */
	"prototype does not match old-style definition, arg #%d",     /* 299 */
	"old-style definition",					      /* 300 */
	"array of incomplete type",				      /* 301 */
	"'%s' returns pointer to automatic object",		      /* 302 */
	"ANSI C forbids conversion of %s to %s",		      /* 303 */
	"ANSI C forbids conversion of %s to %s, arg #%d",	      /* 304 */
	"ANSI C forbids conversion of %s to %s, op %s",		      /* 305 */
	"constant truncated by conversion, op '%s'",		      /* 306 */
	"static variable '%s' set but not used",		      /* 307 */
	"invalid type for _Complex",				      /* 308 */
	"extra bits set to 0 in conversion of '%s' to '%s', op '%s'", /* 309 */
	"symbol renaming can't be used on function arguments",	      /* 310 */
	"symbol renaming can't be used on automatic variables",	      /* 311 */
	"%s does not support // comments",			      /* 312 */
	"struct or union member name in initializer is a C99 feature",/* 313 */
	"",		/* never used */			      /* 314 */
	"GCC style struct or union member name in initializer",	      /* 315 */
	"__FUNCTION__/__PRETTY_FUNCTION__ is a GCC extension",	      /* 316 */
	"__func__ is a C99 feature",				      /* 317 */
	"variable array dimension is a C99/GCC extension",	      /* 318 */
	"compound literals are a C99/GCC extension",		      /* 319 */
	"({ }) is a GCC extension",				      /* 320 */
	"array initializer with designators is a C99 feature",	      /* 321 */
	"zero sized array is a C99 extension",			      /* 322 */
	"continue in 'do ... while (0)' loop",			      /* 323 */
	"suggest cast from '%s' to '%s' on op '%s' to avoid overflow", /* 324 */
	"variable declaration in for loop",			      /* 325 */
	"attribute '%s' ignored for '%s'",			      /* 326 */
	"declarations after statements is a C99 feature",	      /* 327 */
	"union cast is a GCC extension",			      /* 328 */
	"type '%s' is not a member of '%s'",			      /* 329 */
	"operand of '%s' must be bool, not '%s'",		      /* 330 */
	"left operand of '%s' must be bool, not '%s'",		      /* 331 */
	"right operand of '%s' must be bool, not '%s'",		      /* 332 */
	"controlling expression must be bool, not '%s'",	      /* 333 */
	"argument #%d expects '%s', gets passed '%s'",		      /* 334 */
	"operand of '%s' must not be bool",			      /* 335 */
	"left operand of '%s' must not be bool",		      /* 336 */
	"right operand of '%s' must not be bool",		      /* 337 */
	"option '%c' should be handled in the switch",		      /* 338 */
	"option '%c' should be listed in the options string",	      /* 339 */
	"initialization with '[a...b]' is a GCC extension",	      /* 340 */
	"argument to '%s' must be 'unsigned char' or EOF, not '%s'",  /* 341 */
	"argument to '%s' must be cast to 'unsigned char', not to '%s'", /* 342 */
	"static array size is a C11 extension",			      /* 343 */
	"bit-field of type plain 'int' has implementation-defined signedness", /* 344 */
	"generic selection requires C11 or later",		      /* 345 */
	"call to '%s' effectively discards 'const' from argument",    /* 346 */
	"redeclaration of '%s' with type '%s', expected '%s'",	      /* 347 */
	"maximum value %d of '%s' does not match maximum array index %d", /* 348 */
	"non type argument to alignof is a GCC extension",	      /* 349 */
	"'_Atomic' requires C11 or later",			      /* 350 */
	"missing%s header declaration for '%s'",		      /* 351 */
	"nested 'extern' declaration of '%s'",			      /* 352 */
};

static bool	is_suppressed[sizeof(msgs) / sizeof(msgs[0])];

static struct include_level {
	const char *filename;
	int lineno;
	struct include_level *by;
} *includes;

void
suppress_messages(const char *p)
{
	char *end;

	for (; ch_isdigit(*p); p = end + 1) {
		unsigned long id = strtoul(p, &end, 10);
		if ((*end != '\0' && *end != ',') ||
		    id >= sizeof(msgs) / sizeof(msgs[0]) ||
		    msgs[id][0] == '\0')
			break;

		is_suppressed[id] = true;

		if (*end == '\0')
			return;
	}
	errx(1, "invalid message ID '%.*s'", (int)(strcspn(p, ",")), p);
}

void
update_location(const char *filename, int lineno, bool is_begin, bool is_end)
{
	struct include_level *top;

	top = includes;
	if (is_begin && top != NULL)
		top->lineno = curr_pos.p_line;

	if (top == NULL || is_begin) {
		top = xmalloc(sizeof(*top));
		top->filename = filename;
		top->lineno = lineno;
		top->by = includes;
		includes = top;
	} else {
		if (is_end) {
			includes = top->by;
			free(top);
			top = includes;
		}
		if (top != NULL) {
			top->filename = filename;
			top->lineno = lineno;
		}
	}
}

static void
print_stack_trace(void)
{
	const struct include_level *top;

	if ((top = includes) == NULL)
		return;
	/*
	 * Skip the innermost include level since it is already listed in the
	 * diagnostic itself.  Furthermore, its lineno is the line number of
	 * the last '#' line, not the current line.
	 */
	for (top = top->by; top != NULL; top = top->by)
		printf("\tincluded from %s(%d)\n", top->filename, top->lineno);
}

/*
 * print a list of the messages with their ids
 */
void
msglist(void)
{
	size_t i;

	for (i = 0; i < sizeof(msgs) / sizeof(msgs[0]); i++) {
		if (msgs[i][0] != '\0')
			printf("%zu\t%s\n", i, msgs[i]);
		else
			printf("---\t(no longer used)\n");
	}
}

/*
 * If Fflag is not set, lbasename() returns a pointer to the last
 * component of the path, otherwise it returns the argument.
 */
static const char *
lbasename(const char *path)
{

	if (Fflag)
		return path;

	const char *base = path;
	for (const char *p = path; *p != '\0'; p++)
		if (*p == '/')
			base = p + 1;
	return base;
}

static void
verror_at(int msgid, const pos_t *pos, va_list ap)
{
	const	char *fn;

	if (is_suppressed[msgid])
		return;

	fn = lbasename(pos->p_file);
	(void)printf("%s(%d): error: ", fn, pos->p_line);
	(void)vprintf(msgs[msgid], ap);
	(void)printf(" [%d]\n", msgid);
	nerr++;
	print_stack_trace();
}

static void
vwarning_at(int msgid, const pos_t *pos, va_list ap)
{
	const	char *fn;

	if (is_suppressed[msgid])
		return;

	debug_step("%s: lwarn=%d msgid=%d", __func__, lwarn, msgid);
	if (lwarn == LWARN_NONE || lwarn == msgid)
		/* this warning is suppressed by a LINTED comment */
		return;

	fn = lbasename(pos->p_file);
	(void)printf("%s(%d): warning: ", fn, pos->p_line);
	(void)vprintf(msgs[msgid], ap);
	(void)printf(" [%d]\n", msgid);
	if (wflag)
		nerr++;
	print_stack_trace();
}

static void
vmessage_at(int msgid, const pos_t *pos, va_list ap)
{
	const char *fn;

	if (is_suppressed[msgid])
		return;

	fn = lbasename(pos->p_file);
	(void)printf("%s(%d): ", fn, pos->p_line);
	(void)vprintf(msgs[msgid], ap);
	(void)printf(" [%d]\n", msgid);
	print_stack_trace();
}

void
(error_at)(int msgid, const pos_t *pos, ...)
{
	va_list	ap;

	va_start(ap, pos);
	verror_at(msgid, pos, ap);
	va_end(ap);
}

void
(error)(int msgid, ...)
{
	va_list	ap;

	va_start(ap, msgid);
	verror_at(msgid, &curr_pos, ap);
	va_end(ap);
}

void
assert_failed(const char *file, int line, const char *func, const char *cond)
{
	const	char *fn;

	/*
	 * After encountering a parse error in the grammar, lint often does
	 * not properly clean up its data structures, especially in 'dcs',
	 * the stack of declaration levels.  This often leads to assertion
	 * failures.  These cases are not interesting though, as the purpose
	 * of lint is to check syntactically valid code.  In such a case,
	 * exit gracefully.  This allows a fuzzer like afl to focus on more
	 * interesting cases instead of reporting nonsense translation units
	 * like 'f=({e:;}' or 'v(const(char););e(v){'.
	 */
	if (sytxerr > 0)
		norecover();

	fn = lbasename(curr_pos.p_file);
	(void)fflush(stdout);
	(void)fprintf(stderr,
	    "lint: assertion \"%s\" failed in %s at %s:%d near %s:%d\n",
	    cond, func, file, line, fn, curr_pos.p_line);
	print_stack_trace();
	(void)fflush(stdout);
	abort();
}

void
(warning_at)(int msgid, const pos_t *pos, ...)
{
	va_list	ap;

	va_start(ap, pos);
	vwarning_at(msgid, pos, ap);
	va_end(ap);
}

void
(warning)(int msgid, ...)
{
	va_list	ap;

	va_start(ap, msgid);
	vwarning_at(msgid, &curr_pos, ap);
	va_end(ap);
}

void
(message_at)(int msgid, const pos_t *pos, ...)
{
	va_list ap;

	va_start(ap, pos);
	vmessage_at(msgid, pos, ap);
	va_end(ap);
}

void
(c99ism)(int msgid, ...)
{
	va_list	ap;

	if (allow_c99)
		return;

	va_start(ap, msgid);
	int severity = (!allow_gcc ? 1 : 0) + (!allow_trad ? 1 : 0);
	if (severity == 2)
		verror_at(msgid, &curr_pos, ap);
	if (severity == 1)
		vwarning_at(msgid, &curr_pos, ap);
	va_end(ap);
}

void
(c11ism)(int msgid, ...)
{
	va_list	ap;

	/* FIXME: C11 mode has nothing to do with GCC mode. */
	if (allow_c11 || allow_gcc)
		return;
	va_start(ap, msgid);
	verror_at(msgid, &curr_pos, ap);
	va_end(ap);
}

bool
(gnuism)(int msgid, ...)
{
	va_list	ap;
	int severity = (!allow_gcc ? 1 : 0) +
	    (!allow_trad && !allow_c99 ? 1 : 0);

	va_start(ap, msgid);
	if (severity == 2)
		verror_at(msgid, &curr_pos, ap);
	if (severity == 1)
		vwarning_at(msgid, &curr_pos, ap);
	va_end(ap);
	return severity > 0;
}


static const char *queries[] = {
	"",			/* unused, to make queries 1-based */
	"implicit conversion from floating point '%s' to integer '%s'", /* Q1 */
	"cast from floating point '%s' to integer '%s'",	      /* Q2 */
	"implicit conversion changes sign from '%s' to '%s'",	      /* Q3 */
	"usual arithmetic conversion for '%s' from '%s' to '%s'",     /* Q4 */
	"pointer addition has integer on the left-hand side",	      /* Q5 */
	"no-op cast from '%s' to '%s'",				      /* Q6 */
	"redundant cast from '%s' to '%s' before assignment",	      /* Q7 */
	"octal number '%.*s'",					      /* Q8 */
	"parenthesized return value",				      /* Q9 */
};

bool any_query_enabled;		/* for optimizing non-query scenarios */
static bool is_query_enabled[sizeof(queries) / sizeof(queries[0])];

void
(query_message)(int query_id, ...)
{
	va_list ap;

	if (!is_query_enabled[query_id])
		return;

	(void)printf("%s(%d): ", lbasename(curr_pos.p_file), curr_pos.p_line);
	va_start(ap, query_id);
	(void)vprintf(queries[query_id], ap);
	va_end(ap);
	(void)printf(" [Q%d]\n", query_id);
	print_stack_trace();
}

void
enable_queries(const char *p)
{
	char *end;

	for (; ch_isdigit(*p); p = end + 1) {
		unsigned long id = strtoul(p, &end, 10);
		if ((*end != '\0' && *end != ',') ||
		    id >= sizeof(queries) / sizeof(queries[0]) ||
		    queries[id][0] == '\0')
			break;

		any_query_enabled = true;
		is_query_enabled[id] = true;

		if (*end == '\0')
			return;
	}
	errx(1, "invalid query ID '%.*s'", (int)(strcspn(p, ",")), p);
}