tests/fail-dep/libc/malloc_zero_double_free.rs

fn main() {
    unsafe {
        let ptr = libc::malloc(0);
        libc::free(ptr);
        libc::free(ptr); //~ERROR: dangling
    }
}