validation/optim/live-stores0.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

void init(int *x);

static int foo(void)
{
	int a[2] = { 0, 123, };

	if (a[1] != 123)
		return 1;
	init(a);
	if (a[1] == 123)
		return 2;
	return 0;
}

#if 0
void init(int *x)
{
	x[0] = x[1] = 0;
}
#endif

/*
 * check-name: live-stores
 * check-command: test-linearize $file
 *
 * check-output-ignore
 * check-output-contains: store.32 *\\$123
 * check-output-pattern(2,3): store\\.
 */