8233656: assert(d->is_CFG() && n->is_CFG()) failed: must have CFG nodes

Explicitly handle ProjNodes with TOP input.

Reviewed-by: kvn, vlivanov
This commit is contained in:
Tobias Hartmann 2019-11-13 08:43:35 +01:00
parent a05b6ae866
commit 7ba4fc4722

@ -891,7 +891,10 @@ Node *PhaseGVN::transform_no_reclaim( Node *n ) {
}
bool PhaseGVN::is_dominator_helper(Node *d, Node *n, bool linear_only) {
if (d->is_top() || n->is_top()) {
if (d->is_top() || (d->is_Proj() && d->in(0)->is_top())) {
return false;
}
if (n->is_top() || (n->is_Proj() && n->in(0)->is_top())) {
return false;
}
assert(d->is_CFG() && n->is_CFG(), "must have CFG nodes");