Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 1 | //===----------------------------------------------------------------------===// |
| 2 | // |
Howard Hinnant | 5b08a8a | 2010-05-11 21:36:01 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 4 | // |
Howard Hinnant | 412dbeb | 2010-11-16 22:09:02 +0000 | [diff] [blame] | 5 | // This file is dual licensed under the MIT and the University of Illinois Open |
| 6 | // Source Licenses. See LICENSE.TXT for details. |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
| 10 | // <wchar.h> |
| 11 | |
| 12 | #include <wchar.h> |
Eric Fiselier | 76af416 | 2016-05-02 20:08:16 +0000 | [diff] [blame] | 13 | #include <stdarg.h> |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 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 | { |
Marshall Clow | 9d73243 | 2015-11-25 01:06:36 +0000 | [diff] [blame] | 34 | // mbstate_t comes from the underlying C library; it is defined (in C99) as: |
Eric Fiselier | 76af416 | 2016-05-02 20:08:16 +0000 | [diff] [blame] | 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 |
Marshall Clow | 9d73243 | 2015-11-25 01:06:36 +0000 | [diff] [blame] | 37 | // characters and wide characters |
Eric Fiselier | 76af416 | 2016-05-02 20:08:16 +0000 | [diff] [blame] | 38 | mbstate_t mb = {}; |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 39 | size_t s = 0; |
Alexis Hunt | bbe2b9d | 2011-07-15 05:44:47 +0000 | [diff] [blame] | 40 | tm *tm = 0; |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 41 | wint_t w = 0; |
| 42 | ::FILE* fp = 0; |
Eric Fiselier | 76af416 | 2016-05-02 20:08:16 +0000 | [diff] [blame] | 43 | ::va_list va; |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 44 | char* ns = 0; |
| 45 | wchar_t* ws = 0; |
Eric Fiselier | 06d1434 | 2016-06-14 02:46:39 +0000 | [diff] [blame] | 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 |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 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), ""); |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 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), ""); |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 68 | static_assert((std::is_same<decltype(putwc(L' ', fp)), wint_t>::value), ""); |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 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), ""); |
Alexis Hunt | bbe2b9d | 2011-07-15 05:44:47 +0000 | [diff] [blame] | 98 | static_assert((std::is_same<decltype(wcsftime(ws, s, L"", tm)), size_t>::value), ""); |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 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), ""); |
Richard Smith | 0ecae01 | 2015-10-10 01:39:51 +0000 | [diff] [blame] | 107 | |
Richard Smith | 5fd17ab | 2016-02-10 00:59:02 +0000 | [diff] [blame] | 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) |
Eric Fiselier | 448dd41 | 2015-10-10 02:54:41 +0000 | [diff] [blame] | 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 | |
Richard Smith | 0ecae01 | 2015-10-10 01:39:51 +0000 | [diff] [blame] | 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 |
Howard Hinnant | 3e51952 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 130 | } |