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
32int 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