changeset 56915:a8104278b4d0

8233656: assert(d->is_CFG() && n->is_CFG()) failed: must have CFG nodes Summary: Explicitly handle ProjNodes with TOP input. Reviewed-by: kvn, vlivanov
author thartmann
date Wed, 13 Nov 2019 08:43:35 +0100
parents 846fee5ea75e
children 6c78185c99d7
files src/hotspot/share/opto/phaseX.cpp
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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");