3 overrides of FlowBranch
Microsoft.CodeAnalysis.AnalyzerUtilities (3)
src\66dd3055a1c91c38\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (1)
122
public override (PointsToAnalysisData output, bool isFeasibleBranch)
FlowBranch
(BasicBlock fromBlock, BranchWithInfo branch, PointsToAnalysisData input)
src\97c55a67c449f67c\GlobalFlowStateDataFlowOperationVisitor.cs (1)
96
public override (DictionaryAnalysisData<AnalysisEntity, TAbstractAnalysisValue> output, bool isFeasibleBranch)
FlowBranch
(
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.CopyDataFlowOperationVisitor.cs (1)
47
public override (CopyAnalysisData output, bool isFeasibleBranch)
FlowBranch
(
5 references to FlowBranch
Microsoft.CodeAnalysis.AnalyzerUtilities (5)
src\66dd3055a1c91c38\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (1)
125
(PointsToAnalysisData output, bool isFeasibleBranch) result = base.
FlowBranch
(fromBlock, branch, input);
src\97c55a67c449f67c\GlobalFlowStateDataFlowOperationVisitor.cs (1)
100
return base.
FlowBranch
(fromBlock, branch, input);
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.CopyDataFlowOperationVisitor.cs (1)
53
(CopyAnalysisData output, bool isFeasibleBranch) result = base.
FlowBranch
(fromBlock, branch, input);
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (2)
330
(TAnalysisData newSuccessorInput, bool isFeasibleBranch) = OperationVisitor.
FlowBranch
(block, successorWithBranch, AnalysisDomain.Clone(output));
773
(data, _) = operationVisitor.
FlowBranch
(branch.Source, new BranchWithInfo(branch), data);