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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@67519 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index daf275f..3494c60 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2003-06-05  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       * gcc.dg/format/asm_fprintf-1.c: New test.
+
 2003-06-05  Mark Mitchell  <mark@codesourcery.com>
 
        * lib/gcc-defs.exp (additional_sources): New variable.

diff --git a/gcc/testsuite/gcc.dg/format/asm_fprintf-1.c b/gcc/testsuite/gcc.dg/format/asm_fprintf-1.c
new file mode 100644 (file)
index 0000000..472c2d8
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/format/asm_fprintf-1.c
@@ -0,0 +1,82 @@
+/* Test for asm_fprintf formats.  */
+/* Origin: Kaveh Ghazi <ghazi@caip.rutgers.edu> */
+/* { dg-do compile } */
+/* { dg-options "-Wformat" } */
+
+#include "format.h"
+
+/* Magic identifier must be set before the attribute is used.  */
+typedef long long __gcc_host_wide_int__;
+
+extern int asm_fprintf (const char *, ...) __attribute__ ((__format__ (__asm_fprintf__, 1, 2))) __attribute__ ((__nonnull__));
+
+void
+foo (int i, int i1, int i2, unsigned int u, double d, char *s, void *p,
+     int *n, short int *hn, long int l, unsigned long int ul,
+     long int *ln, long double ld, wint_t lc, wchar_t *ls, llong ll,
+     ullong ull, unsigned int *un, const int *cn, signed char *ss,
+     unsigned char *us, const signed char *css, unsigned int u1,
+     unsigned int u2)
+{
+  /* Acceptable C90 specifiers, flags and modifiers.  */
+  asm_fprintf ("%%");
+  asm_fprintf ("%d%i%o%u%x%X%c%s%%", i, i, u, u, u, u, i, s);
+  asm_fprintf ("%ld%li%lo%lu%lx%lX", l, l, ul, ul, ul, ul);
+  asm_fprintf ("%lld%lli%llo%llu%llx%llX", ll, ll, ull, ull, ull, ull);
+  asm_fprintf ("%-d%-i%-o%-u%-x%-X%-c%-s", i, i, u, u, u, u, i, s);
+  asm_fprintf ("% d% i\n", i, i);
+  asm_fprintf ("%#o%#x%#X", u, u, u);
+  asm_fprintf ("%08d%08i%08o%08u%08x%08X", i, i, u, u, u, u);
+  asm_fprintf ("%d\n", i);
+  asm_fprintf ("%+d\n", i);
+  asm_fprintf ("%3d\n", i);
+  asm_fprintf ("%-3d\n", i);
+  asm_fprintf ("%.7d\n", i);
+  asm_fprintf ("%+9.4d\n", i);
+  asm_fprintf ("%.3ld\n", l);
+  asm_fprintf ("%*d\n", i1, i);
+  asm_fprintf ("%.*d\n", i2, i);
+  asm_fprintf ("%*.*ld\n", i1, i2, l);
+  asm_fprintf ("%d %lu\n", i, ul);
+
+  /* Extensions provided in asm_fprintf.  */
+  asm_fprintf ("%O%R%I%L%U%@");
+  asm_fprintf ("%r", i);
+  asm_fprintf ("%wd%wi%wo%wu%wx%wX", ll, ll, ull, ull, ull, ull);
+
+  /* Standard specifiers not accepted in asm_fprintf.  */
+  asm_fprintf ("%f\n", d); /* { dg-warning "format" "float" } */
+  asm_fprintf ("%e\n", d); /* { dg-warning "format" "float" } */
+  asm_fprintf ("%E\n", d); /* { dg-warning "format" "float" } */
+  asm_fprintf ("%g\n", d); /* { dg-warning "format" "float" } */
+  asm_fprintf ("%G\n", d); /* { dg-warning "format" "float" } */
+  asm_fprintf ("%p\n", p); /* { dg-warning "format" "pointer" } */
+  asm_fprintf ("%n\n", n); /* { dg-warning "format" "counter" } */
+  asm_fprintf ("%hd\n", i); /* { dg-warning "format" "conversion" } */
+
+  /* Various tests of bad argument types.  */
+  asm_fprintf ("%d", l); /* { dg-warning "format" "bad argument types" } */
+  asm_fprintf ("%wd", l); /* { dg-warning "format" "bad argument types" } */
+  asm_fprintf ("%d", ll); /* { dg-warning "format" "bad argument types" } */
+  asm_fprintf ("%*.*d", l, i2, i); /* { dg-warning "field" "bad * argument types" } */
+  asm_fprintf ("%*.*d", i1, l, i); /* { dg-warning "field" "bad * argument types" } */
+  asm_fprintf ("%ld", i); /* { dg-warning "format" "bad argument types" } */
+  asm_fprintf ("%s", n); /* { dg-warning "format" "bad argument types" } */
+
+  /* Wrong number of arguments.  */
+  asm_fprintf ("%d%d", i); /* { dg-warning "arguments" "wrong number of args" } */
+  asm_fprintf ("%d", i, i); /* { dg-warning "arguments" "wrong number of args" } */
+  /* Miscellaneous bogus constructions.  */
+  asm_fprintf (""); /* { dg-warning "zero-length" "warning for empty format" } */
+  asm_fprintf ("\0"); /* { dg-warning "embedded" "warning for embedded NUL" } */
+  asm_fprintf ("%d\0", i); /* { dg-warning "embedded" "warning for embedded NUL" } */
+  asm_fprintf ("%d\0%d", i, i); /* { dg-warning "embedded|too many" "warning for embedded NUL" } */
+  asm_fprintf (NULL); /* { dg-warning "null" "null format string warning" } */
+  asm_fprintf ("%"); /* { dg-warning "trailing" "trailing % warning" } */
+  asm_fprintf ("%++d", i); /* { dg-warning "repeated" "repeated flag warning" } */
+  asm_fprintf ((const char *)L"foo"); /* { dg-warning "wide" "wide string" } */
+  asm_fprintf ("%s", (char *)0); /* { dg-warning "null" "%s with NULL" } */
+
+  /* Make sure we still get warnings for regular printf.  */
+  printf ("%d\n", ll); /* { dg-warning "format" "bad argument types" } */
+}