src/tools/miri/tests/fail-dep/realloc-zero.rs

//@ignore-target-windows: No libc on Windows

fn main() {
    unsafe {
        let p1 = libc::malloc(20);
        // C made this UB...
        let p2 = libc::realloc(p1, 0); //~ERROR: `realloc` with a size of zero
        assert!(p2.is_null());
    }
}