tree-vrp.c (extract_range_from_expr): Move the check for non nullness after the check...

2005-09-08  Andrew Pinski  <pinskia@physics.uc.edu>

        * tree-vrp.c (extract_range_from_expr): Move the check for non
        nullness after the check for gimple invariant.

From-SVN: r104002

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d2c6693e6a8f9b5d00e17199d05b4c72f63e9634..a360100785f669d07cefbbb5c15599e4b07f43b9 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2005-09-08  Andrew Pinski  <pinskia@physics.uc.edu>
+
+       * tree-vrp.c (extract_range_from_expr): Move the check for non
+       nullness after the check for gimple invariant.
+
 2005-09-08  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
 
        * tree.c (host_integerp, tree_low_cst): Correct function comment.

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 77ddd3a4d9e861e31a78f466799132ac78b365a1..ab6dc58e7ed3efee9fd3ff006c02b082f35bb881 100644 (file)
--- 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);
 }