14 references to TrackNullableStateForAssignment
Microsoft.CodeAnalysis.CSharp (14)
FlowAnalysis\NullableWalker.cs (12)
3458TrackNullableStateForAssignment(receiver, resultType, resultSlot, resultState, MakeSlot(receiver)); 3585TrackNullableStateForAssignment(initializer, type, slot, valueType, MakeSlot(initializer)); 4344TrackNullableStateForAssignment(node.Right, type, slot, resultType, MakeSlot(node.Right)); 5639TrackNullableStateForAssignment(rightOperand, targetType, leftSlot, rightResult, MakeSlot(rightOperand)); 7674TrackNullableStateForAssignment(parameterValue, lValueType, targetSlot, parameterWithState.WithSuppression(isSuppressed)); 7683TrackNullableStateForAssignment(parameterValue, lValueType, targetSlot, applyPostConditionsWhenTrue(parameterWithState, parameterAnnotations).WithSuppression(isSuppressed)); 7688TrackNullableStateForAssignment(parameterValue, lValueType, targetSlot, applyPostConditionsWhenFalse(parameterWithState, parameterAnnotations).WithSuppression(isSuppressed)); 8568TrackNullableStateForAssignment(value, field.TypeWithAnnotations, targetSlot, valueType, MakeSlot(value)); 8588TrackNullableStateForAssignment(value, symbol!.GetTypeOrReturnType(), targetSlot, valueType, valueSlot); 10054TrackNullableStateForAssignment(right, leftLValueType, MakeSlot(left), rightState, MakeSlot(right)); 10572TrackNullableStateForAssignment(node, targetType: operandLvalue, targetSlot: MakeSlot(node.Operand), valueType: resultOfIncrementType); 10641TrackNullableStateForAssignment(node, leftLvalueType, MakeSlot(node.Left), resultTypeWithState);
FlowAnalysis\NullableWalker_Patterns.cs (2)
393TrackNullableStateForAssignment(valueOpt: null, expressionTypeWithAnnotations, originalInputSlot, expressionTypeWithState); 564TrackNullableStateForAssignment(valueOpt: null, type, outputSlot, type.ToTypeWithState());