[Bug c/12867] New: incorrect warning message (void format, should be void* format)

["debian-gcc at lists dot debian dot org" <gcc-bugzilla at gcc dot gnu dot org>]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: incorrect warning message (void format, should be void*
                    format)
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: minor
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org
                CC: gcc-bugs at gcc dot gnu dot org

[ forwarded from http://bugs.debian.org/217360 ]

If the following is compiled with the options -Wall -pedantic-errors : 
  #include <stdio.h> 
  int main( ) 
  { 
    int i; 
    printf("%p\n", &i ); 
    return 0; 
  } 
 
gcc emits the following: 
  voidptr.c: In function `main': 
  voidptr.c:5: warning: void format, different type arg (arg 2) 

The warning message is wrong.  Should be 'pointer format' or maybe 'void*
format', not 'void format'.