[Bug c/40325] New: C frontend permits setting a function pointer to a function with different parameter type

[Bug c/40325] New: C frontend permits setting a function pointer to a function with different parameter type

[ian at airs dot com]

This C program is compiled with no warning or error by mainline.

enum E { A };
void foo(unsigned int);
void (*pfn)(enum E) = foo;

My reading of ISO C says that these function pointers are not compatible types.
 I think the compiler should report something like

warning: initialization from incompatible pointer type


-- 
           Summary: C frontend permits setting a function pointer to a
                    function with different parameter type
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ian at airs dot com


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

[Bug c/40325] C frontend permits setting a function pointer to a function with different parameter type

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2009-06-01 20:40 -------
Actually I think they are compatible.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6024#c3 explains why they are. 
The reason why they are compatible is explicitly explained in 6.7.2.2#4 (which
specifies that enumerated types are  compatible with char or a signed or
unsigned integer type).

Since enum E is compatible with unsigned int, the function pointer is
compatible as the functions arguments are compatible.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


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