Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 1 | /* $OpenBSD: citrus_utf8.c,v 1.6 2012/12/05 23:19:59 deraadt Exp $ */ |
| 2 | |
| 3 | /*- |
| 4 | * Copyright (c) 2002-2004 Tim J. Robbins |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 5 | * All rights reserved. |
| 6 | * |
| 7 | * Redistribution and use in source and binary forms, with or without |
| 8 | * modification, are permitted provided that the following conditions |
| 9 | * are met: |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 10 | * 1. Redistributions of source code must retain the above copyright |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 11 | * notice, this list of conditions and the following disclaimer. |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 12 | * 2. Redistributions in binary form must reproduce the above copyright |
| 13 | * notice, this list of conditions and the following disclaimer in the |
| 14 | * documentation and/or other materials provided with the distribution. |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 15 | * |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 16 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND |
| 17 | * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
| 18 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
| 19 | * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE |
| 20 | * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL |
| 21 | * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS |
| 22 | * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) |
| 23 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT |
| 24 | * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY |
| 25 | * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 26 | * SUCH DAMAGE. |
| 27 | */ |
| 28 | |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 29 | #include <errno.h> |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 30 | #include <string.h> |
Dan Albert | a9e914d | 2023-07-21 21:41:55 +0000 | [diff] [blame^] | 31 | #include <sys/param.h> |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 32 | #include <uchar.h> |
Dan Albert | a9e914d | 2023-07-21 21:41:55 +0000 | [diff] [blame^] | 33 | #include <wchar.h> |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 34 | |
| 35 | #include "private/bionic_mbstate.h" |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 36 | |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 37 | // |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 38 | // This file is basically OpenBSD's citrus_utf8.c but rewritten to not require a |
| 39 | // 12-byte mbstate_t so we're backwards-compatible with our LP32 ABI where |
| 40 | // mbstate_t was only 4 bytes. |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 41 | // |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 42 | // The state is the UTF-8 sequence. We only support <= 4-bytes sequences so LP32 |
| 43 | // mbstate_t already has enough space (out of the 4 available bytes we only |
| 44 | // need 3 since we should never need to store the entire sequence in the |
| 45 | // intermediary state). |
| 46 | // |
| 47 | // The C standard leaves the conversion state undefined after a bad conversion. |
| 48 | // To avoid unexpected failures due to the possible use of the internal private |
| 49 | // state we always reset the conversion state when encountering illegal |
| 50 | // sequences. |
| 51 | // |
| 52 | // We also implement the POSIX interface directly rather than being accessed via |
| 53 | // function pointers. |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 54 | // |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 55 | |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 56 | int mbsinit(const mbstate_t* ps) { |
Elliott Hughes | 2c96639 | 2021-11-16 11:03:19 -0800 | [diff] [blame] | 57 | return ps == nullptr || mbstate_is_initial(ps); |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 58 | } |
| 59 | |
| 60 | size_t mbrtowc(wchar_t* pwc, const char* s, size_t n, mbstate_t* ps) { |
| 61 | static mbstate_t __private_state; |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 62 | mbstate_t* state = (ps == nullptr) ? &__private_state : ps; |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 63 | |
Elliott Hughes | 53de874 | 2016-10-24 14:50:31 -0700 | [diff] [blame] | 64 | // Our wchar_t is UTF-32. |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 65 | return mbrtoc32(reinterpret_cast<char32_t*>(pwc), s, n, state); |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 66 | } |
| 67 | |
| 68 | size_t mbsnrtowcs(wchar_t* dst, const char** src, size_t nmc, size_t len, mbstate_t* ps) { |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 69 | static mbstate_t __private_state; |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 70 | mbstate_t* state = (ps == nullptr) ? &__private_state : ps; |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 71 | size_t i, o, r; |
| 72 | |
Elliott Hughes | 89e29ee | 2016-09-29 17:21:43 -0700 | [diff] [blame] | 73 | // The fast paths in the loops below are not safe if an ASCII |
| 74 | // character appears as anything but the first byte of a |
| 75 | // multibyte sequence. Check now to avoid doing it in the loops. |
| 76 | if (nmc > 0 && mbstate_bytes_so_far(state) > 0 && static_cast<uint8_t>((*src)[0]) < 0x80) { |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 77 | return mbstate_reset_and_return_illegal(EILSEQ, state); |
Elliott Hughes | 89e29ee | 2016-09-29 17:21:43 -0700 | [diff] [blame] | 78 | } |
| 79 | |
| 80 | // Measure only? |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 81 | if (dst == nullptr) { |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 82 | for (i = o = 0; i < nmc; i += r, o++) { |
| 83 | if (static_cast<uint8_t>((*src)[i]) < 0x80) { |
| 84 | // Fast path for plain ASCII characters. |
| 85 | if ((*src)[i] == '\0') { |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 86 | return mbstate_reset_and_return(o, state); |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 87 | } |
| 88 | r = 1; |
| 89 | } else { |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 90 | r = mbrtowc(nullptr, *src + i, nmc - i, state); |
Dan Albert | a9e914d | 2023-07-21 21:41:55 +0000 | [diff] [blame^] | 91 | if (r == BIONIC_MULTIBYTE_RESULT_ILLEGAL_SEQUENCE) { |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 92 | return mbstate_reset_and_return_illegal(EILSEQ, state); |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 93 | } |
Dan Albert | a9e914d | 2023-07-21 21:41:55 +0000 | [diff] [blame^] | 94 | if (r == BIONIC_MULTIBYTE_RESULT_INCOMPLETE_SEQUENCE) { |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 95 | return mbstate_reset_and_return_illegal(EILSEQ, state); |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 96 | } |
| 97 | if (r == 0) { |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 98 | return mbstate_reset_and_return(o, state); |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 99 | } |
Elliott Hughes | 1b836ee | 2014-04-18 13:32:33 -0700 | [diff] [blame] | 100 | } |
Elliott Hughes | 0549371 | 2014-04-17 17:30:03 -0700 | [diff] [blame] | 101 | } |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 102 | return mbstate_reset_and_return(o, state); |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 103 | } |
| 104 | |
Elliott Hughes | 89e29ee | 2016-09-29 17:21:43 -0700 | [diff] [blame] | 105 | // Actually convert, updating `dst` and `src`. |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 106 | for (i = o = 0; i < nmc && o < len; i += r, o++) { |
| 107 | if (static_cast<uint8_t>((*src)[i]) < 0x80) { |
| 108 | // Fast path for plain ASCII characters. |
| 109 | dst[o] = (*src)[i]; |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 110 | r = 1; |
Dan Albert | 6b55ba5 | 2014-07-20 11:51:26 -0700 | [diff] [blame] | 111 | if ((*src)[i] == '\0') { |
Dan Albert | b6cc8e0 | 2014-07-31 11:31:03 -0700 | [diff] [blame] | 112 | *src = nullptr; |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 113 | return mbstate_reset_and_return(o, state); |
Dan Albert | 6b55ba5 | 2014-07-20 11:51:26 -0700 | [diff] [blame] | 114 | } |
Elliott Hughes | 0549371 | 2014-04-17 17:30:03 -0700 | [diff] [blame] | 115 | } else { |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 116 | r = mbrtowc(dst + o, *src + i, nmc - i, state); |
Dan Albert | a9e914d | 2023-07-21 21:41:55 +0000 | [diff] [blame^] | 117 | if (r == BIONIC_MULTIBYTE_RESULT_ILLEGAL_SEQUENCE) { |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 118 | *src += i; |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 119 | return mbstate_reset_and_return_illegal(EILSEQ, state); |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 120 | } |
Dan Albert | a9e914d | 2023-07-21 21:41:55 +0000 | [diff] [blame^] | 121 | if (r == BIONIC_MULTIBYTE_RESULT_INCOMPLETE_SEQUENCE) { |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 122 | *src += nmc; |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 123 | return mbstate_reset_and_return_illegal(EILSEQ, state); |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 124 | } |
| 125 | if (r == 0) { |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 126 | *src = nullptr; |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 127 | return mbstate_reset_and_return(o, state); |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 128 | } |
Elliott Hughes | 0549371 | 2014-04-17 17:30:03 -0700 | [diff] [blame] | 129 | } |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 130 | } |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 131 | *src += i; |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 132 | return mbstate_reset_and_return(o, state); |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 133 | } |
| 134 | |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 135 | size_t mbsrtowcs(wchar_t* dst, const char** src, size_t len, mbstate_t* ps) { |
| 136 | return mbsnrtowcs(dst, src, SIZE_MAX, len, ps); |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 137 | } |
Elliott Hughes | 2bd4316 | 2023-06-15 13:17:08 -0700 | [diff] [blame] | 138 | __strong_alias(mbsrtowcs_l, mbsrtowcs); |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 139 | |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 140 | size_t wcrtomb(char* s, wchar_t wc, mbstate_t* ps) { |
| 141 | static mbstate_t __private_state; |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 142 | mbstate_t* state = (ps == nullptr) ? &__private_state : ps; |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 143 | |
Elliott Hughes | 89e29ee | 2016-09-29 17:21:43 -0700 | [diff] [blame] | 144 | // Our wchar_t is UTF-32. |
Dan Albert | 7a7f995 | 2014-06-02 11:33:04 -0700 | [diff] [blame] | 145 | return c32rtomb(s, static_cast<char32_t>(wc), state); |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 146 | } |
| 147 | |
| 148 | size_t wcsnrtombs(char* dst, const wchar_t** src, size_t nwc, size_t len, mbstate_t* ps) { |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 149 | static mbstate_t __private_state; |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 150 | mbstate_t* state = (ps == nullptr) ? &__private_state : ps; |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 151 | |
Elliott Hughes | 2c96639 | 2021-11-16 11:03:19 -0800 | [diff] [blame] | 152 | if (!mbstate_is_initial(state)) { |
Elliott Hughes | 697f42a | 2017-07-14 17:00:05 -0700 | [diff] [blame] | 153 | return mbstate_reset_and_return_illegal(EILSEQ, state); |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 154 | } |
| 155 | |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 156 | char buf[MB_LEN_MAX]; |
| 157 | size_t i, o, r; |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 158 | if (dst == nullptr) { |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 159 | for (i = o = 0; i < nwc; i++, o += r) { |
| 160 | wchar_t wc = (*src)[i]; |
Elliott Hughes | 0d0ccfe | 2014-05-01 19:03:18 -0700 | [diff] [blame] | 161 | if (static_cast<uint32_t>(wc) < 0x80) { |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 162 | // Fast path for plain ASCII characters. |
| 163 | if (wc == 0) { |
| 164 | return o; |
| 165 | } |
| 166 | r = 1; |
| 167 | } else { |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 168 | r = wcrtomb(buf, wc, state); |
Dan Albert | a9e914d | 2023-07-21 21:41:55 +0000 | [diff] [blame^] | 169 | if (r == BIONIC_MULTIBYTE_RESULT_ILLEGAL_SEQUENCE) { |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 170 | return r; |
| 171 | } |
| 172 | } |
| 173 | } |
| 174 | return o; |
| 175 | } |
| 176 | |
| 177 | for (i = o = 0; i < nwc && o < len; i++, o += r) { |
| 178 | wchar_t wc = (*src)[i]; |
Elliott Hughes | 0d0ccfe | 2014-05-01 19:03:18 -0700 | [diff] [blame] | 179 | if (static_cast<uint32_t>(wc) < 0x80) { |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 180 | // Fast path for plain ASCII characters. |
| 181 | dst[o] = wc; |
| 182 | if (wc == 0) { |
Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 183 | *src = nullptr; |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 184 | return o; |
| 185 | } |
| 186 | r = 1; |
| 187 | } else if (len - o >= sizeof(buf)) { |
| 188 | // Enough space to translate in-place. |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 189 | r = wcrtomb(dst + o, wc, state); |
Dan Albert | a9e914d | 2023-07-21 21:41:55 +0000 | [diff] [blame^] | 190 | if (r == BIONIC_MULTIBYTE_RESULT_ILLEGAL_SEQUENCE) { |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 191 | *src += i; |
| 192 | return r; |
| 193 | } |
| 194 | } else { |
| 195 | // May not be enough space; use temp buffer. |
Calin Juravle | 15a6310 | 2014-05-08 14:38:35 +0100 | [diff] [blame] | 196 | r = wcrtomb(buf, wc, state); |
Dan Albert | a9e914d | 2023-07-21 21:41:55 +0000 | [diff] [blame^] | 197 | if (r == BIONIC_MULTIBYTE_RESULT_ILLEGAL_SEQUENCE) { |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 198 | *src += i; |
| 199 | return r; |
| 200 | } |
| 201 | if (r > len - o) { |
| 202 | break; |
| 203 | } |
| 204 | memcpy(dst + o, buf, r); |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 205 | } |
| 206 | } |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 207 | *src += i; |
| 208 | return o; |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 209 | } |
| 210 | |
Elliott Hughes | 5a0aa3d | 2014-04-30 22:03:12 -0700 | [diff] [blame] | 211 | size_t wcsrtombs(char* dst, const wchar_t** src, size_t len, mbstate_t* ps) { |
| 212 | return wcsnrtombs(dst, src, SIZE_MAX, len, ps); |
Elliott Hughes | 29c7f0b | 2012-10-22 17:05:27 -0700 | [diff] [blame] | 213 | } |
Elliott Hughes | 2bd4316 | 2023-06-15 13:17:08 -0700 | [diff] [blame] | 214 | __strong_alias(wcsrtombs_l, wcsrtombs); |