Home | History | Annotate | Download | only in analyzer

Lines Matching defs:m_eg

92 : m_eg (&eg), m_logger (eg.get_logger ()),
109 : m_eg (NULL), m_logger (logger), m_enode_for_diag (NULL),
131   if (m_eg)
132     return m_eg->get_diagnostic_manager ().add_diagnostic
146   if (m_eg)
147     m_eg->get_diagnostic_manager ().add_note (pn);
180   m_eg->on_escaped_function (fndecl);
310     m_eg (eg), m_enode_for_diag (enode_for_diag),
324       (m_eg, m_enode_for_diag, NULL, NULL, NULL/*m_enode->get_state ()*/,
341       = m_old_smap->get_state (var_old_sval, m_eg.get_ext_state ());
350       = m_old_smap->get_state (sval, m_eg.get_ext_state ());
362     impl_region_model_context new_ctxt (m_eg, m_enode_for_diag,
373       = m_old_smap->get_state (var_new_sval, m_eg.get_ext_state ());
381 			   to, origin_new_sval, m_eg.get_ext_state ());
392       (m_eg, m_enode_for_diag, NULL, NULL, NULL/*m_enode->get_state ()*/,
395     impl_region_model_context new_ctxt (m_eg, m_enode_for_diag,
403       = m_old_smap->get_state (sval, m_eg.get_ext_state ());
416 			   to, origin_new_sval, m_eg.get_ext_state ());
425       (m_eg, m_enode_for_diag, m_old_state, m_new_state, NULL, NULL, NULL);
431 	 ? m_old_smap->get_state (var_old_sval, m_eg.get_ext_state ())
433     m_eg.get_diagnostic_manager ().add_diagnostic
479     transition->impl_transition (&m_eg,
490       (m_eg, m_enode_for_diag, m_old_state, m_new_state, NULL, NULL, stmt);
516   exploded_graph &m_eg;
536   : m_eg (eg), m_var (var) {}
540     return new leak_stmt_finder (m_eg, m_var);
546     logger * const logger = m_eg.get_logger ();
612   const exploded_graph &m_eg;
814   if (!m_eg)
845   leak_stmt_finder stmt_finder (*m_eg, leaked_tree);
863     m_eg->get_diagnostic_manager ().add_diagnostic
883       impl_sm_context sm_ctxt (*m_eg, sm_idx, sm, m_enode_for_diag,
909       impl_sm_context sm_ctxt (*m_eg, sm_idx, sm, m_enode_for_diag,
1053   if (m_eg.m_nodes.length ()
1062     = m_eg.get_per_program_point_data (enode.get_point ());
1175       const extrinsic_state &ext_state = args.m_eg.get_ext_state ();
4683 		 args.m_eg.get_scc_id (*m_supernode));
5232     dump_args_t (const exploded_graph *eg) : m_eg (eg) {}
5233     const exploded_graph *m_eg;
5276     if (args.m_eg)
5281 	FOR_EACH_VEC_ELT (args.m_eg->m_nodes, i, enode)
5293 	  = args.m_eg->get_per_call_string_data ();
5302 	    FOR_EACH_VEC_ELT (args.m_eg->m_nodes, i, enode)
5319 	per_function_data *data = args.m_eg->get_per_function_data (m_fun);
5483   : m_eg (eg)
5491     FOR_EACH_VEC_ELT (m_eg.m_nodes, i, enode)
5508     pp_printf (pp, " (scc: %i)", m_eg.get_scc_id (n));
5540       = m_eg.get_supergraph ().get_supernode_for_stmt (stmt);
5676   const exploded_graph &m_eg;