------- Additional Comments From pinskia at gcc dot gnu dot org 2005-02-16
06:45 -------
Confirmed, it is ovbious where the bug is if we look at the source:
/* GNU C interprets a volatile-qualified function type to indicate
that the function does not return. */
if ((type_quals & TYPE_QUAL_VOLATILE)
&& !VOID_TYPE_P (TREE_TYPE (TREE_TYPE (decl))))
warning ("%<noreturn%> function returns non-void value");
We don't check for the attribute at all.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Keywords| |diagnostic
Last reconfirmed|0000-00-00 00:00:00 |2005-02-16 06:45:50
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20000
