Searched refs:purge_state_involving (Results 1 - 11 of 11) sorted by relevance

/netbsd-current/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion-model.h174 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 Dprogram-state.h162 void purge_state_involving (const svalue *sval,
H A Dstore.h582 void purge_state_involving (const svalue *sval,
721 void purge_state_involving (const svalue *sval,
H A Dconstraint-manager.h473 void purge_state_involving (const svalue *sval);
H A Dconstraint-manager.cc2765 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 Dstore.cc1401 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 Dregion-model.cc233 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 Dexploded-graph.h79 void purge_state_involving (const svalue *sval) FINAL OVERRIDE;
H A Dregion-model-manager.cc1212 m_model->purge_state_involving (sval, m_ctxt);
H A Dprogram-state.cc645 sm_state_map::purge_state_involving (const svalue *sval, function in class:ana::sm_state_map
H A Dengine.cc194 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 337 milliseconds