This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Functions that always return
- To: Michael Hayes <mhayes at redhat dot com>
- Subject: Re: Functions that always return
- From: Richard Henderson <rth at cygnus dot com>
- Date: Sat, 28 Oct 2000 13:01:07 -0700
- Cc: gcc at gcc dot gnu dot org
- References: <14842.14015.251592.346835@taniwha.paradise.net.nz>
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~