289 lines
8.7 KiB
C
289 lines
8.7 KiB
C
/*************************************************
|
|
* Perl-Compatible Regular Expressions *
|
|
*************************************************/
|
|
|
|
/* PCRE is a library of functions to support regular expressions whose syntax
|
|
and semantics are as close as possible to those of the Perl 5 language.
|
|
|
|
Written by Philip Hazel
|
|
Original API code Copyright (c) 1997-2012 University of Cambridge
|
|
New API code Copyright (c) 2016-2022 University of Cambridge
|
|
|
|
-----------------------------------------------------------------------------
|
|
Redistribution and use in source and binary forms, with or without
|
|
modification, are permitted provided that the following conditions are met:
|
|
|
|
* Redistributions of source code must retain the above copyright notice,
|
|
this list of conditions and the following disclaimer.
|
|
|
|
* Redistributions in binary form must reproduce the above copyright
|
|
notice, this list of conditions and the following disclaimer in the
|
|
documentation and/or other materials provided with the distribution.
|
|
|
|
* Neither the name of the University of Cambridge nor the names of its
|
|
contributors may be used to endorse or promote products derived from
|
|
this software without specific prior written permission.
|
|
|
|
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
|
AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
|
|
LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
|
|
CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
|
|
SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
|
|
INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
|
CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
|
|
ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
POSSIBILITY OF SUCH DAMAGE.
|
|
-----------------------------------------------------------------------------
|
|
*/
|
|
|
|
/* This module contains an internal function that is used to match an extended
|
|
class. It is used by pcre2_auto_possessify() and by both pcre2_match() and
|
|
pcre2_def_match(). */
|
|
|
|
|
|
#ifdef HAVE_CONFIG_H
|
|
#include "config.h"
|
|
#endif
|
|
|
|
|
|
#include "pcre2_internal.h"
|
|
|
|
/*************************************************
|
|
* Match character against an XCLASS *
|
|
*************************************************/
|
|
|
|
/* This function is called to match a character against an extended class that
|
|
might contain codepoints above 255 and/or Unicode properties.
|
|
|
|
Arguments:
|
|
c the character
|
|
data points to the flag code unit of the XCLASS data
|
|
utf TRUE if in UTF mode
|
|
|
|
Returns: TRUE if character matches, else FALSE
|
|
*/
|
|
|
|
BOOL
|
|
PRIV(xclass)(uint32_t c, PCRE2_SPTR data, BOOL utf)
|
|
{
|
|
PCRE2_UCHAR t;
|
|
BOOL negated = (*data & XCL_NOT) != 0;
|
|
|
|
#if PCRE2_CODE_UNIT_WIDTH == 8
|
|
/* In 8 bit mode, this must always be TRUE. Help the compiler to know that. */
|
|
utf = TRUE;
|
|
#endif
|
|
|
|
/* Code points < 256 are matched against a bitmap, if one is present. If not,
|
|
we still carry on, because there may be ranges that start below 256 in the
|
|
additional data. */
|
|
|
|
if (c < 256)
|
|
{
|
|
if ((*data & XCL_HASPROP) == 0)
|
|
{
|
|
if ((*data & XCL_MAP) == 0) return negated;
|
|
return (((uint8_t *)(data + 1))[c/8] & (1u << (c&7))) != 0;
|
|
}
|
|
if ((*data & XCL_MAP) != 0 &&
|
|
(((uint8_t *)(data + 1))[c/8] & (1u << (c&7))) != 0)
|
|
return !negated; /* char found */
|
|
}
|
|
|
|
/* First skip the bit map if present. Then match against the list of Unicode
|
|
properties or large chars or ranges that end with a large char. We won't ever
|
|
encounter XCL_PROP or XCL_NOTPROP when UTF support is not compiled. */
|
|
|
|
if ((*data++ & XCL_MAP) != 0) data += 32 / sizeof(PCRE2_UCHAR);
|
|
|
|
while ((t = *data++) != XCL_END)
|
|
{
|
|
uint32_t x, y;
|
|
if (t == XCL_SINGLE)
|
|
{
|
|
#ifdef SUPPORT_UNICODE
|
|
if (utf)
|
|
{
|
|
GETCHARINC(x, data); /* macro generates multiple statements */
|
|
}
|
|
else
|
|
#endif
|
|
x = *data++;
|
|
if (c == x) return !negated;
|
|
}
|
|
else if (t == XCL_RANGE)
|
|
{
|
|
#ifdef SUPPORT_UNICODE
|
|
if (utf)
|
|
{
|
|
GETCHARINC(x, data); /* macro generates multiple statements */
|
|
GETCHARINC(y, data); /* macro generates multiple statements */
|
|
}
|
|
else
|
|
#endif
|
|
{
|
|
x = *data++;
|
|
y = *data++;
|
|
}
|
|
if (c >= x && c <= y) return !negated;
|
|
}
|
|
|
|
#ifdef SUPPORT_UNICODE
|
|
else /* XCL_PROP & XCL_NOTPROP */
|
|
{
|
|
const ucd_record *prop = GET_UCD(c);
|
|
BOOL isprop = t == XCL_PROP;
|
|
BOOL ok;
|
|
|
|
switch(*data)
|
|
{
|
|
case PT_ANY:
|
|
if (isprop) return !negated;
|
|
break;
|
|
|
|
case PT_LAMP:
|
|
if ((prop->chartype == ucp_Lu || prop->chartype == ucp_Ll ||
|
|
prop->chartype == ucp_Lt) == isprop) return !negated;
|
|
break;
|
|
|
|
case PT_GC:
|
|
if ((data[1] == PRIV(ucp_gentype)[prop->chartype]) == isprop)
|
|
return !negated;
|
|
break;
|
|
|
|
case PT_PC:
|
|
if ((data[1] == prop->chartype) == isprop) return !negated;
|
|
break;
|
|
|
|
case PT_SC:
|
|
if ((data[1] == prop->script) == isprop) return !negated;
|
|
break;
|
|
|
|
case PT_SCX:
|
|
ok = (data[1] == prop->script ||
|
|
MAPBIT(PRIV(ucd_script_sets) + UCD_SCRIPTX_PROP(prop), data[1]) != 0);
|
|
if (ok == isprop) return !negated;
|
|
break;
|
|
|
|
case PT_ALNUM:
|
|
if ((PRIV(ucp_gentype)[prop->chartype] == ucp_L ||
|
|
PRIV(ucp_gentype)[prop->chartype] == ucp_N) == isprop)
|
|
return !negated;
|
|
break;
|
|
|
|
/* Perl space used to exclude VT, but from Perl 5.18 it is included,
|
|
which means that Perl space and POSIX space are now identical. PCRE
|
|
was changed at release 8.34. */
|
|
|
|
case PT_SPACE: /* Perl space */
|
|
case PT_PXSPACE: /* POSIX space */
|
|
switch(c)
|
|
{
|
|
HSPACE_CASES:
|
|
VSPACE_CASES:
|
|
if (isprop) return !negated;
|
|
break;
|
|
|
|
default:
|
|
if ((PRIV(ucp_gentype)[prop->chartype] == ucp_Z) == isprop)
|
|
return !negated;
|
|
break;
|
|
}
|
|
break;
|
|
|
|
case PT_WORD:
|
|
if ((PRIV(ucp_gentype)[prop->chartype] == ucp_L ||
|
|
PRIV(ucp_gentype)[prop->chartype] == ucp_N || c == CHAR_UNDERSCORE)
|
|
== isprop)
|
|
return !negated;
|
|
break;
|
|
|
|
case PT_UCNC:
|
|
if (c < 0xa0)
|
|
{
|
|
if ((c == CHAR_DOLLAR_SIGN || c == CHAR_COMMERCIAL_AT ||
|
|
c == CHAR_GRAVE_ACCENT) == isprop)
|
|
return !negated;
|
|
}
|
|
else
|
|
{
|
|
if ((c < 0xd800 || c > 0xdfff) == isprop)
|
|
return !negated;
|
|
}
|
|
break;
|
|
|
|
case PT_BIDICL:
|
|
if ((UCD_BIDICLASS_PROP(prop) == data[1]) == isprop)
|
|
return !negated;
|
|
break;
|
|
|
|
case PT_BOOL:
|
|
ok = MAPBIT(PRIV(ucd_boolprop_sets) +
|
|
UCD_BPROPS_PROP(prop), data[1]) != 0;
|
|
if (ok == isprop) return !negated;
|
|
break;
|
|
|
|
/* The following three properties can occur only in an XCLASS, as there
|
|
is no \p or \P coding for them. */
|
|
|
|
/* Graphic character. Implement this as not Z (space or separator) and
|
|
not C (other), except for Cf (format) with a few exceptions. This seems
|
|
to be what Perl does. The exceptional characters are:
|
|
|
|
U+061C Arabic Letter Mark
|
|
U+180E Mongolian Vowel Separator
|
|
U+2066 - U+2069 Various "isolate"s
|
|
*/
|
|
|
|
case PT_PXGRAPH:
|
|
if ((PRIV(ucp_gentype)[prop->chartype] != ucp_Z &&
|
|
(PRIV(ucp_gentype)[prop->chartype] != ucp_C ||
|
|
(prop->chartype == ucp_Cf &&
|
|
c != 0x061c && c != 0x180e && (c < 0x2066 || c > 0x2069))
|
|
)) == isprop)
|
|
return !negated;
|
|
break;
|
|
|
|
/* Printable character: same as graphic, with the addition of Zs, i.e.
|
|
not Zl and not Zp, and U+180E. */
|
|
|
|
case PT_PXPRINT:
|
|
if ((prop->chartype != ucp_Zl &&
|
|
prop->chartype != ucp_Zp &&
|
|
(PRIV(ucp_gentype)[prop->chartype] != ucp_C ||
|
|
(prop->chartype == ucp_Cf &&
|
|
c != 0x061c && (c < 0x2066 || c > 0x2069))
|
|
)) == isprop)
|
|
return !negated;
|
|
break;
|
|
|
|
/* Punctuation: all Unicode punctuation, plus ASCII characters that
|
|
Unicode treats as symbols rather than punctuation, for Perl
|
|
compatibility (these are $+<=>^`|~). */
|
|
|
|
case PT_PXPUNCT:
|
|
if ((PRIV(ucp_gentype)[prop->chartype] == ucp_P ||
|
|
(c < 128 && PRIV(ucp_gentype)[prop->chartype] == ucp_S)) == isprop)
|
|
return !negated;
|
|
break;
|
|
|
|
/* This should never occur, but compilers may mutter if there is no
|
|
default. */
|
|
|
|
default:
|
|
return FALSE;
|
|
}
|
|
|
|
data += 2;
|
|
}
|
|
#else
|
|
(void)utf; /* Avoid compiler warning */
|
|
#endif /* SUPPORT_UNICODE */
|
|
}
|
|
|
|
return negated; /* char did not match */
|
|
}
|
|
|
|
/* End of pcre2_xclass.c */
|