[Bug c/20000] New: missing warning for noreturn function returning non-void

[Bug c/20000] New: missing warning for noreturn function returning non-void

[jsm28 at gcc dot gnu dot org]

GCC warns for noreturn functions returning non-void, but only when declared
in the obsolete way using volatile.

typedef int ft(void);
volatile ft f;

warns "'noreturn' function returns non-void value", but

int f(void) __attribute__((noreturn));

does not.

-- 
           Summary: missing warning for noreturn function returning non-void
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jsm28 at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20000

[Bug c/20000] missing warning for noreturn function returning non-void

[pinskia at gcc dot gnu dot org]

------- 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

[Bug c/20000] missing warning for noreturn function returning non-void

[zack at codesourcery dot com]

------- Additional Comments From zack at codesourcery dot com  2005-02-16 06:48 -------
... because the attribute used to get translated to a volatile qualifier
on the function type, iirc.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20000

[Bug c/20000] missing warning for noreturn function returning non-void

[joseph at codesourcery dot com]

------- Additional Comments From joseph at codesourcery dot com  2005-02-16 06:51 -------
Subject: Re:  missing warning for noreturn function returning
 non-void

On Wed, 16 Feb 2005, zack at codesourcery dot com wrote:

> ... because the attribute used to get translated to a volatile qualifier
> on the function type, iirc.

It does still get translated - but not until some time after 
grokdeclarator where the warning is.



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20000