xref: /src/tests/usr.bin/xlint/lint1/d_lint_assert.c

/*	$NetBSD: d_lint_assert.c,v 1.9 2023/07/15 09:53:46 rillig Exp $	*/
# 3 "d_lint_assert.c"

/*
 * Trigger the various assertions in the lint1 code.  Several of them are
 * just hard to trigger, but not impossible.
*/

/* lint1-extra-flags: -X 351 */

enum {
	// Before decl.c 1.118 from 2021-01-10:
	// lint: assertion "sym->s_scl == EXTERN || sym->s_scl == STATIC"
	// failed in check_global_variable at decl.c:3135
	// near d_lint_assert.c:14
	A = +++
};
/* expect-1: error: syntax error '}' [249] */

/*
 * Before decl.c 1.196 from 2021-07-10, lint ran into an assertion failure
 * for 'sym->s_type != NULL' in declare_argument.
 */
/* expect+1: warning: old-style declaration; add 'int' [1] */
c(void());


// As of 2023-07-15, replacing 'const' with 'unknown_type_modifier' leads to a
// crash.  When the '}' from the 'switch' statement is processed, symbols that
// are already freed are still in the symbol table.  To reproduce the crash,
// run:
//	make -s -DDEBUG DBG="-O0 -g"
//	MALLOC_OPTIONS='JA' MALLOC_CONF='junk:true' ./lint1 -Sy \
//	    ../../../tests/usr.bin/xlint/lint1/d_lint_assert.c
 static inline void
 f(void)
 {
	int i = 3;

	for (const char *p = "";; ) {
		switch (i) {
		case 3:;
		}
	}
 }