This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [C++ Patch] Fix for PR c++/19076 and PR c++/6628
Paolo Carlini <pcarlini@suse.de> writes:
[...]
| The attribute @code{noreturn} is not implemented in GCC versions
| ! earlier than 2.5. An alternative way to declare that a function does
| ! not return, which works in the current version and in some older
| ! versions, is as follows:
| !
| ! @smallexample
| ! typedef void voidfn ();
| !
| ! volatile voidfn fatal;
| ! @end smallexample
|
| @item nothrow
| @cindex @code{nothrow} function attribute
| --- 2024,2030 ----
| type other than @code{void}.
|
| The attribute @code{noreturn} is not implemented in GCC versions
| ! earlier than 2.5.
Did you verify with the C front-end too?
-- Gaby