1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // <wchar.h> 11 12 #include <wchar.h> 13 #include <stdarg.h> 14 #include <type_traits> 15 16 #ifndef NULL 17 #error NULL not defined 18 #endif 19 20 #ifndef WCHAR_MAX 21 #error WCHAR_MAX not defined 22 #endif 23 24 #ifndef WCHAR_MIN 25 #error WCHAR_MIN not defined 26 #endif 27 28 #ifndef WEOF 29 #error WEOF not defined 30 #endif 31 32 int main() 33 { 34 // mbstate_t comes from the underlying C library; it is defined (in C99) as: 35 // a complete object type other than an array type that can hold the conversion 36 // state information necessary to convert between sequences of multibyte 37 // characters and wide characters 38 mbstate_t mb = {}; 39 size_t s = 0; 40 tm *tm = 0; 41 wint_t w = 0; 42 ::FILE* fp = 0; 43 ::va_list va; 44 char* ns = 0; 45 wchar_t* ws = 0; 46 ((void)mb); // Prevent unused warning 47 ((void)s); // Prevent unused warning 48 ((void)tm); // Prevent unused warning 49 ((void)w); // Prevent unused warning 50 ((void)fp); // Prevent unused warning 51 ((void)va); // Prevent unused warning 52 ((void)ns); // Prevent unused warning 53 ((void)ws); // Prevent unused warning 54 static_assert((std::is_same<decltype(fwprintf(fp, L"")), int>::value), ""); 55 static_assert((std::is_same<decltype(fwscanf(fp, L"")), int>::value), ""); 56 static_assert((std::is_same<decltype(swprintf(ws, s, L"")), int>::value), ""); 57 static_assert((std::is_same<decltype(swscanf(L"", L"")), int>::value), ""); 58 static_assert((std::is_same<decltype(vfwprintf(fp, L"", va)), int>::value), ""); 59 static_assert((std::is_same<decltype(vfwscanf(fp, L"", va)), int>::value), ""); 60 static_assert((std::is_same<decltype(vswprintf(ws, s, L"", va)), int>::value), ""); 61 static_assert((std::is_same<decltype(vswscanf(L"", L"", va)), int>::value), ""); 62 static_assert((std::is_same<decltype(fgetwc(fp)), wint_t>::value), ""); 63 static_assert((std::is_same<decltype(fgetws(ws, 0, fp)), wchar_t*>::value), ""); 64 static_assert((std::is_same<decltype(fputwc(L' ', fp)), wint_t>::value), ""); 65 static_assert((std::is_same<decltype(fputws(L"", fp)), int>::value), ""); 66 static_assert((std::is_same<decltype(fwide(fp, 0)), int>::value), ""); 67 static_assert((std::is_same<decltype(getwc(fp)), wint_t>::value), ""); 68 static_assert((std::is_same<decltype(putwc(L' ', fp)), wint_t>::value), ""); 69 static_assert((std::is_same<decltype(ungetwc(L' ', fp)), wint_t>::value), ""); 70 static_assert((std::is_same<decltype(wcstod(L"", (wchar_t**)0)), double>::value), ""); 71 static_assert((std::is_same<decltype(wcstof(L"", (wchar_t**)0)), float>::value), ""); 72 static_assert((std::is_same<decltype(wcstold(L"", (wchar_t**)0)), long double>::value), ""); 73 static_assert((std::is_same<decltype(wcstol(L"", (wchar_t**)0, 0)), long>::value), ""); 74 static_assert((std::is_same<decltype(wcstoll(L"", (wchar_t**)0, 0)), long long>::value), ""); 75 static_assert((std::is_same<decltype(wcstoul(L"", (wchar_t**)0, 0)), unsigned long>::value), ""); 76 static_assert((std::is_same<decltype(wcstoull(L"", (wchar_t**)0, 0)), unsigned long long>::value), ""); 77 static_assert((std::is_same<decltype(wcscpy(ws, L"")), wchar_t*>::value), ""); 78 static_assert((std::is_same<decltype(wcsncpy(ws, L"", s)), wchar_t*>::value), ""); 79 static_assert((std::is_same<decltype(wcscat(ws, L"")), wchar_t*>::value), ""); 80 static_assert((std::is_same<decltype(wcsncat(ws, L"", s)), wchar_t*>::value), ""); 81 static_assert((std::is_same<decltype(wcscmp(L"", L"")), int>::value), ""); 82 static_assert((std::is_same<decltype(wcscoll(L"", L"")), int>::value), ""); 83 static_assert((std::is_same<decltype(wcsncmp(L"", L"", s)), int>::value), ""); 84 static_assert((std::is_same<decltype(wcsxfrm(ws, L"", s)), size_t>::value), ""); 85 static_assert((std::is_same<decltype(wcschr((wchar_t*)0, L' ')), wchar_t*>::value), ""); 86 static_assert((std::is_same<decltype(wcscspn(L"", L"")), size_t>::value), ""); 87 static_assert((std::is_same<decltype(wcslen(L"")), size_t>::value), ""); 88 static_assert((std::is_same<decltype(wcspbrk((wchar_t*)0, L"")), wchar_t*>::value), ""); 89 static_assert((std::is_same<decltype(wcsrchr((wchar_t*)0, L' ')), wchar_t*>::value), ""); 90 static_assert((std::is_same<decltype(wcsspn(L"", L"")), size_t>::value), ""); 91 static_assert((std::is_same<decltype(wcsstr((wchar_t*)0, L"")), wchar_t*>::value), ""); 92 static_assert((std::is_same<decltype(wcstok(ws, L"", (wchar_t**)0)), wchar_t*>::value), ""); 93 static_assert((std::is_same<decltype(wmemchr((wchar_t*)0, L' ', s)), wchar_t*>::value), ""); 94 static_assert((std::is_same<decltype(wmemcmp(L"", L"", s)), int>::value), ""); 95 static_assert((std::is_same<decltype(wmemcpy(ws, L"", s)), wchar_t*>::value), ""); 96 static_assert((std::is_same<decltype(wmemmove(ws, L"", s)), wchar_t*>::value), ""); 97 static_assert((std::is_same<decltype(wmemset(ws, L' ', s)), wchar_t*>::value), ""); 98 static_assert((std::is_same<decltype(wcsftime(ws, s, L"", tm)), size_t>::value), ""); 99 static_assert((std::is_same<decltype(btowc(0)), wint_t>::value), ""); 100 static_assert((std::is_same<decltype(wctob(w)), int>::value), ""); 101 static_assert((std::is_same<decltype(mbsinit(&mb)), int>::value), ""); 102 static_assert((std::is_same<decltype(mbrlen("", s, &mb)), size_t>::value), ""); 103 static_assert((std::is_same<decltype(mbrtowc(ws, "", s, &mb)), size_t>::value), ""); 104 static_assert((std::is_same<decltype(wcrtomb(ns, L' ', &mb)), size_t>::value), ""); 105 static_assert((std::is_same<decltype(mbsrtowcs(ws, (const char**)0, s, &mb)), size_t>::value), ""); 106 static_assert((std::is_same<decltype(wcsrtombs(ns, (const wchar_t**)0, s, &mb)), size_t>::value), ""); 107 108 // These tests fail on systems whose C library doesn't provide a correct overload 109 // set for wcschr, wcspbrk, wcsrchr, wcsstr, and wmemchr, unless the compiler is 110 // a suitably recent version of Clang. 111 #if !defined(__APPLE__) || defined(_LIBCPP_PREFERRED_OVERLOAD) 112 static_assert((std::is_same<decltype(wcschr((const wchar_t*)0, L' ')), const wchar_t*>::value), ""); 113 static_assert((std::is_same<decltype(wcspbrk((const wchar_t*)0, L"")), const wchar_t*>::value), ""); 114 static_assert((std::is_same<decltype(wcsrchr((const wchar_t*)0, L' ')), const wchar_t*>::value), ""); 115 static_assert((std::is_same<decltype(wcsstr((const wchar_t*)0, L"")), const wchar_t*>::value), ""); 116 static_assert((std::is_same<decltype(wmemchr((const wchar_t*)0, L' ', s)), const wchar_t*>::value), ""); 117 #endif 118 119 #ifndef _LIBCPP_HAS_NO_STDIN 120 static_assert((std::is_same<decltype(getwchar()), wint_t>::value), ""); 121 static_assert((std::is_same<decltype(vwscanf(L"", va)), int>::value), ""); 122 static_assert((std::is_same<decltype(wscanf(L"")), int>::value), ""); 123 #endif 124 125 #ifndef _LIBCPP_HAS_NO_STDOUT 126 static_assert((std::is_same<decltype(putwchar(L' ')), wint_t>::value), ""); 127 static_assert((std::is_same<decltype(vwprintf(L"", va)), int>::value), ""); 128 static_assert((std::is_same<decltype(wprintf(L"")), int>::value), ""); 129 #endif 130 } 131