diff options
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/kill-select.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/validation/kill-select.c b/validation/kill-select.c new file mode 100644 index 00000000..445472be --- /dev/null +++ b/validation/kill-select.c @@ -0,0 +1,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\\. + */ |