Home
last modified time | relevance | path

Searched refs:exploded_graph (Results 1 – 25 of 103) sorted by relevance

12345

/dports/lang/gcc11-devel/gcc-11-20211009/gcc/analyzer/
H A Dexploded-graph.h32 impl_region_model_context (exploded_graph &eg,
75 exploded_graph *m_eg;
136 typedef exploded_graph graph_t;
146 const exploded_graph &m_eg;
231 on_stmt_flags on_stmt (exploded_graph &eg,
236 bool on_edge (exploded_graph &eg,
241 void on_longjmp (exploded_graph &eg,
246 void detect_leaks (exploded_graph &eg);
755 class exploded_graph : public digraph<eg_traits>
766 ~exploded_graph ();
[all …]
H A Dengine.cc366 exploded_graph &m_eg;
458 const exploded_graph &m_eg;
2105 exploded_graph::exploded_graph (const supergraph &sg, logger *logger, in exploded_graph() function in ana::exploded_graph
2128 exploded_graph::~exploded_graph () in ~exploded_graph()
2391 exploded_graph::
2729 exploded_graph::
3395 exploded_graph::to_json () const in to_json()
4311 const exploded_graph *m_eg;
4523 const exploded_graph *eg) in dump_callgraph()
4754 const exploded_graph &m_eg;
[all …]
H A Ddiagnostic-manager.h117 void emit_saved_diagnostics (const exploded_graph &eg);
119 void emit_saved_diagnostic (const exploded_graph &eg,
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/analyzer/
H A Dexploded-graph.h32 impl_region_model_context (exploded_graph &eg,
75 exploded_graph *m_eg;
136 typedef exploded_graph graph_t;
146 const exploded_graph &m_eg;
231 on_stmt_flags on_stmt (exploded_graph &eg,
236 bool on_edge (exploded_graph &eg,
241 void on_longjmp (exploded_graph &eg,
246 void detect_leaks (exploded_graph &eg);
755 class exploded_graph : public digraph<eg_traits>
766 ~exploded_graph ();
[all …]
H A Dengine.cc366 exploded_graph &m_eg;
458 const exploded_graph &m_eg;
2105 exploded_graph::exploded_graph (const supergraph &sg, logger *logger, in exploded_graph() function in ana::exploded_graph
2128 exploded_graph::~exploded_graph () in ~exploded_graph()
2391 exploded_graph::
2729 exploded_graph::
3395 exploded_graph::to_json () const in to_json()
4311 const exploded_graph *m_eg;
4523 const exploded_graph *eg) in dump_callgraph()
4754 const exploded_graph &m_eg;
[all …]
H A Ddiagnostic-manager.h117 void emit_saved_diagnostics (const exploded_graph &eg);
119 void emit_saved_diagnostic (const exploded_graph &eg,
/dports/lang/gcc11/gcc-11.2.0/gcc/analyzer/
H A Dexploded-graph.h32 impl_region_model_context (exploded_graph &eg,
75 exploded_graph *m_eg;
136 typedef exploded_graph graph_t;
146 const exploded_graph &m_eg;
231 on_stmt_flags on_stmt (exploded_graph &eg,
236 bool on_edge (exploded_graph &eg,
241 void on_longjmp (exploded_graph &eg,
246 void detect_leaks (exploded_graph &eg);
755 class exploded_graph : public digraph<eg_traits>
766 ~exploded_graph ();
[all …]
H A Dengine.cc366 exploded_graph &m_eg;
458 const exploded_graph &m_eg;
2105 exploded_graph::exploded_graph (const supergraph &sg, logger *logger, in exploded_graph() function in ana::exploded_graph
2128 exploded_graph::~exploded_graph () in ~exploded_graph()
2391 exploded_graph::
2729 exploded_graph::
3395 exploded_graph::to_json () const in to_json()
4311 const exploded_graph *m_eg;
4523 const exploded_graph *eg) in dump_callgraph()
4754 const exploded_graph &m_eg;
[all …]
H A Ddiagnostic-manager.h117 void emit_saved_diagnostics (const exploded_graph &eg);
119 void emit_saved_diagnostic (const exploded_graph &eg,
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/analyzer/
H A Dexploded-graph.h32 impl_region_model_context (exploded_graph &eg,
93 exploded_graph *m_eg;
155 typedef exploded_graph graph_t;
165 const exploded_graph &m_eg;
238 on_stmt_flags on_stmt (exploded_graph &eg,
244 void on_stmt_pre (exploded_graph &eg,
255 bool on_edge (exploded_graph &eg,
260 void on_longjmp (exploded_graph &eg,
265 void detect_leaks (exploded_graph &eg);
799 ~exploded_graph ();
[all …]
H A Dengine.cc494 exploded_graph &m_eg;
587 const exploded_graph &m_eg;
2243 exploded_graph::exploded_graph (const supergraph &sg, logger *logger, in exploded_graph() function in ana::exploded_graph
2266 exploded_graph::~exploded_graph () in ~exploded_graph()
2530 exploded_graph::
2869 exploded_graph::
3859 exploded_graph::to_json () const in to_json()
4806 const exploded_graph *m_eg;
5018 const exploded_graph *eg) in dump_callgraph()
5249 const exploded_graph &m_eg;
[all …]
H A Dprogram-state.h221 void push_call (exploded_graph &eg,
226 void returning_call (exploded_graph &eg,
232 bool on_edge (exploded_graph &eg,
237 program_state prune_for_point (exploded_graph &eg,
H A Ddiagnostic-manager.h119 void emit_saved_diagnostics (const exploded_graph &eg);
121 void emit_saved_diagnostic (const exploded_graph &eg,
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/analyzer/
H A Dexploded-graph.h32 impl_region_model_context (exploded_graph &eg,
83 exploded_graph *m_eg;
144 typedef exploded_graph graph_t;
148 const exploded_graph &m_eg;
224 on_stmt_flags on_stmt (exploded_graph &eg,
229 bool on_edge (exploded_graph &eg,
234 void on_longjmp (exploded_graph &eg,
239 void detect_leaks (exploded_graph &eg) const;
719 class exploded_graph : public digraph<eg_traits>
730 ~exploded_graph ();
[all …]
H A Dengine.cc197 impl_sm_context (exploded_graph &eg, in impl_sm_context()
342 exploded_graph &m_eg;
435 const exploded_graph &m_eg;
1809 exploded_graph::exploded_graph (const supergraph &sg, logger *logger, in exploded_graph() function in ana::exploded_graph
1834 exploded_graph::~exploded_graph () in ~exploded_graph()
2075 exploded_graph::
2203 exploded_graph::process_worklist () in process_worklist()
2734 exploded_graph::log_stats () const in log_stats()
3504 const exploded_graph *m_eg;
3716 const exploded_graph *eg) in dump_callgraph()
[all …]
H A Ddiagnostic-manager.h116 void emit_saved_diagnostics (const exploded_graph &eg);
118 void emit_saved_diagnostic (const exploded_graph &eg,
H A Dprogram-state.h180 void purge_for_unknown_fncall (const exploded_graph &eg,
253 bool on_edge (exploded_graph &eg,
258 program_state prune_for_point (exploded_graph &eg,
/dports/devel/avr-gcc/gcc-10.2.0/gcc/analyzer/
H A Dexploded-graph.h32 impl_region_model_context (exploded_graph &eg,
83 exploded_graph *m_eg;
144 typedef exploded_graph graph_t;
148 const exploded_graph &m_eg;
224 on_stmt_flags on_stmt (exploded_graph &eg,
229 bool on_edge (exploded_graph &eg,
234 void on_longjmp (exploded_graph &eg,
239 void detect_leaks (exploded_graph &eg) const;
719 class exploded_graph : public digraph<eg_traits>
730 ~exploded_graph ();
[all …]
H A Dengine.cc197 impl_sm_context (exploded_graph &eg, in impl_sm_context()
342 exploded_graph &m_eg;
435 const exploded_graph &m_eg;
1809 exploded_graph::exploded_graph (const supergraph &sg, logger *logger, in exploded_graph() function in ana::exploded_graph
1834 exploded_graph::~exploded_graph () in ~exploded_graph()
2075 exploded_graph::
2203 exploded_graph::process_worklist () in process_worklist()
2734 exploded_graph::log_stats () const in log_stats()
3504 const exploded_graph *m_eg;
3716 const exploded_graph *eg) in dump_callgraph()
[all …]
H A Ddiagnostic-manager.h116 void emit_saved_diagnostics (const exploded_graph &eg);
118 void emit_saved_diagnostic (const exploded_graph &eg,
H A Dprogram-state.h180 void purge_for_unknown_fncall (const exploded_graph &eg,
253 bool on_edge (exploded_graph &eg,
258 program_state prune_for_point (exploded_graph &eg,
/dports/lang/gcc10/gcc-10.3.0/gcc/analyzer/
H A Dexploded-graph.h32 impl_region_model_context (exploded_graph &eg,
83 exploded_graph *m_eg;
144 typedef exploded_graph graph_t;
148 const exploded_graph &m_eg;
224 on_stmt_flags on_stmt (exploded_graph &eg,
229 bool on_edge (exploded_graph &eg,
234 void on_longjmp (exploded_graph &eg,
239 void detect_leaks (exploded_graph &eg) const;
719 class exploded_graph : public digraph<eg_traits>
730 ~exploded_graph ();
[all …]
H A Dengine.cc197 impl_sm_context (exploded_graph &eg, in impl_sm_context()
342 exploded_graph &m_eg;
435 const exploded_graph &m_eg;
1809 exploded_graph::exploded_graph (const supergraph &sg, logger *logger, in exploded_graph() function in ana::exploded_graph
1834 exploded_graph::~exploded_graph () in ~exploded_graph()
2075 exploded_graph::
2203 exploded_graph::process_worklist () in process_worklist()
2734 exploded_graph::log_stats () const in log_stats()
3504 const exploded_graph *m_eg;
3716 const exploded_graph *eg) in dump_callgraph()
[all …]
H A Ddiagnostic-manager.h116 void emit_saved_diagnostics (const exploded_graph &eg);
118 void emit_saved_diagnostic (const exploded_graph &eg,
H A Dprogram-state.h180 void purge_for_unknown_fncall (const exploded_graph &eg,
253 bool on_edge (exploded_graph &eg,
258 program_state prune_for_point (exploded_graph &eg,

12345