Здравствуйте, skeptic, Вы писали:

S>Какой предсказуемостью? Как ты узнаешь что 0 это неинициализированная переменная а не кто то присвоил 0?

С реализацией такого предложения будет не важно, присвоил ли кто-то 0, или оно там само.

Предсказуемость в том, что даже если 0 там не есть то, что хотели, ошибочное поведение будет стабильным, а не зависеть от конфигурации, компилятора, ОС, и того, какая функция вызывалась на этом стеке раньше.