5 writes to IsReachableBlockData
Microsoft.CodeAnalysis.AnalyzerUtilities (5)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\PredicateAnalysisEntityDataFlowOperationVisitor.cs (2)
34predicatedData.IsReachableBlockData = isReachable; 59analysisData.IsReachableBlockData = false;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\PredicatedAnalysisData.cs (3)
31IsReachableBlockData = true; 36IsReachableBlockData = fromData.IsReachableBlockData; 49IsReachableBlockData = isReachableData;
34 references to IsReachableBlockData
Microsoft.CodeAnalysis.AnalyzerUtilities (34)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysisData.cs (2)
52Debug.Assert(IsReachableBlockData || !data.IsReachableBlockData);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyBlockAnalysisResult.cs (1)
19IsReachable = blockAnalysisData?.IsReachableBlockData ?? true;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAnalysisDomain.cs (7)
30if (!forwardEdgeAnalysisData.IsReachableBlockData && backEdgeAnalysisData.IsReachableBlockData) 34else if (!backEdgeAnalysisData.IsReachableBlockData && forwardEdgeAnalysisData.IsReachableBlockData) 39Debug.Assert(forwardEdgeAnalysisData.IsReachableBlockData == backEdgeAnalysisData.IsReachableBlockData); 47backEdgeAnalysisData, forwardEdgeAnalysisData.IsReachableBlockData, CoreDataAnalysisDomain, isDisposable);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisData.cs (2)
76Debug.Assert(IsReachableBlockData || !data.IsReachableBlockData);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToBlockAnalysisResult.cs (1)
19IsReachable = blockAnalysisData?.IsReachableBlockData ?? true;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysis.ValueContentAnalysisDomain.cs (7)
26if (!forwardEdgeAnalysisData.IsReachableBlockData && backEdgeAnalysisData.IsReachableBlockData) 30else if (!backEdgeAnalysisData.IsReachableBlockData && forwardEdgeAnalysisData.IsReachableBlockData) 35Debug.Assert(forwardEdgeAnalysisData.IsReachableBlockData == backEdgeAnalysisData.IsReachableBlockData); 39backEdgeAnalysisData, forwardEdgeAnalysisData.IsReachableBlockData, CoreDataAnalysisDomain);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentBlockAnalysisResult.cs (1)
19IsReachable = blockAnalysisData?.IsReachableBlockData ?? true;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityBasedPredicateAnalysisData.cs (3)
42data2.CoreAnalysisData, data1.IsReachableBlockData, coreDataAnalysisDomain) 44Debug.Assert(data1.IsReachableBlockData == data2.IsReachableBlockData);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\PredicateAnalysisEntityDataFlowOperationVisitor.cs (2)
33Debug.Assert(!isReachable || predicatedData.IsReachableBlockData); 39=> analysisData?.IsReachableBlockData ?? true;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\PredicatedAnalysisData.cs (4)
21/// <see cref="IsReachableBlockData"/>, which tracks if the current data is for a reachable code path based on the predicate analysis. 36IsReachableBlockData = fromData.IsReachableBlockData; 357if (!IsReachableBlockData && newData.IsReachableBlockData)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\PredicatedAnalysisDataDomain.cs (4)
33else if (!value1.IsReachableBlockData && value2.IsReachableBlockData) 37else if (!value2.IsReachableBlockData && value1.IsReachableBlockData)