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)
625if (!state.Reachable) 1070if (!pendingReturn.StateWhenTrue.Reachable || !pendingReturn.StateWhenFalse.Reachable) 1230if (!pendingReturn.StateWhenTrue.Reachable || !pendingReturn.StateWhenFalse.Reachable) 1256if (!state.Reachable) 1296if (!stateWhen.Reachable) 1932if (!state.Reachable) 1941if (!state.Reachable) 1955if (!state.Reachable) 1965if (!state.Reachable) 2590if (this.State.Reachable) 3399if (!state.Reachable) 5994var consequenceEndReachable = consequenceState.Reachable; 5999var alternativeEndReachable = alternativeState.Reachable; 6213=> this.IsConditionalState ? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable; 10492if (this.State.Reachable) 11866if (receiverOpt != null && this.State.Reachable) 12198if (!self.Reachable) 12201if (!other.Reachable) 12215if (!other.Reachable) 12218if (!self.Reachable) 12509if (!this.Reachable) 12545if (!this.Reachable) return; 12596var oldReachable = Reachable; 12597var newReachable = oldReachable | other.Reachable; 12625var oldReachable = Reachable; 12626var newReachable = oldReachable & other.Reachable; 12658if (!this.Reachable)
FlowAnalysis\NullableWalker_Patterns.cs (3)
325if (!State.Reachable && label.WhenClause != null) 925if (!State.Reachable && arm.WhenClause != null) 1002resultTypes[i] = ConvertConditionalOperandOrSwitchExpressionArmResult(arm.Value, nodeForSyntax, conversions[i], inferredTypeWithAnnotations, resultTypes[i], armState, armState.Reachable);