Implemented interface member:
property
Reachable
Microsoft.CodeAnalysis.CSharp.AbstractFlowPass<TLocalState, TLocalFunctionState>.ILocalState.Reachable
34 references to Reachable
Microsoft.CodeAnalysis.CSharp (34)
FlowAnalysis\NullableWalker.cs (31)
644
if (!state.
Reachable
)
1089
if (!pendingReturn.StateWhenTrue.
Reachable
|| !pendingReturn.StateWhenFalse.
Reachable
)
1254
if (!pendingReturn.StateWhenTrue.
Reachable
|| !pendingReturn.StateWhenFalse.
Reachable
)
1280
if (!state.
Reachable
)
1326
if (!stateWhen.
Reachable
)
1973
if (!state.
Reachable
)
1982
if (!state.
Reachable
)
1996
if (!state.
Reachable
)
2006
if (!state.
Reachable
)
2631
if (this.State.
Reachable
)
3500
if (!state.
Reachable
)
6210
var consequenceEndReachable = consequenceState.
Reachable
;
6215
var alternativeEndReachable = alternativeState.
Reachable
;
6429
=> this.IsConditionalState ? (this.StateWhenTrue.
Reachable
|| this.StateWhenFalse.
Reachable
) : this.State.
Reachable
;
11020
if (this.State.
Reachable
)
12614
if (receiverOpt != null && this.State.
Reachable
)
12946
if (!self.
Reachable
)
12949
if (!other.
Reachable
)
12963
if (!other.
Reachable
)
12966
if (!self.
Reachable
)
13257
if (!this.
Reachable
)
13293
if (!this.
Reachable
) return;
13344
var oldReachable =
Reachable
;
13345
var newReachable = oldReachable | other.
Reachable
;
13373
var oldReachable =
Reachable
;
13374
var newReachable = oldReachable & other.
Reachable
;
13406
if (!this.
Reachable
)
FlowAnalysis\NullableWalker_Patterns.cs (3)
325
if (!State.
Reachable
&& label.WhenClause != null)
927
if (!State.
Reachable
&& arm.WhenClause != null)
1004
resultTypes[i] = ConvertConditionalOperandOrSwitchExpressionArmResult(arm.Value, nodeForSyntax, conversions[i], inferredTypeWithAnnotations, resultTypes[i], armState, armState.
Reachable
);