diff options
| author | Dirk Mueller <dmueller@suse.de> | 2007-01-21 16:12:10 +0000 |
|---|---|---|
| committer | Dirk Mueller <mueller@gcc.gnu.org> | 2007-01-21 16:12:10 +0000 |
| commit | 1eb7b0490470ad3690fb31ed4799008ebdf1e21f (patch) | |
| tree | e98cb630de12d5eb716512e618033f5078e643d0 | |
| parent | e9e90c1f98233c09b734988f2a481a1476bd2266 (diff) | |
| download | gcc-1eb7b0490470ad3690fb31ed4799008ebdf1e21f.zip gcc-1eb7b0490470ad3690fb31ed4799008ebdf1e21f.tar.gz gcc-1eb7b0490470ad3690fb31ed4799008ebdf1e21f.tar.bz2 | |
re PR bootstrap/30511 (False array bound check causes gcc failed to boostrap)
2007-01-21 Dirk Mueller <dmueller@suse.de>
PR bootstrap/30511
* tree-vrp.c (check_array_bounds): do not warn
about ADDR_EXPR's of ARRAY_REF's which are immediately
used in binary expressions.
From-SVN: r121032
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 37 |
2 files changed, 34 insertions, 10 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index de07527..742e60f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2007-01-21 Dirk Mueller <dmueller@suse.de> + + PR bootstrap/30511 + * tree-vrp.c (check_array_bounds): do not warn + about ADDR_EXPR's of ARRAY_REF's which are immediately + used in binary expressions. + 2007-01-21 Ira Rosen <irar@il.ibm.com> * tree-vectorizer.h (struct _stmt_vec_info): Add new field diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index b466edf..6fb2a72 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -3564,7 +3564,8 @@ static tree check_array_bounds (tree *tp, int *walk_subtree, void *data) { tree t = *tp; - location_t *location = EXPR_LOCUS ((tree) data); + tree stmt = (tree)data; + location_t *location = EXPR_LOCUS (stmt); *walk_subtree = TRUE; @@ -3572,18 +3573,34 @@ check_array_bounds (tree *tp, int *walk_subtree, void *data) check_array_ref (t, location, false /*ignore_off_by_one*/); else if (TREE_CODE (t) == ADDR_EXPR) { + use_operand_p op; + tree use_stmt; t = TREE_OPERAND (t, 0); /* Don't warn on statements like - ssa_name = 500 + &array[-200] which are sometimes - produced by various optimizing passes. */ - if (TREE_CODE ((tree)data) == GIMPLE_MODIFY_STMT - && BINARY_CLASS_P (GIMPLE_STMT_OPERAND ((tree)data, 1))) - { - *walk_subtree = FALSE; - return NULL_TREE; - } - while (handled_component_p (t)) + + ssa_name = 500 + &array[-200] + + or + + ssa_name = &array[-200] + other_name = ssa_name + 300; + + which are sometimes + produced by other optimizing passes. */ + + if (TREE_CODE (stmt) == GIMPLE_MODIFY_STMT + && BINARY_CLASS_P (GIMPLE_STMT_OPERAND (stmt, 1))) + *walk_subtree = FALSE; + + if (TREE_CODE (stmt) == GIMPLE_MODIFY_STMT + && TREE_CODE (GIMPLE_STMT_OPERAND (stmt, 0)) == SSA_NAME + && single_imm_use (GIMPLE_STMT_OPERAND (stmt, 0), &op, &use_stmt) + && TREE_CODE (use_stmt) == GIMPLE_MODIFY_STMT + && BINARY_CLASS_P (GIMPLE_STMT_OPERAND (use_stmt, 1))) + *walk_subtree = FALSE; + + while (*walk_subtree && handled_component_p (t)) { if (TREE_CODE (t) == ARRAY_REF) check_array_ref (t, location, true /*ignore_off_by_one*/); |