getpid.rs « pass « tests « miri « tools « src - rust - https://github.com/rust-lang/rust

summary refs log tree commit diff

path: root/src/tools/miri/tests/pass/getpid.rs

blob: 733545462ebc019a0ceb4ab154d4fe4f1f35f36f (plain)

//@compile-flags: -Zmiri-disable-isolation

fn getpid() -> u32 {
    std::process::id()
}

fn main() {
    getpid();
}