Searched refs:VerifiedEffects (Results 1 – 1 of 1) sorted by relevance
453 FunctionEffectKindSet VerifiedEffects; member in __anon1adc617b0111::CompleteFunctionAnalysis464 : VerifiedEffects(DeclaredEffects) { in CompleteFunctionAnalysis()467 VerifiedEffects.insert(effect); in CompleteFunctionAnalysis()479 VerifiedEffects.dump(OS); in dump()718 CalleeEffects.insert(CFA->VerifiedEffects); in followCall()