CurrentBasicBlock

3 writes to CurrentBasicBlock

Microsoft.CodeAnalysis.AnalyzerUtilities (3)

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

443CurrentBasicBlock = block; 686CurrentBasicBlock = fromBlock; 951CurrentBasicBlock = currentBasicBlock;

13 references to CurrentBasicBlock

Microsoft.CodeAnalysis.AnalyzerUtilities (13)

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

237if (!_exceptionPathsThrownExceptionInfoMap.TryGetValue(CurrentBasicBlock, out var info)) 240CurrentBasicBlock, WellKnownTypeProvider, DataFlowAnalysisContext.InterproceduralAnalysisData?.CallStack); 727var thrownExceptionType = branch.BranchValue?.Type ?? CurrentBasicBlock.GetEnclosingRegionExceptionType(); 732var info = ThrownExceptionInfo.Create(CurrentBasicBlock, exceptionType, DataFlowAnalysisContext.InterproceduralAnalysisData?.CallStack); 919CurrentBasicBlock.IsContainedInRegionOfKind(ControlFlowRegionKind.Finally)) 1154Debug.Assert(CurrentBasicBlock.Kind == BasicBlockKind.Entry); 1164var inputData = DataFlowAnalysisContext.PointsToAnalysisResult[CurrentBasicBlock].Data; 1383return GetBlockReachability(CurrentBasicBlock); 2158var adjustedExceptionInfo = exceptionInfo.With(CurrentBasicBlock, DataFlowAnalysisContext.InterproceduralAnalysisData?.CallStack); 3761Debug.Assert(caughtExceptionType != null || CurrentBasicBlock.IsFirstBlockOfFinally(out _)); 3785if (pendingThrow.HandlingCatchRegion == CurrentBasicBlock.EnclosingRegion) 3794Debug.Assert(CurrentBasicBlock.IsFirstBlockOfFinally(out _)); 3795var tryFinallyRegion = CurrentBasicBlock.GetContainingRegionOfKind(ControlFlowRegionKind.TryAndFinally)!;