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)
638if (!state.Reachable) 1083if (!pendingReturn.StateWhenTrue.Reachable || !pendingReturn.StateWhenFalse.Reachable) 1248if (!pendingReturn.StateWhenTrue.Reachable || !pendingReturn.StateWhenFalse.Reachable) 1274if (!state.Reachable) 1320if (!stateWhen.Reachable) 1967if (!state.Reachable) 1976if (!state.Reachable) 1990if (!state.Reachable) 2000if (!state.Reachable) 2625if (this.State.Reachable) 3494if (!state.Reachable) 6087var consequenceEndReachable = consequenceState.Reachable; 6092var alternativeEndReachable = alternativeState.Reachable; 6306=> this.IsConditionalState ? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable; 10795if (this.State.Reachable) 12232if (receiverOpt != null && this.State.Reachable) 12564if (!self.Reachable) 12567if (!other.Reachable) 12581if (!other.Reachable) 12584if (!self.Reachable) 12875if (!this.Reachable) 12911if (!this.Reachable) return; 12962var oldReachable = Reachable; 12963var newReachable = oldReachable | other.Reachable; 12991var oldReachable = Reachable; 12992var newReachable = oldReachable & other.Reachable; 13024if (!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);