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)
634
if (!state.
Reachable
)
1079
if (!pendingReturn.StateWhenTrue.
Reachable
|| !pendingReturn.StateWhenFalse.
Reachable
)
1239
if (!pendingReturn.StateWhenTrue.
Reachable
|| !pendingReturn.StateWhenFalse.
Reachable
)
1265
if (!state.
Reachable
)
1305
if (!stateWhen.
Reachable
)
1952
if (!state.
Reachable
)
1961
if (!state.
Reachable
)
1975
if (!state.
Reachable
)
1985
if (!state.
Reachable
)
2610
if (this.State.
Reachable
)
3478
if (!state.
Reachable
)
6075
var consequenceEndReachable = consequenceState.
Reachable
;
6080
var alternativeEndReachable = alternativeState.
Reachable
;
6294
=> this.IsConditionalState ? (this.StateWhenTrue.
Reachable
|| this.StateWhenFalse.
Reachable
) : this.State.
Reachable
;
10601
if (this.State.
Reachable
)
11975
if (receiverOpt != null && this.State.
Reachable
)
12307
if (!self.
Reachable
)
12310
if (!other.
Reachable
)
12324
if (!other.
Reachable
)
12327
if (!self.
Reachable
)
12618
if (!this.
Reachable
)
12654
if (!this.
Reachable
) return;
12705
var oldReachable =
Reachable
;
12706
var newReachable = oldReachable | other.
Reachable
;
12734
var oldReachable =
Reachable
;
12735
var newReachable = oldReachable & other.
Reachable
;
12767
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
);
