gcc/analyzer/diagnostic-manager.cc

149 /* class diagnostic_manager.  */
151 /* diagnostic_manager's ctor.  */
153 diagnostic_manager::diagnostic_manager (logger *logger, int verbosity)
161 diagnostic_manager::add_diagnostic (const state_machine *sm,
186 diagnostic_manager::add_diagnostic (const exploded_node *enode,
433   void emit_best (diagnostic_manager *dm,
477 diagnostic_manager::emit_saved_diagnostics (const exploded_graph &eg)
519 diagnostic_manager::emit_saved_diagnostic (const exploded_graph &eg,
628 diagnostic_manager::build_emission_path (const path_builder &pb,
812 /* Subroutine of diagnostic_manager::build_emission_path.
816 diagnostic_manager::add_events_for_eedge (const path_builder &pb,
951 diagnostic_manager::significant_edge_p (const path_builder &pb,
977 /* Subroutine of diagnostic_manager::add_events_for_eedge
983 diagnostic_manager::add_events_for_superedge (const path_builder &pb,
1074    the comment for diagnostic_manager::prune_for_sm_diagnostic.  */
1077 diagnostic_manager::prune_path (checker_path *path,
1109 /* First pass of diagnostic_manager::prune_path: apply verbosity level,
1126 diagnostic_manager::prune_for_sm_diagnostic (checker_path *path,
1358 /* Subroutine of diagnostic_manager::prune_for_sm_diagnostic.
1363 diagnostic_manager::update_for_unsuitable_sm_exprs (tree *expr) const
1373 /* Second pass of diagnostic_manager::prune_path: remove redundant
1391 diagnostic_manager::prune_interproc_events (checker_path *path) const
1452 /* Final pass of diagnostic_manager::prune_path.
1458 diagnostic_manager::finish_pruning (checker_path *path) const