1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
void foo(int x); void foo(int x) { unsigned int ui; ui = x + 1; ui = ui ? 0 : 1; } /* * check-name: kill-select * check-command: test-linearize $file * * check-output-ignore * check-output-excludes: add\\. */