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

/*	$NetBSD: d_gcc_compound_statements1.c,v 1.14 2023/07/02 22:56:13 rillig Exp $	*/
# 3 "d_gcc_compound_statements1.c"

/* GCC compound statement with expression */

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

/*
 * Compound statements are only allowed in functions, not at file scope.
 *
 * Before decl.c 1.283 from 2022-05-31, lint crashed with a segmentation
 * fault due to the unused label.
 */
int invalid_gcc_statement_expression = ({
unused_label:
	3;
/* expect+2: error: syntax error 'labels are only valid inside a function' [249] */
/* expect+1: error: cannot initialize 'int' from 'void' [185] */
});

void foo(unsigned long z)
{
	z = ({
		unsigned long tmp;
		tmp = 1;
		tmp;
	});
	foo(z);
}

/*
 * Compound statements are only allowed in functions, not at file scope.
 *
 * Before decl.c 1.186 from 2021-06-19, lint crashed with a segmentation
 * fault.
 */
int c = ({
	/* expect+1: error: syntax error 'return outside function' [249] */
	return 3;
});
/* expect-1: error: cannot initialize 'int' from 'void' [185] */

void
function(void)
{
	/*
	 * Before cgram.y 1.229 from 2021-06-20, lint crashed due to the
	 * syntax error, which made an expression NULL.
	 */
	({
		/* expect+1: error: type 'int' does not have member 'e' [101] */
		0->e;
	});
}

void
crash(void)
{
	/*
	 * Before tree.c 1.418 from 2022-04-03, lint dereferenced a null
	 * pointer in do_statement_expr.
	 */
	({
		;
	});
}

/*
 * Before cgram.y 1.445 from 2023-07-03, lint did not accept empty statements
 * in GCC statement expressions.  These empty statements can be generated by a
 * disabled 'assert' macro.
 */
unsigned int
empty_statement(void)
{
	return ({
		unsigned int mega = 1 << 20;
		;
		mega;
	});
}