From 7d048870c1e97470af577e782c3285a827d6a49f Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Wed, 4 Apr 2018 07:52:20 +0000 Subject: re PR tree-optimization/85168 (ICE in tree-ssa-coalesce.c: SSA corruption: Unable to coalesce ssa_names which are marked as MUST COALESCE when -O2 is used) 2018-04-04 Richard Biener PR tree-optimization/85168 * tree-ssa-sccvn.c (vn_reference_maybe_forwprop_address): Avoid propagating abnormals. * gcc.dg/torture/pr85168.c: New testcase. From-SVN: r259068 --- gcc/tree-ssa-sccvn.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'gcc/tree-ssa-sccvn.c') diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index fea452b..4e5f338 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -1249,7 +1249,9 @@ vn_reference_maybe_forwprop_address (vec *ops, return true; } if (!addr_base - || TREE_CODE (addr_base) != MEM_REF) + || TREE_CODE (addr_base) != MEM_REF + || (TREE_CODE (TREE_OPERAND (addr_base, 0)) == SSA_NAME + && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (TREE_OPERAND (addr_base, 0)))) return false; off += addr_offset; @@ -1262,6 +1264,7 @@ vn_reference_maybe_forwprop_address (vec *ops, ptr = gimple_assign_rhs1 (def_stmt); ptroff = gimple_assign_rhs2 (def_stmt); if (TREE_CODE (ptr) != SSA_NAME + || SSA_NAME_OCCURS_IN_ABNORMAL_PHI (ptr) || TREE_CODE (ptroff) != INTEGER_CST) return false; -- cgit v1.1