Source

1 write to Source

Microsoft.CodeAnalysis (1)

Operations\ControlFlowBranch.cs (1)

28Source = source;

26 references to Source

ILLink.RoslynAnalyzer (2)

DataFlow\ControlFlowGraphProxy.cs (2)

77 var conditionKind = branch.Source.ConditionKind switch { 86 new BlockProxy (branch.Source),

Microsoft.CodeAnalysis (6)

Operations\ControlFlowBranch.cs (4)

13/// Represents a control flow branch from a <see cref="Source"/> basic block to a <see cref="Destination"/> 50/// Indicates if this branch represents <see cref="BasicBlock.ConditionalSuccessor"/> of the <see cref="Source"/> basic block. 72result = CollectRegions(Destination.Ordinal, Source.EnclosingRegion).ToImmutableAndFree(); 115ArrayBuilder<ControlFlowRegion> builder = CollectRegions(Source.Ordinal, Destination.EnclosingRegion);

Operations\ControlFlowGraphBuilder.BasicBlockBuilder.cs (2)

271int result = x.Source.Ordinal - y.Source.Ordinal;

Microsoft.CodeAnalysis.AnalyzerUtilities (10)

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

21branch.Semantics, branch.Source.BranchValue, 124branch.Source.ConditionKind == ControlFlowConditionKind.None) 126return branch.Source.ConditionKind; 129return branch.Source.ConditionKind.Negate();

src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\BasicBlockExtensions.cs (2)

28yield return (predecessorBlock: predecessorBranch.Source, branchWithInfo); 206var sourceBlock = predecessor.Source;

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

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

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

772(data, _) = operationVisitor.FlowBranch(branch.Source, new BranchWithInfo(branch), data); 818var maxSuccessorOrdinal = Math.Max(branch.Destination.GetMaxSuccessorOrdinal(), branch.Source.Ordinal);

Microsoft.CodeAnalysis.Test.Utilities (8)

Compilation\ControlFlowGraphVerifier.cs (8)

194var predecessor = predecessorBranch.Source; 211if (predecessorIndex < predecessors.Length - 1 && predecessors[predecessorIndex + 1].Source == predecessor) 248Assert.Same(block, conditionalBranch.Source); 287Assert.Same(block, nextBranch.Source); 395if (predecessor.Source.Ordinal >= i) 403AssertTrueWithGraph(currentState.Contains(id), $"Backward branch from [{getBlockId(predecessor.Source)}] to [{getBlockId(block)}] before capture [{id.Value}] is initialized.", finalGraph); 717if (branch.Destination.Ordinal > branch.Source.Ordinal) 732ControlFlowRegion region = branch.Source.EnclosingRegion;