| // mac-os `getrandom_01` does some pointer shenanigans |
| //@compile-flags: -Zmiri-permissive-provenance |
| //@revisions: isolation no_isolation |
| //@[no_isolation]compile-flags: -Zmiri-disable-isolation |
| |
| /// Test direct calls of getrandom 0.1, 0.2 and 0.3. |
| fn main() { |
| let mut data = vec![0; 16]; |
| |
| // Old Solaris had a different return type for `getrandom`, and old versions of the getrandom crate |
| // used that signature, which Miri is not happy about. |
| #[cfg(not(target_os = "solaris"))] |
| getrandom_01::getrandom(&mut data).unwrap(); |
| |
| getrandom_02::getrandom(&mut data).unwrap(); |
| |
| getrandom_03::fill(&mut data).unwrap(); |
| } |
