14 references to ConditionKind
ILLink.RoslynAnalyzer (14)
DataFlow\ControlFlowGraphProxy.cs (8)
33
public
ConditionKind
ConditionKind => (
ConditionKind
)Block.ConditionKind;
81
var
conditionKind = branch.Source.ConditionKind switch
83
ControlFlowConditionKind.None =>
ConditionKind
.Unconditional,
84
ControlFlowConditionKind.WhenFalse => branch.IsConditionalSuccessor ?
ConditionKind
.WhenFalse :
ConditionKind
.WhenTrue,
85
ControlFlowConditionKind.WhenTrue => branch.IsConditionalSuccessor ?
ConditionKind
.WhenTrue :
ConditionKind
.WhenFalse,
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (4)
202
Debug.Assert(successor.ConditionKind is
ConditionKind
.WhenTrue or
ConditionKind
.WhenFalse);
205
successor.ConditionKind is
ConditionKind
.WhenTrue
442
Debug.Assert(finallyExit.Value.ConditionKind ==
ConditionKind
.Unconditional);
src\tools\illink\src\ILLink.Shared\DataFlow\IControlFlowGraph.cs (2)
52
public readonly
ConditionKind
ConditionKind;
70
public ControlFlowBranch(TBlock source, TBlock? destination, ImmutableArray<TRegion> finallyRegions,
ConditionKind
conditionKind)