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