src/tools/miri/tests/fail-dep/libc/memchr_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::memchr(ptr::null(), 0, 0); //~ERROR: null pointer
    }
}