Skip to content

Commit

Permalink
strict-provenance compatible parking_lot_core
Browse files Browse the repository at this point in the history
```
error: unsupported operation: integer-to-pointer casts and `ptr::from_exposed_addr` are not supported with `-Zmiri-strict-provenance`
   --> /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/parking_lot_core-0.9.5/src/word_lock.rs:320:9
    |
320 |         (self & QUEUE_MASK) as *const ThreadData
    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ integer-to-pointer casts and `ptr::from_exposed_addr` are not supported with `-Zmiri-strict-provenance`
    |
```
  • Loading branch information
taiki-e committed Dec 28, 2022
1 parent 9967e8a commit 462f43f
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -201,6 +201,11 @@ jobs:
toolchain: ${{ env.rust_nightly }}
components: miri
- uses: Swatinem/rust-cache@v2
- run: |
echo '[patch.crates-io]' >>Cargo.toml
echo 'parking_lot_core = { git = "https://github.com/taiki-e/parking_lot.git", branch = "strict-provenance" }' >>Cargo.toml
git diff
cargo update
- name: miri
# Ignore doctest because many features don't work with Miri yet.
run: cargo miri test --features full --no-fail-fast --tests
Expand Down

0 comments on commit 462f43f

Please sign in to comment.