param_key: fix container of when no struct member is referenced
[smatch.git] / validation / kill-phi-ttsbb.c
blob7fea30bfd6fb6a233a8958496637f7f5f20511e1
1 int def(void);
2 void use(int);
4 static void 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\\.