* gcc.dg/format-va-1.c: New test.

From-SVN: r35786

* gcc.dg/format-va-1.c: New test.
From-SVN: r35786
0d60c2e7 · Joseph Myers · Joseph Myers · e825bf4a · 0d60c2e7 · 0d60c2e7
Commit 0d60c2e7 authored Aug 18, 2000 by Joseph Myers Committed by Joseph Myers Aug 18, 2000
Hide whitespace changes
Inline Side-by-side

Showing with 17 additions and 0 deletions

gcc/testsuite/ChangeLog
+4 -0

gcc/testsuite/gcc.dg/format-va-1.c
+13 -0

No files found.
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
+2000-08-18  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+	* gcc.dg/format-va-1.c: New test.
+
 2000-08-18  Nathan Sidwell  <nathan@codesourcery.com>

 	* g++.old-deja/g++.other/typedef8.C: New test.

--- a/gcc/testsuite/gcc.dg/format-va-1.c
+++ b/gcc/testsuite/gcc.dg/format-va-1.c
+/* Test for strange warning in format checking.  */
+/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
+/* { dg-do compile } */
+/* { dg-options "-Wformat" } */
+
+extern int printf (const char *, ...);
+
+void
+foo (void *p)
+{
+  printf ("%d", p); /* { dg-bogus "va_list" "wrong type in format warning" } */
+  /* { dg-warning "format" "format error" { target *-*-* } 11 } */
+}