Searched refs:AllInferrableEffectsToVerify (Results 1 – 1 of 1) sorted by relevance
367 FunctionEffectKindSet AllInferrableEffectsToVerify) in PendingFunctionAnalysis() argument372 for (FunctionEffect effect : AllInferrableEffectsToVerify) { in PendingFunctionAnalysis()463 FunctionEffectKindSet AllInferrableEffectsToVerify) in CompleteFunctionAnalysis() argument465 for (FunctionEffect effect : AllInferrableEffectsToVerify) in CompleteFunctionAnalysis()490 FunctionEffectKindSet AllInferrableEffectsToVerify; member in __anon1adc617b0111::Analyzer554 AllInferrableEffectsToVerify.insert(Effect); in run()557 AllInferrableEffectsToVerify.dump(llvm::dbgs()); in run()642 PendingFunctionAnalysis FAnalysis(S, CInfo, AllInferrableEffectsToVerify); in verifyDecl()675 AllInferrableEffectsToVerify); in completeAnalysis()