1a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborg// RUN: %clang_cc1 -triple i386-apple-darwin9 -fsyntax-only -verify %s 2a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborg 3a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborgint printf(char const *, ...); 46fcd932dfd6835f70cc00d6f7c6789793f6d7b66Hans Wennborgint scanf(char const *, ...); 5a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborg 6a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborgvoid test(void) { 7ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek printf("%jd", 42.0); // expected-warning {{format specifies type 'intmax_t' (aka 'long long')}} 8ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek printf("%ju", 42.0); // expected-warning {{format specifies type 'uintmax_t' (aka 'unsigned long long')}} 9ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek printf("%zu", 42.0); // expected-warning {{format specifies type 'size_t' (aka 'unsigned long')}} 10ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek printf("%td", 42.0); // expected-warning {{format specifies type 'ptrdiff_t' (aka 'int')}} 11ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek printf("%lc", 42.0); // expected-warning {{format specifies type 'wint_t' (aka 'int')}} 12ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek printf("%ls", 42.0); // expected-warning {{format specifies type 'wchar_t *' (aka 'int *')}} 13ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek printf("%S", 42.0); // expected-warning {{format specifies type 'wchar_t *' (aka 'int *')}} 14ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek printf("%C", 42.0); // expected-warning {{format specifies type 'wchar_t' (aka 'int')}} 15f4f0c6095d1f481b94c6821c65e3bf1c9df42af7Hans Wennborg 16ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek scanf("%jd", 0); // expected-warning {{format specifies type 'intmax_t *' (aka 'long long *')}} 17ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek scanf("%ju", 0); // expected-warning {{format specifies type 'uintmax_t *' (aka 'unsigned long long *')}} 18ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek scanf("%zu", 0); // expected-warning {{format specifies type 'size_t *' (aka 'unsigned long *')}} 19ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek scanf("%td", 0); // expected-warning {{format specifies type 'ptrdiff_t *' (aka 'int *')}} 20ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek scanf("%lc", 0); // expected-warning {{format specifies type 'wchar_t *' (aka 'int *')}} 21ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek scanf("%ls", 0); // expected-warning {{format specifies type 'wchar_t *' (aka 'int *')}} 22ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek scanf("%S", 0); // expected-warning {{format specifies type 'wchar_t *' (aka 'int *')}} 23ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek scanf("%C", 0); // expected-warning {{format specifies type 'wchar_t *' (aka 'int *')}} 246fcd932dfd6835f70cc00d6f7c6789793f6d7b66Hans Wennborg 25a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborg 26a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborg // typedef size_t et al. to something crazy. 27a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborg typedef void *size_t; 28a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborg typedef void *intmax_t; 29a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborg typedef void *uintmax_t; 30a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborg typedef void *ptrdiff_t; 31a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborg 32a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborg // The warning still fires, because it checks the underlying type. 33ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek printf("%jd", (intmax_t)42); // expected-warning {{format specifies type 'intmax_t' (aka 'long long') but the argument has type 'intmax_t' (aka 'void *')}} 34ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek printf("%ju", (uintmax_t)42); // expected-warning {{format specifies type 'uintmax_t' (aka 'unsigned long long') but the argument has type 'uintmax_t' (aka 'void *')}} 35ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek printf("%zu", (size_t)42); // expected-warning {{format specifies type 'size_t' (aka 'unsigned long') but the argument has type 'size_t' (aka 'void *')}} 36ce506ae231703a23ea95335cd4de19c60082f361Ted Kremenek printf("%td", (ptrdiff_t)42); // expected-warning {{format specifies type 'ptrdiff_t' (aka 'int') but the argument has type 'ptrdiff_t' (aka 'void *')}} 37a792aff1c7de253b89c473fdb7eef4a5bba83aecHans Wennborg} 38