From 708c2a537874c6c0755653b2b3d7b6f03c9f2ddf Mon Sep 17 00:00:00 2001 From: Taiki Endo Date: Sat, 5 Feb 2022 15:37:48 +0900 Subject: [PATCH] Enable -Zmiri-symbolic-alignment-check and -Zmiri-check-number-validity in miri CI --- ci/miri.sh | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/ci/miri.sh b/ci/miri.sh index bb808dac5..70acd2a4c 100755 --- a/ci/miri.sh +++ b/ci/miri.sh @@ -3,34 +3,34 @@ set -euxo pipefail IFS=$'\n\t' cd "$(dirname "$0")"/.. -MIRIFLAGS="-Zmiri-tag-raw-pointers" \ +MIRIFLAGS="-Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-tag-raw-pointers" \ cargo miri test \ - -p crossbeam-queue + -p crossbeam-queue # -Zmiri-tag-raw-pointers doesn't work with std::thread::Builder::name on Linux: https://github.com/rust-lang/miri/issues/1717 -MIRIFLAGS="-Zmiri-disable-isolation" \ +MIRIFLAGS="-Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation" \ cargo miri test \ - -p crossbeam-utils + -p crossbeam-utils # -Zmiri-ignore-leaks is needed because we use detached threads in tests/docs: https://github.com/rust-lang/miri/issues/1371 -MIRIFLAGS="-Zmiri-tag-raw-pointers -Zmiri-disable-isolation -Zmiri-ignore-leaks" \ +MIRIFLAGS="-Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-tag-raw-pointers -Zmiri-disable-isolation -Zmiri-ignore-leaks" \ cargo miri test \ - -p crossbeam-channel + -p crossbeam-channel # -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579 # -Zmiri-disable-stacked-borrows is needed for https://github.com/crossbeam-rs/crossbeam/issues/545 -MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-ignore-leaks -Zmiri-disable-stacked-borrows" \ +MIRIFLAGS="-Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks" \ cargo miri test \ - -p crossbeam-epoch \ - -p crossbeam-skiplist + -p crossbeam-epoch \ + -p crossbeam-skiplist # -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579 # -Zmiri-disable-stacked-borrows is needed for https://github.com/crossbeam-rs/crossbeam/issues/545 -MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-stacked-borrows -Zmiri-compare-exchange-weak-failure-rate=1.0" \ +MIRIFLAGS="-Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks -Zmiri-compare-exchange-weak-failure-rate=1.0" \ cargo miri test \ - -p crossbeam-deque + -p crossbeam-deque # -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579 -MIRIFLAGS="-Zmiri-ignore-leaks" \ +MIRIFLAGS="-Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-ignore-leaks" \ cargo miri test \ - -p crossbeam + -p crossbeam