/src/libunistring/lib/unistr/u8-check.c
Line | Count | Source |
1 | | /* Check UTF-8 string. |
2 | | Copyright (C) 2002, 2006-2007, 2009-2025 Free Software Foundation, Inc. |
3 | | Written by Bruno Haible <bruno@clisp.org>, 2002. |
4 | | |
5 | | This file is free software: you can redistribute it and/or modify |
6 | | it under the terms of the GNU Lesser General Public License as |
7 | | published by the Free Software Foundation; either version 2.1 of the |
8 | | License, or (at your option) any later version. |
9 | | |
10 | | This file is distributed in the hope that it will be useful, |
11 | | but WITHOUT ANY WARRANTY; without even the implied warranty of |
12 | | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
13 | | GNU Lesser General Public License for more details. |
14 | | |
15 | | You should have received a copy of the GNU Lesser General Public License |
16 | | along with this program. If not, see <https://www.gnu.org/licenses/>. */ |
17 | | |
18 | | /* Don't use the const-improved function macros in this compilation unit. */ |
19 | | #define _LIBUNISTRING_NO_CONST_GENERICS |
20 | | |
21 | | #include <config.h> |
22 | | |
23 | | /* Specification. */ |
24 | | #include "unistr.h" |
25 | | |
26 | | const uint8_t * |
27 | | u8_check (const uint8_t *s, size_t n) |
28 | 14.0M | { |
29 | 14.0M | const uint8_t *s_end = s + n; |
30 | | |
31 | 29.1M | while (s < s_end) |
32 | 15.1M | { |
33 | | /* Keep in sync with unistr.h and u8-mbtouc-aux.c. */ |
34 | 15.1M | uint8_t c = *s; |
35 | | |
36 | 15.1M | if (c < 0x80) |
37 | 855k | { |
38 | 855k | s++; |
39 | 855k | continue; |
40 | 855k | } |
41 | 14.3M | if (c >= 0xc2) |
42 | 14.3M | { |
43 | 14.3M | if (c < 0xe0) |
44 | 13.6M | { |
45 | 13.6M | if (s + 2 <= s_end |
46 | 13.6M | && (s[1] ^ 0x80) < 0x40) |
47 | 13.6M | { |
48 | 13.6M | s += 2; |
49 | 13.6M | continue; |
50 | 13.6M | } |
51 | 13.6M | } |
52 | 640k | else if (c < 0xf0) |
53 | 597k | { |
54 | 597k | if (s + 3 <= s_end |
55 | 597k | && (s[1] ^ 0x80) < 0x40 && (s[2] ^ 0x80) < 0x40 |
56 | 597k | && (c >= 0xe1 || s[1] >= 0xa0) |
57 | 597k | && (c != 0xed || s[1] < 0xa0)) |
58 | 596k | { |
59 | 596k | s += 3; |
60 | 596k | continue; |
61 | 596k | } |
62 | 597k | } |
63 | 43.2k | else if (c <= 0xf4) |
64 | 43.0k | { |
65 | 43.0k | if (s + 4 <= s_end |
66 | 43.0k | && (s[1] ^ 0x80) < 0x40 && (s[2] ^ 0x80) < 0x40 |
67 | 43.0k | && (s[3] ^ 0x80) < 0x40 |
68 | 43.0k | && (c >= 0xf1 || s[1] >= 0x90) |
69 | 42.8k | && (c < 0xf4 || (/* c == 0xf4 && */ s[1] < 0x90))) |
70 | 42.4k | { |
71 | 42.4k | s += 4; |
72 | 42.4k | continue; |
73 | 42.4k | } |
74 | 43.0k | } |
75 | 14.3M | } |
76 | | /* invalid or incomplete multibyte character */ |
77 | 1.99k | return s; |
78 | 14.3M | } |
79 | 14.0M | return NULL; |
80 | 14.0M | } |