Searched refs:checkerOpts (Results 1 – 1 of 1) sorted by relevance
111 SmallVector<CheckerOptInfo, 8> checkerOpts; in createCheckerManager() local114 checkerOpts.push_back(CheckerOptInfo(opt.first.c_str(), opt.second)); in createCheckerManager()118 allCheckers.initializeManager(*checkerMgr, checkerOpts); in createCheckerManager()122 for (unsigned i = 0, e = checkerOpts.size(); i != e; ++i) { in createCheckerManager()123 if (checkerOpts[i].isUnclaimed()) { in createCheckerManager()125 << checkerOpts[i].getName(); in createCheckerManager()