RFR(S): 8215265: C2: range check elimination may allow illegal out of bound access

Tobias Hartmann tobias.hartmann at oracle.com
Mon Dec 17 14:16:33 UTC 2018


On 17.12.18 14:06, Roland Westrelin wrote:
> Right. By one iteration. The other way of doing this would to change the
> limit computation to something like:
> 
> (loop - limit + scale - 1) /scale
> 
> but then we would need to worry about loop - limit + scale - 1
> overflowing I think.

Right. I guess your fix is reasonable then.

Best regards,
Tobias


More information about the hotspot-compiler-dev mailing list