diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2015-01-12 21:48:09 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2015-01-12 21:48:09 +0100 |
| commit | 737fde1df22f8b0bfdc5b39dfc7d5fa280577318 (patch) | |
| tree | 230f5ffe93c8c7f4a5736c8396a762122d903f55 /gcc/tree-vrp.c | |
| parent | 631b8d78b040678569701afe7e8d5de53d3fd419 (diff) | |
| download | gcc-737fde1df22f8b0bfdc5b39dfc7d5fa280577318.zip gcc-737fde1df22f8b0bfdc5b39dfc7d5fa280577318.tar.gz gcc-737fde1df22f8b0bfdc5b39dfc7d5fa280577318.tar.bz2 | |
re PR tree-optimization/64563 (ICE with "-Wall -Wextra" at -Os and above on x86_64-linux-gnu)
PR tree-optimization/64563
* tree-vrp.c (vrp_evaluate_conditional): Check for VR_RANGE
instead of != VR_VARYING.
* gcc.dg/pr64563.c: New test.
From-SVN: r219493
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index ecf86c3..f3e1d3d 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -7545,7 +7545,7 @@ vrp_evaluate_conditional (enum tree_code code, tree op0, tree op1, gimple stmt) tree type = TREE_TYPE (op0); value_range_t *vr0 = get_value_range (op0); - if (vr0->type != VR_VARYING + if (vr0->type == VR_RANGE && INTEGRAL_TYPE_P (type) && vrp_val_is_min (vr0->min) && vrp_val_is_max (vr0->max) |