xref: /illumos-gate/usr/src/tools/smatch/src/validation/backend/struct-access.c (revision a629ded1d7b2e67c2028ccbc5ba9099328cc4e1b)
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  */
29