Clang Project

clang_source_code/test/Sema/format-strings-ms.c
1// RUN: %clang_cc1 -fsyntax-only -verify -fms-compatibility -triple=i386-pc-win32 %s
2// RUN: %clang_cc1 -fsyntax-only -verify -fms-compatibility -triple=i386-pc-win32 -Wformat-non-iso -DNON_ISO_WARNING %s
3
4int printf(const char *format, ...) __attribute__((format(printf, 1, 2)));
5int scanf(const char * restrict, ...) ;
6typedef unsigned short wchar_t;
7
8#ifdef NON_ISO_WARNING
9
10// Split off this test to reduce the warning noise in the rest of the file.
11void non_iso_warning_test(__int32 i32, __int64 i64, wchar_t c, void *p) {
12  printf("%Id", i32); // expected-warning{{'I' length modifier is not supported by ISO C}}
13  printf("%I32d", i32); // expected-warning{{'I32' length modifier is not supported by ISO C}}
14  printf("%I64d", i64); // expected-warning{{'I64' length modifier is not supported by ISO C}}
15  printf("%wc", c); // expected-warning{{'w' length modifier is not supported by ISO C}}
16  printf("%Z", p); // expected-warning{{'Z' conversion specifier is not supported by ISO C}}
17}
18
19#else
20
21void signed_test() {
22  short val = 30;
23  printf("val = %I64d\n", val); // expected-warning{{format specifies type '__int64' (aka 'long long') but the argument has type 'short'}}
24  long long bigval = 30;
25  printf("val = %I32d\n", bigval); // expected-warning{{format specifies type '__int32' (aka 'int') but the argument has type 'long long'}}
26  printf("val = %Id\n", bigval); // expected-warning{{format specifies type '__int32' (aka 'int') but the argument has type 'long long'}}
27}
28
29void unsigned_test() {
30  unsigned short val = 30;
31  printf("val = %I64u\n", val); // expected-warning{{format specifies type 'unsigned __int64' (aka 'unsigned long long') but the argument has type 'unsigned short'}}
32  unsigned long long bigval = 30;
33  printf("val = %I32u\n", bigval); // expected-warning{{format specifies type 'unsigned __int32' (aka 'unsigned int') but the argument has type 'unsigned long long'}}
34  printf("val = %Iu\n", bigval); // expected-warning{{format specifies type 'unsigned __int32' (aka 'unsigned int') but the argument has type 'unsigned long long'}}
35}
36
37void w_test(wchar_t c, wchar_t *s) {
38  printf("%wc", c);
39  printf("%wC", c);
40  printf("%C", c);
41  printf("%ws", s);
42  printf("%wS", s);
43  printf("%S", s);
44  scanf("%wc", &c);
45  scanf("%wC", &c);
46  scanf("%C", &c);
47  scanf("%ws", s);
48  scanf("%wS", s);
49  scanf("%S", s);
50
51  double bad;
52  printf("%wc", bad); // expected-warning{{format specifies type 'wint_t' (aka 'unsigned short') but the argument has type 'double'}}
53  printf("%wC", bad); // expected-warning{{format specifies type 'wchar_t' (aka 'unsigned short') but the argument has type 'double'}}
54  printf("%C", bad); // expected-warning{{format specifies type 'wchar_t' (aka 'unsigned short') but the argument has type 'double'}}
55  printf("%ws", bad); // expected-warning{{format specifies type 'wchar_t *' (aka 'unsigned short *') but the argument has type 'double'}}
56  printf("%wS", bad); // expected-warning{{format specifies type 'wchar_t *' (aka 'unsigned short *') but the argument has type 'double'}}
57  printf("%S", bad); // expected-warning{{format specifies type 'wchar_t *' (aka 'unsigned short *') but the argument has type 'double'}}
58  scanf("%wc", &bad); // expected-warning{{format specifies type 'wchar_t *' (aka 'unsigned short *') but the argument has type 'double *'}}
59  scanf("%wC", &bad); // expected-warning{{format specifies type 'wchar_t *' (aka 'unsigned short *') but the argument has type 'double *'}}
60  scanf("%C", &bad); // expected-warning{{format specifies type 'wchar_t *' (aka 'unsigned short *') but the argument has type 'double *'}}
61  scanf("%ws", &bad); // expected-warning{{format specifies type 'wchar_t *' (aka 'unsigned short *') but the argument has type 'double *'}}
62  scanf("%wS", &bad); // expected-warning{{format specifies type 'wchar_t *' (aka 'unsigned short *') but the argument has type 'double *'}}
63  scanf("%S", &bad); // expected-warning{{format specifies type 'wchar_t *' (aka 'unsigned short *') but the argument has type 'double *'}}
64
65}
66
67void h_test(char c, char* s) {
68  double bad;
69  printf("%hc", bad); // expected-warning{{format specifies type 'int' but the argument has type 'double'}}
70  printf("%hC", bad); // expected-warning{{format specifies type 'int' but the argument has type 'double'}}
71  printf("%hs", bad); // expected-warning{{format specifies type 'char *' but the argument has type 'double'}}
72  printf("%hS", bad); // expected-warning{{format specifies type 'char *' but the argument has type 'double'}}
73  scanf("%hc", &bad); // expected-warning{{format specifies type 'char *' but the argument has type 'double *'}}
74  scanf("%hC", &bad); // expected-warning{{format specifies type 'char *' but the argument has type 'double *'}}
75  scanf("%hs", &bad); // expected-warning{{format specifies type 'char *' but the argument has type 'double *'}}
76  scanf("%hS", &bad); // expected-warning{{format specifies type 'char *' but the argument has type 'double *'}}
77}
78
79void z_test(void *p) {
80  printf("%Z", p);
81  printf("%hZ", p);
82  printf("%lZ", p);
83  printf("%wZ", p);
84  printf("%hhZ", p); // expected-warning{{length modifier 'hh' results in undefined behavior or no effect with 'Z' conversion specifier}}
85  scanf("%Z", p); // expected-warning{{invalid conversion specifier 'Z'}}
86}
87
88#endif
89
CodeThinker, Enjoy your reading code