@@ -4243,9 +4243,10 @@ vn_nary_op_insert_into (vn_nary_op_t vno, vn_nary_op_table_type *table)
if (dominated_by_p (CDI_DOMINATORS, vno_bb, val_bb))
/* Value registered with more generic predicate. */
return *slot;
- else if (dominated_by_p (CDI_DOMINATORS, val_bb, vno_bb))
+ else if (flag_checking)
/* Shouldn't happen, we insert in RPO order. */
- gcc_unreachable ();
+ gcc_assert (!dominated_by_p (CDI_DOMINATORS,
+ val_bb, vno_bb));
}
/* Append value. */
*next = (vn_pval *) obstack_alloc (&vn_tables_obstack,