validation/backend/void-return-type.c

   1 static void foo(void)
   2 {
   3 }
   4
   5 static void *bar(void *p)
   6 {
   7         return p;
   8 }
   9
  10 /*
  11  * check-name: void return type code generation
  12  * check-command: ./sparsec -c $file -o tmp.o
  13  */