Searched refs:old_ptr_sval (Results 1 – 3 of 3) sorted by relevance
| /netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | region-model-impl-calls.cc | 710 const svalue *old_ptr_sval = cd.get_arg_svalue (0); in impl_call_realloc() local
718 if (!model->add_constraint (new_ptr_sval, NE_EXPR, old_ptr_sval, in impl_call_realloc()
725 if (const region *freed_reg = model->deref_rvalue (old_ptr_sval, in impl_call_realloc()
762 model->on_realloc_with_move (cd, old_ptr_sval, new_ptr_sval); in impl_call_realloc()
|
| H A D | sm-malloc.cc | 399 const svalue *old_ptr_sval,
2095 const svalue *old_ptr_sval, in on_realloc_with_move() argument
2099 smap->set_state (model, old_ptr_sval, in on_realloc_with_move()
2123 const svalue *old_ptr_sval, in on_realloc_with_move() argument
2147 old_ptr_sval, in on_realloc_with_move()
|
| H A D | region-model.h | 781 const svalue *old_ptr_sval,
|