Searched refs:PFA (Results 1 – 1 of 1) sorted by relevance
534 } else if (auto *PFA = dyn_cast<PendingFunctionAnalysis *>(AP)) { in dump() local535 OS << PFA << " "; in dump()536 PFA->dump(SemaRef, OS); in dump()704 void followCall(const CallableInfo &Caller, PendingFunctionAnalysis &PFA, in followCall() argument746 PFA.checkAddViolation(Inferring, in followCall()750 PFA.checkAddViolation( in followCall()755 PFA.addUnverifiedDirectCall(Callee.CDecl, CallLoc, VSite); in followCall()759 for (FunctionEffect Effect : PFA.DeclaredVerifiableEffects) in followCall()762 for (FunctionEffect Effect : PFA.EffectsToInfer) in followCall()1377 if (auto *PFA = dyn_cast<PendingFunctionAnalysis *>(AP)) in ~AnalysisMap() local[all …]