ControlFlowRegion

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

177foreach (var region in branch.LeavingRegions)

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

376var outermostEnclosingRegionStartingBlock = basicBlock.EnclosingRegion; 396ControlFlowRegion containingTryCatchFinallyRegion = null; 397var currentRegion = outermostEnclosingRegionStartingBlock;

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (20)

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

23var lastFinally = predecessorBranch.FinallyRegions[^1]; 35var region = basicBlock.EnclosingRegion; 58public static ControlFlowRegion? GetContainingRegionOfKind(this BasicBlock basicBlock, ControlFlowRegionKind regionKind) 60var enclosingRegion = basicBlock.EnclosingRegion; 77public static bool IsFirstBlockOfFinally(this BasicBlock basicBlock, [NotNullWhen(returnValue: true)] out ControlFlowRegion? finallyRegion) 83public static bool IsLastBlockOfFinally(this BasicBlock basicBlock, [NotNullWhen(returnValue: true)] out ControlFlowRegion? finallyRegion) 89public static bool IsFirstBlockOfRegionKind(this BasicBlock basicBlock, ControlFlowRegionKind regionKind, [NotNullWhen(returnValue: true)] out ControlFlowRegion? region) 95public static bool IsLastBlockOfRegionKind(this BasicBlock basicBlock, ControlFlowRegionKind regionKind, [NotNullWhen(returnValue: true)] out ControlFlowRegion? region) 98private static bool IsFirstOrLastBlockOfRegionKind(this BasicBlock basicBlock, ControlFlowRegionKind regionKind, bool first, [NotNullWhen(returnValue: true)] out ControlFlowRegion? foundRegion) 102var enclosingRegion = basicBlock.EnclosingRegion; 128if (!basicBlock.IsFirstBlockOfRegionKind(ControlFlowRegionKind.Finally, out var finallyRegion)) 144internal static ControlFlowRegion? GetInnermostRegionStartedByBlock(this BasicBlock basicBlock, ControlFlowRegionKind regionKind) 151var enclosingRegion = basicBlock.EnclosingRegion;

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

11public static bool ContainsRegionOrSelf(this ControlFlowRegion controlFlowRegion, ControlFlowRegion nestedRegion) 15public static IEnumerable<IOperation> DescendantOperations(this ControlFlowRegion controlFlowRegion, ControlFlowGraph cfg)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\IOperationExtensions_FlowAnalysis.cs (1)

24var currentRegion = block.EnclosingRegion;

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

66var catchBlockInputDataMap = PooledDictionary<ControlFlowRegion, TAnalysisData>.GetInstance(); 190PooledDictionary<ControlFlowRegion, TAnalysisData> catchBlockInputDataMap, 228var finallyRegion = block.GetInnermostRegionStartedByBlock(ControlFlowRegionKind.Finally); 232var tryRegion = finallyRegion.EnclosingRegion.NestedRegions[0]; 274ControlFlowRegion? enclosingTryAndCatchRegion = GetEnclosingTryAndCatchRegionIfStartsHandler(block); 349if (successorBlock.IsFirstBlockOfRegionKind(ControlFlowRegionKind.TryAndFinally, out var tryAndFinally)) 351var finallyRegion = tryAndFinally.NestedRegions[1]; 490static ControlFlowRegion? TryGetReachableCatchRegionStartingHandler(ControlFlowRegion tryAndCatchRegion, BasicBlock sourceBlock) 497var catchRegion = tryAndCatchRegion.NestedRegions.FirstOrDefault(region => region.Kind is ControlFlowRegionKind.Catch or ControlFlowRegionKind.FilterAndHandler); 506ControlFlowRegion? MergeIntoCatchInputData(ControlFlowRegion tryAndCatchRegion, TAnalysisData dataToMerge, BasicBlock sourceBlock) 508var catchRegion = TryGetReachableCatchRegionStartingHandler(tryAndCatchRegion, sourceBlock); 592static ControlFlowRegion? GetEnclosingTryAndCatchRegionIfStartsHandler(BasicBlock block) 654var firstFinally = branch.FinallyRegions[0]; 674ControlFlowRegion finallyRegion = branch.FinallyRegions[i]; 683foreach (var region in branch.LeavingRegions) 694var catchRegion = TryGetReachableCatchRegionStartingHandler(region, sourceBlock); 699ControlFlowRegion finallyRegion = branch.FinallyRegions[i]; 715var catchRegion = MergeIntoCatchInputData(region, branchData, sourceBlock); 727void AddFinallySuccessor(ControlFlowRegion finallyRegion, BranchWithInfo successor)

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

484if (AnalysisDataForUnhandledThrowOperations != null && block.IsLastBlockOfFinally(out var finallyRegion)) 3795var tryFinallyRegion = CurrentBasicBlock.GetContainingRegionOfKind(ControlFlowRegionKind.TryAndFinally)!; 3796var tryRegion = tryFinallyRegion.NestedRegions[0];

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

43private static ControlFlowRegion? GetHandlerRegion(BasicBlock block, INamedTypeSymbol exceptionType) 45var enclosingRegion = block.EnclosingRegion; 51foreach (var nestedRegion in enclosingRegion.NestedRegions.Skip(1)) 83internal ControlFlowRegion? HandlingCatchRegion { get; } 88internal ControlFlowRegion? ContainingFinallyRegion { get; }

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\ControlFlowRegionExtensions.cs (1)

9internal static bool ContainsBlock(this ControlFlowRegion region, int destinationOrdinal)

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\OperationExtensions.cs (1)

313var currentRegion = block.EnclosingRegion;

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

33var continueDispatchAfterFinally = PooledDictionary<ControlFlowRegion, bool>.GetInstance(); 34var dispatchedExceptionsFromRegions = PooledHashSet<ControlFlowRegion>.GetInstance(); 74PooledDictionary<ControlFlowRegion, bool> continueDispatchAfterFinally, 75PooledHashSet<ControlFlowRegion> dispatchedExceptionsFromRegions, 254bool StepThroughFinally(ControlFlowRegion region, int destinationOrdinal, ref TBlockAnalysisData currentAnalysisData) 259var enclosing = region.EnclosingRegion; 278bool StepThroughSingleFinally(ControlFlowRegion @finally, ref TBlockAnalysisData currentAnalysisData) 310void DispatchException(ControlFlowRegion fromRegion) 319var enclosing = fromRegion.Kind == ControlFlowRegionKind.Root ? null : fromRegion.EnclosingRegion; 349var tryAndCatch = enclosing.EnclosingRegion; 369void DispatchExceptionThroughCatches(ControlFlowRegion tryAndCatch, int startAt) 380var @catch = tryAndCatch.NestedRegions[i];