Functions that always return

[Richard Kenner]

    Well, so long as you don't mind if stuff that can potentially
    trap being moved across these functions.  If you do care, you
    can't mark anything constant.

Note the scenario here: an Ada procedure X calls a C++ function A,
which calls a constant function B (also in C++) and B gets a stack
overflow.  That will cause a Storage_Error exception which, if caught
at all, will be in X or above.

Can you explain what you mean in conjuction with this scenario?