+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.
--- /dev/null
+/* 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 } */
+}