diff options
author | Jakub Jelinek <jakub@redhat.com> | 2009-01-28 11:40:06 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2009-01-28 11:40:06 +0100 |
commit | a9d386a14ff953d7d3a6365cfe49dae318a1f7b1 (patch) | |
tree | 44a21a789fae6acc5ec9e7170f32184ee9138836 /gcc | |
parent | 97a170cd637fd9c1c8203c9e286833d251ca5529 (diff) | |
download | gcc-a9d386a14ff953d7d3a6365cfe49dae318a1f7b1.zip gcc-a9d386a14ff953d7d3a6365cfe49dae318a1f7b1.tar.gz gcc-a9d386a14ff953d7d3a6365cfe49dae318a1f7b1.tar.bz2 |
re PR middle-end/38934 (ICE in set_value_range, at tree-vrp.c:398)
PR middle-end/38934
* tree-vrp.c (extract_range_from_assert): For LE_EXPR and LT_EXPR
set to varying whenever max has TREE_OVERFLOW set, similarly
for GE_EXPR and GT_EXPR and TREE_OVERFLOW min.
* gcc.dg/pr38934.c: New test.
From-SVN: r143723
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 7 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/pr38934.c | 19 | ||||
-rw-r--r-- | gcc/tree-vrp.c | 4 |
4 files changed, 33 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 88de5d2..66eb172 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2009-01-28 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/38934 + * tree-vrp.c (extract_range_from_assert): For LE_EXPR and LT_EXPR + set to varying whenever max has TREE_OVERFLOW set, similarly + for GE_EXPR and GT_EXPR and TREE_OVERFLOW min. + 2009-01-28 Richard Guenther <rguenther@suse.de> PR middle-end/38908 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2db69be..ae3d55a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-01-28 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/38934 + * gcc.dg/pr38934.c: New test. + 2009-01-28 Richard Guenther <rguenther@suse.de> PR middle-end/38908 diff --git a/gcc/testsuite/gcc.dg/pr38934.c b/gcc/testsuite/gcc.dg/pr38934.c new file mode 100644 index 0000000..c05742c --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr38934.c @@ -0,0 +1,19 @@ +/* PR middle-end/38934 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -std=gnu99 -w" } */ + +/* This variable needed only to work around earlier optimizations than VRP. */ +unsigned char g; + +extern void abort (); + +void +f (long long int p) +{ + g = 255; + if (p >= -9223372036854775808LL - (signed char) g) + p = 1; + + if (p) + abort (); +} diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 4b6caca..8ca65b3 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1620,7 +1620,7 @@ extract_range_from_assert (value_range_t *vr_p, tree expr) all should be optimized away above us. */ if ((cond_code == LT_EXPR && compare_values (max, min) == 0) - || is_overflow_infinity (max)) + || (CONSTANT_CLASS_P (max) && TREE_OVERFLOW (max))) set_value_range_to_varying (vr_p); else { @@ -1655,7 +1655,7 @@ extract_range_from_assert (value_range_t *vr_p, tree expr) all should be optimized away above us. */ if ((cond_code == GT_EXPR && compare_values (min, max) == 0) - || is_overflow_infinity (min)) + || (CONSTANT_CLASS_P (min) && TREE_OVERFLOW (min))) set_value_range_to_varying (vr_p); else { |