xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/kill-stores2.c (revision c85f09cc92abd00c84e58ec9f0f5d942906cb713)
1 extern void def(int *);
2 
foo(void)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