FallThroughSuccessor

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

292Debug.Assert(predecessor.FallThroughSuccessor != null); 293if (predecessor.FallThroughSuccessor.Destination == block) 295branches.Add(predecessor.FallThroughSuccessor);

Microsoft.CodeAnalysis.AnalyzerUtilities (6)

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

191=> Math.Max(basicBlock.FallThroughSuccessor?.Destination?.Ordinal ?? -1, 235DominatesBranch(sourceBlock.FallThroughSuccessor, basicBlock, processedOrdinals, unprocessedOrdinals);

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

120if (block.FallThroughSuccessor != null) 123_ = FlowBranch(newOperationVisitor, block.FallThroughSuccessor, fallThroughData);

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

634var preadjustSuccessorWithbranch = new BranchWithInfo(basicBlock.FallThroughSuccessor!); 806HandleBranch(block.FallThroughSuccessor);

Microsoft.CodeAnalysis.CodeStyle (5)

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

172var branch = current.FallThroughSuccessor; 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling;

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

111if (basicBlock.FallThroughSuccessor?.Destination == null && 123=> AnalyzeBranch(basicBlock.FallThroughSuccessor, basicBlock, currentBlockAnalysisData, cancellationToken); 134var newCurrentAnalysisData = AnalyzeBranch(basicBlock.FallThroughSuccessor, basicBlock, currentAnalysisData, cancellationToken);

Microsoft.CodeAnalysis.Test.Utilities (11)

Compilation\ControlFlowGraphVerifier.cs (9)

140Assert.NotNull(block.FallThroughSuccessor); 141Assert.NotNull(block.FallThroughSuccessor.Destination); 158Assert.Null(block.FallThroughSuccessor); 206Assert.Same(predecessor.FallThroughSuccessor, predecessorBranch); 217Assert.Same(predecessor.FallThroughSuccessor, predecessorBranch); 275ControlFlowBranch nextBranch = block.FallThroughSuccessor; 434adjustEntryStateForDestination(entryStates, block.FallThroughSuccessor, currentState); 477if (block.FallThroughSuccessor.LeavingRegions.Length > regions.Count) 480regions.AddRange(block.FallThroughSuccessor.LeavingRegions);

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

172var branch = current.FallThroughSuccessor; 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling;

Microsoft.CodeAnalysis.Workspaces (5)

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

172var branch = current.FallThroughSuccessor; 180current.FallThroughSuccessor.Semantics == ControlFlowBranchSemantics.StructuredExceptionHandling;

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

111if (basicBlock.FallThroughSuccessor?.Destination == null && 123=> AnalyzeBranch(basicBlock.FallThroughSuccessor, basicBlock, currentBlockAnalysisData, cancellationToken); 134var newCurrentAnalysisData = AnalyzeBranch(basicBlock.FallThroughSuccessor, basicBlock, currentAnalysisData, cancellationToken);