BasicBlock

src\1e7e9f16bf7f1945\ValueContentAnalysis.ValueContentDataFlowOperationVisitor.cs (1)

164protected override ValueContentAnalysisData MergeAnalysisDataForBackEdge(ValueContentAnalysisData value1, ValueContentAnalysisData value2, BasicBlock forBlock)

src\66dd3055a1c91c38\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (3)

99public override PointsToAnalysisData Flow(IOperation statement, BasicBlock block, PointsToAnalysisData input) 122public override (PointsToAnalysisData output, bool isFeasibleBranch) FlowBranch(BasicBlock fromBlock, BranchWithInfo branch, PointsToAnalysisData input) 578protected override PointsToAnalysisData MergeAnalysisDataForBackEdge(PointsToAnalysisData value1, PointsToAnalysisData value2, BasicBlock forBlock)

src\683181b2796de991\ParameterValidationBlockAnalysisResult.cs (1)

17public ParameterValidationBlockAnalysisResult(BasicBlock basicBlock, ParameterValidationAnalysisData blockAnalysisData)

src\97c55a67c449f67c\GlobalFlowStateDataFlowOperationVisitor.cs (2)

72IOperation statement, BasicBlock block, DictionaryAnalysisData<AnalysisEntity, TAbstractAnalysisValue> input) 97BasicBlock fromBlock, BranchWithInfo branch, DictionaryAnalysisData<AnalysisEntity, TAbstractAnalysisValue> input)

src\97c55a67c449f67c\GlobalFlowStateValueSetFlowOperationVisitor.cs (3)

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

15/// Analysis data for a particular <see cref="BasicBlock"/> for <see cref="ControlFlowGraph"/>

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

88public override BasicBlockAnalysisData AnalyzeBlock(BasicBlock basicBlock, CancellationToken cancellationToken) 120BasicBlock basicBlock, 126BasicBlock basicBlock, 147BasicBlock basicBlock, 198public override BasicBlockAnalysisData GetCurrentAnalysisData(BasicBlock basicBlock) 204public override void SetCurrentAnalysisData(BasicBlock basicBlock, BasicBlockAnalysisData data, CancellationToken cancellationToken)

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

