Sign in
rust
/
miri
/
refs/heads/try
/
.
/
tests
/
fail
/
extern_static.rs
blob: f8805db8d143917800ef1d05450e1d47c0a1412a [
file
] [
log
] [
blame
] [
edit
]
//! Even referencing an unknown `extern static` already triggers an error.
extern
"C"
{
static
mut
FOO
:
i32
;
}
fn
main
()
{
let
_val
=
unsafe
{
std
::
ptr
::
addr_of
!(
FOO
)
};
//~ ERROR: is not supported by Miri
}