Si, lo vi luego... gracias a que @Mariano nos ayudó a encontrar el tema en el que hablamos de ello.
Sin embargo, la conclusión es la misma: es una optimización de compilador y como tal, puede variar entre compiladores y en consecuencia: no sería portable ni entre compiladores y posiblemente ni entre arquitecturas.