xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/kill-stores2.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
1 extern void def(int *);
2 
3 static void foo(void)
4 {
5 	int c;
6 	def(&c);
7 	if (c)
8 		c = c;
9 }
10 
11 /*
12  * check-name: kill-stores2
13  * check-command: test-linearize $file
14  *
15  * check-output-ignore
16  * check-output-excludes: store\\.
17  */
18