Поведение объектного кода соответствует описанному Стандартом.
Почему будет соответствовать-то? Ну вызвали мы f(n - 1), и вышли из неё. Это значит, что в A мы записали всё, что должна записать f(n-1). А значит f(n-2) вычислится мгновенно. Что из описанного мной стандарт не гарантирует?
