param_key: use get_name_sym_from_key() instead of return_state_to_var_sym()
[smatch.git] / validation / kill-phi-node.c
blobcff62b6493412ede4ebf910b0808e8bf9bc91408
1 void foo(int a, int *b, unsigned int g);
2 void foo(int a, int *b, unsigned int g)
4 int d = 0;
6 if ((!a || *b) && g)
7 d = 16;
8 else
9 d = 8;
12 int bar(void);
13 int bar(void)
15 int i;
16 for (i = 0; i; i--)
18 return 0;
22 * check-name: kill-phi-node
23 * check-command: test-linearize $file
25 * check-output-ignore
26 * check-output-excludes: phisrc\\.