CI #9958
Annotations
5 errors
|
Test Miri:
tests/fail/intrinsics/ptr_offset_from_different_ints.stderr#L2
this line was expected to be `error: Undefined Behavior: `ptr_offset_from` called on two different pointers that are not both derived from the same allocation`
|
|
Test Miri:
tests/fail/intrinsics/ptr_offset_from_different_ints.stderr#L6
this line was expected to be ` | ^^^^^^^^^^^^^^^^^^^^^^^ `ptr_offset_from` called on two different pointers that are not both derived from the same allocation`
|
|
|
|
Test Miri:
tests/fail/intrinsics/ptr_offset_from_different_ints.rs#L18
Error: Undefined Behavior: `ptr_offset_from` called on two different pointers that are not both derived from the same allocation
|
|
Test Miri
Process completed with exit code 1.
|
Loading