Searched refs:impl_sm_context (Results 1 – 3 of 3) sorted by relevance
| /netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | ChangeLog | 695 * engine.cc (impl_sm_context::get_old_program_state): New.
1011 * engine.cc (impl_sm_context::impl_sm_context): Add
1014 (impl_sm_context::unknown_side_effects_p): New.
1015 (impl_sm_context::m_unknown_side_effects): New.
1308 (impl_sm_context::impl_sm_context): Update for new m_path_ctxt
1310 (impl_sm_context::get_fndecl_for_call): Likewise.
1311 (impl_sm_context::set_next_state): Likewise.
1312 (impl_sm_context::warn): Likewise.
1313 (impl_sm_context::is_zero_assignment): Likewise.
1314 (impl_sm_context::get_path_context): New.
[all …]
|
| H A D | engine.cc | 294 class impl_sm_context : public sm_context class
297 impl_sm_context (exploded_graph &eg, in impl_sm_context() function in ana::impl_sm_context
883 impl_sm_context sm_ctxt (*m_eg, sm_idx, sm, m_enode_for_diag, in on_condition()
909 impl_sm_context sm_ctxt (*m_eg, sm_idx, sm, m_enode_for_diag, in on_phi()
1396 impl_sm_context sm_ctxt (eg, sm_idx, sm, this, &old_state, state, in on_stmt()
|
| /netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| H A D | engine.cc | 194 class impl_sm_context : public sm_context class
197 impl_sm_context (exploded_graph &eg, in impl_sm_context() function in ana::impl_sm_context
577 impl_sm_context sm_ctxt (*m_eg, sm_idx, sm, m_enode_for_diag, in on_state_leak()
659 impl_sm_context sm_ctxt (*m_eg, sm_idx, sm, m_enode_for_diag, in on_condition()
682 impl_sm_context sm_ctxt (*m_eg, sm_idx, sm, m_enode_for_diag, in on_phi()
1095 impl_sm_context sm_ctxt (eg, sm_idx, sm, this, &old_state, state, in on_stmt()
|