call_has_pointer_add_effect

rapx::verify::smt_check::common

Function call_has_pointer_add_effect 

Source 
fn call_has_pointer_add_effect(call: &CallSummary<'_>) -> bool
Expand description

Return true when a call summary carries pointer-add semantics.