db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / dup-cond0.c
blob26af43852ca4fdf8529d676c337c46fc37f15261
1 struct s {
2 int f;
3 };
5 static int foo(struct s *s)
7 if (s->f)
8 return 0;
9 else if (!s->f)
10 return 4;
11 return -1;
15 * check-name: dup-cond0
16 * check-command: test-linearize -Wno-decl $file
18 * check-output-ignore
19 * check-output-contains: select