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)
638
if (!state.
Reachable
)
1083
if (!pendingReturn.StateWhenTrue.
Reachable
|| !pendingReturn.StateWhenFalse.
Reachable
)
1248
if (!pendingReturn.StateWhenTrue.
Reachable
|| !pendingReturn.StateWhenFalse.
Reachable
)
1274
if (!state.
Reachable
)
1320
if (!stateWhen.
Reachable
)
1967
if (!state.
Reachable
)
1976
if (!state.
Reachable
)
1990
if (!state.
Reachable
)
2000
if (!state.
Reachable
)
2625
if (this.State.
Reachable
)
3494
if (!state.
Reachable
)
6203
var consequenceEndReachable = consequenceState.
Reachable
;
6208
var alternativeEndReachable = alternativeState.
Reachable
;
6422
=> this.IsConditionalState ? (this.StateWhenTrue.
Reachable
|| this.StateWhenFalse.
Reachable
) : this.State.
Reachable
;
11008
if (this.State.
Reachable
)
12590
if (receiverOpt != null && this.State.
Reachable
)
12922
if (!self.
Reachable
)
12925
if (!other.
Reachable
)
12939
if (!other.
Reachable
)
12942
if (!self.
Reachable
)
13233
if (!this.
Reachable
)
13269
if (!this.
Reachable
) return;
13320
var oldReachable =
Reachable
;
13321
var newReachable = oldReachable | other.
Reachable
;
13349
var oldReachable =
Reachable
;
13350
var newReachable = oldReachable & other.
Reachable
;
13382
if (!this.
Reachable
)
FlowAnalysis\NullableWalker_Patterns.cs (3)
325
if (!State.
Reachable
&& label.WhenClause != null)
925
if (!State.
Reachable
&& arm.WhenClause != null)
1002
resultTypes[i] = ConvertConditionalOperandOrSwitchExpressionArmResult(arm.Value, nodeForSyntax, conversions[i], inferredTypeWithAnnotations, resultTypes[i], armState, armState.
Reachable
);