xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/kill-stores0.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
1 struct p {
2 	int x, y;
3 };
4 
5 struct q {
6 	int w;
7 };
8 
9 static int foo(void)
10 {
11 	int x = 1;
12 	int y = x;
13 	return &x == &y;
14 }
15 
16 static int bar(struct p p)
17 {
18 	if (p.x != 0)
19 		;
20 }
21 
22 static int baz(struct p p, struct q q)
23 {
24 	if (p.x != 0 || p.y != 1 || q.w == 0)
25 		;
26 }
27 
28 /*
29  * check-name: kill-stores0
30  * check-command: test-linearize $file
31  *
32  * check-output-ignore
33  * check-output-excludes: store\\.
34  */
35