1*c85f09ccSJohn Levon void init(int *x);
2*c85f09ccSJohn Levon 
foo(void)3*c85f09ccSJohn Levon static int foo(void)
4*c85f09ccSJohn Levon {
5*c85f09ccSJohn Levon 	int a[2] = { 0, 123, };
6*c85f09ccSJohn Levon 
7*c85f09ccSJohn Levon 	if (a[1] != 123)
8*c85f09ccSJohn Levon 		return 1;
9*c85f09ccSJohn Levon 	init(a);
10*c85f09ccSJohn Levon 	if (a[1] == 123)
11*c85f09ccSJohn Levon 		return 2;
12*c85f09ccSJohn Levon 	return 0;
13*c85f09ccSJohn Levon }
14*c85f09ccSJohn Levon 
15*c85f09ccSJohn Levon #if 0
16*c85f09ccSJohn Levon void init(int *x)
17*c85f09ccSJohn Levon {
18*c85f09ccSJohn Levon 	x[0] = x[1] = 0;
19*c85f09ccSJohn Levon }
20*c85f09ccSJohn Levon #endif
21*c85f09ccSJohn Levon 
22*c85f09ccSJohn Levon /*
23*c85f09ccSJohn Levon  * check-name: live-stores
24*c85f09ccSJohn Levon  * check-command: test-linearize $file
25*c85f09ccSJohn Levon  *
26*c85f09ccSJohn Levon  * check-output-ignore
27*c85f09ccSJohn Levon  * check-output-contains: store.32 *\\$123
28*c85f09ccSJohn Levon  * check-output-pattern(2,3): store\\.
29*c85f09ccSJohn Levon  */
30