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)
681if (!state.Reachable) 1125if (!pendingReturn.StateWhenTrue.Reachable || !pendingReturn.StateWhenFalse.Reachable) 1290if (!pendingReturn.StateWhenTrue.Reachable || !pendingReturn.StateWhenFalse.Reachable) 1316if (!state.Reachable) 1362if (!stateWhen.Reachable) 2010if (!state.Reachable) 2019if (!state.Reachable) 2033if (!state.Reachable) 2043if (!state.Reachable) 2686if (this.State.Reachable) 3562if (!state.Reachable) 6540var consequenceEndReachable = consequenceState.Reachable; 6545var alternativeEndReachable = alternativeState.Reachable; 6759=> this.IsConditionalState ? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable; 11783if (this.State.Reachable) 13412if (receiverOpt != null && this.State.Reachable) 13798if (!self.Reachable) 13801if (!other.Reachable) 13815if (!other.Reachable) 13818if (!self.Reachable) 14109if (!this.Reachable) 14145if (!this.Reachable) return; 14196var oldReachable = Reachable; 14197var newReachable = oldReachable | other.Reachable; 14225var oldReachable = Reachable; 14226var newReachable = oldReachable & other.Reachable; 14258if (!this.Reachable)
FlowAnalysis\NullableWalker_Patterns.cs (3)
327if (!LabelState(label.Label).Reachable && label.WhenClause != null) 1027if (!State.Reachable && arm.WhenClause != null) 1104resultTypes[i] = ConvertConditionalOperandOrSwitchExpressionArmResult(arm.Value, nodeForSyntax, conversions[i], inferredTypeWithAnnotations, resultTypes[i], armState, armState.Reachable);