Functions that always return

[Geert Bosch]

On Sat, 28 Oct 2000 13:01:07 -0700, Richard Henderson wrote:

  On Sat, Oct 28, 2000 at 03:15:27PM +1300, Michael Hayes wrote:
  > Is there a mechanism where we tell if a CALL_INSN will always return?
  
  A pure or const function: CONST_CALL_P.
  
Even a pure or const function is not guaranteed to return.
Any function can raise an exception (as in C++/Ada) and
in particular a stack-check may fail at any time.

  -Geert