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/tree-vrp.c | |
| 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/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 4 |
1 files changed, 2 insertions, 2 deletions
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 { |