diff options
| author | Kazu Hirata <kazu@codesourcery.com> | 2005-12-22 01:16:57 +0000 |
|---|---|---|
| committer | Kazu Hirata <kazu@gcc.gnu.org> | 2005-12-22 01:16:57 +0000 |
| commit | 4e2d94a91774249326515786963ada455c0dcd6d (patch) | |
| tree | 989e1293dd57648294bb4682a5040af44a4a3334 /gcc | |
| parent | 8ccfa1ccb9c9845f9cd59b36164b0ec4918ef407 (diff) | |
| download | gcc-4e2d94a91774249326515786963ada455c0dcd6d.tar.gz | |
tree-vrp.c (extract_range_from_binary_expr): Clean up uses of vr0.type.
* tree-vrp.c (extract_range_from_binary_expr): Clean up uses
of vr0.type.
From-SVN: r108935
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 8 |
2 files changed, 11 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f93e4be9d70..cdc10e038b6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2005-12-22 Kazu Hirata <kazu@codesourcery.com> + + * tree-vrp.c (extract_range_from_binary_expr): Clean up uses + of vr0.type. + 2005-12-21 Joseph S. Myers <joseph@codesourcery.com> PR middle-end/24998 diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index a9609fa6157..b9503865fcf 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1167,6 +1167,7 @@ static void extract_range_from_binary_expr (value_range_t *vr, tree expr) { enum tree_code code = TREE_CODE (expr); + enum value_range_type type; tree op0, op1, min, max; int cmp; value_range_t vr0 = { VR_UNDEFINED, NULL_TREE, NULL_TREE, NULL }; @@ -1220,6 +1221,9 @@ extract_range_from_binary_expr (value_range_t *vr, tree expr) return; } + /* The type of the resulting value range defaults to VR0.TYPE. */ + type = vr0.type; + /* Refuse to operate on VARYING ranges, ranges of different kinds and symbolic ranges. As an exception, we allow BIT_AND_EXPR because we may be able to derive a useful range even if one of @@ -1425,7 +1429,7 @@ extract_range_from_binary_expr (value_range_t *vr, tree expr) && tree_expr_nonnegative_p (vr1.max) && TREE_CODE (vr1.max) == INTEGER_CST) { - vr0.type = VR_RANGE; + type = VR_RANGE; min = fold_convert (TREE_TYPE (expr), integer_zero_node); max = vr1.max; } @@ -1455,7 +1459,7 @@ extract_range_from_binary_expr (value_range_t *vr, tree expr) set_value_range_to_varying (vr); } else - set_value_range (vr, vr0.type, min, max, NULL); + set_value_range (vr, type, min, max, NULL); } |