Skip to content

Commit 8c20a2e

Browse files
committed
ci: add MIRI_LEAK_CHECK=1 on ci
1 parent c16fbec commit 8c20a2e

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

ci/miri.sh

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,10 +15,13 @@ export MIRIFLAGS="${MIRIFLAGS:-} -Zmiri-strict-provenance -Zmiri-symbolic-alignm
1515

1616
case "${group}" in
1717
channel)
18+
# -Zmiri-ignore-leaks is needed because we use detached threads in tests in tests/array.rs: panic_on_drop
1819
MIRI_LEAK_CHECK='1' \
20+
MIRIFLAGS="${MIRIFLAGS} -Zmiri-ignore-leaks" \
1921
cargo miri test --all-features \
2022
-p crossbeam-channel 2>&1 | ts -i '%.s '
2123
# -Zmiri-ignore-leaks is needed because we use detached threads in tests in tests/golang.rs: https://github.com/rust-lang/miri/issues/1371
24+
MIRI_LEAK_CHECK='1' \
2225
MIRIFLAGS="${MIRIFLAGS} -Zmiri-ignore-leaks" \
2326
cargo miri test --all-features \
2427
-p crossbeam-channel --test golang 2>&1 | ts -i '%.s '

crossbeam-channel/tests/array.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -690,6 +690,7 @@ fn channel_through_channel() {
690690
.unwrap();
691691
}
692692

693+
#[cfg_attr(crossbeam_sanitize, ignore)]
693694
#[test]
694695
fn panic_on_drop() {
695696
struct Msg1<'a>(&'a mut bool);

0 commit comments

Comments
 (0)