type: introduce get_final_type()
[smatch.git] / validation / kill-select.c
blob445472be8d380e207b046e9724d31cfef714654d
1 void foo(int x);
2 void foo(int x)
4 unsigned int ui;
6 ui = x + 1;
7 ui = ui ? 0 : 1;
11 * check-name: kill-select
12 * check-command: test-linearize $file
14 * check-output-ignore
15 * check-output-excludes: add\\.