ConditionalSuccessor

36 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)

298if (predecessor.ConditionalSuccessor?.Destination == block) 300branches.Add(predecessor.ConditionalSuccessor);

Microsoft.CodeAnalysis.AnalyzerUtilities (8)

src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\BasicBlockExtensions.cs (2)

192basicBlock.ConditionalSuccessor?.Destination?.Ordinal ?? -1); 234=> DominatesBranch(sourceBlock.ConditionalSuccessor, basicBlock, processedOrdinals, unprocessedOrdinals) &&

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.cs (3)

122var fallThroughData = block.ConditionalSuccessor != null ? AnalysisDomain.Clone(data) : data; 126if (block.ConditionalSuccessor != null) 128_ = FlowBranch(newOperationVisitor, block.ConditionalSuccessor, data);

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (3)

638if (basicBlock.ConditionalSuccessor?.Destination != null) 640preadjustSuccessorWithbranch = new BranchWithInfo(basicBlock.ConditionalSuccessor); 807HandleBranch(block.ConditionalSuccessor);

Microsoft.CodeAnalysis.CodeStyle (3)

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (1)

162FollowBranch(current, current.ConditionalSuccessor, conditionalSuccessorAnalysisData);

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.cs (2)

112basicBlock.ConditionalSuccessor?.Destination == null) 140var conditionalSuccessorData = AnalyzeBranch(basicBlock.ConditionalSuccessor, basicBlock, savedCurrentAnalysisData, cancellationToken);

Microsoft.CodeAnalysis.Test.Utilities (10)

Compilation\ControlFlowGraphVerifier.cs (9)

142Assert.Null(block.ConditionalSuccessor); 159Assert.Null(block.ConditionalSuccessor); 201Assert.Same(predecessor.ConditionalSuccessor, predecessorBranch); 241ControlFlowBranch conditionalBranch = block.ConditionalSuccessor; 428if (block.ConditionalSuccessor != null) 430adjustEntryStateForDestination(entryStates, block.ConditionalSuccessor, currentState); 471if (block.ConditionalSuccessor != null && block.ConditionalSuccessor.LeavingRegions.Length > regions.Count) 474regions.AddRange(block.ConditionalSuccessor.LeavingRegions);

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (1)

162FollowBranch(current, current.ConditionalSuccessor, conditionalSuccessorAnalysisData);

Microsoft.CodeAnalysis.Workspaces (3)

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (1)

162FollowBranch(current, current.ConditionalSuccessor, conditionalSuccessorAnalysisData);

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.cs (2)

112basicBlock.ConditionalSuccessor?.Destination == null) 140var conditionalSuccessorData = AnalyzeBranch(basicBlock.ConditionalSuccessor, basicBlock, savedCurrentAnalysisData, cancellationToken);