1 write to BranchValue
Microsoft.CodeAnalysis.AnalyzerUtilities (1)
src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (1)
57
BranchValue
= branchValue;
20 references to BranchValue
Microsoft.CodeAnalysis.AnalyzerUtilities (20)
src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (1)
83
branchValue:
BranchValue
,
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateValueSetFlowOperationVisitor.cs (2)
32
branch.
BranchValue
!= null &&
35
var branchValue = GetCachedAbstractValue(branch.
BranchValue
);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (17)
689
if (branch.
BranchValue
!= null)
692
Visit(branch.
BranchValue
, null);
698
if (!_visitedFlowBranchConditions.Add(branch.
BranchValue
))
700
AfterVisitRoot(branch.
BranchValue
);
701
_visitedFlowBranchConditions.Remove(branch.
BranchValue
);
711
AfterVisitRoot(branch.
BranchValue
);
721
ProcessReturnValue(branch.
BranchValue
);
727
var thrownExceptionType = branch.
BranchValue
?.Type ?? CurrentBasicBlock.GetEnclosingRegionExceptionType();
736
ProcessThrowValue(branch.
BranchValue
);
744
RoslynDebug.Assert(branch.
BranchValue
!= null);
747
if (branch.
BranchValue
.Type?.SpecialType == SpecialType.System_Boolean &&
748
branch.
BranchValue
.ConstantValue.HasValue)
750
var alwaysTrue = (bool)branch.
BranchValue
.ConstantValue.Value!;
759
_predicateValueKindCacheBuilder.TryGetValue(branch.
BranchValue
, out PredicateValueKind valueKind) &&
766
isPredicateAlwaysFalseForBranch(DataFlowAnalysisContext.PointsToAnalysisResult.GetPredicateKind(branch.
BranchValue
)))
772
isPredicateAlwaysFalseForBranch(DataFlowAnalysisContext.CopyAnalysisResult.GetPredicateKind(branch.
BranchValue
)))
778
isPredicateAlwaysFalseForBranch(DataFlowAnalysisContext.ValueContentAnalysisResult.GetPredicateKind(branch.
BranchValue
)))