Mercurial > hg > truffle
diff src/share/vm/opto/phaseX.cpp @ 305:ab075d07f1ba
6736417: Fastdebug C2 crashes in StoreBNode::Ideal
Summary: The result of step_through_mergemem() and remove_dead_region() is not checked in some cases.
Reviewed-by: never
| author | kvn |
|---|---|
| date | Wed, 27 Aug 2008 09:15:46 -0700 |
| parents | d1605aabd0a1 |
| children | 98cb887364d3 |
line wrap: on
line diff
--- a/src/share/vm/opto/phaseX.cpp Wed Aug 27 00:21:55 2008 -0700 +++ b/src/share/vm/opto/phaseX.cpp Wed Aug 27 09:15:46 2008 -0700 @@ -986,7 +986,9 @@ // Apply the Ideal call in a loop until it no longer applies Node *k = n; DEBUG_ONLY(dead_loop_check(k);) + DEBUG_ONLY(bool is_new = (k->outcnt() == 0);) Node *i = k->Ideal(this, /*can_reshape=*/true); + assert(i != k || is_new || i->outcnt() > 0, "don't return dead nodes"); #ifndef PRODUCT if( VerifyIterativeGVN ) verify_step(k); @@ -1024,7 +1026,9 @@ } DEBUG_ONLY(dead_loop_check(k);) // Try idealizing again + DEBUG_ONLY(is_new = (k->outcnt() == 0);) i = k->Ideal(this, /*can_reshape=*/true); + assert(i != k || is_new || i->outcnt() > 0, "don't return dead nodes"); #ifndef PRODUCT if( VerifyIterativeGVN ) verify_step(k);