Searched refs:CheckerDtors (Results 1 – 2 of 2) sorted by relevance
167 CheckerDtors.push_back(CheckerDtor(checker, destruct<CHECKER>)); in registerChecker()538 std::vector<CheckerDtor> CheckerDtors; variable
710 for (unsigned i = 0, e = CheckerDtors.size(); i != e; ++i) in ~CheckerManager()711 CheckerDtors[i](); in ~CheckerManager()