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; 10745if (this.State.Reachable) 12153if (receiverOpt != null && this.State.Reachable) 12485if (!self.Reachable) 12488if (!other.Reachable) 12502if (!other.Reachable) 12505if (!self.Reachable) 12796if (!this.Reachable) 12832if (!this.Reachable) return; 12883var oldReachable = Reachable; 12884var newReachable = oldReachable | other.Reachable; 12912var oldReachable = Reachable; 12913var newReachable = oldReachable & other.Reachable; 12945if (!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);