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