Details
-
Bug
-
Resolution: Fixed
-
P2
-
10
-
b31
-
Verified
Backports
Issue | Fix Version | Assignee | Priority | Status | Resolution | Resolved In Build |
---|---|---|---|---|---|---|
JDK-8208882 | 8u201 | Roland Westrelin | P2 | Resolved | Fixed | b01 |
JDK-8199864 | 8u192 | Roland Westrelin | P2 | Resolved | Fixed | b01 |
JDK-8201853 | 8u191 | Roland Westrelin | P2 | Resolved | Fixed | b01 |
JDK-8201337 | 8u181 | Roland Westrelin | P2 | Closed | Fixed | b02 |
JDK-8216702 | emb-8u201 | Roland Westrelin | P2 | Resolved | Fixed | master |
JDK-8203093 | emb-8u181 | Roland Westrelin | P2 | Resolved | Fixed | b02 |
Description
assert((Opcode() != Op_If && Opcode() != Op_RangeCheck) || outcnt() == 2) failed: bad if #1
V [libjvm.so+0x105f0ca] MultiNode::proj_out(unsigned int) const+0x144
V [libjvm.so+0xc91b1a] IfNode::range_check_trap_proj(int&, Node*&, Node*&)+0x1f2
V [libjvm.so+0xc91b8e] RangeCheckNode::is_range_check(Node*&, Node*&, int&)+0x56
V [libjvm.so+0xc96a02] RangeCheckNode::Ideal(PhaseGVN*, bool)+0x1d0
With subgraph shape:
UNC->Region->IfProj->RangeCheck
The region has the IfProj as single input. RegionNode::Ideal() finds that the subgraph is unreachable which causes the IfProj to be removed. RangeCheckNode::Ideal() is called on a dominated range check which walks the graph, hit the RangeCheck that has a single projection and causes a crash.
Attachments
Issue Links
- backported by
-
JDK-8199864 IfNode::range_check_trap_proj() should handle dying subgraph with single if proj
- Resolved
-
JDK-8201853 IfNode::range_check_trap_proj() should handle dying subgraph with single if proj
- Resolved
-
JDK-8203093 IfNode::range_check_trap_proj() should handle dying subgraph with single if proj
- Resolved
-
JDK-8208882 IfNode::range_check_trap_proj() should handle dying subgraph with single if proj
- Resolved
-
JDK-8216702 IfNode::range_check_trap_proj() should handle dying subgraph with single if proj
- Resolved
-
JDK-8201337 IfNode::range_check_trap_proj() should handle dying subgraph with single if proj
- Closed