Searched refs:auto_delete_vec (Results 1 – 25 of 36) sorted by relevance
12
31 extrinsic_state (auto_delete_vec <state_machine> &checkers,65 auto_delete_vec <state_machine> &m_checkers;282 auto_delete_vec<sm_state_map> m_checker_states;
90 auto_delete_vec <pending_note> m_notes;183 auto_delete_vec<saved_diagnostic> m_saved_diagnostics;
159 auto_delete_vec<state> m_states;295 extern void make_checkers (auto_delete_vec <state_machine> &out,
55 auto_delete_vec<item> m_items;
178 make_checkers (auto_delete_vec <state_machine> &out, logger *logger) in make_checkers()
1487 auto_delete_vec <state_machine> checkers; in test_sm_state_map()1618 auto_delete_vec <state_machine> checkers; in test_program_state_1()1650 auto_delete_vec <state_machine> checkers; in test_program_state_2()1672 auto_delete_vec <state_machine> checkers; in test_program_state_merging()1740 auto_delete_vec <state_machine> checkers; in test_program_state_merging_2()
459 auto_delete_vec<svalue> m_managed_dynamic_svalues;500 auto_delete_vec<region> m_managed_dynamic_regions;1320 auto_delete_vec<pending_diagnostic> m_diagnostics;
487 auto_delete_vec<equiv_class> m_equiv_classes;
626 auto_delete_vec<checker_event> m_events;
31 extrinsic_state (auto_delete_vec <state_machine> &checkers) in extrinsic_state()54 auto_delete_vec <state_machine> &m_checkers;290 auto_delete_vec<sm_state_map> m_checker_states;
125 make_checkers (auto_delete_vec <state_machine> &out, logger *logger) in make_checkers()
165 auto_delete_vec<saved_diagnostic> m_saved_diagnostics;
181 extern void make_checkers (auto_delete_vec <state_machine> &out,
1433 auto_delete_vec <state_machine> checkers; in test_program_state_dumping()1480 auto_delete_vec <state_machine> checkers; in test_program_state_dumping_2()1524 auto_delete_vec <state_machine> checkers; in test_program_state_merging()1583 auto_delete_vec <state_machine> checkers; in test_program_state_merging_2()
235 auto_delete_vec<equiv_class> m_equiv_classes;
522 auto_delete_vec<checker_event> m_events;
104 auto_delete_vec<node_t> m_nodes;105 auto_delete_vec<edge_t> m_edges;
141 auto_delete_vec<simple_diagnostic_event> m_events;
1686 class auto_delete_vec : public auto_vec <T *>1689 auto_delete_vec () {}1690 auto_delete_vec (size_t s) : auto_vec <T *> (s) {}1692 ~auto_delete_vec ();1695 DISABLE_COPY_AND_ASSIGN(auto_delete_vec);1807 auto_delete_vec<T>::~auto_delete_vec ()
564 auto_delete_vec <count_dtor> v; in test_auto_delete_vec()
1574 class auto_delete_vec : public auto_vec <T *>1577 auto_delete_vec () {}1578 auto_delete_vec (size_t s) : auto_vec <T *> (s) {}1580 ~auto_delete_vec ();1583 DISABLE_COPY_AND_ASSIGN(auto_delete_vec);1695 auto_delete_vec<T>::~auto_delete_vec ()
538 auto_delete_vec <count_dtor> v; in test_auto_delete_vec()