Details
Description
It would be nice to have a test which verifies edge cases for the intrinsic LibraryCallKit::inline_preconditions_checkIndex:
1) When the range check (RangeCheckNode ) always fails and execution unconditionally hits the uncommon trap.
2) When length is know negative during compilation and execution unconditionally hits the uncommon trap.
1) When the range check (RangeCheckNode ) always fails and execution unconditionally hits the uncommon trap.
2) When length is know negative during compilation and execution unconditionally hits the uncommon trap.
Attachments
Issue Links
- relates to
-
JDK-8266854 LibraryCallKit::inline_preconditions_checkIndex modifies control flow even if the intrinsic bailed out
-
- Resolved
-