| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| engine.cc | 90 : m_eg (&eg), m_logger (eg.get_logger ()),
108 : m_eg (NULL), m_logger (logger), m_enode_for_diag (NULL),
132 if (m_eg)
139 if (m_eg->get_diagnostic_manager ().add_diagnostic (ploc,
156 if (m_eg)
157 m_eg->get_diagnostic_manager ().add_note (std::move (pn));
164 if (m_eg)
165 m_eg->get_diagnostic_manager ().add_event (std::move (event));
198 m_eg->on_escaped_function (fndecl);
293 m_eg (eg), m_enode_for_diag (enode_for_diag)
526 exploded_graph &m_eg; member in class:ana::impl_sm_context
663 const exploded_graph &m_eg; member in class:ana::leak_stmt_finder
[all...] |
| exploded-graph.h | 113 const exploded_graph *get_eg () const override { return m_eg; }
119 exploded_graph *m_eg; member in class:ana::impl_region_model_context
185 dump_args_t (const exploded_graph &eg) : m_eg (eg) {}
192 const exploded_graph &m_eg; member in struct:ana::eg_traits::dump_args_t
|
| diagnostic-manager.cc | 77 : m_eg (eg),
89 logger *get_logger () const { return m_eg.get_logger (); }
127 const exploded_graph &m_eg; member in class:ana::epath_finder
207 if (epath->feasible_p (logger, out_problem, m_eg.get_engine (), &m_eg))
400 region_model_manager *mgr = m_eg.get_engine ()->get_model_manager ();
405 (m_eg, target_enode, SPS_TO_GIVEN_TARGET);
411 trimmed_graph tg (m_eg, target_enode);
421 feasibility_state init_state (mgr, m_eg.get_supergraph ());
422 feasible_node *origin = fg.add_node (m_eg.get_origin (), init_state, 0)
1089 const exploded_graph &m_eg; member in class:ana::path_builder
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| engine.cc | 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 ())
516 exploded_graph &m_eg; member in class:ana::impl_sm_context
612 const exploded_graph &m_eg; member in class:ana::leak_stmt_finder
[all...] |
| exploded-graph.h | 96 exploded_graph *m_eg; member in class:ana::impl_region_model_context
161 dump_args_t (const exploded_graph &eg) : m_eg (eg) {}
168 const exploded_graph &m_eg; member in struct:ana::eg_traits::dump_args_t
|
| diagnostic-manager.cc | 79 : m_eg (eg),
91 logger *get_logger () const { return m_eg.get_logger (); }
120 const exploded_graph &m_eg; member in class:ana::epath_finder
194 if (epath->feasible_p (logger, out_problem, m_eg.get_engine (), &m_eg))
382 region_model_manager *mgr = m_eg.get_engine ()->get_model_manager ();
387 (m_eg, target_enode, SPS_TO_GIVEN_TARGET);
393 trimmed_graph tg (m_eg, target_enode);
403 feasibility_state init_state (mgr, m_eg.get_supergraph ());
404 feasible_node *origin = fg.add_node (m_eg.get_origin (), init_state, 0)
925 const exploded_graph &m_eg; member in class:ana::path_builder
[all...] |
