diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2012-11-17 23:00:32 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-11-17 23:00:32 +0100 |
| commit | 9abd8e8b634af19867783e19c17b2ee7bf1d35d4 (patch) | |
| tree | be674b8ee271fc438ab948ffd1ea623f2c6a7725 /gcc/testsuite/gcc.dg/pr55236.c | |
| parent | 2e63c69f49090e3b5bc73f91a12583ce3732907d (diff) | |
| download | gcc-9abd8e8b634af19867783e19c17b2ee7bf1d35d4.zip gcc-9abd8e8b634af19867783e19c17b2ee7bf1d35d4.tar.gz gcc-9abd8e8b634af19867783e19c17b2ee7bf1d35d4.tar.bz2 | |
re PR tree-optimization/55236 (gcc.c-torture/execute/pr22493-1.c FAILs with -fPIC)
PR tree-optimization/55236
* fold-const.c (make_range_step) <case NEGATE_EXPR>: For -fwrapv
and signed ARG0_TYPE, force low and high to be non-NULL.
* gcc.dg/pr55236.c: New test.
From-SVN: r193591
Diffstat (limited to 'gcc/testsuite/gcc.dg/pr55236.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr55236.c | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr55236.c b/gcc/testsuite/gcc.dg/pr55236.c new file mode 100644 index 0000000..dc66c04 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr55236.c @@ -0,0 +1,31 @@ +/* PR tree-optimization/55236 */ +/* { dg-do run } */ +/* { dg-options "-O2 -fwrapv" } */ + +extern void abort (); + +__attribute__((noinline, noclone)) void +foo (int i) +{ + if (i > 0) + abort (); + i = -i; + if (i < 0) + return; + abort (); +} + +__attribute__((noinline, noclone)) void +bar (int i) +{ + if (i > 0 || (-i) >= 0) + abort (); +} + +int +main () +{ + foo (-__INT_MAX__ - 1); + bar (-__INT_MAX__ - 1); + return 0; +} |