diff options
| author | Rafael Avila de Espindola <espindola@google.com> | 2008-04-01 18:40:16 +0000 |
|---|---|---|
| committer | Rafael Espindola <espindola@gcc.gnu.org> | 2008-04-01 18:40:16 +0000 |
| commit | 220f1c2948aa9c6f9bdbec9706b63fb90ce9bce3 (patch) | |
| tree | 2160cdaf18effd71178affe768543335444813c3 /gcc/tree-cfg.c | |
| parent | 7f9766e49a1f3c833b8bb9feca7f0a54483a7031 (diff) | |
| download | gcc-220f1c2948aa9c6f9bdbec9706b63fb90ce9bce3.zip gcc-220f1c2948aa9c6f9bdbec9706b63fb90ce9bce3.tar.gz gcc-220f1c2948aa9c6f9bdbec9706b63fb90ce9bce3.tar.bz2 | |
tree-cfg.c (verify_expr): remove in_phi.
2008-04-01 Rafael Espindola <espindola@google.com>
* tree-cfg.c (verify_expr): remove in_phi.
(verify_stmt): Don't call walk_tree with verify_expr. Use
is_gimple_min_invariant instead of is_gimple_val.
From-SVN: r133795
Diffstat (limited to 'gcc/tree-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 27 |
1 files changed, 1 insertions, 26 deletions
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 6c4b311..944b31f 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3113,7 +3113,6 @@ static tree verify_expr (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED) { tree t = *tp, x; - bool in_phi = (data != NULL); if (TYPE_P (t)) *walk_subtrees = 0; @@ -3164,23 +3163,6 @@ verify_expr (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED) bool new_constant; bool new_side_effects; - /* ??? tree-ssa-alias.c may have overlooked dead PHI nodes, missing - dead PHIs that take the address of something. But if the PHI - result is dead, the fact that it takes the address of anything - is irrelevant. Because we can not tell from here if a PHI result - is dead, we just skip this check for PHIs altogether. This means - we may be missing "valid" checks, but what can you do? - This was PR19217. */ - if (in_phi) - { - if (!is_gimple_min_invariant (t)) - { - error ("non-invariant address expression in PHI argument"); - return t; - } - break; - } - old_invariant = TREE_INVARIANT (t); old_constant = TREE_CONSTANT (t); old_side_effects = TREE_SIDE_EFFECTS (t); @@ -4338,7 +4320,7 @@ verify_stmts (void) are not considered gimple values. */ else if (TREE_CODE (t) != SSA_NAME && TREE_CODE (t) != FUNCTION_DECL - && !is_gimple_val (t)) + && !is_gimple_min_invariant (t)) { error ("PHI def is not a GIMPLE value"); debug_generic_stmt (phi); @@ -4346,13 +4328,6 @@ verify_stmts (void) err |= true; } - addr = walk_tree (&t, verify_expr, (void *) 1, NULL); - if (addr) - { - debug_generic_stmt (addr); - err |= true; - } - addr = walk_tree (&t, verify_node_sharing, visited, NULL); if (addr) { |