//@only-target: linux
//@revisions: with_isolation without_isolation
//@[without_isolation] compile-flags: -Zmiri-disable-isolation

use std::thread;

use libc::{getpid, gettid};

fn main() {
    thread::spawn(|| {
        // Test that in isolation mode a deterministic value will be returned.
        // The value 1001 is not important, we only care that whatever the value
        // is, won't change from execution to execution.
        #[cfg(with_isolation)]
        assert_eq!(unsafe { gettid() }, 1001);

        assert_ne!(unsafe { gettid() }, unsafe { getpid() });
    });

    // Test that the thread ID of the main thread is the same as the process
    // ID.
    assert_eq!(unsafe { gettid() }, unsafe { getpid() });
}