Searched refs:purge_state_involving (Results 1 - 11 of 11) sorted by relevance
/netbsd-current/external/gpl3/gcc/dist/gcc/analyzer/ |
H A D | region-model.h | 174 void purge_state_involving (const svalue *sval); 602 void purge_state_involving (const svalue *sval, region_model_context *ctxt); 938 virtual void purge_state_involving (const svalue *sval) = 0; 993 void purge_state_involving (const svalue *sval ATTRIBUTE_UNUSED) OVERRIDE {} 1101 void purge_state_involving (const svalue *sval) OVERRIDE 1103 m_inner->purge_state_involving (sval);
|
H A D | program-state.h | 162 void purge_state_involving (const svalue *sval,
|
H A D | store.h | 582 void purge_state_involving (const svalue *sval, 721 void purge_state_involving (const svalue *sval,
|
H A D | constraint-manager.h | 473 void purge_state_involving (const svalue *sval);
|
H A D | 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);
|
H A D | 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);
|
H A D | 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);
|
H A D | exploded-graph.h | 79 void purge_state_involving (const svalue *sval) FINAL OVERRIDE;
|
H A D | region-model-manager.cc | 1212 m_model->purge_state_involving (sval, m_ctxt);
|
H A D | program-state.cc | 645 sm_state_map::purge_state_involving (const svalue *sval, function in class:ana::sm_state_map
|
H A D | 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);
|
Completed in 203 milliseconds