Functions that always return

[Richard Henderson]

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.

> I had always assumed that a libcall would always return but looking in
> libgcc2.c, I see that udivmoddi4 may generate a divide by zero
> exception.

Yes, well, the point of needing to know whether a function will
return is that it might exit cleanly -- udivmoddi4 will never do
that.


r~