ConditionalSuccessor

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

DataFlow\ControlFlowGraphProxy.cs (1)

110if (block.Block.ConditionalSuccessor is Microsoft.CodeAnalysis.FlowAnalysis.ControlFlowBranch conditionalSuccessor)

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

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

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

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

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

173basicBlock.ConditionalSuccessor?.Destination?.Ordinal ?? -1); 215=> 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)

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

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

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

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

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

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

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

Compilation\ControlFlowGraphVerifier.cs (9)

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

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

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

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

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

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