avoid useless warning for 'bool <- restricted type' conversion
[smatch.git] / validation / kill-phisrc.c
blobf00dbed243beb73e29184d51249540665a4c6a57
1 int foo(int a, int b)
3 int r = a + b;
5 if (a && 0) {
6 int s = r;
7 if (b)
8 s = 0;
9 (void) s;
12 return 0;
16 * check-name: kill-phisrc
17 * check-command: test-linearize -Wno-decl $file
19 * check-output-ignore
20 * check-output-excludes: add\\.