validation/backend/store-type.c

   1 struct foo;
   2 static struct foo *var;
   3
   4 static void set(struct foo *f)
   5 {
   6        var = f;
   7 }
   8
   9 /*
  10  * check-name: Type of stored objects
  11  * check-command: ./sparsec -c $file -o tmp.o
  12  */