This is the mail archive of the
gcc-prs@gcc.gnu.org
mailing list for the GCC project.
c/479: Wrong type in format checking warning
- To: gcc-gnats at gcc dot gnu dot org
- Subject: c/479: Wrong type in format checking warning
- From: Joseph Myers <jsm28 at cam dot ac dot uk>
- Date: Fri, 18 Aug 2000 16:36:03 +0000
- Cc: jsm28 at cam dot ac dot uk
- Resent-Cc: gcc-prs at gcc dot gnu dot org, gcc-bugs at gcc dot gnu dot org
- Resent-Reply-To: gcc-gnats@gcc.gnu.org, Joseph Myers <jsm28@cam.ac.uk>
>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: