Coverage Report

Created: 2024-10-06 07:21

/src/libidn/lib/gl/unistr/u8-check.c
Line
Count
Source
1
/* Check UTF-8 string.
2
   Copyright (C) 2002, 2006-2007, 2009-2024 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
21.8M
{
26
21.8M
  const uint8_t *s_end = s + n;
27
28
46.7M
  while (s < s_end)
29
24.8M
    {
30
      /* Keep in sync with unistr.h and u8-mbtouc-aux.c.  */
31
24.8M
      uint8_t c = *s;
32
33
24.8M
      if (c < 0x80)
34
2.77M
        {
35
2.77M
          s++;
36
2.77M
          continue;
37
2.77M
        }
38
22.0M
      if (c >= 0xc2)
39
22.0M
        {
40
22.0M
          if (c < 0xe0)
41
21.3M
            {
42
21.3M
              if (s + 2 <= s_end
43
21.3M
                  && (s[1] ^ 0x80) < 0x40)
44
21.3M
                {
45
21.3M
                  s += 2;
46
21.3M
                  continue;
47
21.3M
                }
48
21.3M
            }
49
704k
          else if (c < 0xf0)
50
676k
            {
51
676k
              if (s + 3 <= s_end
52
676k
                  && (s[1] ^ 0x80) < 0x40 && (s[2] ^ 0x80) < 0x40
53
676k
                  && (c >= 0xe1 || s[1] >= 0xa0)
54
676k
                  && (c != 0xed || s[1] < 0xa0))
55
676k
                {
56
676k
                  s += 3;
57
676k
                  continue;
58
676k
                }
59
676k
            }
60
27.4k
          else if (c <= 0xf4)
61
27.2k
            {
62
27.2k
              if (s + 4 <= s_end
63
27.2k
                  && (s[1] ^ 0x80) < 0x40 && (s[2] ^ 0x80) < 0x40
64
27.2k
                  && (s[3] ^ 0x80) < 0x40
65
27.2k
                  && (c >= 0xf1 || s[1] >= 0x90)
66
27.2k
                  && (c < 0xf4 || (/* c == 0xf4 && */ s[1] < 0x90)))
67
26.5k
                {
68
26.5k
                  s += 4;
69
26.5k
                  continue;
70
26.5k
                }
71
27.2k
            }
72
22.0M
        }
73
      /* invalid or incomplete multibyte character */
74
2.23k
      return s;
75
22.0M
    }
76
21.8M
  return NULL;
77
21.8M
}