Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2014 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | |
Elliott Hughes | 18181e6 | 2019-01-30 13:52:36 -0800 | [diff] [blame] | 18 | #include <uchar.h> |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 19 | |
| 20 | #include <gtest/gtest.h> |
| 21 | |
| 22 | #include <errno.h> |
| 23 | #include <limits.h> |
| 24 | #include <locale.h> |
| 25 | #include <stdint.h> |
| 26 | |
Dan Albert | 1252ab0 | 2023-07-14 21:23:36 +0000 | [diff] [blame] | 27 | // Modern versions of UTF-8 (https://datatracker.ietf.org/doc/html/rfc3629 and |
| 28 | // newer) explicitly disallow code points beyond U+10FFFF, which exclude all 5- |
| 29 | // and 6-byte sequences. Earlier versions of UTF-8 allowed the wider range: |
| 30 | // https://datatracker.ietf.org/doc/html/rfc2279. |
| 31 | // |
| 32 | // Bionic's unicode implementation was written after the high values were |
| 33 | // excluded, so it has never supported them. Other implementations (at least |
| 34 | // as of glibc 2.36), do support those sequences. |
| 35 | #if defined(__ANDROID__) || defined(ANDROID_HOST_MUSL) |
Dan Albert | 78da292 | 2023-07-19 18:23:46 +0000 | [diff] [blame] | 36 | constexpr bool kLibcRejectsOverLongUtf8Sequences = true; |
Dan Albert | 1252ab0 | 2023-07-14 21:23:36 +0000 | [diff] [blame] | 37 | #elif defined(__GLIBC__) |
Dan Albert | 78da292 | 2023-07-19 18:23:46 +0000 | [diff] [blame] | 38 | constexpr bool kLibcRejectsOverLongUtf8Sequences = false; |
Dan Albert | 1252ab0 | 2023-07-14 21:23:36 +0000 | [diff] [blame] | 39 | #else |
Dan Albert | 78da292 | 2023-07-19 18:23:46 +0000 | [diff] [blame] | 40 | #error kLibcRejectsOverLongUtf8Sequences must be configured for this platform |
Dan Albert | 1252ab0 | 2023-07-14 21:23:36 +0000 | [diff] [blame] | 41 | #endif |
| 42 | |
Dan Albert | 9a9bbe5 | 2023-07-18 23:12:47 +0000 | [diff] [blame] | 43 | // C23 7.30.1 (for each `mbrtoc*` function) says: |
| 44 | // |
| 45 | // Returns: |
| 46 | // |
| 47 | // 0 if the next n or fewer bytes complete the multibyte character that |
| 48 | // corresponds to the null wide character (which is the value stored). |
| 49 | // |
| 50 | // (size_t)(-2) if the next n bytes contribute to an incomplete (but |
| 51 | // potentially valid) multibyte character, and all n bytes have been |
| 52 | // processed (no value is stored). |
| 53 | // |
| 54 | // Bionic historically interpreted the behavior when n is 0 to be the next 0 |
| 55 | // bytes decoding to the null. That's a pretty bad interpretation, and both |
| 56 | // glibc and musl return -2 for that case. |
| 57 | // |
| 58 | // The tests currently checks the incorrect behavior for bionic because gtest |
| 59 | // doesn't support explicit xfail annotations. The behavior difference here |
| 60 | // should be fixed, but danalbert wants to add more tests before tackling the |
| 61 | // bugs. |
| 62 | #ifdef __ANDROID__ |
| 63 | constexpr size_t kExpectedResultForZeroLength = 0U; |
| 64 | #else |
| 65 | constexpr size_t kExpectedResultForZeroLength = static_cast<size_t>(-2); |
| 66 | #endif |
| 67 | |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 68 | TEST(uchar, sizeof_uchar_t) { |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 69 | EXPECT_EQ(2U, sizeof(char16_t)); |
| 70 | EXPECT_EQ(4U, sizeof(char32_t)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 71 | } |
| 72 | |
| 73 | TEST(uchar, start_state) { |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 74 | char out[MB_LEN_MAX]; |
| 75 | mbstate_t ps; |
| 76 | |
| 77 | // Any non-initial state is invalid when calling c32rtomb. |
| 78 | memset(&ps, 0, sizeof(ps)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 79 | EXPECT_EQ(static_cast<size_t>(-2), mbrtoc32(nullptr, "\xc2", 1, &ps)); |
Elliott Hughes | 3d8156d | 2021-11-05 17:47:07 -0700 | [diff] [blame] | 80 | errno = 0; |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 81 | EXPECT_EQ(static_cast<size_t>(-1), c32rtomb(out, 0x00a2, &ps)); |
| 82 | EXPECT_EQ(EILSEQ, errno); |
| 83 | |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 84 | // If the first argument to c32rtomb is nullptr or the second is L'\0' the shift |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 85 | // state should be reset. |
| 86 | memset(&ps, 0, sizeof(ps)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 87 | EXPECT_EQ(static_cast<size_t>(-2), mbrtoc32(nullptr, "\xc2", 1, &ps)); |
| 88 | EXPECT_EQ(1U, c32rtomb(nullptr, 0x00a2, &ps)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 89 | EXPECT_TRUE(mbsinit(&ps)); |
| 90 | |
| 91 | memset(&ps, 0, sizeof(ps)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 92 | EXPECT_EQ(static_cast<size_t>(-2), mbrtoc32(nullptr, "\xf0\xa4", 1, &ps)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 93 | EXPECT_EQ(1U, c32rtomb(out, L'\0', &ps)); |
| 94 | EXPECT_TRUE(mbsinit(&ps)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 95 | } |
| 96 | |
| 97 | TEST(uchar, c16rtomb_null_out) { |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 98 | EXPECT_EQ(1U, c16rtomb(nullptr, L'\0', nullptr)); |
| 99 | EXPECT_EQ(1U, c16rtomb(nullptr, L'h', nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 100 | } |
| 101 | |
| 102 | TEST(uchar, c16rtomb_null_char) { |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 103 | char bytes[MB_LEN_MAX]; |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 104 | EXPECT_EQ(1U, c16rtomb(bytes, L'\0', nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 105 | } |
| 106 | |
| 107 | TEST(uchar, c16rtomb) { |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 108 | char bytes[MB_LEN_MAX]; |
| 109 | |
| 110 | memset(bytes, 0, sizeof(bytes)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 111 | EXPECT_EQ(1U, c16rtomb(bytes, L'h', nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 112 | EXPECT_EQ('h', bytes[0]); |
| 113 | |
| 114 | ASSERT_STREQ("C.UTF-8", setlocale(LC_CTYPE, "C.UTF-8")); |
| 115 | uselocale(LC_GLOBAL_LOCALE); |
| 116 | |
| 117 | // 1-byte UTF-8. |
| 118 | memset(bytes, 0, sizeof(bytes)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 119 | EXPECT_EQ(1U, c16rtomb(bytes, L'h', nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 120 | EXPECT_EQ('h', bytes[0]); |
| 121 | // 2-byte UTF-8. |
| 122 | memset(bytes, 0, sizeof(bytes)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 123 | EXPECT_EQ(2U, c16rtomb(bytes, 0x00a2, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 124 | EXPECT_EQ('\xc2', bytes[0]); |
| 125 | EXPECT_EQ('\xa2', bytes[1]); |
| 126 | // 3-byte UTF-8. |
| 127 | memset(bytes, 0, sizeof(bytes)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 128 | EXPECT_EQ(3U, c16rtomb(bytes, 0x20ac, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 129 | EXPECT_EQ('\xe2', bytes[0]); |
| 130 | EXPECT_EQ('\x82', bytes[1]); |
| 131 | EXPECT_EQ('\xac', bytes[2]); |
Elliott Hughes | 3d8156d | 2021-11-05 17:47:07 -0700 | [diff] [blame] | 132 | // 4-byte UTF-8 from a surrogate pair... |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 133 | memset(bytes, 0, sizeof(bytes)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 134 | EXPECT_EQ(0U, c16rtomb(bytes, 0xdbea, nullptr)); |
| 135 | EXPECT_EQ(4U, c16rtomb(bytes, 0xdfcd, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 136 | EXPECT_EQ('\xf4', bytes[0]); |
| 137 | EXPECT_EQ('\x8a', bytes[1]); |
| 138 | EXPECT_EQ('\xaf', bytes[2]); |
| 139 | EXPECT_EQ('\x8d', bytes[3]); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 140 | } |
| 141 | |
| 142 | TEST(uchar, c16rtomb_invalid) { |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 143 | char bytes[MB_LEN_MAX]; |
| 144 | |
| 145 | memset(bytes, 0, sizeof(bytes)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 146 | EXPECT_EQ(static_cast<size_t>(-1), c16rtomb(bytes, 0xdfcd, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 147 | |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 148 | EXPECT_EQ(0U, c16rtomb(bytes, 0xdbea, nullptr)); |
| 149 | EXPECT_EQ(static_cast<size_t>(-1), c16rtomb(bytes, 0xdbea, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 150 | } |
| 151 | |
| 152 | TEST(uchar, mbrtoc16_null) { |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 153 | ASSERT_EQ(0U, mbrtoc16(nullptr, nullptr, 0, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 154 | } |
| 155 | |
| 156 | TEST(uchar, mbrtoc16_zero_len) { |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 157 | char16_t out; |
| 158 | |
Alexander Ivchenko | 68b0166 | 2014-06-11 16:20:54 +0400 | [diff] [blame] | 159 | out = L'x'; |
Dan Albert | 9a9bbe5 | 2023-07-18 23:12:47 +0000 | [diff] [blame] | 160 | EXPECT_EQ(kExpectedResultForZeroLength, mbrtoc16(&out, "hello", 0, nullptr)); |
| 161 | EXPECT_EQ(L'x', out); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 162 | |
Dan Albert | 9a9bbe5 | 2023-07-18 23:12:47 +0000 | [diff] [blame] | 163 | EXPECT_EQ(kExpectedResultForZeroLength, mbrtoc16(&out, "hello", 0, nullptr)); |
| 164 | EXPECT_EQ(kExpectedResultForZeroLength, mbrtoc16(&out, "", 0, nullptr)); |
| 165 | EXPECT_EQ(1U, mbrtoc16(&out, "hello", 1, nullptr)); |
| 166 | EXPECT_EQ(L'h', out); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 167 | } |
| 168 | |
| 169 | TEST(uchar, mbrtoc16) { |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 170 | char16_t out; |
| 171 | |
| 172 | ASSERT_STREQ("C.UTF-8", setlocale(LC_CTYPE, "C.UTF-8")); |
| 173 | uselocale(LC_GLOBAL_LOCALE); |
| 174 | |
| 175 | // 1-byte UTF-8. |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 176 | ASSERT_EQ(1U, mbrtoc16(&out, "abcdef", 6, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 177 | ASSERT_EQ(L'a', out); |
| 178 | // 2-byte UTF-8. |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 179 | ASSERT_EQ(2U, mbrtoc16(&out, "\xc2\xa2" "cdef", 6, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 180 | ASSERT_EQ(static_cast<char16_t>(0x00a2), out); |
| 181 | // 3-byte UTF-8. |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 182 | ASSERT_EQ(3U, mbrtoc16(&out, "\xe2\x82\xac" "def", 6, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 183 | ASSERT_EQ(static_cast<char16_t>(0x20ac), out); |
Elliott Hughes | 3d8156d | 2021-11-05 17:47:07 -0700 | [diff] [blame] | 184 | // 4-byte UTF-8 will be returned as a surrogate pair... |
Dan Albert | 1e8e0c1 | 2023-07-19 19:14:45 +0000 | [diff] [blame] | 185 | #ifdef __BIONIC__ |
| 186 | // https://issuetracker.google.com/289419882 |
| 187 | // |
| 188 | // We misread the spec when implementing this. The first call should return |
| 189 | // the length of the decoded character, and the second call should return -3 |
| 190 | // to indicate that the output is a continuation of the character decoded by |
| 191 | // the first call. |
| 192 | // |
| 193 | // C23 7.30.1.3.4: |
| 194 | // |
| 195 | // between 1 and n inclusive if the next n or fewer bytes complete a valid |
| 196 | // multibyte character (which is the value stored); the value returned is |
| 197 | // the number of bytes that complete the multibyte character. |
| 198 | // |
| 199 | // (size_t)(-3) if the next character resulting from a previous call has |
| 200 | // been stored (no bytes from the input have been consumed by this call). |
| 201 | // |
| 202 | // Leaving the test for the wrong outputs here while we clean up and improve |
| 203 | // the rest of the tests to get a better handle on the behavior differences |
| 204 | // before fixing the bug. |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 205 | ASSERT_EQ(static_cast<size_t>(-3), |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 206 | mbrtoc16(&out, "\xf4\x8a\xaf\x8d", 6, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 207 | ASSERT_EQ(static_cast<char16_t>(0xdbea), out); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 208 | ASSERT_EQ(4U, mbrtoc16(&out, "\xf4\x8a\xaf\x8d" "ef", 6, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 209 | ASSERT_EQ(static_cast<char16_t>(0xdfcd), out); |
Dan Albert | 1e8e0c1 | 2023-07-19 19:14:45 +0000 | [diff] [blame] | 210 | #else |
| 211 | ASSERT_EQ(4U, mbrtoc16(&out, "\xf4\x8a\xaf\x8d", 6, nullptr)); |
| 212 | ASSERT_EQ(static_cast<char16_t>(0xdbea), out); |
| 213 | ASSERT_EQ(static_cast<size_t>(-3), mbrtoc16(&out, |
| 214 | "\xf4\x8a\xaf\x8d" |
| 215 | "ef", |
| 216 | 6, nullptr)); |
| 217 | ASSERT_EQ(static_cast<char16_t>(0xdfcd), out); |
| 218 | #endif |
Dan Albert | 1252ab0 | 2023-07-14 21:23:36 +0000 | [diff] [blame] | 219 | } |
| 220 | |
| 221 | TEST(uchar, mbrtoc16_long_sequences) { |
| 222 | ASSERT_STREQ("C.UTF-8", setlocale(LC_CTYPE, "C.UTF-8")); |
| 223 | uselocale(LC_GLOBAL_LOCALE); |
| 224 | |
| 225 | char16_t out = u'\0'; |
Elliott Hughes | 3d8156d | 2021-11-05 17:47:07 -0700 | [diff] [blame] | 226 | errno = 0; |
Dan Albert | 1252ab0 | 2023-07-14 21:23:36 +0000 | [diff] [blame] | 227 | auto result = mbrtoc16(&out, "\xf8\xa1\xa2\xa3\xa4", 5, nullptr); |
Dan Albert | 78da292 | 2023-07-19 18:23:46 +0000 | [diff] [blame] | 228 | if (kLibcRejectsOverLongUtf8Sequences) { |
Dan Albert | 1252ab0 | 2023-07-14 21:23:36 +0000 | [diff] [blame] | 229 | EXPECT_EQ(static_cast<size_t>(-1), result); |
| 230 | EXPECT_EQ(EILSEQ, errno); |
| 231 | EXPECT_EQ(u'\0', out); |
Dan Albert | 78da292 | 2023-07-19 18:23:46 +0000 | [diff] [blame] | 232 | } else { |
| 233 | EXPECT_EQ(5U, result); |
| 234 | EXPECT_EQ(0, errno); |
| 235 | EXPECT_EQ(u'\uf94a', out); |
Dan Albert | 1252ab0 | 2023-07-14 21:23:36 +0000 | [diff] [blame] | 236 | } |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 237 | } |
| 238 | |
| 239 | TEST(uchar, mbrtoc16_reserved_range) { |
Dan Albert | ef8e158 | 2023-07-19 19:34:12 +0000 | [diff] [blame] | 240 | ASSERT_STREQ("C.UTF-8", setlocale(LC_CTYPE, "C.UTF-8")); |
| 241 | |
| 242 | errno = 0; |
| 243 | char16_t out = u'\0'; |
| 244 | EXPECT_EQ(static_cast<size_t>(-1), mbrtoc16(&out, "\xf0\x80\xbf\xbf", 6, nullptr)); |
| 245 | EXPECT_EQ(u'\0', out); |
| 246 | EXPECT_EQ(EILSEQ, errno); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 247 | } |
| 248 | |
| 249 | TEST(uchar, mbrtoc16_beyond_range) { |
Dan Albert | f5b8c7d | 2023-07-19 19:38:11 +0000 | [diff] [blame^] | 250 | ASSERT_STREQ("C.UTF-8", setlocale(LC_CTYPE, "C.UTF-8")); |
| 251 | |
| 252 | errno = 0; |
| 253 | char16_t out = u'\0'; |
| 254 | auto result = mbrtoc16(&out, "\xf5\x80\x80\x80", 6, nullptr); |
| 255 | if (kLibcRejectsOverLongUtf8Sequences) { |
| 256 | EXPECT_EQ(static_cast<size_t>(-1), result); |
| 257 | EXPECT_EQ(u'\0', out); |
| 258 | EXPECT_EQ(EILSEQ, errno); |
| 259 | } else { |
| 260 | EXPECT_EQ(4U, result); |
| 261 | EXPECT_EQ(u'\xdcc0', out); |
| 262 | EXPECT_EQ(0, errno); |
| 263 | } |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 264 | } |
| 265 | |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 266 | void test_mbrtoc16_incomplete(mbstate_t* ps) { |
| 267 | ASSERT_STREQ("C.UTF-8", setlocale(LC_CTYPE, "C.UTF-8")); |
| 268 | uselocale(LC_GLOBAL_LOCALE); |
| 269 | |
| 270 | char16_t out; |
| 271 | // 2-byte UTF-8. |
| 272 | ASSERT_EQ(static_cast<size_t>(-2), mbrtoc16(&out, "\xc2", 1, ps)); |
| 273 | ASSERT_EQ(1U, mbrtoc16(&out, "\xa2" "cdef", 5, ps)); |
| 274 | ASSERT_EQ(static_cast<char16_t>(0x00a2), out); |
| 275 | ASSERT_TRUE(mbsinit(ps)); |
| 276 | // 3-byte UTF-8. |
| 277 | ASSERT_EQ(static_cast<size_t>(-2), mbrtoc16(&out, "\xe2", 1, ps)); |
| 278 | ASSERT_EQ(static_cast<size_t>(-2), mbrtoc16(&out, "\x82", 1, ps)); |
| 279 | ASSERT_EQ(1U, mbrtoc16(&out, "\xac" "def", 4, ps)); |
| 280 | ASSERT_EQ(static_cast<char16_t>(0x20ac), out); |
| 281 | ASSERT_TRUE(mbsinit(ps)); |
| 282 | // 4-byte UTF-8. |
| 283 | ASSERT_EQ(static_cast<size_t>(-2), mbrtoc16(&out, "\xf4", 1, ps)); |
| 284 | ASSERT_EQ(static_cast<size_t>(-2), mbrtoc16(&out, "\x8a\xaf", 2, ps)); |
Dan Albert | 1e8e0c1 | 2023-07-19 19:14:45 +0000 | [diff] [blame] | 285 | #ifdef __BIONIC__ |
| 286 | // https://issuetracker.google.com/289419882 |
| 287 | // See explanation in mbrtoc16 test for the same bug. |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 288 | ASSERT_EQ(static_cast<size_t>(-3), mbrtoc16(&out, "\x8d" "ef", 3, ps)); |
| 289 | ASSERT_EQ(static_cast<char16_t>(0xdbea), out); |
| 290 | ASSERT_EQ(1U, mbrtoc16(&out, "\x80" "ef", 3, ps)); |
| 291 | ASSERT_EQ(static_cast<char16_t>(0xdfcd), out); |
Dan Albert | 1e8e0c1 | 2023-07-19 19:14:45 +0000 | [diff] [blame] | 292 | #else |
| 293 | ASSERT_EQ(1U, mbrtoc16(&out, |
| 294 | "\x8d" |
| 295 | "ef", |
| 296 | 3, ps)); |
| 297 | ASSERT_EQ(static_cast<char16_t>(0xdbea), out); |
| 298 | ASSERT_EQ(static_cast<size_t>(-3), mbrtoc16(&out, |
| 299 | "\x80" |
| 300 | "ef", |
| 301 | 3, ps)); |
| 302 | ASSERT_EQ(static_cast<char16_t>(0xdfcd), out); |
| 303 | #endif |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 304 | ASSERT_TRUE(mbsinit(ps)); |
| 305 | |
| 306 | // Invalid 2-byte |
| 307 | ASSERT_EQ(static_cast<size_t>(-2), mbrtoc16(&out, "\xc2", 1, ps)); |
Elliott Hughes | 3d8156d | 2021-11-05 17:47:07 -0700 | [diff] [blame] | 308 | errno = 0; |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 309 | ASSERT_EQ(static_cast<size_t>(-1), mbrtoc16(&out, "\x20" "cdef", 5, ps)); |
| 310 | ASSERT_EQ(EILSEQ, errno); |
| 311 | } |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 312 | |
| 313 | TEST(uchar, mbrtoc16_incomplete) { |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 314 | mbstate_t ps; |
| 315 | memset(&ps, 0, sizeof(ps)); |
| 316 | |
| 317 | test_mbrtoc16_incomplete(&ps); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 318 | test_mbrtoc16_incomplete(nullptr); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 319 | } |
| 320 | |
| 321 | TEST(uchar, c32rtomb) { |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 322 | EXPECT_EQ(1U, c32rtomb(nullptr, L'\0', nullptr)); |
| 323 | EXPECT_EQ(1U, c32rtomb(nullptr, L'h', nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 324 | |
| 325 | char bytes[MB_LEN_MAX]; |
| 326 | |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 327 | memset(bytes, 1, sizeof(bytes)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 328 | EXPECT_EQ(1U, c32rtomb(bytes, L'\0', nullptr)); |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 329 | EXPECT_EQ('\0', bytes[0]); |
| 330 | EXPECT_EQ('\x01', bytes[1]); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 331 | |
| 332 | memset(bytes, 0, sizeof(bytes)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 333 | EXPECT_EQ(1U, c32rtomb(bytes, L'h', nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 334 | EXPECT_EQ('h', bytes[0]); |
| 335 | |
| 336 | ASSERT_STREQ("C.UTF-8", setlocale(LC_CTYPE, "C.UTF-8")); |
| 337 | uselocale(LC_GLOBAL_LOCALE); |
| 338 | |
| 339 | // 1-byte UTF-8. |
| 340 | memset(bytes, 0, sizeof(bytes)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 341 | EXPECT_EQ(1U, c32rtomb(bytes, L'h', nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 342 | EXPECT_EQ('h', bytes[0]); |
| 343 | // 2-byte UTF-8. |
| 344 | memset(bytes, 0, sizeof(bytes)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 345 | EXPECT_EQ(2U, c32rtomb(bytes, 0x00a2, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 346 | EXPECT_EQ('\xc2', bytes[0]); |
| 347 | EXPECT_EQ('\xa2', bytes[1]); |
| 348 | // 3-byte UTF-8. |
| 349 | memset(bytes, 0, sizeof(bytes)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 350 | EXPECT_EQ(3U, c32rtomb(bytes, 0x20ac, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 351 | EXPECT_EQ('\xe2', bytes[0]); |
| 352 | EXPECT_EQ('\x82', bytes[1]); |
| 353 | EXPECT_EQ('\xac', bytes[2]); |
| 354 | // 4-byte UTF-8. |
| 355 | memset(bytes, 0, sizeof(bytes)); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 356 | EXPECT_EQ(4U, c32rtomb(bytes, 0x24b62, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 357 | EXPECT_EQ('\xf0', bytes[0]); |
| 358 | EXPECT_EQ('\xa4', bytes[1]); |
| 359 | EXPECT_EQ('\xad', bytes[2]); |
| 360 | EXPECT_EQ('\xa2', bytes[3]); |
| 361 | // Invalid code point. |
Elliott Hughes | 3d8156d | 2021-11-05 17:47:07 -0700 | [diff] [blame] | 362 | errno = 0; |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 363 | EXPECT_EQ(static_cast<size_t>(-1), c32rtomb(bytes, 0xffffffff, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 364 | EXPECT_EQ(EILSEQ, errno); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 365 | } |
| 366 | |
Elliott Hughes | 402c762 | 2018-07-06 17:18:05 -0700 | [diff] [blame] | 367 | TEST(uchar, mbrtoc32_valid_non_characters) { |
Elliott Hughes | 402c762 | 2018-07-06 17:18:05 -0700 | [diff] [blame] | 368 | ASSERT_STREQ("C.UTF-8", setlocale(LC_CTYPE, "C.UTF-8")); |
| 369 | uselocale(LC_GLOBAL_LOCALE); |
| 370 | |
| 371 | char32_t out[8] = {}; |
| 372 | ASSERT_EQ(3U, mbrtoc32(out, "\xef\xbf\xbe", 3, nullptr)); |
| 373 | ASSERT_EQ(0xfffeU, out[0]); |
| 374 | ASSERT_EQ(3U, mbrtoc32(out, "\xef\xbf\xbf", 3, nullptr)); |
| 375 | ASSERT_EQ(0xffffU, out[0]); |
Elliott Hughes | 402c762 | 2018-07-06 17:18:05 -0700 | [diff] [blame] | 376 | } |
| 377 | |
| 378 | TEST(uchar, mbrtoc32_out_of_range) { |
Elliott Hughes | 402c762 | 2018-07-06 17:18:05 -0700 | [diff] [blame] | 379 | ASSERT_STREQ("C.UTF-8", setlocale(LC_CTYPE, "C.UTF-8")); |
| 380 | uselocale(LC_GLOBAL_LOCALE); |
| 381 | |
Dan Albert | 9fa76f1 | 2023-07-18 22:58:53 +0000 | [diff] [blame] | 382 | char32_t out = U'\0'; |
Elliott Hughes | 402c762 | 2018-07-06 17:18:05 -0700 | [diff] [blame] | 383 | errno = 0; |
Dan Albert | 9fa76f1 | 2023-07-18 22:58:53 +0000 | [diff] [blame] | 384 | auto result = mbrtoc32(&out, "\xf5\x80\x80\x80", 4, nullptr); |
Dan Albert | 78da292 | 2023-07-19 18:23:46 +0000 | [diff] [blame] | 385 | if (kLibcRejectsOverLongUtf8Sequences) { |
Dan Albert | 9fa76f1 | 2023-07-18 22:58:53 +0000 | [diff] [blame] | 386 | EXPECT_EQ(static_cast<size_t>(-1), result); |
| 387 | EXPECT_EQ(EILSEQ, errno); |
| 388 | EXPECT_EQ(U'\0', out); |
Dan Albert | 78da292 | 2023-07-19 18:23:46 +0000 | [diff] [blame] | 389 | } else { |
| 390 | EXPECT_EQ(4U, result); |
| 391 | EXPECT_EQ(0, errno); |
| 392 | EXPECT_EQ(U'\x140000', out); |
Dan Albert | 9fa76f1 | 2023-07-18 22:58:53 +0000 | [diff] [blame] | 393 | } |
Elliott Hughes | 402c762 | 2018-07-06 17:18:05 -0700 | [diff] [blame] | 394 | } |
| 395 | |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 396 | TEST(uchar, mbrtoc32) { |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 397 | char32_t out[8]; |
| 398 | |
Alexander Ivchenko | 68b0166 | 2014-06-11 16:20:54 +0400 | [diff] [blame] | 399 | out[0] = L'x'; |
Dan Albert | 9a9bbe5 | 2023-07-18 23:12:47 +0000 | [diff] [blame] | 400 | EXPECT_EQ(kExpectedResultForZeroLength, mbrtoc32(out, "hello", 0, nullptr)); |
Dan Albert | 0b8fbdf | 2023-07-18 22:21:36 +0000 | [diff] [blame] | 401 | EXPECT_EQ(static_cast<char32_t>(L'x'), out[0]); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 402 | |
Dan Albert | 9a9bbe5 | 2023-07-18 23:12:47 +0000 | [diff] [blame] | 403 | EXPECT_EQ(kExpectedResultForZeroLength, mbrtoc32(out, "hello", 0, nullptr)); |
| 404 | EXPECT_EQ(kExpectedResultForZeroLength, mbrtoc32(out, "", 0, nullptr)); |
Dan Albert | 0b8fbdf | 2023-07-18 22:21:36 +0000 | [diff] [blame] | 405 | EXPECT_EQ(1U, mbrtoc32(out, "hello", 1, nullptr)); |
| 406 | EXPECT_EQ(static_cast<char32_t>(L'h'), out[0]); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 407 | |
Dan Albert | 9a9bbe5 | 2023-07-18 23:12:47 +0000 | [diff] [blame] | 408 | EXPECT_EQ(kExpectedResultForZeroLength, mbrtoc32(nullptr, "hello", 0, nullptr)); |
| 409 | EXPECT_EQ(kExpectedResultForZeroLength, mbrtoc32(nullptr, "", 0, nullptr)); |
Dan Albert | 0b8fbdf | 2023-07-18 22:21:36 +0000 | [diff] [blame] | 410 | EXPECT_EQ(1U, mbrtoc32(nullptr, "hello", 1, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 411 | |
Dan Albert | 0b8fbdf | 2023-07-18 22:21:36 +0000 | [diff] [blame] | 412 | EXPECT_EQ(0U, mbrtoc32(nullptr, nullptr, 0, nullptr)); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 413 | |
| 414 | ASSERT_STREQ("C.UTF-8", setlocale(LC_CTYPE, "C.UTF-8")); |
| 415 | uselocale(LC_GLOBAL_LOCALE); |
| 416 | |
| 417 | // 1-byte UTF-8. |
Dan Albert | 0b8fbdf | 2023-07-18 22:21:36 +0000 | [diff] [blame] | 418 | EXPECT_EQ(1U, mbrtoc32(out, "abcdef", 6, nullptr)); |
| 419 | EXPECT_EQ(static_cast<char32_t>(L'a'), out[0]); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 420 | // 2-byte UTF-8. |
Dan Albert | 0b8fbdf | 2023-07-18 22:21:36 +0000 | [diff] [blame] | 421 | EXPECT_EQ(2U, mbrtoc32(out, |
| 422 | "\xc2\xa2" |
| 423 | "cdef", |
| 424 | 6, nullptr)); |
| 425 | EXPECT_EQ(static_cast<char32_t>(0x00a2), out[0]); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 426 | // 3-byte UTF-8. |
Dan Albert | 0b8fbdf | 2023-07-18 22:21:36 +0000 | [diff] [blame] | 427 | EXPECT_EQ(3U, mbrtoc32(out, |
| 428 | "\xe2\x82\xac" |
| 429 | "def", |
| 430 | 6, nullptr)); |
| 431 | EXPECT_EQ(static_cast<char32_t>(0x20ac), out[0]); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 432 | // 4-byte UTF-8. |
Dan Albert | 0b8fbdf | 2023-07-18 22:21:36 +0000 | [diff] [blame] | 433 | EXPECT_EQ(4U, mbrtoc32(out, |
| 434 | "\xf0\xa4\xad\xa2" |
| 435 | "ef", |
| 436 | 6, nullptr)); |
| 437 | EXPECT_EQ(static_cast<char32_t>(0x24b62), out[0]); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 438 | #if defined(__BIONIC__) // glibc allows this. |
| 439 | // Illegal 5-byte UTF-8. |
Elliott Hughes | 3d8156d | 2021-11-05 17:47:07 -0700 | [diff] [blame] | 440 | errno = 0; |
Dan Albert | 0b8fbdf | 2023-07-18 22:21:36 +0000 | [diff] [blame] | 441 | EXPECT_EQ(static_cast<size_t>(-1), mbrtoc32(out, |
| 442 | "\xf8\xa1\xa2\xa3\xa4" |
| 443 | "f", |
| 444 | 6, nullptr)); |
| 445 | EXPECT_EQ(EILSEQ, errno); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 446 | #endif |
| 447 | // Illegal over-long sequence. |
Elliott Hughes | 3d8156d | 2021-11-05 17:47:07 -0700 | [diff] [blame] | 448 | errno = 0; |
Dan Albert | 0b8fbdf | 2023-07-18 22:21:36 +0000 | [diff] [blame] | 449 | EXPECT_EQ(static_cast<size_t>(-1), mbrtoc32(out, |
| 450 | "\xf0\x82\x82\xac" |
| 451 | "ef", |
| 452 | 6, nullptr)); |
| 453 | EXPECT_EQ(EILSEQ, errno); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 454 | } |
| 455 | |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 456 | void test_mbrtoc32_incomplete(mbstate_t* ps) { |
| 457 | ASSERT_STREQ("C.UTF-8", setlocale(LC_CTYPE, "C.UTF-8")); |
| 458 | uselocale(LC_GLOBAL_LOCALE); |
| 459 | |
| 460 | char32_t out; |
| 461 | // 2-byte UTF-8. |
| 462 | ASSERT_EQ(static_cast<size_t>(-2), mbrtoc32(&out, "\xc2", 1, ps)); |
| 463 | ASSERT_EQ(1U, mbrtoc32(&out, "\xa2" "cdef", 5, ps)); |
| 464 | ASSERT_EQ(static_cast<char32_t>(0x00a2), out); |
| 465 | ASSERT_TRUE(mbsinit(ps)); |
| 466 | // 3-byte UTF-8. |
| 467 | ASSERT_EQ(static_cast<size_t>(-2), mbrtoc32(&out, "\xe2", 1, ps)); |
| 468 | ASSERT_EQ(static_cast<size_t>(-2), mbrtoc32(&out, "\x82", 1, ps)); |
| 469 | ASSERT_EQ(1U, mbrtoc32(&out, "\xac" "def", 4, ps)); |
| 470 | ASSERT_EQ(static_cast<char32_t>(0x20ac), out); |
| 471 | ASSERT_TRUE(mbsinit(ps)); |
| 472 | // 4-byte UTF-8. |
| 473 | ASSERT_EQ(static_cast<size_t>(-2), mbrtoc32(&out, "\xf0", 1, ps)); |
| 474 | ASSERT_EQ(static_cast<size_t>(-2), mbrtoc32(&out, "\xa4\xad", 2, ps)); |
| 475 | ASSERT_EQ(1U, mbrtoc32(&out, "\xa2" "ef", 3, ps)); |
| 476 | ASSERT_EQ(static_cast<char32_t>(0x24b62), out); |
| 477 | ASSERT_TRUE(mbsinit(ps)); |
| 478 | |
| 479 | // Invalid 2-byte |
| 480 | ASSERT_EQ(static_cast<size_t>(-2), mbrtoc32(&out, "\xc2", 1, ps)); |
Elliott Hughes | 3d8156d | 2021-11-05 17:47:07 -0700 | [diff] [blame] | 481 | errno = 0; |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 482 | ASSERT_EQ(static_cast<size_t>(-1), mbrtoc32(&out, "\x20" "cdef", 5, ps)); |
| 483 | ASSERT_EQ(EILSEQ, errno); |
| 484 | } |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 485 | |
| 486 | TEST(uchar, mbrtoc32_incomplete) { |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 487 | mbstate_t ps; |
| 488 | memset(&ps, 0, sizeof(ps)); |
| 489 | |
| 490 | test_mbrtoc32_incomplete(&ps); |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 491 | test_mbrtoc32_incomplete(nullptr); |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 492 | } |