46 references to Finally
ILLink.RoslynAnalyzer (3)
DataFlow\ControlFlowGraphProxy.cs (3)
42 ControlFlowRegionKind.Finally => RegionKind.Finally, 142 if (region.Kind == ControlFlowRegionKind.Finally) { 153 if (catchOrFilterOrFinallyRegion.Region.Kind is not (ControlFlowRegionKind.Catch or ControlFlowRegionKind.Filter or ControlFlowRegionKind.Finally))
Microsoft.CodeAnalysis (16)
Operations\ControlFlowBranch.cs (1)
150Debug.Assert(builder.Last().Kind == ControlFlowRegionKind.Finally);
Operations\ControlFlowGraphBuilder.cs (10)
355Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 372Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 414Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 545case ControlFlowRegionKind.Finally: 731currentRegion.Kind == ControlFlowRegionKind.Finally); 752if (currentRegion.Kind == ControlFlowRegionKind.Finally && 1027case ControlFlowRegionKind.Finally: 3764var finallyRegion = new RegionBuilder(ControlFlowRegionKind.Finally); 4120var finallyRegion = new RegionBuilder(ControlFlowRegionKind.Finally); 4402EnterRegion(new RegionBuilder(ControlFlowRegionKind.Finally));
Operations\ControlFlowGraphBuilder.RegionBuilder.cs (2)
169Debug.Assert(lastKind == ControlFlowRegionKind.Finally); 176Debug.Assert(lastKind != ControlFlowRegionKind.Finally);
Operations\ControlFlowRegion.cs (2)
98Debug.Assert(NestedRegions[1].Kind == (kind == ControlFlowRegionKind.TryAndFinally ? ControlFlowRegionKind.Finally : ControlFlowRegionKind.Catch)); 127case ControlFlowRegionKind.Finally:
Operations\ControlFlowRegionKind.cs (1)
60/// Region representing a union of a <see cref="Try"/> and corresponding finally <see cref="Finally"/>
Microsoft.CodeAnalysis.AnalyzerUtilities (9)
src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\BasicBlockExtensions.cs (3)
97=> basicBlock.IsFirstBlockOfRegionKind(ControlFlowRegionKind.Finally, out finallyRegion); 103=> basicBlock.IsLastBlockOfRegionKind(ControlFlowRegionKind.Finally, out finallyRegion); 147if (!basicBlock.IsFirstBlockOfRegionKind(ControlFlowRegionKind.Finally, out var finallyRegion))
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (4)
227var finallyRegion = block.GetInnermostRegionStartedByBlock(ControlFlowRegionKind.Finally); 351Debug.Assert(finallyRegion.Kind == ControlFlowRegionKind.Finally); 626Debug.Assert(basicBlock.EnclosingRegion.Kind == ControlFlowRegionKind.Finally); 728Debug.Assert(finallyRegion.Kind == ControlFlowRegionKind.Finally);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (1)
917CurrentBasicBlock.IsContainedInRegionOfKind(ControlFlowRegionKind.Finally))
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\ThrownExceptionInfo.cs (1)
24ContainingFinallyRegion = block.GetContainingRegionOfKind(ControlFlowRegionKind.Finally);
Microsoft.CodeAnalysis.CodeStyle (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (4)
175if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 262Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 279Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 325Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)
372case ControlFlowRegionKind.Finally:
Microsoft.CodeAnalysis.Test.Utilities (8)
Compilation\ControlFlowGraphVerifier.cs (4)
297Assert.True(block.EnclosingRegion.Kind == ControlFlowRegionKind.Filter || block.EnclosingRegion.Kind == ControlFlowRegionKind.Finally); 738Debug.Assert(region.EnclosingRegion.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 1448case ControlFlowRegionKind.Finally: 1534case ControlFlowRegionKind.Finally:
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (4)
175if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 262Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 279Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 325Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally);
Microsoft.CodeAnalysis.Workspaces (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (4)
175if (current.EnclosingRegion.Kind == ControlFlowRegionKind.Finally && 262Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally); 279Debug.Assert(@finally.Kind == ControlFlowRegionKind.Finally); 325Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.Finally);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)
372case ControlFlowRegionKind.Finally: