1 write to Destination
Microsoft.CodeAnalysis (1)
Operations\ControlFlowBranch.cs (1)
29Destination = destination;
59 references to Destination
ILLink.RoslynAnalyzer (2)
DataFlow\ControlFlowGraphProxy.cs (2)
87 branch.Destination == null ? null : new BlockProxy (branch.Destination),
Microsoft.CodeAnalysis (7)
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)
Microsoft.CodeAnalysis.AnalyzerUtilities (11)
src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (1)
20: this(branch.Destination!, branch.EnteringRegions, branch.LeavingRegions, branch.FinallyRegions,
src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\BasicBlockExtensions.cs (3)
191=> Math.Max(basicBlock.FallThroughSuccessor?.Destination?.Ordinal ?? -1, 192basicBlock.ConditionalSuccessor?.Destination?.Ordinal ?? -1); 239var destinationBlock = branch?.Destination;
src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\ControlFlowBranchExtensions.cs (2)
11controlFlowBranch.Destination != null && 12controlFlowBranch.Source.Ordinal >= controlFlowBranch.Destination.Ordinal;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (5)
638if (basicBlock.ConditionalSuccessor?.Destination != null) 816if (branch?.Destination != null && branch.IsBackEdge() && !loopRangeMap.ContainsKey(branch.Destination.Ordinal)) 818var maxSuccessorOrdinal = Math.Max(branch.Destination.GetMaxSuccessorOrdinal(), branch.Source.Ordinal); 825loopRangeMap.Add(branch.Destination.Ordinal, maxSuccessorOrdinal);
Microsoft.CodeAnalysis.CodeStyle (8)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (6)
215Debug.Assert(branch.Destination == null); 220Debug.Assert(branch.Destination == null); 226Debug.Assert(branch.Destination != null); 228if (StepThroughFinally(current.EnclosingRegion, branch.Destination.Ordinal, ref currentAnalsisData)) 230var destination = branch.Destination; 241toVisit.Add(branch.Destination.Ordinal);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.cs (2)
111if (basicBlock.FallThroughSuccessor?.Destination == null && 112basicBlock.ConditionalSuccessor?.Destination == null)
Microsoft.CodeAnalysis.Test.Utilities (23)
Compilation\ControlFlowGraphVerifier.cs (17)
141Assert.NotNull(block.FallThroughSuccessor.Destination); 193Assert.Same(block, predecessorBranch.Destination); 249if (conditionalBranch.Destination != null) 251Assert.Same(blocks[conditionalBranch.Destination.Ordinal], conditionalBranch.Destination); 288if (nextBranch.Destination != null) 290Assert.Same(blocks[nextBranch.Destination.Ordinal], nextBranch.Destination); 295Assert.Null(nextBranch.Destination); 715if (branch.Destination != null) 717if (branch.Destination.Ordinal > branch.Source.Ordinal) 719PooledHashSet<CaptureId> entryState = adjustAndGetEntryState(entryStates, branch.Destination, state); 1344return branch.Destination != null ? getBlockId(branch.Destination) : "null"; 1571if (branch.Destination == null) 1583Assert.True(branch.Destination.Predecessors.Contains(p => p.Source == fromBlock)); 1601ControlFlowRegion remainedIn2 = branch.Destination.EnclosingRegion;
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (6)
215Debug.Assert(branch.Destination == null); 220Debug.Assert(branch.Destination == null); 226Debug.Assert(branch.Destination != null); 228if (StepThroughFinally(current.EnclosingRegion, branch.Destination.Ordinal, ref currentAnalsisData)) 230var destination = branch.Destination; 241toVisit.Add(branch.Destination.Ordinal);
Microsoft.CodeAnalysis.Workspaces (8)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (6)
215Debug.Assert(branch.Destination == null); 220Debug.Assert(branch.Destination == null); 226Debug.Assert(branch.Destination != null); 228if (StepThroughFinally(current.EnclosingRegion, branch.Destination.Ordinal, ref currentAnalsisData)) 230var destination = branch.Destination; 241toVisit.Add(branch.Destination.Ordinal);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.cs (2)
111if (basicBlock.FallThroughSuccessor?.Destination == null && 112basicBlock.ConditionalSuccessor?.Destination == null)