aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/kill-stores0.c
blob: eb6eaa4e3024d78c82e6a0a0fa29420aefe5a946 (plain)
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
30
31
32
33
34
35
struct p {
	int x, y;
};

struct q {
	int w;
};

static int foo(void)
{
	int x = 1;
	int y = x;
	return &x == &y;
}

static int bar(struct p p)
{
	if (p.x != 0)
		;
}

static int baz(struct p p, struct q q)
{
	if (p.x != 0 || p.y != 1 || q.w == 0)
		;
}

/*
 * check-name: kill-stores0
 * check-command: test-linearize $file
 * check-known-to-fail
 *
 * check-output-ignore
 * check-output-excludes: store\\.
 */