RFR (XS) 8024774: assert(_con < t->is_tuple()->cnt()) failed: ProjNode::_con must be in range

Vladimir Ivanov vladimir.x.ivanov at oracle.com
Wed Oct 2 11:55:14 PDT 2013

7 lines changed: 4 ins; 0 del; 3 mod

If hi->hi() == MAX_INT then, after (j == r->hi() && r == hi), j++ 
overflows and j <= r->hi() succeeds again (leading to extra iterations 
and infinite loop in the product).

The fix is to check whether upper limit is reached (j >= r->hi()) and 
stop iterating, if necessary.

Also, did a small cleanup: eliminated unused parameter from 

Testing: failing test case.

Reviewed-by: iveresov, ?

Best regards,
Vladimir Ivanov

More information about the hotspot-compiler-dev mailing list