Ответ: Нет, это именно неопределенное поведение. А зависимость от реализации - это другое, там все вполне корректно и определено, просто в разных реализациях будет вести себя по-разному. А неопределенное поведение - это неопрделенное повдение, там может быть что угодно.
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)