Home
last modified time | relevance | path

Searched refs:m_region_model (Results 1 – 15 of 15) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dprogram-state.cc732 : m_region_model (NULL), in program_state()
738 m_region_model = new region_model (mgr); in program_state()
750 : m_region_model (new region_model (*other.m_region_model)), in program_state()
765 delete m_region_model; in operator =()
766 m_region_model = new region_model (*other.m_region_model); in operator =()
785 : m_region_model (other.m_region_model), in program_state()
788 other.m_region_model = NULL; in program_state()
803 delete m_region_model; in ~program_state()
811 hashval_t result = m_region_model->hash (); in hash()
828 if (!(*m_region_model == *other.m_region_model)) in operator ==()
[all …]
H A Dengine.cc326 region_model *model = m_new_state->m_region_model; in get_fndecl_for_call()
338 = m_old_state->m_region_model->get_rvalue (var, NULL); in get_state()
367 = m_new_state->m_region_model->get_rvalue (var, &new_ctxt); in set_next_state()
369 = m_new_state->m_region_model->get_rvalue (origin, &new_ctxt); in set_next_state()
380 m_new_smap->set_state (m_new_state->m_region_model, var_new_sval, in set_next_state()
400 = m_new_state->m_region_model->get_rvalue (origin, &new_ctxt); in set_next_state()
415 m_new_smap->set_state (m_new_state->m_region_model, sval, in set_next_state()
428 = m_old_state->m_region_model->get_rvalue (var, &old_ctxt); in warn()
454 const svalue *sval = m_new_state->m_region_model->get_rvalue (expr, NULL); in get_diagnostic_tree()
456 if (tree t = m_new_state->m_region_model->get_representative_tree (sval)) in get_diagnostic_tree()
[all …]
H A Ddiagnostic-manager.cc1662 = m_old_state->m_region_model->get_rvalue (var, NULL); in get_state()
1689 = m_new_state->m_region_model->get_rvalue (var, NULL); in set_next_state()
1738 return m_new_state->m_region_model->get_representative_tree (sval); in get_diagnostic_tree()
1761 = m_new_state->m_region_model->get_gassign_result (assign_stmt, NULL)) in is_zero_assignment()
1899 if (dst_state.m_region_model) in add_events_for_eedge()
1910 iter_state.m_region_model->on_assignment (assign, NULL); in add_events_for_eedge()
1942 const region_model *src_model = src_state.m_region_model; in add_events_for_eedge()
1943 const region_model *dst_model = dst_state.m_region_model; in add_events_for_eedge()
2289 gcc_assert (state_change->m_dst_state.m_region_model); in prune_for_sm_diagnostic()
2373 = event->m_eedge.m_dest->get_state ().m_region_model; in prune_for_sm_diagnostic()
[all …]
H A Dsm.cc169 return old_state->m_region_model; in get_old_region_model()
H A Dsm-signal.cc274 update_model_for_signal_handler (state_entering_handler.m_region_model, in impl_transition()
H A Dprogram-state.h281 region_model *m_region_model; variable
H A Dchecker-path.cc284 region_model *model = m_dst_state.m_region_model; in get_desc()
H A Dsm-malloc.cc1838 const region_model *old_model = old_state->m_region_model; in handle_free_of_non_heap()
H A DChangeLog2159 m_region_model.
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dprogram-state.cc598 : m_region_model (new region_model ()), in program_state()
610 : m_region_model (new region_model (*other.m_region_model)), in program_state()
625 delete m_region_model; in operator =()
626 m_region_model = new region_model (*other.m_region_model); in operator =()
646 : m_region_model (other.m_region_model), in program_state()
649 other.m_region_model = NULL; in program_state()
665 delete m_region_model; in ~program_state()
673 hashval_t result = m_region_model->hash (); in hash()
690 if (!(*m_region_model == *other.m_region_model)) in operator ==()
711 m_region_model->print (pp); in print()
[all …]
H A Dengine.cc224 region_model *model = m_new_state->m_region_model; in get_fndecl_for_call()
241 = m_old_state->m_region_model->get_rvalue (var, &old_ctxt); in on_transition()
247 = m_new_state->m_region_model->get_rvalue (var, &new_ctxt); in on_transition()
249 = m_new_state->m_region_model->get_rvalue (origin, &new_ctxt); in on_transition()
260 m_new_smap->set_state (m_new_state->m_region_model, var_new_sid, in on_transition()
280 = m_old_state->m_region_model->get_rvalue (var, &old_ctxt); in warn_for_state()
312 svalue_id sid = m_new_state->m_region_model->get_rvalue (expr, NULL); in get_readable_tree()
315 m_new_state->m_region_model->get_path_vars_for_svalue (sid, &pvs); in get_readable_tree()
539 const region_model &rm = *m_new_state->m_region_model; in on_state_leak()
559 m_old_state->m_region_model->get_path_vars_for_svalue (old_sid, &leaked_pvs); in on_state_leak()
[all …]
H A Dsm-signal.cc142 = change.m_event.m_dst_state.m_region_model->get_current_function (); in describe_state_change()
236 update_model_for_signal_handler (state_entering_handler.m_region_model, in impl_transition()
H A Ddiagnostic-manager.cc603 region_id lhs_rid = dst_state.m_region_model->get_lvalue (lhs, &ctxt); in get_any_origin()
605 = dst_state.m_region_model->get_lvalue (dst_rep, &ctxt); in get_any_origin()
781 dst_state.m_region_model->get_path_vars_for_svalue (dst_sid, in for_each_state_change()
791 >= src_state.m_region_model->get_stack_depth ()) in for_each_state_change()
795 = src_state.m_region_model->get_rvalue (*dst_pv, &ctxt); in for_each_state_change()
H A Dprogram-state.h289 region_model *m_region_model;
H A Dchecker-path.h206 return m_dst_state.m_region_model->get_lvalue (expr, ctxt); in get_lvalue()