1 /* { dg-options "-Wformat" } */
2
main(int argc,char ** argv)3 int main (int argc, char **argv)
4 {
5 char buf[10];
6
7 char c[] = "%i";
8 unsigned char uc[] = "%i";
9 const char cc[] = "%i";
10 const unsigned char cuc[] = "%i";
11
12 __builtin_sprintf(buf, (char *)c, 1);
13 __builtin_sprintf(buf, (char *)uc, 1);
14 __builtin_sprintf(buf, (char *)cc, 1);
15 __builtin_sprintf(buf, (char *)cuc, 1); /* { dg-warning "format string is not an array of type 'char'" } */
16 __builtin_sprintf(buf, (const char *)L"foo"); /* { dg-warning "format is a wide character string" } */
17
18 return 0;
19 }
20