14 references to TrackNullableStateForAssignment
Microsoft.CodeAnalysis.CSharp (14)
FlowAnalysis\NullableWalker.cs (12)
3537TrackNullableStateForAssignment(receiver, resultType, resultSlot, resultState, MakeSlot(receiver)); 3664TrackNullableStateForAssignment(initializer, type, slot, valueType, MakeSlot(initializer)); 4423TrackNullableStateForAssignment(node.Right, type, slot, resultType, MakeSlot(node.Right)); 5720TrackNullableStateForAssignment(rightOperand, targetType, leftSlot, rightResult, MakeSlot(rightOperand)); 7763TrackNullableStateForAssignment(parameterValue, lValueType, targetSlot, parameterWithState.WithSuppression(isSuppressed)); 7772TrackNullableStateForAssignment(parameterValue, lValueType, targetSlot, applyPostConditionsWhenTrue(parameterWithState, parameterAnnotations).WithSuppression(isSuppressed)); 7777TrackNullableStateForAssignment(parameterValue, lValueType, targetSlot, applyPostConditionsWhenFalse(parameterWithState, parameterAnnotations).WithSuppression(isSuppressed)); 8659TrackNullableStateForAssignment(value, field.TypeWithAnnotations, targetSlot, valueType, MakeSlot(value)); 8679TrackNullableStateForAssignment(value, GetTypeOrReturnTypeWithAnnotations(symbol!), targetSlot, valueType, valueSlot); 10162TrackNullableStateForAssignment(right, leftLValueType, MakeSlot(left), rightState, MakeSlot(right)); 10681TrackNullableStateForAssignment(node, targetType: operandLvalue, targetSlot: MakeSlot(node.Operand), valueType: resultOfIncrementType); 10750TrackNullableStateForAssignment(node, leftLvalueType, MakeSlot(node.Left), resultTypeWithState);
FlowAnalysis\NullableWalker_Patterns.cs (2)
393TrackNullableStateForAssignment(valueOpt: null, expressionTypeWithAnnotations, originalInputSlot, expressionTypeWithState); 564TrackNullableStateForAssignment(valueOpt: null, type, outputSlot, type.ToTypeWithState());