validation/backend/struct-access.c

   1 struct st {
   2         int i, *d;
   3 };
   4
   5 static int load_i(struct st *st)
   6 {
   7         return st->i;
   8 }
   9
  10 static void store_i(struct st *st, int i)
  11 {
  12         st->i = i;
  13 }
  14
  15 static int *load_d(struct st *st)
  16 {
  17         return st->d;
  18 }
  19
  20 static void store_d(struct st *st, int *d)
  21 {
  22         st->d = d;
  23 }
  24
  25 /*
  26  * check-name: struct access code generation
  27  * check-command: ./sparsec -c $file -o tmp.o
  28  */