1void *foo(void *def);
2void *foo(void *def)
3{
4	if (!def)
5yes:		return &&yes;
6
7	return def;
8}
9
10/*
11 * check-name: label-as-value
12 * check-command: sparsec -c $file -o tmp.o
13 */
14