make strict provenance the default

Author: RalfJung

ci-test.sh

@@ -1,7 +1,7 @@
 #!/bin/bash
 set -euo pipefail
 
-DEFAULTFLAGS="-Zmiri-retag-fields -Zrandomize-layout"
+DEFAULTFLAGS="-Zmiri-retag-fields -Zrandomize-layout -Zmiri-strict-provenance"
 
 # apply our patch
 rm -rf rust-src-patched
@@ -21,13 +21,13 @@ core)
             -- --skip align \
             2>&1 | ts -i '%.s  '
         echo "::endgroup::"
-        echo "::group::Testing core ($TARGET, strict provenance)"
-        MIRIFLAGS="$DEFAULTFLAGS -Zmiri-strict-provenance" \
+        echo "::group::Testing core ($TARGET)"
+        MIRIFLAGS="$DEFAULTFLAGS" \
             ./run-test.sh core --target $TARGET --lib --tests \
             2>&1 | ts -i '%.s  '
         echo "::endgroup::"
-        echo "::group::Testing core docs ($TARGET, strict provenance)" && echo
-        MIRIFLAGS="$DEFAULTFLAGS -Zmiri-ignore-leaks -Zmiri-disable-isolation -Zmiri-strict-provenance" \
+        echo "::group::Testing core docs ($TARGET, ignore leaks)" && echo
+        MIRIFLAGS="$DEFAULTFLAGS -Zmiri-ignore-leaks -Zmiri-disable-isolation" \
             ./run-test.sh core --target $TARGET --doc \
             2>&1 | ts -i '%.s  '
         echo "::endgroup::"
@@ -37,13 +37,13 @@ alloc)
     # A 64bit little-endian and a 32bit big-endian target.
     # (Varying the OS is not really worth it for alloc.)
     for TARGET in x86_64-unknown-linux-gnu mips-unknown-linux-gnu; do
-        echo "::group::Testing alloc ($TARGET, symbolic alignment, strict provenance)"
-        MIRIFLAGS="$DEFAULTFLAGS -Zmiri-symbolic-alignment-check -Zmiri-strict-provenance" \
+        echo "::group::Testing alloc ($TARGET, symbolic alignment)"
+        MIRIFLAGS="$DEFAULTFLAGS -Zmiri-symbolic-alignment-check" \
             ./run-test.sh alloc --target $TARGET --lib --tests \
             2>&1 | ts -i '%.s  '
         echo "::endgroup::"
-        echo "::group::Testing alloc docs ($TARGET, strict provenance)"
-        MIRIFLAGS="$DEFAULTFLAGS -Zmiri-ignore-leaks -Zmiri-disable-isolation -Zmiri-strict-provenance" \
+        echo "::group::Testing alloc docs ($TARGET, ignore leaks)"
+        MIRIFLAGS="$DEFAULTFLAGS -Zmiri-ignore-leaks -Zmiri-disable-isolation" \
             ./run-test.sh alloc --target $TARGET --doc \
             2>&1 | ts -i '%.s  '
         echo "::endgroup::"
@@ -59,28 +59,28 @@ std)
     # FIXME: strict provenance should be possible, but needs
     # <https://github.com/rust-lang/rust/pull/104658> and a getrandom bump.
     for TARGET in x86_64-unknown-linux-gnu aarch64-apple-darwin; do
-        echo "::group::Testing std core ($CORE on $TARGET)"
-        MIRIFLAGS="$DEFAULTFLAGS -Zmiri-disable-isolation" \
+        echo "::group::Testing std core ($CORE on $TARGET, permissive provenance)"
+        MIRIFLAGS="$DEFAULTFLAGS -Zmiri-disable-isolation -Zmiri-permissive-provenance" \
             ./run-test.sh std --target $TARGET --lib --tests \
             -- $CORE \
             2>&1 | ts -i '%.s  '
         echo "::endgroup::"
-        echo "::group::Testing std core docs ($CORE on $TARGET)"
-        MIRIFLAGS="$DEFAULTFLAGS -Zmiri-ignore-leaks -Zmiri-disable-isolation" \
+        echo "::group::Testing std core docs ($CORE on $TARGET, ignore leaks, permissive provenance)"
+        MIRIFLAGS="$DEFAULTFLAGS -Zmiri-ignore-leaks -Zmiri-disable-isolation -Zmiri-permissive-provenance" \
             ./run-test.sh std --target $TARGET --doc \
             -- $CORE \
             2>&1 | ts -i '%.s  '
         echo "::endgroup::"
     done
     # hashbrown and some other things do int2ptr casts, so we need permissive provenance.
     # "sleep" has a thread leak that we have to ignore
-    echo "::group::Testing remaining std (except for $SKIP)"
+    echo "::group::Testing remaining std (all except for $SKIP, ignore leaks, permissive provenance)"
     MIRIFLAGS="$DEFAULTFLAGS -Zmiri-ignore-leaks -Zmiri-disable-isolation -Zmiri-permissive-provenance" \
         ./run-test.sh std --lib --tests \
         -- $(for M in $CORE; do echo "--skip $M "; done) $(for M in $SKIP; do echo "--skip $M "; done) \
         2>&1 | ts -i '%.s  '
     echo "::endgroup::"
-    echo "::group::Testing remaining std docs (except for $SKIP)"
+    echo "::group::Testing remaining std docs (all except for $SKIP, ignore leaks, permissive provenance)"
     MIRIFLAGS="$DEFAULTFLAGS -Zmiri-ignore-leaks -Zmiri-disable-isolation -Zmiri-permissive-provenance" \
         ./run-test.sh std --doc \
         -- $(for M in $CORE; do echo "--skip $M "; done) $(for M in $SKIP; do echo "--skip $M "; done) \
@@ -89,13 +89,13 @@ std)
     ;;
 simd)
     cd $MIRI_LIB_SRC/portable-simd
-    echo "::group::Testing portable-simd (strict provenance)"
-    MIRIFLAGS="$DEFAULTFLAGS -Zmiri-strict-provenance" \
+    echo "::group::Testing portable-simd"
+    MIRIFLAGS="$DEFAULTFLAGS" \
         cargo miri test --lib --tests \
         2>&1 | ts -i '%.s  '
     echo "::endgroup::"
-    echo "::group::Testing portable-simd docs (strict provenance)"
-    MIRIFLAGS="$DEFAULTFLAGS -Zmiri-strict-provenance" \
+    echo "::group::Testing portable-simd docs"
+    MIRIFLAGS="$DEFAULTFLAGS" \
         cargo miri test --doc \
         2>&1 | ts -i '%.s  '
     echo "::endgroup::"

rust-version

@@ -1 +1 @@
-nightly-2022-11-23
+nightly-2022-11-24