From 0c924d5c6673c4160d926fc2bbde5732dbc6d0bf Mon Sep 17 00:00:00 2001 From: Andrew Pinski Date: Wed, 7 Sep 2005 20:35:19 +0000 Subject: tree-vrp.c (extract_range_from_expr): Move the check for non nullness after the check for gimple invariant. 2005-09-08 Andrew Pinski * tree-vrp.c (extract_range_from_expr): Move the check for non nullness after the check for gimple invariant. From-SVN: r104002 --- gcc/tree-vrp.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gcc/tree-vrp.c') diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 77ddd3a..ab6dc58 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1517,10 +1517,10 @@ extract_range_from_expr (value_range_t *vr, tree expr) extract_range_from_unary_expr (vr, expr); else if (TREE_CODE_CLASS (code) == tcc_comparison) extract_range_from_comparison (vr, expr); - else if (vrp_expr_computes_nonzero (expr)) - set_value_range_to_nonnull (vr, TREE_TYPE (expr)); else if (is_gimple_min_invariant (expr)) set_value_range (vr, VR_RANGE, expr, expr, NULL); + else if (vrp_expr_computes_nonzero (expr)) + set_value_range_to_nonnull (vr, TREE_TYPE (expr)); else set_value_range_to_varying (vr); } -- cgit v1.1