Skip to content

Commit cc5649a

Browse files
committed
epoch: Remove ptr-to-int casts
1 parent 450d237 commit cc5649a

File tree

5 files changed

+181
-88
lines changed

5 files changed

+181
-88
lines changed

ci/miri.sh

Lines changed: 8 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -15,20 +15,21 @@ MIRIFLAGS="-Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disab
1515
cargo miri test \
1616
-p crossbeam-channel
1717

18-
# -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579
18+
# -Zmiri-disable-stacked-borrows is needed for https://github.com/crossbeam-rs/crossbeam/issues/545
19+
MIRIFLAGS="-Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-disable-stacked-borrows" \
20+
cargo miri test \
21+
-p crossbeam-epoch
22+
23+
# -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/614
1924
# -Zmiri-disable-stacked-borrows is needed for https://github.com/crossbeam-rs/crossbeam/issues/545
2025
MIRIFLAGS="-Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks" \
2126
cargo miri test \
22-
-p crossbeam-epoch \
2327
-p crossbeam-skiplist
2428

25-
# -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579
26-
# -Zmiri-disable-stacked-borrows is needed for https://github.com/crossbeam-rs/crossbeam/issues/545
27-
MIRIFLAGS="-Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks -Zmiri-compare-exchange-weak-failure-rate=1.0" \
29+
MIRIFLAGS="-Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-compare-exchange-weak-failure-rate=1.0" \
2830
cargo miri test \
2931
-p crossbeam-deque
3032

31-
# -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579
32-
MIRIFLAGS="-Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-ignore-leaks" \
33+
MIRIFLAGS="-Zmiri-check-number-validity -Zmiri-symbolic-alignment-check" \
3334
cargo miri test \
3435
-p crossbeam

0 commit comments

Comments
 (0)