diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bebecbe..3e8582c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -86,7 +86,7 @@ jobs: strategy: fail-fast: false matrix: - flags: ["--no-default-features", "", "--all-features"] + flags: ["--no-default-features", "", "--all-features", "--target mips64-unknown-linux-gnuabi64"] env: MIRIFLAGS: -Zmiri-strict-provenance steps: diff --git a/src/nibbles.rs b/src/nibbles.rs index 642b2b9..6c1e9d2 100644 --- a/src/nibbles.rs +++ b/src/nibbles.rs @@ -1031,7 +1031,8 @@ unsafe fn pack_to_unchecked(nibbles: &Nibbles, out: &mut [MaybeUninit]) { let byte_len = nibbles.len().div_ceil(2); debug_assert!(out.len() >= byte_len); // Move source pointer to the end of the little endian slice - let mut src = as_le_slice(&nibbles.nibbles).as_ptr().add(U256::BYTES); + let sl = as_le_slice(&nibbles.nibbles); + let mut src = sl.as_ptr().add(U256::BYTES); // Destination pointer is at the beginning of the output slice let mut dst = out.as_mut_ptr().cast::(); // On each iteration, decrement the source pointer by one, set the destination byte, and