for (int i = 0; i < 1; i++)
printf("%p\r\n", &i);
for (int i = 0; i < 1; i++)
printf("%p\r\n", &i);
Output:
0012FF4C
0012FF40
На других будет возможно и иначе. Вообще стандарт в данном случае вряд ли это оговаривает вообще, но огульно рассуждать как ETM про какую-то безусловную экономию - это уж слишком