Skip to main content

is_maybe_uninit_write

rapx::verify::api_classify

Function is_maybe_uninit_write 

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

Whether callee is MaybeUninit::write, which initializes the slot (unlike raw ptr::write, handled by is_mem_copy_or_write).