RFR(XS): 8066775 opto/node.hpp:355, assert(i < _max) failed: oob: i=1, _max=1

[David Chase]

On 2014-12-08, at 6:45 AM, Roland Westrelin <roland.westrelin at oracle.com> wrote:

> http://cr.openjdk.java.net/~roland/8066775/webrev.00/
> 
> Another follow up from "8054478 C2: Incorrectly compiled char[] array access crashes JVM”
> 
> The part of the graph where the CastII becomes dead and the CastII's control is an IfTrue projection with input top. 

It looks plausible to me, but I was surprised that it was not immediately evident from the
(other) source code that the clause in the "if" would make the assertion necessarily be true.
(could it be something other than IfFalse or IfTrue?  I'm a bit more suspicious of "obvious"
assumptions after a recent other bug.)

if (in(0) != NULL && in(0)->in(0) != NULL && in(0)->in(0)->is_If()) {
       assert(in(0)->is_IfFalse() || in(0)->is_IfTrue(), "should be If proj");

David

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 801 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/attachments/20141208/c02ad715/signature.asc>