c/479: Wrong type in format checking warning

[Joseph Myers]

>Number:         479
>Category:       c
>Synopsis:       Wrong type in format checking warning
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Aug 18 09:46:01 PDT 2000
>Closed-Date:
>Last-Modified:
>Originator:     Joseph S. Myers
>Release:        2.96
>Organization:
none
>Environment:
System: Linux decomino 2.2.16 #1 Thu Jun 8 00:26:22 UTC 2000 i686 unknown
Architecture: i686

	
host: i686-pc-linux-gnu
build: i686-pc-linux-gnu
target: i686-pc-linux-gnu
>Description:

When giving a warning for the wrong type in a format, GCC shows the
erroneous type 'void *' as '__builtin_va_list'.  This is a regression
from GCC 2.95.2, which showed it correctly as 'pointer'.

>How-To-Repeat:

See gcc.dg/format-va-1.c.

format-va-1.c: In function `foo':
format-va-1.c:11: warning: int format, __builtin_va_list arg (arg 2)

>Fix:
>Release-Note:
>Audit-Trail:
>Unformatted: