| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| engine.cc | 212 impl_region_model_context::purge_state_involving (const svalue *sval) function in class:ana::impl_region_model_context
217 smap->purge_state_involving (sval, m_ext_state);
|
| program-state.cc | 717 sm_state_map::purge_state_involving (const svalue *sval, function in class:ana::sm_state_map
|
| constraint-manager.cc | 2976 constraint_manager::purge_state_involving (const svalue *sval) function in class:ana::constraint_manager
4237 model.purge_state_involving (sval_a, NULL);
4255 model.purge_state_involving (sval_a, NULL);
4274 model.purge_state_involving (sval_a, NULL);
4292 model.purge_state_involving (sval_a, NULL);
4310 model.purge_state_involving (sval_a, NULL);
4329 model.purge_state_involving (sval_a, NULL);
|
| store.cc | 1560 binding_cluster::purge_state_involving (const svalue *sval, function in class:ana::binding_cluster
2932 store::purge_state_involving (const svalue *sval, function in class:ana::store
2944 cluster->purge_state_involving (sval, sval_mgr);
|
| region-model.cc | 289 region_to_value_map::purge_state_involving (const svalue *sval) function in class:ana::region_to_value_map
1799 region_model::purge_state_involving (const svalue *sval, function in class:ana::region_model
1804 m_store.purge_state_involving (sval, m_mgr);
1805 m_constraints->purge_state_involving (sval);
1806 m_dynamic_extents.purge_state_involving (sval);
1808 ctxt->purge_state_involving (sval);
5472 m_constraints->purge_state_involving (iter);
6227 out_model->m_constraints->purge_state_involving (iter);
|
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| engine.cc | 194 impl_region_model_context::purge_state_involving (const svalue *sval) function in class:ana::impl_region_model_context
199 smap->purge_state_involving (sval, m_ext_state);
|
| program-state.cc | 645 sm_state_map::purge_state_involving (const svalue *sval, function in class:ana::sm_state_map
|
| store.cc | 1401 binding_cluster::purge_state_involving (const svalue *sval, function in class:ana::binding_cluster
2690 store::purge_state_involving (const svalue *sval, function in class:ana::store
2702 cluster->purge_state_involving (sval, sval_mgr);
|
| constraint-manager.cc | 2765 constraint_manager::purge_state_involving (const svalue *sval) function in class:ana::constraint_manager
3972 model.purge_state_involving (sval_a, NULL);
3990 model.purge_state_involving (sval_a, NULL);
4009 model.purge_state_involving (sval_a, NULL);
4027 model.purge_state_involving (sval_a, NULL);
4045 model.purge_state_involving (sval_a, NULL);
4064 model.purge_state_involving (sval_a, NULL);
|
| region-model.cc | 233 region_to_value_map::purge_state_involving (const svalue *sval) function in class:ana::region_to_value_map
1651 region_model::purge_state_involving (const svalue *sval, function in class:ana::region_model
1656 m_store.purge_state_involving (sval, m_mgr);
1657 m_constraints->purge_state_involving (sval);
1658 m_dynamic_extents.purge_state_involving (sval);
1660 ctxt->purge_state_involving (sval);
|
