OSDN Git Service

* gcc.dg/format-errmk-1.c: New test.
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 18 Sep 2000 16:29:02 +0000 (16:29 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 18 Sep 2000 16:29:02 +0000 (16:29 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@36491 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/format-errmk-1.c [new file with mode: 0644]

index 3e62371..d688bf7 100644 (file)
@@ -1,3 +1,7 @@
+2000-09-18  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+       * gcc.dg/format-errmk-1.c: New test.
+
 2000-09-17  Greg McGary  <greg@mcgary.org>
 
        * gcc.c-torture/execute/20000917-1.x: Remove.
diff --git a/gcc/testsuite/gcc.dg/format-errmk-1.c b/gcc/testsuite/gcc.dg/format-errmk-1.c
new file mode 100644 (file)
index 0000000..bf05f4e
--- /dev/null
@@ -0,0 +1,12 @@
+/* Test for format checking not giving tree checking errors.  */
+/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
+/* { dg-do compile } */
+/* { dg-options "-Wformat" } */
+
+extern int printf (const char *, ...);
+
+void
+foo (int t)
+{
+  printf ("%*d", u, t); /* { dg-error "undeclared|function" "u undeclared error" } */
+}