Searched refs:FlowAnalysisSubstitutor (Results 1 – 3 of 3) sorted by relevance
208 class FlowAnalysisSubstitutor : public VeriFlowAnalysis {210 FlowAnalysisSubstitutor(VeridexResolver* resolver, in FlowAnalysisSubstitutor() function
88 FlowAnalysisSubstitutor substitutor(resolver, it, current_uses); in Run()
736 RegisterValue FlowAnalysisSubstitutor::AnalyzeInvoke(const Instruction& instruction, in AnalyzeInvoke()763 void FlowAnalysisSubstitutor::AnalyzeFieldSet(const Instruction& instruction ATTRIBUTE_UNUSED) { in AnalyzeFieldSet()