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)
664if (!state.Reachable) 1108if (!pendingReturn.StateWhenTrue.Reachable || !pendingReturn.StateWhenFalse.Reachable) 1273if (!pendingReturn.StateWhenTrue.Reachable || !pendingReturn.StateWhenFalse.Reachable) 1299if (!state.Reachable) 1345if (!stateWhen.Reachable) 1993if (!state.Reachable) 2002if (!state.Reachable) 2016if (!state.Reachable) 2026if (!state.Reachable) 2650if (this.State.Reachable) 3519if (!state.Reachable) 6493var consequenceEndReachable = consequenceState.Reachable; 6498var alternativeEndReachable = alternativeState.Reachable; 6712=> this.IsConditionalState ? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable; 11725if (this.State.Reachable) 13350if (receiverOpt != null && this.State.Reachable) 13735if (!self.Reachable) 13738if (!other.Reachable) 13752if (!other.Reachable) 13755if (!self.Reachable) 14046if (!this.Reachable) 14082if (!this.Reachable) return; 14133var oldReachable = Reachable; 14134var newReachable = oldReachable | other.Reachable; 14162var oldReachable = Reachable; 14163var newReachable = oldReachable & other.Reachable; 14195if (!this.Reachable)
FlowAnalysis\NullableWalker_Patterns.cs (3)
325if (!LabelState(label.Label).Reachable && label.WhenClause != null) 1025if (!State.Reachable && arm.WhenClause != null) 1102resultTypes[i] = ConvertConditionalOperandOrSwitchExpressionArmResult(arm.Value, nodeForSyntax, conversions[i], inferredTypeWithAnnotations, resultTypes[i], armState, armState.Reachable);