5 writes to IsReachableBlockData
Microsoft.CodeAnalysis.AnalyzerUtilities (5)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\PredicateAnalysisEntityDataFlowOperationVisitor.cs (2)
34
predicatedData.
IsReachableBlockData
= isReachable;
59
analysisData.
IsReachableBlockData
= false;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\PredicatedAnalysisData.cs (3)
31
IsReachableBlockData
= true;
36
IsReachableBlockData
= fromData.IsReachableBlockData;
49
IsReachableBlockData
= isReachableData;
34 references to IsReachableBlockData
Microsoft.CodeAnalysis.AnalyzerUtilities (34)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysisData.cs (2)
52
Debug.Assert(
IsReachableBlockData
|| !data.
IsReachableBlockData
);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyBlockAnalysisResult.cs (1)
19
IsReachable = blockAnalysisData?.
IsReachableBlockData
?? true;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAnalysisDomain.cs (7)
30
if (!forwardEdgeAnalysisData.
IsReachableBlockData
&& backEdgeAnalysisData.
IsReachableBlockData
)
34
else if (!backEdgeAnalysisData.
IsReachableBlockData
&& forwardEdgeAnalysisData.
IsReachableBlockData
)
39
Debug.Assert(forwardEdgeAnalysisData.
IsReachableBlockData
== backEdgeAnalysisData.
IsReachableBlockData
);
47
backEdgeAnalysisData, forwardEdgeAnalysisData.
IsReachableBlockData
, CoreDataAnalysisDomain, isDisposable);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisData.cs (2)
76
Debug.Assert(
IsReachableBlockData
|| !data.
IsReachableBlockData
);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToBlockAnalysisResult.cs (1)
19
IsReachable = blockAnalysisData?.
IsReachableBlockData
?? true;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysis.ValueContentAnalysisDomain.cs (7)
26
if (!forwardEdgeAnalysisData.
IsReachableBlockData
&& backEdgeAnalysisData.
IsReachableBlockData
)
30
else if (!backEdgeAnalysisData.
IsReachableBlockData
&& forwardEdgeAnalysisData.
IsReachableBlockData
)
35
Debug.Assert(forwardEdgeAnalysisData.
IsReachableBlockData
== backEdgeAnalysisData.
IsReachableBlockData
);
39
backEdgeAnalysisData, forwardEdgeAnalysisData.
IsReachableBlockData
, CoreDataAnalysisDomain);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentBlockAnalysisResult.cs (1)
19
IsReachable = blockAnalysisData?.
IsReachableBlockData
?? true;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityBasedPredicateAnalysisData.cs (3)
42
data2.CoreAnalysisData, data1.
IsReachableBlockData
, coreDataAnalysisDomain)
44
Debug.Assert(data1.
IsReachableBlockData
== data2.
IsReachableBlockData
);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\PredicateAnalysisEntityDataFlowOperationVisitor.cs (2)
33
Debug.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.
36
IsReachableBlockData = fromData.
IsReachableBlockData
;
357
if (!
IsReachableBlockData
&& newData.
IsReachableBlockData
)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\PredicatedAnalysisDataDomain.cs (4)
33
else if (!value1.
IsReachableBlockData
&& value2.
IsReachableBlockData
)
37
else if (!value2.
IsReachableBlockData
&& value1.
IsReachableBlockData
)