Enable permissive provenance by default by RalfJung · Pull Request #2275 · rust-...

Testing `cargo miri test` (no isolation, no doctests)...
Test stdout or stderr did not match reference!
--- BEGIN test stdout ---
running 2 tests
..
test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
imported main
running 8 tests
..i--- END test stdout ---
--- BEGIN test stderr ---
error: Undefined Behavior: 0x93e046 is not a valid pointer
--> /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/getrandom-0.2.2/src/macos.rs:24:32
|
24|            let ret = unsafe { func(chunk.as_mut_ptr(), chunk.len()) };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^0x93e046 is not a valid pointer
|
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
= note: inside `getrandom::imp::getrandom_inner` at /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/getrandom-0.2.2/src/macos.rs:24:32
= note: inside `getrandom::getrandom` at /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/getrandom-0.2.2/src/lib.rs:235:5
= note: inside `<rand::prelude::SmallRng as rand::SeedableRng>::from_entropy` at /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/rand_core-0.6.2/src/lib.rs:380:27
note: inside `entropy_rng` at tests/test.rs:33:19
--> tests/test.rs:33:19
|
33|    let mut rng = SmallRng::from_entropy();
| ^^^^^^^^^^^^^^^^^^^^^^^^

MIRIFLAGS="-Zmiri-permissive-provenance -Zmiri-seed=B" cargo miri test --target aarch64-apple-darwin rng --test test

     Running tests/small-stack.rs (target/miri/x86_64-unknown-linux-gnu/debug/deps/small_stack-936c74f9283f43cc)
error: Undefined Behavior: trying to reborrow <wildcard> for SharedReadOnly permission at alloc4271[0x0], but no exposed tags have suitable permission in the borrow stack for this location
   --> /root/build/src/atom.rs:233:25
    |
233 |             if unsafe { &*entry }.ref_count.fetch_sub(1, SeqCst) == 1 {
    |                         ^^^^^^^
    |                         |
    |                         trying to reborrow <wildcard> for SharedReadOnly permission at alloc4271[0x0], but no exposed tags have suitable permission in the borrow stack for this location
    |                         this error occurs as part of a reborrow at alloc4271[0x0..0x8]
    |
    = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
            
    = note: inside `<string_cache::Atom<string_cache::EmptyStaticAtomSet> as std::ops::Drop>::drop` at /root/build/src/atom.rs:233:25
    = note: inside `std::ptr::drop_in_place::<string_cache::Atom<string_cache::EmptyStaticAtomSet>> - shim(Some(string_cache::Atom<string_cache::EmptyStaticAtomSet>))` at /root/.rustup/toolchains/miri/lib/rustlib/src/rust/library/core/src/ptr/mod.rs:487:1
note: inside closure at tests/small-stack.rs:13:9
   --> tests/small-stack.rs:13:9
    |
13  |         })
    |         ^

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to previous error

   Doc-tests string_cache

     Running tests/test.rs (target/miri/aarch64-apple-darwin/debug/deps/test-8bd6ea9154753acd)

running 8 tests
test cargo_env ... ok
test do_panic - should panic ... ok
test does_not_work_on_miri ... ignored
test entropy_rng ... warning: pointer-to-integer cast
  --> /home/r/.cargo/registry/src/github.com-1ecc6299db9ec823/getrandom-0.1.16/src/util_libc.rs:98:22
   |
98 |         NonNull::new(addr as *mut _)
   |                      ^^^^^^^^^^^^^^ pointer-to-integer cast
   |
   = help: this program is using integer-to-pointer casts or (equivalently) `from_exposed_addr`,
   = help: which means that Miri might miss pointer bugs in this program
   = help: see https://doc.rust-lang.org/nightly/std/ptr/fn.from_exposed_addr.html for more details on that operation
   = help: to ensure that Miri does not miss bugs in your program, use `with_addr` (https://doc.rust-lang.org/nightly/std/ptr/index.html#strict-provenance) instead
   = help: you can then pass the `-Zmiri-strict-provenance` flag to Miri, to ensure you are not relying on `from_exposed_addr` semantics
   = help: alternatively, the `-Zmiri-permissive-provenance` flag disables this warning
           
   = note: inside `getrandom::util_libc::Weak::ptr` at /home/r/.cargo/registry/src/github.com-1ecc6299db9ec823/getrandom-0.1.16/src/util_libc.rs:98:22
   = note: inside `getrandom::imp::getrandom_inner` at /home/r/.cargo/registry/src/github.com-1ecc6299db9ec823/getrandom-0.1.16/src/macos.rs:18:25
   = note: inside `getrandom::getrandom` at /home/r/.cargo/registry/src/github.com-1ecc6299db9ec823/getrandom-0.1.16/src/lib.rs:291:5
note: inside `entropy_rng` at tests/test.rs:29:5
  --> tests/test.rs:29:5
   |
29 |     getrandom_1::getrandom(&mut data).unwrap();
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: inside closure at tests/test.rs:26:1
  --> tests/test.rs:26:1
   |
25 |   #[test]
   |   ------- in this procedural macro expansion
26 | / fn entropy_rng() {
27 | |     // Test `getrandom` directly (in multiple different versions).
28 | |     let mut data = vec![0; 16];
29 | |     getrandom_1::getrandom(&mut data).unwrap();
...  |
42 | |     let _val = rng.gen::<i128>();
43 | | }
   | |_^
   = note: this warning originates in the attribute macro `test` (in Nightly builds, run with -Z macro-backtrace for more info)

ok
test fail_index_check - should panic ... ok