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