blob: e561b3e5a724a613f59a944ce0821f28f063011d [file] [log] [blame]
Howard Hinnant3e519522010-05-11 19:42:16 +00001//===----------------------------------------------------------------------===//
2//
Howard Hinnant5b08a8a2010-05-11 21:36:01 +00003// The LLVM Compiler Infrastructure
Howard Hinnant3e519522010-05-11 19:42:16 +00004//
Howard Hinnant412dbeb2010-11-16 22:09:02 +00005// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
Howard Hinnant3e519522010-05-11 19:42:16 +00007//
8//===----------------------------------------------------------------------===//
9
10// <wchar.h>
11
Richard Smith0ecae012015-10-10 01:39:51 +000012
Howard Hinnant3e519522010-05-11 19:42:16 +000013#include <wchar.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{
Marshall Clow9d732432015-11-25 01:06:36 +000034// 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#pragma clang diagnostic push
39#pragma clang diagnostic ignored "-Wmissing-braces"
Richard Smith0ecae012015-10-10 01:39:51 +000040 mbstate_t mb = {0};
Marshall Clow9d732432015-11-25 01:06:36 +000041#pragma clang diagnostic pop
42
Howard Hinnant3e519522010-05-11 19:42:16 +000043 size_t s = 0;
Alexis Huntbbe2b9d2011-07-15 05:44:47 +000044 tm *tm = 0;
Howard Hinnant3e519522010-05-11 19:42:16 +000045 wint_t w = 0;
46 ::FILE* fp = 0;
Alexis Huntbbe2b9d2011-07-15 05:44:47 +000047#ifdef __APPLE__
Howard Hinnant3e519522010-05-11 19:42:16 +000048 __darwin_va_list va;
Alexis Huntbbe2b9d2011-07-15 05:44:47 +000049#else
50 __builtin_va_list va;
51#endif
Howard Hinnant3e519522010-05-11 19:42:16 +000052 char* ns = 0;
53 wchar_t* ws = 0;
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 Hinnant3e519522010-05-11 19:42:16 +000062 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 Hinnant3e519522010-05-11 19:42:16 +000068 static_assert((std::is_same<decltype(putwc(L' ', fp)), wint_t>::value), "");
Howard Hinnant3e519522010-05-11 19:42:16 +000069 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), "");
Eric Fiselier448dd412015-10-10 02:54:41 +000085 // const wchar_t* wcschr((const wchar_t*)0, L' ') - See below
Howard Hinnant3e519522010-05-11 19:42:16 +000086 static_assert((std::is_same<decltype(wcschr((wchar_t*)0, L' ')), wchar_t*>::value), "");
87 static_assert((std::is_same<decltype(wcscspn(L"", L"")), size_t>::value), "");
88 static_assert((std::is_same<decltype(wcslen(L"")), size_t>::value), "");
Eric Fiselier448dd412015-10-10 02:54:41 +000089 // const wchar_t* wcspbrk((const wchar_t*)0, L"") - See below
Howard Hinnant3e519522010-05-11 19:42:16 +000090 static_assert((std::is_same<decltype(wcspbrk((wchar_t*)0, L"")), wchar_t*>::value), "");
Eric Fiselier448dd412015-10-10 02:54:41 +000091 // const wchar_t* wcsrchr((const wchar_t*)0, L' ') - See below
Howard Hinnant3e519522010-05-11 19:42:16 +000092 static_assert((std::is_same<decltype(wcsrchr((wchar_t*)0, L' ')), wchar_t*>::value), "");
93 static_assert((std::is_same<decltype(wcsspn(L"", L"")), size_t>::value), "");
Eric Fiselier448dd412015-10-10 02:54:41 +000094 // const wchar_t* wcsstr((const wchar_t*)0, L"") - See below
Howard Hinnant3e519522010-05-11 19:42:16 +000095 static_assert((std::is_same<decltype(wcsstr((wchar_t*)0, L"")), wchar_t*>::value), "");
96 static_assert((std::is_same<decltype(wcstok(ws, L"", (wchar_t**)0)), wchar_t*>::value), "");
Eric Fiselier448dd412015-10-10 02:54:41 +000097 // const wchar_t* wmemchr((const wchar_t*)0, L' ', s) - See below
Howard Hinnant3e519522010-05-11 19:42:16 +000098 static_assert((std::is_same<decltype(wmemchr((wchar_t*)0, L' ', s)), wchar_t*>::value), "");
99 static_assert((std::is_same<decltype(wmemcmp(L"", L"", s)), int>::value), "");
100 static_assert((std::is_same<decltype(wmemcpy(ws, L"", s)), wchar_t*>::value), "");
101 static_assert((std::is_same<decltype(wmemmove(ws, L"", s)), wchar_t*>::value), "");
102 static_assert((std::is_same<decltype(wmemset(ws, L' ', s)), wchar_t*>::value), "");
Alexis Huntbbe2b9d2011-07-15 05:44:47 +0000103 static_assert((std::is_same<decltype(wcsftime(ws, s, L"", tm)), size_t>::value), "");
Howard Hinnant3e519522010-05-11 19:42:16 +0000104 static_assert((std::is_same<decltype(btowc(0)), wint_t>::value), "");
105 static_assert((std::is_same<decltype(wctob(w)), int>::value), "");
106 static_assert((std::is_same<decltype(mbsinit(&mb)), int>::value), "");
107 static_assert((std::is_same<decltype(mbrlen("", s, &mb)), size_t>::value), "");
108 static_assert((std::is_same<decltype(mbrtowc(ws, "", s, &mb)), size_t>::value), "");
109 static_assert((std::is_same<decltype(wcrtomb(ns, L' ', &mb)), size_t>::value), "");
110 static_assert((std::is_same<decltype(mbsrtowcs(ws, (const char**)0, s, &mb)), size_t>::value), "");
111 static_assert((std::is_same<decltype(wcsrtombs(ns, (const wchar_t**)0, s, &mb)), size_t>::value), "");
Richard Smith0ecae012015-10-10 01:39:51 +0000112
Eric Fiselier448dd412015-10-10 02:54:41 +0000113// This test fails on systems whose C library doesn't provide a correct overload
114// set for wcschr, wcspbrk, wcsrchr, wcsstr, and wmemchr. There's no way for
115// libc++ to fix that on the C library's behalf.
116#ifndef __APPLE__
117 static_assert((std::is_same<decltype(wcschr((const wchar_t*)0, L' ')), const wchar_t*>::value), "");
118 static_assert((std::is_same<decltype(wcspbrk((const wchar_t*)0, L"")), const wchar_t*>::value), "");
119 static_assert((std::is_same<decltype(wcsrchr((const wchar_t*)0, L' ')), const wchar_t*>::value), "");
120 static_assert((std::is_same<decltype(wcsstr((const wchar_t*)0, L"")), const wchar_t*>::value), "");
121 static_assert((std::is_same<decltype(wmemchr((const wchar_t*)0, L' ', s)), const wchar_t*>::value), "");
122#endif
123
Richard Smith0ecae012015-10-10 01:39:51 +0000124#ifndef _LIBCPP_HAS_NO_STDIN
125 static_assert((std::is_same<decltype(getwchar()), wint_t>::value), "");
126 static_assert((std::is_same<decltype(vwscanf(L"", va)), int>::value), "");
127 static_assert((std::is_same<decltype(wscanf(L"")), int>::value), "");
128#endif
129
130#ifndef _LIBCPP_HAS_NO_STDOUT
131 static_assert((std::is_same<decltype(putwchar(L' ')), wint_t>::value), "");
132 static_assert((std::is_same<decltype(vwprintf(L"", va)), int>::value), "");
133 static_assert((std::is_same<decltype(wprintf(L"")), int>::value), "");
134#endif
Howard Hinnant3e519522010-05-11 19:42:16 +0000135}