egcs, RFC: patch for possible -Wmissing-noreturn warning
Jeffrey A Law
law@cygnus.com
Mon Oct 12 22:24:00 GMT 1998
In message < 19981012095243.07133@albireo.ucw.cz >you write:
> It is not as simple as it might look on the first sight. It's easy to
> prove there exists _no_ algorithm distinguishing functions that really return.
True, but if it is the compilation of the function itself (not the copy that
gets integrated into callers), then for this example we should be able to
determine that each and every path through the (trivial) function exits.
The other question is for a static inline function, we may halt the compilation
too early and as a result the things Kaveh wants to check hevn't been
initialized.
I'm well aware of the halting problem :-)
jeff
More information about the Gcc
mailing list