Home
last modified time | relevance | path

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

12

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dexploded-graph.h32 impl_region_model_context (exploded_graph &eg,
96 exploded_graph *m_eg;
158 typedef exploded_graph graph_t;
161 dump_args_t (const exploded_graph &eg) : m_eg (eg) {} in dump_args_t()
168 const exploded_graph &m_eg;
241 on_stmt_flags on_stmt (exploded_graph &eg,
247 void on_stmt_pre (exploded_graph &eg,
258 bool on_edge (exploded_graph &eg,
263 void on_longjmp (exploded_graph &eg,
268 void detect_leaks (exploded_graph &eg);
[all …]
H A Dengine.cc84 impl_region_model_context (exploded_graph &eg, in impl_region_model_context()
297 impl_sm_context (exploded_graph &eg, in impl_sm_context()
516 exploded_graph &m_eg;
535 leak_stmt_finder (const exploded_graph &eg, tree var) in leak_stmt_finder()
612 const exploded_graph &m_eg;
1347 exploded_node::on_stmt (exploded_graph &eg, in on_stmt()
1419 exploded_node::on_stmt_pre (exploded_graph &eg, in on_stmt_pre()
1491 exploded_node::on_edge (exploded_graph &eg, in on_edge()
1629 exploded_node::on_longjmp (exploded_graph &eg, in on_longjmp()
1742 exploded_node::detect_leaks (exploded_graph &eg) in detect_leaks()
[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.h129 void emit_saved_diagnostics (const exploded_graph &eg);
131 void emit_saved_diagnostic (const exploded_graph &eg,
H A Dprogram-point.h26 class exploded_graph; variable
298 bool on_edge (exploded_graph &eg, const superedge *succ);
H A DChangeLog146 * engine.cc (exploded_graph::~exploded_graph): Fix leak of
780 * engine.cc (exploded_graph::process_node): Use the node for any
996 (exploded_graph::add_function_entry): Handle functions with
1003 (exploded_graph::build_initial_worklist): Likewise.
1004 (exploded_graph::build_initial_worklist): Find callbacks that are
1134 * engine.cc (exploded_graph::get_or_create_node): Pass in
1136 (exploded_graph::process_worklist): Likewise.
1137 (exploded_graph::maybe_process_run_of_before_supernode_enodes):
1139 (exploded_graph::process_node): Add missing call to detect_leaks
1330 (exploded_graph::add_edge): Likewise.
[all …]
H A Ddiagnostic-manager.cc78 epath_finder (const exploded_graph &eg) in epath_finder()
120 const exploded_graph &m_eg;
560 (const exploded_graph &eg, in dump_eg_with_shortest_path()
608 exploded_graph::dump_args_t inner_args (m_eg); in dump_feasible_graph()
890 path_builder (const exploded_graph &eg, in path_builder()
925 const exploded_graph &m_eg;
1271 const exploded_graph &eg) in emit_best()
1310 diagnostic_manager::emit_saved_diagnostics (const exploded_graph &eg) in emit_saved_diagnostics()
1355 diagnostic_manager::emit_saved_diagnostic (const exploded_graph &eg, in emit_saved_diagnostic()
H A Dtrimmed-graph.h93 trimmed_graph (const exploded_graph &inner_graph,
H A Dtrimmed-graph.cc100 trimmed_graph::trimmed_graph (const exploded_graph &inner_graph, in trimmed_graph()
H A Dsm.h177 virtual void impl_transition (exploded_graph *eg,
H A Dsm-signal.cc262 void impl_transition (exploded_graph *eg, in impl_transition()
H A Dprogram-state.cc1012 program_state::on_edge (exploded_graph &eg, in on_edge()
1059 program_state::push_call (exploded_graph &eg, in push_call()
1082 program_state::returning_call (exploded_graph &eg, in returning_call()
1107 program_state::prune_for_point (exploded_graph &eg, in prune_for_point()
/netbsd-src/external/gpl3/gcc.old/dist/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;
147 dump_args_t (const exploded_graph &eg) : m_eg (eg) {} in dump_args_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;
660 worklist (const exploded_graph &eg, const analysis_plan &plan);
[all …]
H A Dengine.cc75 impl_region_model_context (exploded_graph &eg, in impl_region_model_context()
197 impl_sm_context (exploded_graph &eg, in impl_sm_context()
342 exploded_graph &m_eg;
358 leak_stmt_finder (const exploded_graph &eg, tree var) in leak_stmt_finder()
435 const exploded_graph &m_eg;
1002 exploded_node::on_stmt (exploded_graph &eg, in on_stmt()
1142 exploded_node::on_edge (exploded_graph &eg, in on_edge()
1226 exploded_node::on_longjmp (exploded_graph &eg, in on_longjmp()
1338 exploded_node::detect_leaks (exploded_graph &eg) const in detect_leaks()
1670 worklist::worklist (const exploded_graph &eg, const analysis_plan &plan) in worklist()
[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,
H A Dprogram-point.h26 class exploded_graph; variable
303 bool on_edge (exploded_graph &eg, const superedge *succ);
H A Ddiagnostic-manager.cc121 path_builder (const exploded_graph &eg, in path_builder()
140 const exploded_graph &m_eg;
434 const exploded_graph &eg) in emit_best()
477 diagnostic_manager::emit_saved_diagnostics (const exploded_graph &eg) in emit_saved_diagnostics()
519 diagnostic_manager::emit_saved_diagnostic (const exploded_graph &eg, in emit_saved_diagnostic()
H A Danalyzer.h64 class exploded_graph; variable
H A Dsm.h121 virtual void impl_transition (exploded_graph *eg,
H A Dsm-signal.cc224 void impl_transition (exploded_graph *eg, in impl_transition()
H A Dprogram-state.cc401 sm_state_map::purge_for_unknown_fncall (const exploded_graph &eg, in purge_for_unknown_fncall()
807 program_state::on_edge (exploded_graph &eg, in on_edge()
854 program_state::prune_for_point (exploded_graph &eg, in prune_for_point()
H A Dprogram-point.cc288 program_point::on_edge (exploded_graph &eg, in on_edge()
/netbsd-src/external/gpl3/gcc.old/dist/gcc/doc/
H A Danalyzer.texi253 Because each node in the @code{exploded_graph} has a @code{region_model},
254 and each of the latter is graph-like, the @code{exploded_graph} is in some
348 @code{exploded_graph} (a list of @code{exploded_edge *}) to build a
510 introduced into the @code{exploded_graph} is to add custom code to
/netbsd-src/external/gpl3/gcc/dist/gcc/doc/
H A Danalyzer.texi260 Because each node in the @code{exploded_graph} has a @code{region_model},
261 and each of the latter is graph-like, the @code{exploded_graph} is in some
369 @code{exploded_graph} (a list of @code{exploded_edge *}). We use this
544 introduced into the @code{exploded_graph} is to add custom code to

12