Lines Matching refs:Effects
235 FunctionEffectKindSet Effects; member
256 Effects = FunctionEffectKindSet(DeclEffects); in CallableInfo()
368 : DeclaredVerifiableEffects(CInfo.Effects) { in PendingFunctionAnalysis()
374 effect.effectProhibitingInference(*CInfo.CDecl, CInfo.Effects); in PendingFunctionAnalysis()
619 for (FunctionEffect Effect : CInfo.Effects) { in verifyDecl()
674 S.getASTContext(), std::move(Pending), CInfo.Effects, in completeAnalysis()
710 FunctionEffectKindSet CalleeEffects = Callee.Effects; in followCall()
897 else if (CalleeInfo.Effects.contains(Viol1.Effect.oppositeKind())) in emitDiagnostics()
1048 CI.Effects = getBuiltinFunctionEffects(BuiltinID); in followCall()
1049 if (CI.Effects.empty()) { in followCall()
1072 if (FunctionEffectsRef Effects = FunctionEffectsRef::get(CalleeType); in checkIndirectCall() local
1073 !Effects.empty()) in checkIndirectCall()
1074 CalleeEffects.insert(Effects); in checkIndirectCall()