Searched defs:freed_reg (Results 1 – 2 of 2) sorted by relevance
476 if (const region *freed_reg = ptr_sval->maybe_get_region ()) in impl_call_free() local573 if (const region *freed_reg = ptr_sval->maybe_get_region ()) in impl_call_operator_delete() local725 if (const region *freed_reg = model->deref_rvalue (old_ptr_sval, in impl_call_realloc() local
1340 const region *freed_reg, in free_of_non_heap()1835 const region *freed_reg = NULL; in handle_free_of_non_heap() local