Coverage Report

Created: 2023-06-07 07:18

/src/libunistring/lib/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
}