Home | History | Annotate | Download | only in Sema 
      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 
      4 int printf(const char *format, ...) __attribute__((format(printf, 1, 2)));
      5 int scanf(const char * restrict, ...) ;
      6 typedef 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.
     11 void 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 
     21 void 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 
     29 void 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 
     37 void 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 'int') 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 
     67 void 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 
     79 void 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