1 void *foo(void *def);
foo(void * def)2 void *foo(void *def)
3 {
4 	if (!def)
5 yes:		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