Lines Matching refs:AnalysisData
65 struct AnalysisData { struct
82 std::function<void(AnalysisData)> VerifyResults, ArrayRef<std::string> Args, argument
138 AnalysisData AnalysisData{Context, *CFCtx, Env,
140 VerifyResults(AnalysisData);
163 [&VerifyResults](AnalysisData AnalysisData) {
164 if (AnalysisData.BlockStates.empty()) {
165 VerifyResults({}, AnalysisData.ASTCtx);
169 auto &Annotations = AnalysisData.Annotations;
174 for (const CFGBlock *Block : AnalysisData.CFCtx.getCFG()) {
176 if (!AnalysisData.BlockStates[Block->getBlockID()])
180 AnalysisData.CFCtx, AnalysisData.BlockStates, *Block,
181 AnalysisData.Env, AnalysisData.Analysis,
193 VerifyResults(Results, AnalysisData.ASTCtx);