RFR: 8355574: Fatal error in abort_verify_int_in_range due to Invalid CastII [v4]

[Quan Anh Mai]

On Thu, 13 Nov 2025 03:15:59 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:

>> I think it is a trivial check and it is much more efficient than creating a bunch of nodes and removing them later.
>
> Ok, then please, turn it into:
> 
> const TypeLong* inline_range = TypeLong::make(0, inline_limit);
> if (length_type->join(inline_range) == Type::TOP) {
>   return;
> }
> 
> Or even encapsulate the check in `ArrayCopyNode::get_partial_inline_vector_lane_count()` and guard the subsequent checks with `lane_count > 0`.
> 
> Otherwise, the patch looks good.

Thanks a lot, done!

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/25284#discussion_r2521844335