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