/*
* 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 (now declare_parameter).
*/
/* 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:;
}
}
}
