xref: /illumos-gate/usr/src/tools/smatch/src/validation/mem2reg/stray-phisrc.c (revision c85f09cc92abd00c84e58ec9f0f5d942906cb713)

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