avoid useless warning for 'bool <- restricted type' conversion
[smatch.git] / validation / kill-phi-ttsbb2.c
blobc7d89aa0e87e79194d3c8504c691851f123600ab
1 extern int error(int);
3 int foo(int perr);
4 int foo(int perr)
6 int err = 0;
7 int rc = 0;
8 int j = 0;
9 int i = 1;
11 i && j++;
13 i-- && j;
15 i && j--;
17 if (j != 1) {
18 err = 1;
19 if (perr)
20 error(1);
23 if (err != 0)
24 rc = 1;
26 return rc;
30 * check-name: kill-phi-ttsbb2
31 * check-description:
32 * Verify if OP_PHI usage is adjusted after successful try_to_simplify_bb()
33 * check-warning: this test is sensitive to details of code generation
34 * with proper bb packing (taking care of phi-nodes) it
35 * will be optimized away and test nothing. You have been warned.
36 * check-command: test-linearize $file
37 * check-output-ignore
39 * check-output-excludes: VOID