Например, что если функция, объявленная с соглашением о вызовах, вызывает обычную (стандартную) функцию, которая выдает? Таким образом, стек разматывается и ... что происходит, это должно было бы ... я даже не знаю ...
Я бы предположил, что это всего лишь UB. Но это было бы слишком грустно. Наверное, только компиляторы могут что-то сказать по этому поводу.
Стандарт действительно что-то говорит об этом?