xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/kill-stores2.c (revision 4c87aefe8930bd07275b8dd2e96ea5f24d93a52e)
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