Sign in
◑
Theme
rust
/
rust
/
a123594de1feec1732ed9251135bc42ccaaef8f3
/
.
/
src
/
tools
/
miri
/
tests
/
fail
/
validity
/
deref_null_ref.rs
blob: 392fac587ae260eb4087a8bf38b41368534af5ac [
file
]
fn
main
()
{
let
mut
x
=
&();
unsafe
{
(&
raw
mut
x
).
cast
::<
usize
>().
write
(
0
)
};
let
_
=
*
x
;
//~ERROR: null reference
}