85 references to FallThroughSuccessor
ILLink.RoslynAnalyzer (2)
DataFlow\ControlFlowGraphProxy.cs (1)
112
if (block.Block.
FallThroughSuccessor
is Microsoft.CodeAnalysis.FlowAnalysis.ControlFlowBranch fallThroughSuccessor)
DataFlow\LocalDataFlowVisitor.cs (1)
108
if (block.Block.
FallThroughSuccessor
?.Semantics == ControlFlowBranchSemantics.Throw)
Metrics (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
172
var branch = current.
FallThroughSuccessor
;
180
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);
Metrics.Legacy (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
172
var branch = current.
FallThroughSuccessor
;
180
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 (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.Analyzers (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
172
var branch = current.
FallThroughSuccessor
;
180
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.AnalyzerUtilities (11)
src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\BasicBlockExtensions.cs (2)
172
=> Math.Max(basicBlock.
FallThroughSuccessor
?.Destination?.Ordinal ?? -1,
216
DominatesBranch(sourceBlock.
FallThroughSuccessor
, basicBlock, processedOrdinals, unprocessedOrdinals);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.cs (2)
120
if (block.
FallThroughSuccessor
!= null)
123
_ = FlowBranch(newOperationVisitor, block.
FallThroughSuccessor
, fallThroughData);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (2)
635
var preadjustSuccessorWithbranch = new BranchWithInfo(basicBlock.
FallThroughSuccessor
!);
807
HandleBranch(block.
FallThroughSuccessor
);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
172
var branch = current.
FallThroughSuccessor
;
180
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.BannedApiAnalyzers (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
172
var branch = current.
FallThroughSuccessor
;
180
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.CodeStyle (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
172
var branch = current.
FallThroughSuccessor
;
180
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.PerformanceSensitiveAnalyzers (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
172
var branch = current.
FallThroughSuccessor
;
180
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.PublicApiAnalyzers (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
172
var branch = current.
FallThroughSuccessor
;
180
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.ResxSourceGenerator (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
172
var branch = current.
FallThroughSuccessor
;
180
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)
172
var branch = current.
FallThroughSuccessor
;
180
current.
FallThroughSuccessor
.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling;
Microsoft.CodeAnalysis.Workspaces (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
172
var branch = current.
FallThroughSuccessor
;
180
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);
Roslyn.Diagnostics.Analyzers (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
172
var branch = current.
FallThroughSuccessor
;
180
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);
Text.Analyzers (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (2)
172
var branch = current.
FallThroughSuccessor
;
180
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);