diff options
Diffstat (limited to 'tests/ui/consts/miri_unleashed/tls.rs')
-rw-r--r-- | tests/ui/consts/miri_unleashed/tls.rs | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/tests/ui/consts/miri_unleashed/tls.rs b/tests/ui/consts/miri_unleashed/tls.rs new file mode 100644 index 000000000..d06d7cf19 --- /dev/null +++ b/tests/ui/consts/miri_unleashed/tls.rs @@ -0,0 +1,23 @@ +// compile-flags: -Zunleash-the-miri-inside-of-you +#![feature(thread_local)] + +use std::thread; + +#[thread_local] +static A: u8 = 0; + +// Make sure we catch accessing thread-local storage. +static TEST_BAD: () = { + unsafe { let _val = A; } + //~^ ERROR could not evaluate static initializer + //~| NOTE cannot access thread local static +}; + +// Make sure we catch taking a reference to thread-local storage. +static TEST_BAD_REF: () = { + unsafe { let _val = &A; } + //~^ ERROR could not evaluate static initializer + //~| NOTE cannot access thread local static +}; + +fn main() {} |