Sign in
rust
/
miri
/
HEAD
/
.
/
tests
/
fail-dep
/
libc
/
malloc_zero_double_free.rs
blob: 3298d61c8e8c48425ee29c3787de25a12896bb10 [
file
] [
log
] [
blame
]
fn
main
()
{
unsafe
{
let
ptr
=
libc
::
malloc
(
0
);
libc
::
free
(
ptr
);
libc
::
free
(
ptr
);
//~ERROR: dangling
}
}