Searched refs:diagnostic_manager (Results 1 - 8 of 8) sorted by relevance
| /netbsd-current/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| H A D | diagnostic-manager.h | 26 /* A to-be-emitted diagnostic stored within diagnostic_manager. */
99 class diagnostic_manager : public log_user class in namespace:ana
102 diagnostic_manager (logger *logger, int verbosity);
|
| H A D | diagnostic-manager.cc | 149 /* class diagnostic_manager. */
151 /* diagnostic_manager's ctor. */
153 diagnostic_manager::diagnostic_manager (logger *logger, int verbosity) function in class:ana::diagnostic_manager
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
[all...] |
| H A D | exploded-graph.h | 772 diagnostic_manager &get_diagnostic_manager ()
776 const diagnostic_manager &get_diagnostic_manager () const
826 diagnostic_manager m_diagnostic_manager;
|
| H A D | engine.cc | 893 const diagnostic_manager &dm = args.m_eg.get_diagnostic_manager ();
1274 diagnostic_manager *dm = &eg.get_diagnostic_manager ();
3891 const diagnostic_manager &dm = m_eg.get_diagnostic_manager ();
|
| /netbsd-current/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | diagnostic-manager.h | 28 /* A to-be-emitted diagnostic stored within diagnostic_manager. */
104 class diagnostic_manager : public log_user class in namespace:ana
107 diagnostic_manager (logger *logger, engine *eng, int verbosity);
|
| H A D | diagnostic-manager.cc | 952 /* class diagnostic_manager. */
954 /* diagnostic_manager's ctor. */
956 diagnostic_manager::diagnostic_manager (logger *logger, engine *eng, function in class:ana::diagnostic_manager
968 diagnostic_manager::add_diagnostic (const state_machine *sm,
1019 diagnostic_manager::add_diagnostic (exploded_node *enode,
1032 diagnostic_manager::add_note (pending_note *pn)
1047 diagnostic_manager::to_json () const
1243 void handle_interactions (diagnostic_manager *dm)
1270 void emit_best (diagnostic_manager *d
[all...] |
| H A D | exploded-graph.h | 323 diagnostic_manager. */
855 diagnostic_manager &get_diagnostic_manager ()
859 const diagnostic_manager &get_diagnostic_manager () const
920 diagnostic_manager m_diagnostic_manager;
|
| H A D | engine.cc | 1586 /* Compare with diagnostic_manager::add_events_for_superedge. */
1675 diagnostic_manager *dm = &eg.get_diagnostic_manager ();
4270 "diagnostic_manager": object for diagnostic_manager}. */
4301 egraph_obj->set ("diagnostic_manager", m_diagnostic_manager.to_json ());
|
Completed in 117 milliseconds