Searched refs:DeclaredVerifiableEffects (Results 1 – 1 of 1) sorted by relevance
351 FunctionEffectKindSet DeclaredVerifiableEffects; member in __anon1adc617b0111::PendingFunctionAnalysis368 : DeclaredVerifiableEffects(CInfo.Effects) { in PendingFunctionAnalysis()388 InferrableEffects, DeclaredVerifiableEffects); in PendingFunctionAnalysis()429 DeclaredVerifiableEffects.dump(OS); in dump()759 for (FunctionEffect Effect : PFA.DeclaredVerifiableEffects) in followCall()1022 for (FunctionEffect Effect : CurrentFunction.DeclaredVerifiableEffects) { in diagnoseLanguageConstruct()1083 for (FunctionEffect Effect : CurrentFunction.DeclaredVerifiableEffects) in checkIndirectCall()