13212return new LocalState(snapshot.Id, container, snapshot.State.Clone()); 13241return new LocalState(variables.Id, container, createBitVectorWithNotNulls(capacity, reachable: true)); 13264return new LocalState(variables.Id, container, CreateBitVector(reachable)); 13270return new LocalState(variables.Id, container: new Boxed(this), CreateBitVector(reachable: true)); 13470return new LocalState(Id, container, _state.Clone());

27: LocalDataFlowPass<NullableWalker.LocalState, NullableWalker.LocalFunctionState> 123public readonly Optional<LocalState> StateForLambda; 139public VisitResult(TypeWithState rValueType, TypeWithAnnotations lValueType, Optional<LocalState> stateForLambda) 272/// The delegate is invoked by <see cref="VisitConversion(BoundConversion, BoundExpression, Conversion, TypeWithAnnotations, TypeWithState, bool, bool, bool, AssignmentKind, ParameterSymbol, bool, bool, bool, bool, Optional&lt;LocalState&gt;,bool, Location, ArrayBuilder&lt;VisitResult&gt;)"/>. 661void enforceMemberNotNull(SyntaxNode? syntaxOpt, LocalState state) 740void checkMemberStateOnConstructorExit(MethodSymbol constructor, Symbol member, LocalState state, int thisSlot, Location? exitLocation, ImmutableArray<string> membersWithStateEnforcedByRequiredMembers, bool forcePropertyAnalysis) 1077private void EnforceMemberNotNullOnMember(SyntaxNode? syntaxOpt, LocalState state, MethodSymbol method, string memberName) 1127void enforceMemberNotNullWhenIfAffected(SyntaxNode? syntaxOpt, bool sense, ImmutableArray<Symbol> members, LocalState state, LocalState otherState) 1139void enforceMemberNotNullWhen(SyntaxNode? syntaxOpt, bool sense, LocalState state) 1155private void ReportFailedMemberNotNullIfNeeded(SyntaxNode? syntaxOpt, bool sense, Symbol member, LocalState state) 1164private bool FailsMemberNotNullExpectation(Symbol member, LocalState state) 1295private void EnforceParameterNotNullOnExit(SyntaxNode? syntaxOpt, LocalState state) 1341private void EnforceParameterNotNullWhenOnExit(SyntaxNode syntax, ImmutableArray<ParameterSymbol> parameters, bool sense, LocalState stateWhen) 1354private void ReportParameterIfBadConditionalState(SyntaxNode syntax, ParameterSymbol parameter, bool sense, LocalState stateWhen) 1363bool parameterHasBadConditionalState(ParameterSymbol parameter, bool sense, LocalState stateWhen) 1401private void EnforceNotNullIfNotNull(SyntaxNode? syntaxOpt, LocalState state, ImmutableArray<ParameterSymbol> parameters, ImmutableHashSet<string> inputParamNames, NullableFlowState outputState, ParameterSymbol? outputParam) 1704Analyze(walker, symbol, diagnostics: null, LocalState.Create(localState), snapshotBuilderOpt: newSnapshotBuilder); 1825var localState = LocalState.Create(initialState.VariableNullableStates).CreateNestedMethodState(variables); 1878Analyze(walker, symbol, diagnostics, initialState is null ? (Optional<LocalState>)default : LocalState.Create(initialState.VariableNullableStates), snapshotBuilderOpt, requiresAnalysis); 1895Optional<LocalState> initialState, 1989private NullableFlowState GetState(ref LocalState state, int slot) 1998private void SetState(ref LocalState state, int slot, NullableFlowState value, bool useNotNullsAsDefault = false) 2007private void NormalizeIfNeeded(ref LocalState state, int slot, bool useNotNullsAsDefault) 2012protected override void Normalize(ref LocalState state) 2020private NullableFlowState GetDefaultState(ref LocalState state, int slot) 2828private void SetStateAndTrackForFinally(ref LocalState state, int slot, NullableFlowState newState) 2834var tryState = NonMonotonicState.Value; 2843protected override void JoinTryBlockState(ref LocalState self, ref LocalState other) 2845var tryState = other.GetStateForVariables(self.Id); 2939protected override LocalState TopState() 2941var state = LocalState.ReachableState(_variables); 2946protected override LocalState UnreachableState() 2948return LocalState.UnreachableState(_variables); 2951protected override LocalState ReachableBottomState() 2954return LocalState.ReachableStateWithNotNulls(_variables); 2987var parameterDefaultsNotAssignedState = State.Clone(); 3112var joinedState = this.StateWhenTrue.Clone(); 3343var state = TopState(); 3369var startingState = localFunctionState.StartingState; 3412LocalState state, 3438var oldState = this.State; 3515void enforceMemberNotNull(SyntaxNode? syntax, LocalState state) 3542var state = State.GetStateForVariables(localFunctionState.StartingState.Id); 3656var currentState = State; 4687private void SetNotNullResultForLambda(BoundExpression node, LocalState stateForLambda) 5187var stateAfterLeft = this.State; 5190var stateWhenNotNull = this.State; 5246LocalState getUnconditionalStateWhenNotNull(BoundExpression otherOperand, PossiblyConditionalState conditionalStateWhenNotNull) 5248LocalState stateWhenNotNull; 5284var stateWhenNotNull = getUnconditionalStateWhenNotNull(leftOperand, conditionalStateWhenNotNull); 5617ref LocalState stateToUpdate = ref whenTrue ? ref this.StateWhenTrue : ref this.StateWhenFalse; 5623protected override bool VisitInterpolatedStringHandlerParts(BoundInterpolatedStringBase node, bool usesBoolReturns, bool firstPartIsConditional, ref LocalState shortCircuitState) 5728private void MarkSlotsAsNotNull(ArrayBuilder<int> slots, ref LocalState stateToUpdate) 5736private void LearnFromNonNullTest(BoundExpression expression, ref LocalState state) 5759private void LearnFromNonNullTest(int slot, ref LocalState state) 5764private void LearnFromNullTest(BoundExpression expression, ref LocalState state) 5782private void LearnFromNullTest(int slot, TypeSymbol? expressionType, ref LocalState state, bool markDependentSlotsNotNull) 5802private void MarkDependentSlotsNotNull(int slot, TypeSymbol expressionType, ref LocalState state, int depth = 2) 5883var leftState = this.State.Clone(); 6102var savedState = this.State.Clone(); 6211var consequenceState = this.StateWhenTrue; 6212var alternativeState = this.StateWhenFalse; 6337BoundExpression node, BoundExpression originalConsequence, BoundExpression originalAlternative, LocalState consequenceState, LocalState alternativeState, 6384LocalState consequenceState, 6385LocalState alternativeState, 6405(BoundExpression, Conversion, TypeWithState) visitConditionalOperand(LocalState state, BoundExpression operand) 6418(TypeWithAnnotations LValueType, TypeWithState RValueType) visitConditionalRefOperand(LocalState state, BoundExpression operand) 6441LocalState state, 7721void applyMemberPostConditions(int receiverSlot, TypeSymbol type, ImmutableArray<string> members, ref LocalState state) 7734void markMembersAsNotNull(int receiverSlot, TypeSymbol type, string memberName, ref LocalState state) 8158var originalWhenFalse = StateWhenFalse.Clone(); 8164var newWhenTrue = State.Clone(); 8326private static VariableState GetVariableState(Variables variables, LocalState localState) 9043var savedState = this.State.Clone(); 9426Optional<LocalState> stateForLambda = default, 10507var stateForLambda = this.State.Clone(); 10519private void VisitLambda(BoundLambda node, NamedTypeSymbol? delegateTypeOpt, Optional<LocalState> initialState = default) 12289var leftTrue = this.StateWhenTrue; 12290var leftFalse = this.StateWhenFalse; 12306var leftTrue = this.StateWhenTrue; 12307var leftFalse = this.StateWhenFalse; 12319var rightState = State.Clone(); 12336var leftState = isAnd ? leftFalse : leftTrue; 12373protected override void AfterLeftChildOfBinaryLogicalOperatorHasBeenVisited(BoundExpression node, BoundExpression right, bool isAnd, bool isBool, ref LocalState leftTrue, ref LocalState leftFalse) 12468LocalState stateWhenNotNull; 13078protected override string Dump(LocalState state) 13083protected override bool Meet(ref LocalState self, ref LocalState other) 13100protected override bool Join(ref LocalState self, ref LocalState other) 13137private LocalState CloneAndUnsplit(ref PossiblyConditionalState conditionalState) 13144var state = conditionalState.StateWhenTrue.Clone(); 13186internal LocalState Value; 13188internal Boxed(LocalState value) 13209internal static LocalState Create(LocalStateSnapshot snapshot) 13224public static LocalState ReachableState(Variables variables) 13229public static LocalState UnreachableState(Variables variables) 13234public static LocalState ReachableStateWithNotNulls(Variables variables) 13258private static LocalState CreateReachableOrUnreachableState(Variables variables, bool reachable) 13267public LocalState CreateNestedMethodState(Variables variables) 13296bool hasVariableCore(ref LocalState state, int id, int index) 13314static bool hasValue(ref LocalState state, int slot) 13324static bool hasValueCore(ref LocalState state, int id, int index) 13453internal LocalState GetStateForVariables(int id) 13455var state = this; 13467public LocalState Clone() 13473public bool Join(in LocalState other) 13502public bool Meet(in LocalState other) 13593public LocalState StartingState; 13595public LocalFunctionState(LocalState unreachableState) 13607return new LocalFunctionState(LocalState.UnreachableState(variables));

