1 write to Destination
Microsoft.CodeAnalysis (1)
Operations\ControlFlowBranch.cs (1)
29Destination = destination;
48 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.CodeStyle (8)
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\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)
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.CodeAnalysis.Workspaces (8)
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\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.cs (2)
111if (basicBlock.FallThroughSuccessor?.Destination == null && 112basicBlock.ConditionalSuccessor?.Destination == null)