1 write to BranchValue
Microsoft.CodeAnalysis.AnalyzerUtilities (1)
src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (1)
57BranchValue = branchValue;
20 references to BranchValue
Microsoft.CodeAnalysis.AnalyzerUtilities (20)
src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (1)
83branchValue: BranchValue,
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateValueSetFlowOperationVisitor.cs (2)
32branch.BranchValue != null && 35var branchValue = GetCachedAbstractValue(branch.BranchValue);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (17)
687if (branch.BranchValue != null) 690Visit(branch.BranchValue, null); 696if (!_visitedFlowBranchConditions.Add(branch.BranchValue)) 698AfterVisitRoot(branch.BranchValue); 699_visitedFlowBranchConditions.Remove(branch.BranchValue); 709AfterVisitRoot(branch.BranchValue); 719ProcessReturnValue(branch.BranchValue); 725var thrownExceptionType = branch.BranchValue?.Type ?? CurrentBasicBlock.GetEnclosingRegionExceptionType(); 734ProcessThrowValue(branch.BranchValue); 742RoslynDebug.Assert(branch.BranchValue != null); 745if (branch.BranchValue.Type?.SpecialType == SpecialType.System_Boolean && 746branch.BranchValue.ConstantValue.HasValue) 748var alwaysTrue = (bool)branch.BranchValue.ConstantValue.Value!; 757_predicateValueKindCacheBuilder.TryGetValue(branch.BranchValue, out PredicateValueKind valueKind) && 764isPredicateAlwaysFalseForBranch(DataFlowAnalysisContext.PointsToAnalysisResult.GetPredicateKind(branch.BranchValue))) 770isPredicateAlwaysFalseForBranch(DataFlowAnalysisContext.CopyAnalysisResult.GetPredicateKind(branch.BranchValue))) 776isPredicateAlwaysFalseForBranch(DataFlowAnalysisContext.ValueContentAnalysisResult.GetPredicateKind(branch.BranchValue)))