CurrentBasicBlock

3 writes to CurrentBasicBlock

Microsoft.CodeAnalysis.AnalyzerUtilities (3)

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

441CurrentBasicBlock = block; 684CurrentBasicBlock = fromBlock; 949CurrentBasicBlock = currentBasicBlock;

13 references to CurrentBasicBlock

Microsoft.CodeAnalysis.AnalyzerUtilities (13)

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

235if (!_exceptionPathsThrownExceptionInfoMap.TryGetValue(CurrentBasicBlock, out var info)) 238CurrentBasicBlock, WellKnownTypeProvider, DataFlowAnalysisContext.InterproceduralAnalysisData?.CallStack); 725var thrownExceptionType = branch.BranchValue?.Type ?? CurrentBasicBlock.GetEnclosingRegionExceptionType(); 730var info = ThrownExceptionInfo.Create(CurrentBasicBlock, exceptionType, DataFlowAnalysisContext.InterproceduralAnalysisData?.CallStack); 917CurrentBasicBlock.IsContainedInRegionOfKind(ControlFlowRegionKind.Finally)) 1152Debug.Assert(CurrentBasicBlock.Kind == BasicBlockKind.Entry); 1162var inputData = DataFlowAnalysisContext.PointsToAnalysisResult[CurrentBasicBlock].Data; 1381return GetBlockReachability(CurrentBasicBlock); 2156var adjustedExceptionInfo = exceptionInfo.With(CurrentBasicBlock, DataFlowAnalysisContext.InterproceduralAnalysisData?.CallStack); 3759Debug.Assert(caughtExceptionType != null || CurrentBasicBlock.IsFirstBlockOfFinally(out _)); 3783if (pendingThrow.HandlingCatchRegion == CurrentBasicBlock.EnclosingRegion) 3792Debug.Assert(CurrentBasicBlock.IsFirstBlockOfFinally(out _)); 3793var tryFinallyRegion = CurrentBasicBlock.GetContainingRegionOfKind(ControlFlowRegionKind.TryAndFinally)!;