Searched refs:new_model (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| H A D | program-state.cc | 405 region_model *new_model, in purge_for_unknown_fncall() argument
439 svalue_id parm_sid = new_model->get_rvalue (parm, ctxt); in purge_for_unknown_fncall()
440 set_state (new_model, parm_sid, 0, svalue_id::null ()); in purge_for_unknown_fncall()
447 svalue_id parm_sid = new_model->get_rvalue (pointee, ctxt); in purge_for_unknown_fncall()
448 set_state (new_model, parm_sid, 0, svalue_id::null ()); in purge_for_unknown_fncall()
455 svalue_id lhs_sid = new_model->get_rvalue (lhs, ctxt); in purge_for_unknown_fncall()
456 set_state (new_model, lhs_sid, 0, svalue_id::null ()); in purge_for_unknown_fncall()
|
| H A D | program-state.h | 183 region_model *new_model,
|