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