37 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.CodeStyle (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (4)
176if (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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)
373case 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)
176if (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);
Microsoft.CodeAnalysis.Workspaces (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (4)
176if (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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)
373case ControlFlowRegionKind.Finally: