Function creusot_contracts::std::ptr::null_mut

pub const fn null_mut<T>() -> *mut T
where
    T: Thin + ?Sized,

Creates a null mutable raw pointer.

This function is equivalent to zero-initializing the pointer: MaybeUninit::<*mut T>::zeroed().assume_init(). The resulting pointer has the address 0.

Examples

use std::ptr;

let p: *mut i32 = ptr::null_mut();
assert!(p.is_null());
assert_eq!(p as usize, 0); // this pointer has the address 0