Почему я получаю отрицательное число, умножая два коротких целых числа?

У меня было задание, в котором у меня был следующий фрагмент кода:

/*OOOOOHHHHH I've just noticed instead of an int here should be an *short int* I will just left it as it is because too many users saw it already.*/

int y=511, z=512;

y=y*z;

printf("Output: %d\n", y);

Который дает мне Output: -512. В моем задании я должен объяснить, почему. Так что я был уверен, что это из - за неявное преобразование (поправьте меня, если я ошибаюсь :)) происходит от присвоения int значения на короткий междунар. Но мой наставник сказал, что только что произошло, что называется "тройной раунд", я думаю. Я ничего не мог найти об этом, и я смотрю это видео, и парень объясняет (25:00) почти то же самое, что я сказал моему наставнику.

Редактировать:

Вот мой полный код:

#include <stdio.h>

int main() {

    short int y=511, z=512;

    y = y*z;

    printf("%zu\n", sizeof(int));
    printf("%zu\n", sizeof(short int));

    printf("Y: %d\n", y);


    return 0;
}

Вот как я скомпилирую его:

gcc -pedantic -std=c99 -Wall -Wextra -o hallo hallo.c

Я не получаю никаких ошибок и никаких предупреждений. Но если я скомпилирую его с флагом -Wconversion, включите его следующим образом:

gcc -pedantic -std=c99 -Wall -Wextra -Wconversion -o hallo hallo.c

Я получаю следующее предупреждение:

hallo.c: In function ‘main:
hallo.c:7:7: warning: conversion to ‘short int from ‘int may alter its value [-Wconversion] 

Так что преобразование происходит правильно?