14 references to TrackNullableStateForAssignment
Microsoft.CodeAnalysis.CSharp (14)
FlowAnalysis\NullableWalker.cs (12)
3456TrackNullableStateForAssignment(receiver, resultType, resultSlot, resultState, MakeSlot(receiver)); 3583TrackNullableStateForAssignment(initializer, type, slot, valueType, MakeSlot(initializer)); 4342TrackNullableStateForAssignment(node.Right, type, slot, resultType, MakeSlot(node.Right)); 5637TrackNullableStateForAssignment(rightOperand, targetType, leftSlot, rightResult, MakeSlot(rightOperand)); 7666TrackNullableStateForAssignment(parameterValue, lValueType, targetSlot, parameterWithState.WithSuppression(isSuppressed)); 7675TrackNullableStateForAssignment(parameterValue, lValueType, targetSlot, applyPostConditionsWhenTrue(parameterWithState, parameterAnnotations).WithSuppression(isSuppressed)); 7680TrackNullableStateForAssignment(parameterValue, lValueType, targetSlot, applyPostConditionsWhenFalse(parameterWithState, parameterAnnotations).WithSuppression(isSuppressed)); 8560TrackNullableStateForAssignment(value, field.TypeWithAnnotations, targetSlot, valueType, MakeSlot(value)); 8580TrackNullableStateForAssignment(value, symbol!.GetTypeOrReturnType(), targetSlot, valueType, valueSlot); 10046TrackNullableStateForAssignment(right, leftLValueType, MakeSlot(left), rightState, MakeSlot(right)); 10564TrackNullableStateForAssignment(node, targetType: operandLvalue, targetSlot: MakeSlot(node.Operand), valueType: resultOfIncrementType); 10633TrackNullableStateForAssignment(node, leftLvalueType, MakeSlot(node.Left), resultTypeWithState);
FlowAnalysis\NullableWalker_Patterns.cs (2)
393TrackNullableStateForAssignment(valueOpt: null, expressionTypeWithAnnotations, originalInputSlot, expressionTypeWithState); 564TrackNullableStateForAssignment(valueOpt: null, type, outputSlot, type.ToTypeWithState());