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  */