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