diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2022-01-19 15:02:31 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2022-01-19 15:02:31 +0100 |
| commit | f35bb467a01db988d5fe1637db5bff4b4f9e7086 (patch) | |
| tree | 80fe3976c77fec5ed90eb77caf7d4d78044d1827 | |
| parent | 5b6788ae5a365aecd6776f563e44022acb93a57a (diff) | |
| download | gcc-f35bb467a01db988d5fe1637db5bff4b4f9e7086.zip gcc-f35bb467a01db988d5fe1637db5bff4b4f9e7086.tar.gz gcc-f35bb467a01db988d5fe1637db5bff4b4f9e7086.tar.bz2 | |
testsuite: Test evrp-trans.c also with unsigned types [PR104115]
The testcase from the PR got fixed with r12-3119-g675a3e40567e1d
and looks quite similar to the evrp-trans.c test, except evrp-trans.c
is tested on signed integer types.
I think it would be useful to test it for unsigned comparisons too.
2022-01-19 Jakub Jelinek <jakub@redhat.com>
PR c/104115
* gcc.dg/tree-ssa/evrp-trans2.c: New test.
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/evrp-trans2.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/evrp-trans2.c b/gcc/testsuite/gcc.dg/tree-ssa/evrp-trans2.c new file mode 100644 index 0000000..d6fe427 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/evrp-trans2.c @@ -0,0 +1,8 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-evrp" } */ + +#define int unsigned +#include "evrp-trans.c" + +/* { dg-final { scan-tree-dump-not "kill" "evrp" } } */ +/* { dg-final { scan-tree-dump-times "keep" 13 "evrp"} } */ |