12 #ifndef CPROVER_UTIL_SAFE_POINTER_H 13 #define CPROVER_UTIL_SAFE_POINTER_H 25 assert(
ptr &&
"dereferenced a null safe pointer");
47 assert(target &&
"initialized safe pointer with null");
static safe_pointer< T > create_non_null(T *target)
static safe_pointer< T > create_maybe_null(T *target)
static safe_pointer< T > create_null()