Functions that always return

[Richard Henderson]

On Sun, Oct 29, 2000 at 12:07:09PM -0500, Richard Kenner wrote:
> 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.

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.


r~