28 references to ConditionalSuccessor
ILLink.RoslynAnalyzer (1)
DataFlow\ControlFlowGraphProxy.cs (1)
104
if (block.Block.
ConditionalSuccessor
is Microsoft.CodeAnalysis.FlowAnalysis.ControlFlowBranch conditionalSuccessor)
Microsoft.CodeAnalysis (11)
Operations\BasicBlock.cs (3)
14
/// Control flow leaves the basic block by taking either the <see cref="
ConditionalSuccessor
"/> branch or
59
/// <see cref="
ConditionalSuccessor
"/> is taken or not.
104
/// List of basic blocks which have a control flow branch (<see cref="FallThroughSuccessor"/> or <see cref="
ConditionalSuccessor
"/>)
Operations\ControlFlowBranch.cs (1)
50
/// Indicates if this branch represents <see cref="BasicBlock.
ConditionalSuccessor
"/> of the <see cref="Source"/> basic block.
Operations\ControlFlowConditionKind.cs (5)
14
/// Associated <see cref="BasicBlock.
ConditionalSuccessor
"/> is null.
20
/// with a non-null <see cref="BasicBlock.BranchValue"/> and <see cref="BasicBlock.
ConditionalSuccessor
"/>.
22
/// then the branch <see cref="BasicBlock.
ConditionalSuccessor
"/> is taken.
28
/// with a non-null <see cref="BasicBlock.BranchValue"/> and <see cref="BasicBlock.
ConditionalSuccessor
"/>.
30
/// then the branch <see cref="BasicBlock.
ConditionalSuccessor
"/> is taken.
Operations\ControlFlowGraphBuilder.BasicBlockBuilder.cs (2)
298
if (predecessor.
ConditionalSuccessor
?.Destination == block)
300
branches.Add(predecessor.
ConditionalSuccessor
);
Microsoft.CodeAnalysis.CodeStyle (3)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (1)
163
FollowBranch(current, current.
ConditionalSuccessor
, conditionalSuccessorAnalysisData);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.cs (2)
112
basicBlock.
ConditionalSuccessor
?.Destination == null)
140
var conditionalSuccessorData = AnalyzeBranch(basicBlock.
ConditionalSuccessor
, basicBlock, savedCurrentAnalysisData, cancellationToken);
Microsoft.CodeAnalysis.Test.Utilities (10)
Compilation\ControlFlowGraphVerifier.cs (9)
142
Assert.Null(block.
ConditionalSuccessor
);
159
Assert.Null(block.
ConditionalSuccessor
);
201
Assert.Same(predecessor.
ConditionalSuccessor
, predecessorBranch);
241
ControlFlowBranch conditionalBranch = block.
ConditionalSuccessor
;
428
if (block.
ConditionalSuccessor
!= null)
430
adjustEntryStateForDestination(entryStates, block.
ConditionalSuccessor
, currentState);
471
if (block.
ConditionalSuccessor
!= null && block.
ConditionalSuccessor
.LeavingRegions.Length > regions.Count)
474
regions.AddRange(block.
ConditionalSuccessor
.LeavingRegions);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (1)
163
FollowBranch(current, current.
ConditionalSuccessor
, conditionalSuccessorAnalysisData);
Microsoft.CodeAnalysis.Workspaces (3)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (1)
163
FollowBranch(current, current.
ConditionalSuccessor
, conditionalSuccessorAnalysisData);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.cs (2)
112
basicBlock.
ConditionalSuccessor
?.Destination == null)
140
var conditionalSuccessorData = AnalyzeBranch(basicBlock.
ConditionalSuccessor
, basicBlock, savedCurrentAnalysisData, cancellationToken);