1 /* Test for printf formats. Test that the C90 functions get their default
2 attributes in strict C90 mode, but the C99 and gettext functions
5 /* Origin: Joseph Myers <jsm28@cam.ac.uk> */
6 /* { dg-do compile } */
7 /* { dg-options "-std=iso9899:1990 -pedantic -Wformat" } */
9 /* This may not be correct in the particular case, but allows the
10 prototypes to be declared, and we don't try to link.
12 typedef struct _FILE FILE;
15 typedef __SIZE_TYPE__ size_t;
16 typedef __builtin_va_list va_list;
18 extern int fprintf (FILE *, const char *, ...);
19 extern int printf (const char *, ...);
20 extern int sprintf (char *, const char *, ...);
21 extern int vfprintf (FILE *, const char *, va_list);
22 extern int vprintf (const char *, va_list);
23 extern int vsprintf (char *, const char *, va_list);
25 extern int snprintf (char *, size_t, const char *, ...);
26 extern int vsnprintf (char *, size_t, const char *, va_list);
28 extern char *gettext (const char *);
29 extern char *dgettext (const char *, const char *);
30 extern char *dcgettext (const char *, const char *, int);
33 foo (int i, char *s, size_t n, va_list v0, va_list v1, va_list v2, va_list v3,
34 va_list v4, va_list v5, va_list v6, va_list v7, va_list v8)
36 fprintf (stdout, "%d", i);
37 fprintf (stdout, "%ld", i); /* { dg-warning "format" "fprintf" } */
39 printf ("%ld", i); /* { dg-warning "format" "printf" } */
41 sprintf (s, "%ld", i); /* { dg-warning "format" "sprintf" } */
42 vfprintf (stdout, "%d", v0);
43 vfprintf (stdout, "%Y", v1); /* { dg-warning "format" "vfprintf" } */
45 vprintf ("%Y", v3); /* { dg-warning "format" "vprintf" } */
46 /* The following used to give a bogus warning. */
47 vprintf ("%*.*d", v8);
48 vsprintf (s, "%d", v4);
49 vsprintf (s, "%Y", v5); /* { dg-warning "format" "vsprintf" } */
50 snprintf (s, n, "%d", i);
51 snprintf (s, n, "%ld", i);
52 vsnprintf (s, n, "%d", v6);
53 vsnprintf (s, n, "%Y", v7);
54 printf (gettext ("%d"), i);
55 printf (gettext ("%ld"), i);
56 printf (dgettext ("", "%d"), i);
57 printf (dgettext ("", "%ld"), i);
58 printf (dcgettext ("", "%d", 0), i);
59 printf (dcgettext ("", "%ld", 0), i);