8233656: assert(d->is_CFG() && n->is_CFG()) failed: must have CFG nodes
authorthartmann
Wed, 13 Nov 2019 08:43:35 +0100
changeset 59046 a8104278b4d0
parent 59045 846fee5ea75e
child 59047 6c78185c99d7
child 59048 4c3eb05c0701
8233656: assert(d->is_CFG() && n->is_CFG()) failed: must have CFG nodes Summary: Explicitly handle ProjNodes with TOP input. Reviewed-by: kvn, vlivanov
src/hotspot/share/opto/phaseX.cpp
--- a/src/hotspot/share/opto/phaseX.cpp	Wed Nov 13 10:27:06 2019 +0900
+++ b/src/hotspot/share/opto/phaseX.cpp	Wed Nov 13 08:43:35 2019 +0100
@@ -891,7 +891,10 @@
 }
 
 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");