This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: egcs, RFC: patch for possible -Wmissing-noreturn warning
- To: ghazi at caip dot rutgers dot edu (Kaveh R. Ghazi)
- Subject: Re: egcs, RFC: patch for possible -Wmissing-noreturn warning
- From: Joe Buck <jbuck at Synopsys dot COM>
- Date: Tue, 13 Oct 98 9:20:06 PDT
- Cc: mj at ucw dot cz, egcs-patches at cygnus dot com, egcs at cygnus dot com
[ determining whether a function will return ]
> Yes, but IMHO, this isn't the halting problem. Its not
> whether it *will* return but whether its *possible* to return. Ie,
> what are the exit points of the function? Does it `return', fall off
> its end or call abort/exit/longjmp/{some other `noreturn' function}?
If we require an exact solution (given any function, can it return?), then
it is equivalent to the halting problem. But we don't require an exact
solution (if we can't tell whether the function returns or not, we assume
that it returns).