29 references to FallThroughSuccessor
ILLink.RoslynAnalyzer (2)
DataFlow\ControlFlowGraphProxy.cs (1)
106
if (block.Block.
FallThroughSuccessor
is Microsoft.CodeAnalysis.FlowAnalysis.ControlFlowBranch fallThroughSuccessor)
DataFlow\LocalDataFlowVisitor.cs (1)
107
if (block.Block.
FallThroughSuccessor
?.Semantics == ControlFlowBranchSemantics.Throw)
Microsoft.CodeAnalysis (6)
Operations\BasicBlock.cs (3)
15
/// the <see cref="
FallThroughSuccessor
"/> branch.
61
/// with the <see cref="
FallThroughSuccessor
"/>.
104
/// List of basic blocks which have a control flow branch (<see cref="
FallThroughSuccessor
"/> or <see cref="ConditionalSuccessor"/>)
Operations\ControlFlowGraphBuilder.BasicBlockBuilder.cs (3)
292
Debug.Assert(predecessor.
FallThroughSuccessor
!= null);
293
if (predecessor.
FallThroughSuccessor
.Destination == block)
295
branches.Add(predecessor.
FallThroughSuccessor
);
Microsoft.CodeAnalysis.CodeStyle (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
173
var branch = current.
FallThroughSuccessor
;
181
current.
FallThroughSuccessor
.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling;
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.cs (3)
111
if (basicBlock.
FallThroughSuccessor
?.Destination == null &&
123
=> AnalyzeBranch(basicBlock.
FallThroughSuccessor
, basicBlock, currentBlockAnalysisData, cancellationToken);
134
var newCurrentAnalysisData = AnalyzeBranch(basicBlock.
FallThroughSuccessor
, basicBlock, currentAnalysisData, cancellationToken);
Microsoft.CodeAnalysis.Test.Utilities (11)
Compilation\ControlFlowGraphVerifier.cs (9)
140
Assert.NotNull(block.
FallThroughSuccessor
);
141
Assert.NotNull(block.
FallThroughSuccessor
.Destination);
158
Assert.Null(block.
FallThroughSuccessor
);
206
Assert.Same(predecessor.
FallThroughSuccessor
, predecessorBranch);
217
Assert.Same(predecessor.
FallThroughSuccessor
, predecessorBranch);
275
ControlFlowBranch nextBranch = block.
FallThroughSuccessor
;
434
adjustEntryStateForDestination(entryStates, block.
FallThroughSuccessor
, currentState);
477
if (block.
FallThroughSuccessor
.LeavingRegions.Length > regions.Count)
480
regions.AddRange(block.
FallThroughSuccessor
.LeavingRegions);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
173
var branch = current.
FallThroughSuccessor
;
181
current.
FallThroughSuccessor
.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling;
Microsoft.CodeAnalysis.Workspaces (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
173
var branch = current.
FallThroughSuccessor
;
181
current.
FallThroughSuccessor
.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling;
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.cs (3)
111
if (basicBlock.
FallThroughSuccessor
?.Destination == null &&
123
=> AnalyzeBranch(basicBlock.
FallThroughSuccessor
, basicBlock, currentBlockAnalysisData, cancellationToken);
134
var newCurrentAnalysisData = AnalyzeBranch(basicBlock.
FallThroughSuccessor
, basicBlock, currentAnalysisData, cancellationToken);