At least for C++ we don't mark functions constant if they can
raise exceptions. And there are no stack checks to worry about.
Why not? On Alpha, for example, stack checking is part of the ABI.
Is a constant functgion allowed to call other functions?