expressions: make assign_expression() take an op argument
[smatch.git] / validation / kill-phi-ttsbb.c
blob178a65d19736bdf1768577b4d2eb1b642d4a012d
1 int def(void);
2 void use(int);
4 static int foo(int a, int b)
6 int c;
8 if (a)
9 c = 1;
10 else
11 c = def();
13 if (c)
14 use(1);
15 else
16 use(0);
20 * check-name: kill-phi-ttsbb
21 * check-description:
22 * Verify if OP_PHI usage is adjusted after successful try_to_simplify_bb()
23 * check-command: test-linearize $file
24 * check-output-ignore
26 * check-output-excludes: phi\\.
27 * check-output-excludes: phisrc\\.