# HG changeset patch
# User thartmann
# Date 1573631015 -3600
# Node ID a8104278b4d034792d95c3013e8cd903b89c54c6
# Parent  846fee5ea75e10cb6a3a056b0a46e8f23bd93ff1
8233656: assert(d->is_CFG() && n->is_CFG()) failed: must have CFG nodes
Summary: Explicitly handle ProjNodes with TOP input.
Reviewed-by: kvn, vlivanov

diff -r 846fee5ea75e -r a8104278b4d0 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");