src/tools/miri/tests/pass-dep/getrandom_1.rs

   1 // mac-os `getrandom_1` does some pointer shenanigans
   2 //@compile-flags: -Zmiri-permissive-provenance
   3
   4 /// Test old version of `getrandom`.
   5 fn main() {
   6     let mut data = vec![0; 16];
   7     getrandom_1::getrandom(&mut data).unwrap();
   8 }