diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-07 11:26:35 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-07 11:57:38 +0100 |
| commit | e58ddb5678f2fb1843c6871399509eacf9cc1371 (patch) | |
| tree | 0c8f3c566414b6a3356e4dc937b9f22e0657937c /validation/optim/select-select-true-true.c | |
| parent | f680124b794b246c8a20f2cb54b2fc7ff989625d (diff) | |
| download | sparse-dev-e58ddb5678f2fb1843c6871399509eacf9cc1371.tar.gz | |
select: add some testcases for select simplification
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim/select-select-true-true.c')
| -rw-r--r-- | validation/optim/select-select-true-true.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/validation/optim/select-select-true-true.c b/validation/optim/select-select-true-true.c new file mode 100644 index 00000000..e6fa2c89 --- /dev/null +++ b/validation/optim/select-select-true-true.c @@ -0,0 +1,10 @@ +int foo(int p, int a, int b) { return ((p ? 42 : 43) ? a : b) == a ; } + +/* + * check-name: select-select-true-true + * check-command: test-linearize -Wno-decl $file + * check-known-to-fail + * + * check-output-ignore + * check-output-returns: 1 + */ |