From 0d60c2e752f76abe5dfd3442290dd38c2ecf7b23 Mon Sep 17 00:00:00 2001
From: Joseph Myers <jsm28@cam.ac.uk>
Date: Fri, 18 Aug 2000 17:14:32 +0100
Subject: [PATCH] * gcc.dg/format-va-1.c: New test.

From-SVN: r35786
---
 gcc/testsuite/ChangeLog            |  4 ++++
 gcc/testsuite/gcc.dg/format-va-1.c | 13 +++++++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/format-va-1.c

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index dcc2190ac34..b3edc99e3f0 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+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.
diff --git a/gcc/testsuite/gcc.dg/format-va-1.c b/gcc/testsuite/gcc.dg/format-va-1.c
new file mode 100644
index 00000000000..9538e2b3286
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/format-va-1.c
@@ -0,0 +1,13 @@
+/* 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 } */
+}
-- 
2.30.2