Где в стандарте про это сказано? Я вижу в дебаггере, что функция возвращает указатель на структуру. Но у функции еще присутствует эпилог, который копирует содержимое копии структуры, созданной на стеке, в структуру которой присваивается значение функции.