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)
689if (branch.BranchValue != null) 692Visit(branch.BranchValue, null); 698if (!_visitedFlowBranchConditions.Add(branch.BranchValue)) 700AfterVisitRoot(branch.BranchValue); 701_visitedFlowBranchConditions.Remove(branch.BranchValue); 711AfterVisitRoot(branch.BranchValue); 721ProcessReturnValue(branch.BranchValue); 727var thrownExceptionType = branch.BranchValue?.Type ?? CurrentBasicBlock.GetEnclosingRegionExceptionType(); 736ProcessThrowValue(branch.BranchValue); 744RoslynDebug.Assert(branch.BranchValue != null); 747if (branch.BranchValue.Type?.SpecialType == SpecialType.System_Boolean && 748branch.BranchValue.ConstantValue.HasValue) 750var alwaysTrue = (bool)branch.BranchValue.ConstantValue.Value!; 759_predicateValueKindCacheBuilder.TryGetValue(branch.BranchValue, out PredicateValueKind valueKind) && 766isPredicateAlwaysFalseForBranch(DataFlowAnalysisContext.PointsToAnalysisResult.GetPredicateKind(branch.BranchValue))) 772isPredicateAlwaysFalseForBranch(DataFlowAnalysisContext.CopyAnalysisResult.GetPredicateKind(branch.BranchValue))) 778isPredicateAlwaysFalseForBranch(DataFlowAnalysisContext.ValueContentAnalysisResult.GetPredicateKind(branch.BranchValue)))