Destination

Operations\ControlFlowBranch.cs (1)

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

111if (basicBlock.FallThroughSuccessor?.Destination == null && 112basicBlock.ConditionalSuccessor?.Destination == null)

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

216Debug.Assert(branch.Destination == null); 221Debug.Assert(branch.Destination == null); 227Debug.Assert(branch.Destination != null); 229if (StepThroughFinally(current.EnclosingRegion, branch.Destination.Ordinal, ref currentAnalsisData)) 231var destination = branch.Destination; 242toVisit.Add(branch.Destination.Ordinal);

DataFlow\ControlFlowGraphProxy.cs (2)

92branch.Destination == null ? null : new BlockProxy(branch.Destination),

Operations\ControlFlowBranch.cs (5)

13/// Represents a control flow branch from a <see cref="Source"/> basic block to a <see cref="Destination"/> 66if (Destination == null) 72result = CollectRegions(Destination.Ordinal, Source.EnclosingRegion).ToImmutableAndFree(); 109if (Destination == null) 115ArrayBuilder<ControlFlowRegion> builder = CollectRegions(Source.Ordinal, Destination.EnclosingRegion);

Operations\ControlFlowGraphBuilder.BasicBlockBuilder.cs (2)

293if (predecessor.FallThroughSuccessor.Destination == block) 298if (predecessor.ConditionalSuccessor?.Destination == block)

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

111if (basicBlock.FallThroughSuccessor?.Destination == null && 112basicBlock.ConditionalSuccessor?.Destination == null)

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

216Debug.Assert(branch.Destination == null); 221Debug.Assert(branch.Destination == null); 227Debug.Assert(branch.Destination != null); 229if (StepThroughFinally(current.EnclosingRegion, branch.Destination.Ordinal, ref currentAnalsisData)) 231var destination = branch.Destination; 242toVisit.Add(branch.Destination.Ordinal);

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

111if (basicBlock.FallThroughSuccessor?.Destination == null && 112basicBlock.ConditionalSuccessor?.Destination == null)

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

20: this(branch.Destination!, branch.EnteringRegions, branch.LeavingRegions, branch.FinallyRegions,

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

172=> Math.Max(basicBlock.FallThroughSuccessor?.Destination?.Ordinal ?? -1, 173basicBlock.ConditionalSuccessor?.Destination?.Ordinal ?? -1); 220var destinationBlock = branch?.Destination;

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

11controlFlowBranch.Destination != null && 12controlFlowBranch.Source.Ordinal >= controlFlowBranch.Destination.Ordinal;

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

639if (basicBlock.ConditionalSuccessor?.Destination != null) 817if (branch?.Destination != null && branch.IsBackEdge() && !loopRangeMap.ContainsKey(branch.Destination.Ordinal)) 819var maxSuccessorOrdinal = Math.Max(branch.Destination.GetMaxSuccessorOrdinal(), branch.Source.Ordinal); 826loopRangeMap.Add(branch.Destination.Ordinal, maxSuccessorOrdinal);

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

216Debug.Assert(branch.Destination == null); 221Debug.Assert(branch.Destination == null); 227Debug.Assert(branch.Destination != null); 229if (StepThroughFinally(current.EnclosingRegion, branch.Destination.Ordinal, ref currentAnalsisData)) 231var destination = branch.Destination; 242toVisit.Add(branch.Destination.Ordinal);

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

111if (basicBlock.FallThroughSuccessor?.Destination == null && 112basicBlock.ConditionalSuccessor?.Destination == null)

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

216Debug.Assert(branch.Destination == null); 221Debug.Assert(branch.Destination == null); 227Debug.Assert(branch.Destination != null); 229if (StepThroughFinally(current.EnclosingRegion, branch.Destination.Ordinal, ref currentAnalsisData)) 231var destination = branch.Destination; 242toVisit.Add(branch.Destination.Ordinal);

Microsoft.NetCore.Analyzers\Tasks\UseValueTasksCorrectly.cs (2)

300if (block.ConditionalSuccessor?.Destination is BasicBlock conditional) 324if (block.FallThroughSuccessor?.Destination is BasicBlock fallthrough)

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\BranchWithInfo.cs (1)

19: this(branch.Destination!, branch.EnteringRegions, branch.LeavingRegions, branch.FinallyRegions,

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\Extensions\BasicBlockExtensions.cs (3)

190=> Math.Max(basicBlock.FallThroughSuccessor?.Destination?.Ordinal ?? -1, 191basicBlock.ConditionalSuccessor?.Destination?.Ordinal ?? -1); 238var destinationBlock = branch?.Destination;

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\Extensions\ControlFlowBranchExtensions.cs (2)

10controlFlowBranch.Destination != null && 11controlFlowBranch.Source.Ordinal >= controlFlowBranch.Destination.Ordinal;

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (5)

637if (basicBlock.ConditionalSuccessor?.Destination != null) 815if (branch?.Destination != null && branch.IsBackEdge() && !loopRangeMap.ContainsKey(branch.Destination.Ordinal)) 817var maxSuccessorOrdinal = Math.Max(branch.Destination.GetMaxSuccessorOrdinal(), branch.Source.Ordinal); 824loopRangeMap.Add(branch.Destination.Ordinal, maxSuccessorOrdinal);

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

111if (basicBlock.FallThroughSuccessor?.Destination == null && 112basicBlock.ConditionalSuccessor?.Destination == null)

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

216Debug.Assert(branch.Destination == null); 221Debug.Assert(branch.Destination == null); 227Debug.Assert(branch.Destination != null); 229if (StepThroughFinally(current.EnclosingRegion, branch.Destination.Ordinal, ref currentAnalsisData)) 231var destination = branch.Destination; 242toVisit.Add(branch.Destination.Ordinal);

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

111if (basicBlock.FallThroughSuccessor?.Destination == null && 112basicBlock.ConditionalSuccessor?.Destination == null)

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

216Debug.Assert(branch.Destination == null); 221Debug.Assert(branch.Destination == null); 227Debug.Assert(branch.Destination != null); 229if (StepThroughFinally(current.EnclosingRegion, branch.Destination.Ordinal, ref currentAnalsisData)) 231var destination = branch.Destination; 242toVisit.Add(branch.Destination.Ordinal);

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

111if (basicBlock.FallThroughSuccessor?.Destination == null && 112basicBlock.ConditionalSuccessor?.Destination == null)

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

216Debug.Assert(branch.Destination == null); 221Debug.Assert(branch.Destination == null); 227Debug.Assert(branch.Destination != null); 229if (StepThroughFinally(current.EnclosingRegion, branch.Destination.Ordinal, ref currentAnalsisData)) 231var destination = branch.Destination; 242toVisit.Add(branch.Destination.Ordinal);