[16] RFR(S): 8251458: Parse::do_lookupswitch fails with "assert(_cnt >= 0) failed"

[Tobias Hartmann]

Thanks Vladimir.

Best regards,
Tobias

On 12.08.20 19:31, Vladimir Kozlov wrote:
> +1
> 
> Thanks,
> Vladimir K
> 
> On 8/12/20 4:26 AM, Christian Hagedorn wrote:
>> Hi Tobias
>>
>> Looks good to me!
>>
>> Best regards,
>> Christian
>>
>> On 12.08.20 13:08, Tobias Hartmann wrote:
>>> Hi,
>>>
>>> please review the following patch:
>>> https://bugs.openjdk.java.net/browse/JDK-8251458
>>> http://cr.openjdk.java.net/~thartmann/8251458/webrev.00/
>>>
>>> We hit an assert in Parse::do_lookupswitch() because the "taken" counter for a lookupswitch branch
>>> is negative. The problem is an overflow when converting an uint counter value > max_jint from
>>> profile information to a jint.
>>>
>>> The fix is to handle such overflows by simply limiting the counter value to max_jint.
>>>
>>> Best regards,
>>> Tobias
>>>