Skip to main content

is_raw_ptr_cast

Function is_raw_ptr_cast 

Source
pub(crate) fn is_raw_ptr_cast(callee: Option<DefId>) -> bool
Expand description

Whether callee is a raw-pointer cast/cast_mut/cast_const. These only reinterpret the address — they preserve null-ness and provenance, but do not establish that the result is non-null, aligned, or points at initialized memory. Distinguished from is_as_ptr so is_as_ptr_valid can keep them on the MIR-inlining path rather than the ReturnPointerFromArg model (which asserts those facts).