xref: /illumos-gate/usr/src/tools/smatch/src/validation/mem2reg/stray-phisrc.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
1 static int foo(int **g)
2 {
3 	int i = 1;
4 	int *a[2];
5 	int **p;
6 
7 	a[1] = &i;
8 	if (g)
9 		p = g;
10 	else
11 		p = &a[0];
12 	p += 1;			// will point to a[1] = &i
13 	if (!g)
14 		**p = 0;
15 	return i;
16 }
17 
18 /*
19  * check-name: stray phisrc
20  * check-command: test-linearize -Wno-decl $file
21  *
22  * check-output-ignore
23  * check-output-excludes: phisrc\\.
24  */
25