-
Enhancement
-
Resolution: Unresolved
-
P4
-
17, 18
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.
- relates to
-
JDK-8266854 LibraryCallKit::inline_preconditions_checkIndex modifies control flow even if the intrinsic bailed out
-
- Resolved
-