Searched refs:new_region_model (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| H A D | engine.cc | 1233 region_model *new_region_model = new_state->m_region_model; in on_longjmp() local
1234 region_id buf_rid = new_region_model->deref_rvalue (buf_ptr, ctxt); in on_longjmp()
1235 region *buf = new_region_model->get_region (buf_rid); in on_longjmp()
1240 = buf->get_value (*new_region_model, false, ctxt); in on_longjmp()
1241 svalue *buf_content_sval = new_region_model->get_svalue (buf_content_sid); in on_longjmp()
1277 new_region_model->on_longjmp (longjmp_call, setjmp_call, in on_longjmp()
|
| /netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | engine.cc | 1637 region_model *new_region_model = new_state->m_region_model; in on_longjmp() local
1638 const svalue *buf_ptr_sval = new_region_model->get_rvalue (buf_ptr, ctxt); in on_longjmp()
1639 const region *buf = new_region_model->deref_rvalue (buf_ptr_sval, buf_ptr, in on_longjmp()
1643 = new_region_model->get_store_value (buf, ctxt); in on_longjmp()
1678 new_region_model->on_longjmp (longjmp_call, setjmp_call, in on_longjmp()
|