1 void *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