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
)
6141
var consequenceEndReachable = consequenceState.
Reachable
;
6146
var alternativeEndReachable = alternativeState.
Reachable
;
6360
=> this.IsConditionalState ? (this.StateWhenTrue.
Reachable
|| this.StateWhenFalse.
Reachable
) : this.State.
Reachable
;
10849
if (this.State.
Reachable
)
12286
if (receiverOpt != null && this.State.
Reachable
)
12618
if (!self.
Reachable
)
12621
if (!other.
Reachable
)
12635
if (!other.
Reachable
)
12638
if (!self.
Reachable
)
12929
if (!this.
Reachable
)
12965
if (!this.
Reachable
) return;
13016
var oldReachable =
Reachable
;
13017
var newReachable = oldReachable | other.
Reachable
;
13045
var oldReachable =
Reachable
;
13046
var newReachable = oldReachable & other.
Reachable
;
13078
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
);