LINUX.ORG.RU

История изменений

Исправление Gvidon, (текущая версия) :

6.2.4 Storage durations of objects

If an object is referred to outside of its lifetime, the behavior is undefined. The value of a pointer becomes indeterminate when the object it points to (or just past) reaches the end of its lifetime

Про время жизни автоматических переменных написано там же чуть ниже

Исходная версия Gvidon, :

If an object is referred to outside of its lifetime, the behavior is undefined. The value of a pointer becomes indeterminate when the object it points to (or just past) reaches the end of its lifetime