diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-16 20:29:43 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-16 22:22:12 +0200 |
| commit | 1a7ca17aa6e29dd5d7876b0a405dbf203053458b (patch) | |
| tree | b9cae181ffe1bb30437f29450d61fe74dde2b3b8 /validation | |
| parent | ca6fe3cd626d81cf1c4b96ecc5294598d59aaa75 (diff) | |
| download | sparse-dev-1a7ca17aa6e29dd5d7876b0a405dbf203053458b.tar.gz | |
add testcase for TRUNC(TRUNC(x)) simplification
Add the testcase before doing the simplification.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/optim/trunc-trunc.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/validation/optim/trunc-trunc.c b/validation/optim/trunc-trunc.c new file mode 100644 index 00000000..c01d81f6 --- /dev/null +++ b/validation/optim/trunc-trunc.c @@ -0,0 +1,13 @@ +char foo(int a) +{ + return ((((short) a) + 1) - 1); +} + +/* + * check-name: trunc-trunc + * check-command: test-linearize -Wno-decl $file + * check-known-to-fail + * + * check-output-ignore + * check-output-pattern(1): trunc\\. + */ |