14 references to TrackNullableStateForAssignment
Microsoft.CodeAnalysis.CSharp (14)
FlowAnalysis\NullableWalker.cs (12)
3395TrackNullableStateForAssignment(receiver, resultType, resultSlot, resultState, MakeSlot(receiver)); 3522TrackNullableStateForAssignment(initializer, type, slot, valueType, MakeSlot(initializer)); 4278TrackNullableStateForAssignment(node.Right, type, slot, resultType, MakeSlot(node.Right)); 5573TrackNullableStateForAssignment(rightOperand, targetType, leftSlot, rightResult, MakeSlot(rightOperand)); 7602TrackNullableStateForAssignment(parameterValue, lValueType, targetSlot, parameterWithState.WithSuppression(isSuppressed)); 7611TrackNullableStateForAssignment(parameterValue, lValueType, targetSlot, applyPostConditionsWhenTrue(parameterWithState, parameterAnnotations).WithSuppression(isSuppressed)); 7616TrackNullableStateForAssignment(parameterValue, lValueType, targetSlot, applyPostConditionsWhenFalse(parameterWithState, parameterAnnotations).WithSuppression(isSuppressed)); 8496TrackNullableStateForAssignment(value, field.TypeWithAnnotations, targetSlot, valueType, MakeSlot(value)); 8516TrackNullableStateForAssignment(value, symbol!.GetTypeOrReturnType(), targetSlot, valueType, valueSlot); 9982TrackNullableStateForAssignment(right, leftLValueType, MakeSlot(left), rightState, MakeSlot(right)); 10500TrackNullableStateForAssignment(node, targetType: operandLvalue, targetSlot: MakeSlot(node.Operand), valueType: resultOfIncrementType); 10569TrackNullableStateForAssignment(node, leftLvalueType, MakeSlot(node.Left), resultTypeWithState);
FlowAnalysis\NullableWalker_Patterns.cs (2)
393TrackNullableStateForAssignment(valueOpt: null, expressionTypeWithAnnotations, originalInputSlot, expressionTypeWithState); 564TrackNullableStateForAssignment(valueOpt: null, type, outputSlot, type.ToTypeWithState());