Home
last modified time | relevance | path

Searched refs:enode_for_diag (Results 1 – 7 of 7) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dprogram-state.h239 exploded_node *enode_for_diag,
H A Dexploded-graph.h33 exploded_node *enode_for_diag,
831 exploded_node *enode_for_diag);
H A Dengine.cc85 exploded_node *enode_for_diag, in impl_region_model_context() argument
93 m_enode_for_diag (enode_for_diag), in impl_region_model_context()
300 exploded_node *enode_for_diag, in impl_sm_context() argument
310 m_eg (eg), m_enode_for_diag (enode_for_diag), in impl_sm_context()
2551 exploded_node *enode_for_diag) in get_or_create_node() argument
2588 = state.prune_for_point (*this, point, enode_for_diag, &uncertainty); in get_or_create_node()
H A Dprogram-state.cc1109 exploded_node *enode_for_diag, in prune_for_point() argument
1209 impl_region_model_context ctxt (eg, enode_for_diag, in prune_for_point()
H A DChangeLog2792 for enode_for_diag.
2805 (exploded_graph::get_or_create_node): Make enode_for_diag param
2813 enode_for_diag param non-constant.
2824 (exploded_graph::get_or_create_node): Make enode_for_diag param
2830 (program_state::prune_for_point): Likewise for enode_for_diag
2834 (program_state::prune_for_point): Likewise for enode_for_diag
4803 "enode_for_diag" param. Update dumping calls for API changes.
4850 "enode_for_diag" param.
4916 (program_state::prune_for_point): Add enode_for_diag param.
5000 (program_state::prune_for_point): Likewise. Add enode_for_diag
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dexploded-graph.h33 const exploded_node *enode_for_diag,
H A Dengine.cc76 const exploded_node *enode_for_diag, in impl_region_model_context() argument
83 m_enode_for_diag (enode_for_diag), in impl_region_model_context()
200 const exploded_node *enode_for_diag, in impl_sm_context() argument
209 m_eg (eg), m_enode_for_diag (enode_for_diag), in impl_sm_context()