xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/address-used01.c (revision 374858d291554c199353841e2900bc130463934a)
1 int foo(int **g, int j)
2 {
3 	int i = 1;
4 	int *a;
5 	int **p;
6 
7 	a = &i;
8 	p = &a;
9 	*p[0] = 0;
10 	return i;
11 }
12 
13 /*
14  * check-name: address-used01
15  * check-command: test-linearize -Wno-decl -fdump-ir=final $file
16  * check-output-ignore
17  * check-output-contains: ret\\..* \\$0
18  */
19