diff options
| author | Andrew Pinski <pinskia@physics.uc.edu> | 2005-09-07 20:35:19 +0000 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2005-09-07 13:35:19 -0700 |
| commit | 0c924d5c6673c4160d926fc2bbde5732dbc6d0bf (patch) | |
| tree | a9e6bbaa153168294440f444a9209d4b77c77030 /gcc | |
| parent | 98cd8256afa26fdcf4c4a7b01e4199fb47b2898d (diff) | |
| download | gcc-0c924d5c6673c4160d926fc2bbde5732dbc6d0bf.zip gcc-0c924d5c6673c4160d926fc2bbde5732dbc6d0bf.tar.gz gcc-0c924d5c6673c4160d926fc2bbde5732dbc6d0bf.tar.bz2 | |
tree-vrp.c (extract_range_from_expr): Move the check for non nullness after the check for gimple invariant.
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 4 |
2 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d2c6693..a360100 100644 --- 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 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); } |