FallThroughSuccessor

49 references to FallThroughSuccessor

GenerateDocumentationAndConfigFiles (5)

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

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

src\roslyn\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);

ILLink.RoslynAnalyzer (2)

DataFlow\ControlFlowGraphProxy.cs (1)

112if (block.Block.FallThroughSuccessor is Microsoft.CodeAnalysis.FlowAnalysis.ControlFlowBranch fallThroughSuccessor)

DataFlow\LocalDataFlowVisitor.cs (1)

108if (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.Analyzers (5)

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

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

src\roslyn\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.AnalyzerUtilities (11)

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

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

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

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

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

635var preadjustSuccessorWithbranch = new BranchWithInfo(basicBlock.FallThroughSuccessor!); 807HandleBranch(block.FallThroughSuccessor);

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

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

src\roslyn\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.CodeStyle (5)

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

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

src\roslyn\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.ResxSourceGenerator (5)

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

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

src\roslyn\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.Workspaces (5)

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

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

src\roslyn\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);

Roslyn.Diagnostics.Analyzers (5)

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

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

src\roslyn\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);