Print this page
11972 resync smatch
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/tools/smatch/src/validation/kill-phi-ttsbb.c
+++ new/usr/src/tools/smatch/src/validation/kill-phi-ttsbb.c
1 1 int def(void);
2 2 void use(int);
3 3
4 -static int foo(int a, int b)
4 +static void foo(int a, int b)
5 5 {
6 6 int c;
7 7
8 8 if (a)
9 9 c = 1;
10 10 else
11 11 c = def();
12 12
13 13 if (c)
14 14 use(1);
15 15 else
16 16 use(0);
17 17 }
18 18
19 19 /*
20 20 * check-name: kill-phi-ttsbb
21 21 * check-description:
22 22 * Verify if OP_PHI usage is adjusted after successful try_to_simplify_bb()
23 23 * check-command: test-linearize $file
24 24 * check-output-ignore
25 25 *
26 26 * check-output-excludes: phi\\.
27 27 * check-output-excludes: phisrc\\.
28 28 */
↓ open down ↓ |
14 lines elided |
↑ open up ↑ |
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX