Functions that always return

[Richard Kenner]

    > Why not?  On Alpha, for example, stack checking is part of the ABI.

    But all you get out of it is an abnormal termination,
    not a thrown exception in the language sense.

Depends on the language.  For Ada, a stack overflow raises the
pre-defined exception Storage_Error.  This is true when a Ada subprogram
calls a function in another language, such as C++, and it's the one that
overflows the stack.