3 writes to _variables
Microsoft.CodeAnalysis.CSharp (3)
FlowAnalysis\NullableWalker.cs (3)
518_variables = variables ?? Variables.Create(symbol); 3477_variables = GetOrCreateNestedFunctionVariables(_variables, lambdaOrFunctionSymbol); 3540_variables = _variables.Container!;
40 references to _variables
Microsoft.CodeAnalysis.CSharp (40)
FlowAnalysis\NullableWalker.cs (38)
485for (var variables = _variables; variables is not null; variables = variables.Container) 571return _variables.TryGetValue(identifier, out slot); 576return _variables.Add(identifier); 1901finalNullableState = GetVariableState(walker._variables, walker.State); 1925Debug.Assert(walker._variables.Id == initialState.Value.Id); 1956state.TryAdd(key, new Data(_variables.GetTotalVariableCount(), requiredAnalysis)); 1963return new SharedWalkerState(_variables.CreateSnapshot()); 2028state.NormalizeIfNeeded(slot, this, _variables, useNotNullsAsDefault); 2036state.Normalize(this, _variables); 2046var variable = _variables[slot]; 2053if (!_variables.TryGetType(local, out TypeWithAnnotations localType)) 2061if (!_variables.TryGetType(parameter, out TypeWithAnnotations parameterType)) 2069_variables[containingSlot].Symbol.GetTypeOrReturnType().Type is NamedTypeSymbol { IsUnionType: true, UnionCaseTypes: not [] } unionType && 2311|| (!constructor.IsStatic && containingSlot > 0 && _variables[containingSlot].Symbol is ThisParameterSymbol)) 2857return GetTypeOrReturnType(_variables[slot].Symbol); 2892var actualType = GetTypeOrReturnType(_variables[targetSlot].Symbol); 2907_variables.GetMembers(members, targetSlot); 2967_variables.GetMembers(members, valueSlot); 2979var state = LocalState.ReachableState(_variables); 2986return LocalState.UnreachableState(_variables); 2992return LocalState.ReachableStateWithNotNulls(_variables); 3039_variables.SetType(parameter, parameterType); 3388state.Normalize(this, _variables); 3397_variables); 3417_variables); 3477_variables = GetOrCreateNestedFunctionVariables(_variables, lambdaOrFunctionSymbol); 3478this.State = state.CreateNestedMethodState(_variables); 3540_variables = _variables.Container!; 3758_variables.SetType(local, type); 8395_variables.SetType(local.LocalSymbol, varType); 8871return getUnboundLambda((BoundLambda)argument, GetVariableState(_variables, lambdaState.Value), _getterNullResilienceData); 11564_variables.SetType(local.LocalSymbol, operandType.ToAnnotatedTypeWithAnnotations(compilation)); 12081return _variables.TryGetType(local, out TypeWithAnnotations type) ? 12088return _variables.TryGetType(parameter, out TypeWithAnnotations type) ? 12616_variables.SetType(iterationVariable, destinationType); 13786return state.Dump(_variables); 14311var variables = (symbol.ContainingSymbol is MethodSymbol containingMethod ? _variables.GetVariablesForMethodScope(containingMethod) : null) ?? 14312_variables.GetRootScope();
FlowAnalysis\NullableWalker_Patterns.cs (2)
634if (_variables.TryGetType(local, out var existingType)) 639_variables.SetType(local, inferredType);