208internal void TakeIncrementalSnapshot(BoundNode? node, LocalState currentState)

37var currentState = State; 273protected override LocalState VisitSwitchStatementDispatch(BoundSwitchStatement node) 311var afterSwitchState = labelStateMap.TryGetValue(node.BreakLabel, out var stateAndReachable) ? stateAndReachable.state : UnreachableState(); 339public LocalState State; 340public LocalState StateWhenTrue; 341public LocalState StateWhenFalse; 344public PossiblyConditionalState(LocalState stateWhenTrue, LocalState stateWhenFalse) 352public PossiblyConditionalState(LocalState state) 374private PooledDictionary<LabelSymbol, (LocalState state, bool believedReachable)> LearnFromDecisionDag( 416var labelStateMap = PooledDictionary<LabelSymbol, (LocalState state, bool believedReachable)>.GetInstance(); 731void learnFromNonNullTest(int inputSlot, ref LocalState state) 806void gotoNode(BoundDecisionDagNode node, LocalState state, bool believedReachable) 895var endState = UnreachableState(); 989PooledDictionary<LabelSymbol, (LocalState state, bool believedReachable)> labelStateMap, 1003var armState = getStateForArm(arm, labelStateMap); 1034PooledDictionary<LabelSymbol, (LocalState state, bool believedReachable)> labelStateMap, 1046LocalState getStateForArm(BoundSwitchExpressionArm arm, PooledDictionary<LabelSymbol, (LocalState state, bool believedReachable)> labelStateMap) 1063var trueState = labelStateMap.TryGetValue(node.IsNegated ? node.WhenFalseLabel : node.WhenTrueLabel, out var s1) ? s1.state : UnreachableState(); 1064var falseState = labelStateMap.TryGetValue(node.IsNegated ? node.WhenTrueLabel : node.WhenFalseLabel, out var s2) ? s2.state : UnreachableState();