/src/libidn/lib/gl/unistr/u8-check.c
Line  | Count  | Source  | 
1  |  | /* Check UTF-8 string.  | 
2  |  |    Copyright (C) 2002, 2006-2007, 2009-2023 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  |  | #include <config.h>  | 
19  |  |  | 
20  |  | /* Specification.  */  | 
21  |  | #include "unistr.h"  | 
22  |  |  | 
23  |  | const uint8_t *  | 
24  |  | u8_check (const uint8_t *s, size_t n)  | 
25  | 18.6M  | { | 
26  | 18.6M  |   const uint8_t *s_end = s + n;  | 
27  |  |  | 
28  | 38.4M  |   while (s < s_end)  | 
29  | 19.8M  |     { | 
30  |  |       /* Keep in sync with unistr.h and u8-mbtouc-aux.c.  */  | 
31  | 19.8M  |       uint8_t c = *s;  | 
32  |  |  | 
33  | 19.8M  |       if (c < 0x80)  | 
34  | 683k  |         { | 
35  | 683k  |           s++;  | 
36  | 683k  |           continue;  | 
37  | 683k  |         }  | 
38  | 19.1M  |       if (c >= 0xc2)  | 
39  | 19.1M  |         { | 
40  | 19.1M  |           if (c < 0xe0)  | 
41  | 18.8M  |             { | 
42  | 18.8M  |               if (s + 2 <= s_end  | 
43  | 18.8M  |                   && (s[1] ^ 0x80) < 0x40)  | 
44  | 18.8M  |                 { | 
45  | 18.8M  |                   s += 2;  | 
46  | 18.8M  |                   continue;  | 
47  | 18.8M  |                 }  | 
48  | 18.8M  |             }  | 
49  | 299k  |           else if (c < 0xf0)  | 
50  | 286k  |             { | 
51  | 286k  |               if (s + 3 <= s_end  | 
52  | 286k  |                   && (s[1] ^ 0x80) < 0x40 && (s[2] ^ 0x80) < 0x40  | 
53  | 286k  |                   && (c >= 0xe1 || s[1] >= 0xa0)  | 
54  | 286k  |                   && (c != 0xed || s[1] < 0xa0))  | 
55  | 285k  |                 { | 
56  | 285k  |                   s += 3;  | 
57  | 285k  |                   continue;  | 
58  | 285k  |                 }  | 
59  | 286k  |             }  | 
60  | 13.4k  |           else if (c < 0xf8)  | 
61  | 13.4k  |             { | 
62  | 13.4k  |               if (s + 4 <= s_end  | 
63  | 13.4k  |                   && (s[1] ^ 0x80) < 0x40 && (s[2] ^ 0x80) < 0x40  | 
64  | 13.4k  |                   && (s[3] ^ 0x80) < 0x40  | 
65  | 13.4k  |                   && (c >= 0xf1 || s[1] >= 0x90)  | 
66  | 13.4k  |                   && (c < 0xf4 || (c == 0xf4 && s[1] < 0x90)))  | 
67  | 12.4k  |                 { | 
68  | 12.4k  |                   s += 4;  | 
69  | 12.4k  |                   continue;  | 
70  | 12.4k  |                 }  | 
71  | 13.4k  |             }  | 
72  | 19.1M  |         }  | 
73  |  |       /* invalid or incomplete multibyte character */  | 
74  | 2.02k  |       return s;  | 
75  | 19.1M  |     }  | 
76  | 18.6M  |   return NULL;  | 
77  | 18.6M  | }  |