src/tools/miri/tests/fail-dep/libc/memcmp_null.rs


1
2
3
4
5
6
7
8

use std::ptr;

// null is explicitly called out as UB in the C docs.
fn main() {
    unsafe {
        libc::memcmp(ptr::null(), ptr::null(), 0); //~ERROR: null pointer
    }
}