Searched refs:get_num_diagnostics (Results 1 – 10 of 10) sorted by relevance
124 unsigned get_num_diagnostics () const in get_num_diagnostics() function
894 for (unsigned i = 0; i < dm.get_num_diagnostics (); i++) in dump_dot()1275 unsigned prev_num_diagnostics = dm->get_num_diagnostics (); in on_longjmp()1322 unsigned num_diagnostics = dm->get_num_diagnostics (); in on_longjmp()3892 for (unsigned i = 0; i < dm.get_num_diagnostics (); i++) in print_enode()
2202 unsigned get_num_diagnostics () const { return m_diagnostics.length (); } in get_num_diagnostics() function
7725 ASSERT_EQ (ctxt.get_num_diagnostics (), 0); in test_unique_constants()7977 ASSERT_EQ (ctxt.get_num_diagnostics (), 0); in test_purge_unused_svalues()
134 unsigned get_num_diagnostics () const in get_num_diagnostics() function
304 unsigned get_num_diagnostics () const in get_num_diagnostics() function
1309 unsigned get_num_diagnostics () const { return m_diagnostics.length (); } in get_num_diagnostics() function
1676 unsigned prev_num_diagnostics = dm->get_num_diagnostics (); in on_longjmp()1726 unsigned num_diagnostics = dm->get_num_diagnostics (); in on_longjmp()5624 for (unsigned i = 0; i < enode->get_num_diagnostics (); i++) in print_enode()
4853 ASSERT_EQ (ctxt.get_num_diagnostics (), 0); in test_unique_constants()
2821 (exploded_node::get_num_diagnostics): New.