Implemented interface member:
property
Reachable
Microsoft.CodeAnalysis.CSharp.AbstractFlowPass<TLocalState, TLocalFunctionState>.ILocalState.Reachable
33 references to Reachable
Microsoft.CodeAnalysis.CSharp (33)
FlowAnalysis\NullableWalker.cs (30)
591
if (!state.
Reachable
)
780
if (!pendingReturn.StateWhenTrue.
Reachable
|| !pendingReturn.StateWhenFalse.
Reachable
)
1119
if (!pendingReturn.StateWhenTrue.
Reachable
|| !pendingReturn.StateWhenFalse.
Reachable
)
1145
if (!state.
Reachable
)
1185
if (!stateWhen.
Reachable
)
1821
if (!state.
Reachable
)
1830
if (!state.
Reachable
)
1844
if (!state.
Reachable
)
1854
if (!state.
Reachable
)
2460
if (this.State.
Reachable
)
5454
var consequenceEndReachable = consequenceState.
Reachable
;
5459
var alternativeEndReachable = alternativeState.
Reachable
;
5653
=> this.IsConditionalState ? (this.StateWhenTrue.
Reachable
|| this.StateWhenFalse.
Reachable
) : this.State.
Reachable
;
9536
if (this.State.
Reachable
)
10878
if (receiverOpt != null && this.State.
Reachable
)
11210
if (!self.
Reachable
)
11213
if (!other.
Reachable
)
11227
if (!other.
Reachable
)
11230
if (!self.
Reachable
)
11521
if (!this.
Reachable
)
11553
if (!this.
Reachable
) return;
11604
var oldReachable =
Reachable
;
11605
var newReachable = oldReachable | other.
Reachable
;
11630
var oldReachable =
Reachable
;
11631
var newReachable = oldReachable & other.
Reachable
;
11663
if (!this.
Reachable
)
FlowAnalysis\NullableWalker_Patterns.cs (3)
287
if (!State.
Reachable
&& label.WhenClause != null)
885
if (!State.
Reachable
&& arm.WhenClause != null)
957
resultTypes[i] = ConvertConditionalOperandOrSwitchExpressionArmResult(arm.Value, nodeForSyntax, conversions[i], inferredTypeWithAnnotations, resultTypes[i], armState, armState.
Reachable
);
