[Bug c/35210] New: gcc incorrectly allows calling function returning "const void"

[Bug c/35210] New: gcc incorrectly allows calling function returning "const void"

[eli dot friedman at gmail dot com]

const void f(void); void g(void) {f();}

This testcase violates the constraint in C99 6.5.2.2p1 ("The expression that
denotes the called function shall have type pointer to function returning void
or returning an object type other than an array type.", so gcc at the very
least must produce a diagnostic when using -pedantic.  (BTW, is there any code
that depends on this working?)


-- 
           Summary: gcc incorrectly allows calling function returning "const
                    void"
           Product: gcc
           Version: 4.1.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: eli dot friedman at gmail dot com


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

[Bug c/35210] gcc incorrectly allows calling function returning "const void"

[schwab at suse dot de]

------- Comment #1 from schwab at suse dot de  2008-02-15 17:35 -------
6.7.3p2: The properties associated with qualified types are meaningful
only for expressions that are lvalues.


-- 


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

[Bug c/35210] gcc incorrectly allows calling function returning "const void"

[eli dot friedman at gmail dot com]

------- Comment #2 from eli dot friedman at gmail dot com  2008-02-15 18:01 -------
Yes, but "const void" is still a distinct type from "void".


-- 


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

[Bug c/35210] gcc incorrectly allows calling function returning "const void"

[jsm28 at gcc dot gnu dot org]

-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |16620, 16989
              nThis|                            |
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-04-18 14:25:23
               date|                            |


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

[Bug c/35210] gcc incorrectly allows calling function returning "const void"

[jsm28 at gcc dot gnu dot org]

------- Comment #3 from jsm28 at gcc dot gnu dot org  2009-04-18 20:03 -------
Subject: Bug 35210

Author: jsm28
Date: Sat Apr 18 20:02:47 2009
New Revision: 146324

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146324
Log:
        PR c/35210
        * c-typeck.c (build_function_call): Check for calling a function
        with qualified void return types.  Call require_complete_type when
        generating a trap.

testsuite:
        * gcc.dg/call-diag-2.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/call-diag-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-typeck.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c/35210] gcc incorrectly allows calling function returning "const void"

[jsm28 at gcc dot gnu dot org]

------- Comment #4 from jsm28 at gcc dot gnu dot org  2009-04-18 20:04 -------
Fixed for 4.5.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
      Known to work|                            |4.5.0
         Resolution|                            |FIXED
   Target Milestone|---                         |4.5.0


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