xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/dup-cond0.c (revision 45ede40b2394db7967e59f19288fae9b62efd4aa)
1 struct s {
2 	int f;
3 };
4 
5 static int foo(struct s *s)
6 {
7 	if (s->f)
8 		return 0;
9 	else if (!s->f)
10 		return 4;
11 	return -1;
12 }
13 
14 /*
15  * check-name: dup-cond0
16  * check-command: test-linearize -Wno-decl $file
17  *
18  * check-output-ignore
19  * check-output-contains: select
20  */
21