1 write to IsReachable
Microsoft.CodeAnalysis (1)
Operations\BasicBlock.cs (1)
42
IsReachable
= isReachable;
15 references to IsReachable
Microsoft.CodeAnalysis.AnalyzerUtilities (3)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (2)
144
if (block.
IsReachable
)
199
if (!block.
IsReachable
)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (1)
1368
return basicBlock.
IsReachable
&&
Microsoft.CodeAnalysis.CodeStyle (3)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (3)
43
if (!blocks[i].
IsReachable
)
237
if ((current.
IsReachable
|| !destination.
IsReachable
) &&
Microsoft.CodeAnalysis.Test.Utilities (6)
Compilation\ControlFlowGraphVerifier.cs (3)
94
Assert.Equal(graph.Blocks[i].
IsReachable
, reachabilityVector[i]);
152
Assert.True(block.
IsReachable
);
181
appendLine($"Block[{getBlockId(block)}] - {block.Kind}{(block.
IsReachable
? "" : " [UnReachable]")}");
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (3)
43
if (!blocks[i].
IsReachable
)
237
if ((current.
IsReachable
|| !destination.
IsReachable
) &&
Microsoft.CodeAnalysis.Workspaces (3)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (3)
43
if (!blocks[i].
IsReachable
)
237
if ((current.
IsReachable
|| !destination.
IsReachable
) &&