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>,"Richard Henderson" <rth at cygnus dot com>
- Subject: Re: Functions that always return
- From: "Geert Bosch" <bosch at gnat dot com>
- Date: Sun, 29 Oct 2000 11:19:45 -0400
- Cc: "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>
- Reply-To: "Geert Bosch" <bosch at gnat dot com>
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