31private readonly PooledDictionary<BasicBlock, BasicBlockAnalysisData> _analysisDataByBasicBlockMap; 76PooledDictionary<BasicBlock, BasicBlockAnalysisData> analysisDataByBasicBlockMap, 180private static PooledDictionary<BasicBlock, BasicBlockAnalysisData> CreateAnalysisDataByBasicBlockMap( 183var builder = PooledDictionary<BasicBlock, BasicBlockAnalysisData>.GetInstance(); 184foreach (var block in cfg.Blocks) 217public BasicBlockAnalysisData GetBlockAnalysisData(BasicBlock basicBlock) 220public BasicBlockAnalysisData GetOrCreateBlockAnalysisData(BasicBlock basicBlock, CancellationToken cancellationToken) 360private void HandleCatchOrFilterOrFinallyInitialization(BasicBlock basicBlock, CancellationToken cancellationToken) 413var firstBasicBlockInOutermostRegion = ControlFlowGraph.Blocks[containingTryCatchFinallyRegion.FirstBlockOrdinal]; 428public void SetCurrentBlockAnalysisDataFrom(BasicBlock basicBlock, CancellationToken cancellationToken) 440public void SetBlockAnalysisData(BasicBlock basicBlock, BasicBlockAnalysisData data) 443public void SetBlockAnalysisDataFrom(BasicBlock basicBlock, BasicBlockAnalysisData data, CancellationToken cancellationToken)

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

28internal BranchWithInfo(BasicBlock destination) 42BasicBlock destination, 63public BasicBlock Destination { get; } 75internal BranchWithInfo WithEmptyRegions(BasicBlock destination)

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

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\ControlFlowGraphExtensions.cs (2)

12public static BasicBlock GetEntry(this ControlFlowGraph cfg) => cfg.Blocks.Single(b => b.Kind == BasicBlockKind.Entry); 13public static BasicBlock GetExit(this ControlFlowGraph cfg) => cfg.Blocks.Single(b => b.Kind == BasicBlockKind.Exit);

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

19var block = cfg.Blocks[i];

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

21foreach (var block in cfg.Blocks)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.CopyDataFlowOperationVisitor.cs (2)

39public override CopyAnalysisData Flow(IOperation statement, BasicBlock block, CopyAnalysisData input) 48BasicBlock fromBlock,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.cs (1)

64protected override CopyBlockAnalysisResult ToBlockResult(BasicBlock basicBlock, CopyAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyBlockAnalysisResult.cs (1)

15internal CopyBlockAnalysisResult(BasicBlock basicBlock, CopyAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysis.cs (1)

132protected override DisposeBlockAnalysisResult ToBlockResult(BasicBlock basicBlock, DictionaryAnalysisData<AbstractLocation, DisposeAbstractValue> blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeBlockAnalysisResult.cs (1)

17internal DisposeBlockAnalysisResult(BasicBlock basicBlock, DisposeAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateAnalysis.cs (1)

143protected override GlobalFlowStateBlockAnalysisResult ToBlockResult(BasicBlock basicBlock, GlobalFlowStateAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateBlockAnalysisResult.cs (1)

17internal GlobalFlowStateBlockAnalysisResult(BasicBlock basicBlock, GlobalFlowStateAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.cs (2)

115foreach (var block in analysisContext.ControlFlowGraph.Blocks) 135protected override ParameterValidationBlockAnalysisResult ToBlockResult(BasicBlock basicBlock, ParameterValidationAnalysisData blockAnalysisData) => new(basicBlock, blockAnalysisData);

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.cs (1)

128protected override PointsToBlockAnalysisResult ToBlockResult(BasicBlock basicBlock, PointsToAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToBlockAnalysisResult.cs (1)

15internal PointsToBlockAnalysisResult(BasicBlock basicBlock, PointsToAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.cs (1)

325protected override PropertySetBlockAnalysisResult ToBlockResult(BasicBlock basicBlock, PropertySetAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetBlockAnalysisResult.cs (1)

19public PropertySetBlockAnalysisResult(BasicBlock basicBlock, PropertySetAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.cs (1)

135protected override TaintedDataBlockAnalysisResult ToBlockResult(BasicBlock basicBlock, TaintedDataAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataBlockAnalysisResult.cs (1)

18public TaintedDataBlockAnalysisResult(BasicBlock basicBlock, TaintedDataAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysis.cs (1)

124protected override ValueContentBlockAnalysisResult ToBlockResult(BasicBlock basicBlock, ValueContentAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentBlockAnalysisResult.cs (1)

15internal ValueContentBlockAnalysisResult(BasicBlock basicBlock, ValueContentAnalysisData blockAnalysisData)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractBlockAnalysisResult.cs (2)

12protected AbstractBlockAnalysisResult(BasicBlock basicBlock) 17public BasicBlock BasicBlock { get; }

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

64using var _1 = PooledHashSet<BasicBlock>.GetInstance(out var uniqueSuccessors); 100foreach (var block in cfg.Blocks) 105var entry = cfg.GetEntry(); 135foreach (var block in cfg.Blocks) 188PooledHashSet<BasicBlock> uniqueSuccessors, 198foreach (var block in cfg.Blocks) 223var block = cfg.Blocks[blockOrdinal]; 338var successorBlock = successorWithBranch.Destination; 490static ControlFlowRegion? TryGetReachableCatchRegionStartingHandler(ControlFlowRegion tryAndCatchRegion, BasicBlock sourceBlock) 506ControlFlowRegion? MergeIntoCatchInputData(ControlFlowRegion tryAndCatchRegion, TAnalysisData dataToMerge, BasicBlock sourceBlock) 514var catchBlock = cfg.Blocks[catchRegion.FirstBlockOrdinal]; 573var block = cfg.Blocks[blockOrdinal]; 583bool HasUnprocessedPredecessorBlock(BasicBlock block) 592static ControlFlowRegion? GetEnclosingTryAndCatchRegionIfStartsHandler(BasicBlock block) 620IEnumerable<(BranchWithInfo successorWithBranch, BranchWithInfo? preadjustSuccessorWithBranch)> GetSuccessorsWithAdjustedBranches(BasicBlock basicBlock) 655var destination = cfg.Blocks[firstFinally.FirstBlockOrdinal]; 666void UpdateFinallySuccessorsAndCatchInput(BranchWithInfo branch, TAnalysisData branchData, BasicBlock sourceBlock) 753BasicBlock block, 779protected abstract TBlockAnalysisResult ToBlockResult(BasicBlock basicBlock, TAnalysisData blockAnalysisData); 781private void UpdateInput(DataFlowAnalysisResultBuilder<TAnalysisData> builder, BasicBlock block, TAnalysisData newInput) 787private void CloneAndUpdateOutputIfEntryOrExitBlock(DataFlowAnalysisResultBuilder<TAnalysisData> builder, BasicBlock block, TAnalysisData newOutput) 806var block = cfg.Blocks[i];

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

25private readonly ImmutableDictionary<BasicBlock, TBlockAnalysisResult> _basicBlockStateMap; 34ImmutableDictionary<BasicBlock, TBlockAnalysisResult> basicBlockStateMap, 97public TBlockAnalysisResult this[BasicBlock block] => _basicBlockStateMap[block];

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysisResultBuilder.cs (8)

22private readonly PooledDictionary<BasicBlock, TAnalysisData?> _info; 27_info = PooledDictionary<BasicBlock, TAnalysisData?>.GetInstance(); 30public TAnalysisData? this[BasicBlock block] => _info[block]; 34internal void Add(BasicBlock block) 39internal void Update(BasicBlock block, TAnalysisData newData) 45Func<BasicBlock, TAnalysisData, TBlockAnalysisResult> getBlockResult, 62var resultBuilder = PooledDictionary<BasicBlock, TBlockAnalysisResult>.GetInstance(); 65var block = kvp.Key;

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

57private BasicBlock? _currentBasicBlock; 187protected BasicBlock CurrentBasicBlock 229private Dictionary<BasicBlock, ThrownExceptionInfo>? _exceptionPathsThrownExceptionInfoMap; 419public virtual TAnalysisData Flow(IOperation statement, BasicBlock block, TAnalysisData input) 441public TAnalysisData OnStartBlockAnalysis(BasicBlock block, TAnalysisData input) 473public TAnalysisData OnEndBlockAnalysis(BasicBlock block, TAnalysisData analysisData) 549private void OnStartEntryBlockAnalysis(BasicBlock entryBlock) 582private void OnStartExitBlockAnalysis(BasicBlock exitBlock) 649private void OnEndExitBlockAnalysis(BasicBlock exitBlock) 681BasicBlock fromBlock, 943BasicBlock currentBasicBlock, 1356protected virtual void UpdateReachability(BasicBlock basicBlock, TAnalysisData analysisData, bool isReachable) 1368private bool GetBlockReachability(BasicBlock basicBlock) 2080public TAnalysisData MergeAnalysisData(TAnalysisData value1, TAnalysisData value2, BasicBlock forBlock, bool forBackEdge) 2083protected virtual TAnalysisData MergeAnalysisData(TAnalysisData value1, TAnalysisData value2, BasicBlock forBlock) 2085protected virtual TAnalysisData MergeAnalysisDataForBackEdge(TAnalysisData value1, TAnalysisData value2, BasicBlock forBlock)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\PredicateAnalysisEntityDataFlowOperationVisitor.cs (1)

28protected override void UpdateReachability(BasicBlock basicBlock, TAnalysisData analysisData, bool isReachable)

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

18BasicBlock block, 31internal static ThrownExceptionInfo Create(BasicBlock block, INamedTypeSymbol exceptionType, ImmutableStack<IOperation>? interproceduralCallStack) 36internal static ThrownExceptionInfo CreateDefaultInfoForExceptionsPathAnalysis(BasicBlock block, WellKnownTypeProvider wellKnownTypeProvider, ImmutableStack<IOperation>? interproceduralCallStack) 43private static ControlFlowRegion? GetHandlerRegion(BasicBlock block, INamedTypeSymbol exceptionType) 69internal ThrownExceptionInfo With(BasicBlock block, ImmutableStack<IOperation>? interproceduralCallStack)

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

12public static IEnumerable<IOperation> DescendantOperations(this BasicBlock basicBlock)

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\ControlFlowGraphExtensions.cs (4)

13public static BasicBlock EntryBlock(this ControlFlowGraph cfg) 15var firstBlock = cfg.Blocks[0]; 20public static BasicBlock ExitBlock(this ControlFlowGraph cfg) 22var lastBlock = cfg.Blocks.Last();

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

310foreach (var block in cfg.Blocks)

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

38var unreachableBlocksToVisit = ArrayBuilder<BasicBlock>.GetInstance(); 67ImmutableArray<BasicBlock> blocks, 72ArrayBuilder<BasicBlock> unreachableBlocksToVisit, 80var firstBlock = blocks[firstBlockOrdinal]; 84var processedBlocks = PooledHashSet<BasicBlock>.GetInstance(); 91BasicBlock current; 104var unreachableBlock = unreachableBlocksToVisit[index]; 203void FollowBranch(BasicBlock current, ControlFlowBranch branch, TBlockAnalysisData currentAnalsisData) 231var destination = branch.Destination; 389var entryBlock = blocks[@catch.FirstBlockOrdinal];

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\DataFlowAnalyzer.cs (5)

19public abstract TBlockAnalysisData GetCurrentAnalysisData(BasicBlock basicBlock); 29public abstract void SetCurrentAnalysisData(BasicBlock basicBlock, TBlockAnalysisData data, CancellationToken cancellationToken); 34public abstract TBlockAnalysisData AnalyzeBlock(BasicBlock basicBlock, CancellationToken cancellationToken); 40public abstract TBlockAnalysisData AnalyzeNonConditionalBranch(BasicBlock basicBlock, TBlockAnalysisData currentAnalysisData, CancellationToken cancellationToken); 48BasicBlock basicBlock, TBlockAnalysisData currentAnalysisData, CancellationToken cancellationToken);