diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-09-28 01:19:04 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-20 22:35:43 +0200 |
| commit | a02413d4763bf2ddff981996f4236b2654477f6b (patch) | |
| tree | 94176826aa610dae3a2db63b64425df61d8484d0 /validation | |
| parent | 7635d5d7501c4029f2253d390ae2d2395b0ac56e (diff) | |
| download | sparse-dev-a02413d4763bf2ddff981996f4236b2654477f6b.tar.gz | |
sub: simplify x + (y - x) --> y
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/optim/simplify-same-addl-sub.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/optim/simplify-same-addl-sub.c b/validation/optim/simplify-same-addl-sub.c index 51d2b079..9cca1d12 100644 --- a/validation/optim/simplify-same-addl-sub.c +++ b/validation/optim/simplify-same-addl-sub.c @@ -3,7 +3,6 @@ int foo(int x, int y) { return x + (y - x); } /* * check-name: simplify-same-addl-sub * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-contains: ret\\..*%arg2 |