4 writes to Destination
Microsoft.CodeAnalysis (4)
Operations\ControlFlowGraphBuilder.cs (4)
1103
predecessorBranch.
Destination
= successorBranch.Destination;
1235
branch.
Destination
= null;
1381
prevBlock.FallThrough.
Destination
= nextBlock;
3295
return new BasicBlockBuilder.Branch() {
Destination
= destination, Kind = ControlFlowBranchSemantics.Regular };
39 references to Destination
Microsoft.CodeAnalysis (39)
Operations\ControlFlowGraphBuilder.cs (39)
225
destination: branch.
Destination
!= null ? builder[branch.
Destination
.Ordinal] : null,
331
Debug.Assert(branch.
Destination
== null);
336
Debug.Assert(branch.
Destination
!= null);
339
if (stepThroughFinally(current.Region, branch.
Destination
))
341
toVisit.Add(branch.
Destination
);
709
predecessor.FallThrough.
Destination
== block &&
727
Debug.Assert((next.
Destination
== null) ==
746
if (next.
Destination
== block)
761
next.
Destination
== null && next.Kind == ControlFlowBranchSemantics.StructuredExceptionHandling &&
806
Debug.Assert(next.
Destination
== null);
819
predecessor.FallThrough.
Destination
!= block ||
820
predecessor.Conditional.
Destination
== block ||
853
next.
Destination
!= blocks[i + 1])
858
Debug.Assert(implicitEntryRegion.LastBlock!.Ordinal >= next.
Destination
.Ordinal);
866
Debug.Assert(next.
Destination
!= null);
867
if (next.
Destination
.Kind != BasicBlockKind.Exit ||
890
Debug.Assert(predecessor.FallThrough.
Destination
== block);
895
RegionBuilder? destinationRegionOpt = next.
Destination
== null ? null : regionMap[next.
Destination
];
941
next.
Destination
?.RemovePredecessor(block);
980
predecessor.FallThrough.
Destination
== block &&
989
next.
Destination
?.RemovePredecessor(block);
994
BasicBlockBuilder? destination = block.Conditional.
Destination
;
1092
if (predecessorBranch.
Destination
== successor)
1103
predecessorBranch.Destination = successorBranch.
Destination
;
1104
successorBranch.
Destination
?.AddPredecessor(predecessor);
1232
if (branch.
Destination
!= null && unresolved.Contains(branch.
Destination
))
1313
if (prevBlock.FallThrough.
Destination
== null)
1380
Debug.Assert(prevBlock.FallThrough.
Destination
== null);
2979
Debug.Assert(branch.
Destination
!= null);
2981
branch.
Destination
.AddPredecessor(previous);
3722
Debug.Assert(filterRegion.LastBlock.FallThrough.
Destination
== null);
3748
Debug.Assert(filterAndHandlerRegion.Regions![0].LastBlock!.FallThrough.
Destination
== null);
3785
Debug.Assert(finallyRegion.LastBlock.FallThrough.
Destination
== null);
3790
Debug.Assert(tryAndFinallyRegion?.Regions![1].LastBlock!.FallThrough.
Destination
== null);
3951
Debug.Assert(current.FallThrough.
Destination
== null);
5718
Debug.Assert(current.FallThrough.
Destination
== null);