Finally

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

388case ControlFlowRegionKind.Finally:

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

175if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 263Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 280Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 326Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally);

DataFlow\ControlFlowGraphProxy.cs (3)

43ControlFlowRegionKind.Finally => RegionKind.Finally, 151if (region.Kind == ControlFlowRegionKind.Finally) 163if (catchOrFilterOrFinallyRegion.Region.Kind is not (ControlFlowRegionKind.Catch or ControlFlowRegionKind.Filter or ControlFlowRegionKind.Finally))

Operations\ControlFlowBranch.cs (1)

150Debug.Assert(builder.Last().Kind == ControlFlowRegionKind.Finally);

Operations\ControlFlowGraphBuilder.cs (9)

Operations\ControlFlowRegionKind.cs (1)

60/// Region representing a union of a <see cref="Try"/> and corresponding finally <see cref="Finally"/>

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

388case ControlFlowRegionKind.Finally:

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

175if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 263Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 280Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 326Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally);

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

388case ControlFlowRegionKind.Finally:

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

78=> basicBlock.IsFirstBlockOfRegionKind(ControlFlowRegionKind.Finally, out finallyRegion); 84=> basicBlock.IsLastBlockOfRegionKind(ControlFlowRegionKind.Finally, out finallyRegion); 128if (!basicBlock.IsFirstBlockOfRegionKind(ControlFlowRegionKind.Finally, out var finallyRegion))

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

228var finallyRegion = block.GetInnermostRegionStartedByBlock(ControlFlowRegionKind.Finally); 352Debug.Assert(finallyRegion.Kind == ControlFlowRegionKind.Finally); 627Debug.Assert(basicBlock.EnclosingRegion.Kind == ControlFlowRegionKind.Finally); 729Debug.Assert(finallyRegion.Kind == ControlFlowRegionKind.Finally);

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (1)

919CurrentBasicBlock.IsContainedInRegionOfKind(ControlFlowRegionKind.Finally))

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\ThrownExceptionInfo.cs (1)

25ContainingFinallyRegion = block.GetContainingRegionOfKind(ControlFlowRegionKind.Finally);

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

175if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 263Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 280Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 326Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally);

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

388case ControlFlowRegionKind.Finally:

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

175if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 263Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 280Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 326Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally);

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\Extensions\BasicBlockExtensions.cs (3)

96=> basicBlock.IsFirstBlockOfRegionKind(ControlFlowRegionKind.Finally, out finallyRegion); 102=> basicBlock.IsLastBlockOfRegionKind(ControlFlowRegionKind.Finally, out finallyRegion); 146if (!basicBlock.IsFirstBlockOfRegionKind(ControlFlowRegionKind.Finally, out var finallyRegion))

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (4)

226var finallyRegion = block.GetInnermostRegionStartedByBlock(ControlFlowRegionKind.Finally); 353Debug.Assert(finallyRegion.Kind == ControlFlowRegionKind.Finally); 635Debug.Assert(basicBlock.EnclosingRegion.Kind == ControlFlowRegionKind.Finally); 737Debug.Assert(finallyRegion.Kind == ControlFlowRegionKind.Finally);

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (1)

916CurrentBasicBlock.IsContainedInRegionOfKind(ControlFlowRegionKind.Finally))

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\ThrownExceptionInfo.cs (1)

23ContainingFinallyRegion = block.GetContainingRegionOfKind(ControlFlowRegionKind.Finally);

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

388case ControlFlowRegionKind.Finally:

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

175if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 263Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 280Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 326Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally);

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

388case ControlFlowRegionKind.Finally:

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

175if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 263Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 280Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 326Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally);

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

388case ControlFlowRegionKind.Finally:

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

175if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 263Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 280Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 326Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally);