|
 |
d5c0b6 |
|
|
|
d5c0b6 |
# HG changeset patch
|
|
|
d5c0b6 |
# User thartmann
|
|
|
d5c0b6 |
# Date 1604482955 -3600
|
|
|
d5c0b6 |
# Node ID 27723943c0dd65a191cbefe031cec001521e4b13
|
|
|
d5c0b6 |
# Parent e9d90c9daf895b469b461b727b6887e7780b4ac2
|
|
|
d5c0b6 |
8250861: Crash in MinINode::Ideal(PhaseGVN*, bool)
|
|
|
d5c0b6 |
Summary: Added missing NULL checks.
|
|
|
d5c0b6 |
Reviewed-by: kvn, chagedorn
|
|
|
d5c0b6 |
|
|
|
d5c0b6 |
diff -r e9d90c9daf89 -r 27723943c0dd src/hotspot/share/opto/addnode.cpp
|
|
|
d5c0b6 |
--- a/src/hotspot/share/opto/addnode.cpp Mon Nov 02 20:20:05 2020 +0100
|
|
|
d5c0b6 |
+++ b/src/hotspot/share/opto/addnode.cpp Wed Nov 04 10:42:35 2020 +0100
|
|
|
d5c0b6 |
@@ -917,7 +917,7 @@
|
|
|
d5c0b6 |
|
|
|
d5c0b6 |
// Transform MIN2(x + c0, MIN2(x + c1, z)) into MIN2(x + MIN2(c0, c1), z)
|
|
|
d5c0b6 |
// if x == y and the additions can't overflow.
|
|
|
d5c0b6 |
- if (phase->eqv(x,y) &&
|
|
|
d5c0b6 |
+ if (phase->eqv(x,y) && tx != NULL &&
|
|
|
d5c0b6 |
!can_overflow(tx, x_off) &&
|
|
|
d5c0b6 |
!can_overflow(tx, y_off)) {
|
|
|
d5c0b6 |
return new MinINode(phase->transform(new AddINode(x, phase->intcon(MIN2(x_off, y_off)))), r->in(2));
|
|
|
d5c0b6 |
@@ -925,7 +925,7 @@
|
|
|
d5c0b6 |
} else {
|
|
|
d5c0b6 |
// Transform MIN2(x + c0, y + c1) into x + MIN2(c0, c1)
|
|
|
d5c0b6 |
// if x == y and the additions can't overflow.
|
|
|
d5c0b6 |
- if (phase->eqv(x,y) &&
|
|
|
d5c0b6 |
+ if (phase->eqv(x,y) && tx != NULL &&
|
|
|
d5c0b6 |
!can_overflow(tx, x_off) &&
|
|
|
d5c0b6 |
!can_overflow(tx, y_off)) {
|
|
|
d5c0b6 |
return new AddINode(x,phase->intcon(MIN2(x_off,y_off)));
|
|
|
d5c0b6 |
|