xref: /PHP-7.0/ext/pcre/pcrelib/pcre_xclass.c (revision 5f9df47e)
1 /*************************************************
2 *      Perl-Compatible Regular Expressions       *
3 *************************************************/
4 
5 /* PCRE is a library of functions to support regular expressions whose syntax
6 and semantics are as close as possible to those of the Perl 5 language.
7 
8                        Written by Philip Hazel
9            Copyright (c) 1997-2013 University of Cambridge
10 
11 -----------------------------------------------------------------------------
12 Redistribution and use in source and binary forms, with or without
13 modification, are permitted provided that the following conditions are met:
14 
15     * Redistributions of source code must retain the above copyright notice,
16       this list of conditions and the following disclaimer.
17 
18     * Redistributions in binary form must reproduce the above copyright
19       notice, this list of conditions and the following disclaimer in the
20       documentation and/or other materials provided with the distribution.
21 
22     * Neither the name of the University of Cambridge nor the names of its
23       contributors may be used to endorse or promote products derived from
24       this software without specific prior written permission.
25 
26 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
27 AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
28 IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
29 ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
30 LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
31 CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
32 SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
33 INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
34 CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
35 ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
36 POSSIBILITY OF SUCH DAMAGE.
37 -----------------------------------------------------------------------------
38 */
39 
40 
41 /* This module contains an internal function that is used to match an extended
42 class. It is used by both pcre_exec() and pcre_def_exec(). */
43 
44 
45 #include "config.h"
46 
47 #include "pcre_internal.h"
48 
49 
50 /*************************************************
51 *       Match character against an XCLASS        *
52 *************************************************/
53 
54 /* This function is called to match a character against an extended class that
55 might contain values > 255 and/or Unicode properties.
56 
57 Arguments:
58   c           the character
59   data        points to the flag byte of the XCLASS data
60 
61 Returns:      TRUE if character matches, else FALSE
62 */
63 
64 BOOL
PRIV(xclass)65 PRIV(xclass)(pcre_uint32 c, const pcre_uchar *data, BOOL utf)
66 {
67 pcre_uchar t;
68 BOOL negated = (*data & XCL_NOT) != 0;
69 
70 (void)utf;
71 #ifdef COMPILE_PCRE8
72 /* In 8 bit mode, this must always be TRUE. Help the compiler to know that. */
73 utf = TRUE;
74 #endif
75 
76 /* Character values < 256 are matched against a bitmap, if one is present. If
77 not, we still carry on, because there may be ranges that start below 256 in the
78 additional data. */
79 
80 if (c < 256)
81   {
82   if ((*data & XCL_HASPROP) == 0)
83     {
84     if ((*data & XCL_MAP) == 0) return negated;
85     return (((pcre_uint8 *)(data + 1))[c/8] & (1 << (c&7))) != 0;
86     }
87   if ((*data & XCL_MAP) != 0 &&
88     (((pcre_uint8 *)(data + 1))[c/8] & (1 << (c&7))) != 0)
89     return !negated; /* char found */
90   }
91 
92 /* First skip the bit map if present. Then match against the list of Unicode
93 properties or large chars or ranges that end with a large char. We won't ever
94 encounter XCL_PROP or XCL_NOTPROP when UCP support is not compiled. */
95 
96 if ((*data++ & XCL_MAP) != 0) data += 32 / sizeof(pcre_uchar);
97 
98 while ((t = *data++) != XCL_END)
99   {
100   pcre_uint32 x, y;
101   if (t == XCL_SINGLE)
102     {
103 #ifdef SUPPORT_UTF
104     if (utf)
105       {
106       GETCHARINC(x, data); /* macro generates multiple statements */
107       }
108     else
109 #endif
110       x = *data++;
111     if (c == x) return !negated;
112     }
113   else if (t == XCL_RANGE)
114     {
115 #ifdef SUPPORT_UTF
116     if (utf)
117       {
118       GETCHARINC(x, data); /* macro generates multiple statements */
119       GETCHARINC(y, data); /* macro generates multiple statements */
120       }
121     else
122 #endif
123       {
124       x = *data++;
125       y = *data++;
126       }
127     if (c >= x && c <= y) return !negated;
128     }
129 
130 #ifdef SUPPORT_UCP
131   else  /* XCL_PROP & XCL_NOTPROP */
132     {
133     const ucd_record *prop = GET_UCD(c);
134     BOOL isprop = t == XCL_PROP;
135 
136     switch(*data)
137       {
138       case PT_ANY:
139       if (isprop) return !negated;
140       break;
141 
142       case PT_LAMP:
143       if ((prop->chartype == ucp_Lu || prop->chartype == ucp_Ll ||
144            prop->chartype == ucp_Lt) == isprop) return !negated;
145       break;
146 
147       case PT_GC:
148       if ((data[1] == PRIV(ucp_gentype)[prop->chartype]) == isprop)
149         return !negated;
150       break;
151 
152       case PT_PC:
153       if ((data[1] == prop->chartype) == isprop) return !negated;
154       break;
155 
156       case PT_SC:
157       if ((data[1] == prop->script) == isprop) return !negated;
158       break;
159 
160       case PT_ALNUM:
161       if ((PRIV(ucp_gentype)[prop->chartype] == ucp_L ||
162            PRIV(ucp_gentype)[prop->chartype] == ucp_N) == isprop)
163         return !negated;
164       break;
165 
166       /* Perl space used to exclude VT, but from Perl 5.18 it is included,
167       which means that Perl space and POSIX space are now identical. PCRE
168       was changed at release 8.34. */
169 
170       case PT_SPACE:    /* Perl space */
171       case PT_PXSPACE:  /* POSIX space */
172       switch(c)
173         {
174         HSPACE_CASES:
175         VSPACE_CASES:
176         if (isprop) return !negated;
177         break;
178 
179         default:
180         if ((PRIV(ucp_gentype)[prop->chartype] == ucp_Z) == isprop)
181           return !negated;
182         break;
183         }
184       break;
185 
186       case PT_WORD:
187       if ((PRIV(ucp_gentype)[prop->chartype] == ucp_L ||
188            PRIV(ucp_gentype)[prop->chartype] == ucp_N || c == CHAR_UNDERSCORE)
189              == isprop)
190         return !negated;
191       break;
192 
193       case PT_UCNC:
194       if (c < 0xa0)
195         {
196         if ((c == CHAR_DOLLAR_SIGN || c == CHAR_COMMERCIAL_AT ||
197              c == CHAR_GRAVE_ACCENT) == isprop)
198           return !negated;
199         }
200       else
201         {
202         if ((c < 0xd800 || c > 0xdfff) == isprop)
203           return !negated;
204         }
205       break;
206 
207       /* The following three properties can occur only in an XCLASS, as there
208       is no \p or \P coding for them. */
209 
210       /* Graphic character. Implement this as not Z (space or separator) and
211       not C (other), except for Cf (format) with a few exceptions. This seems
212       to be what Perl does. The exceptional characters are:
213 
214       U+061C           Arabic Letter Mark
215       U+180E           Mongolian Vowel Separator
216       U+2066 - U+2069  Various "isolate"s
217       */
218 
219       case PT_PXGRAPH:
220       if ((PRIV(ucp_gentype)[prop->chartype] != ucp_Z &&
221             (PRIV(ucp_gentype)[prop->chartype] != ucp_C ||
222               (prop->chartype == ucp_Cf &&
223                 c != 0x061c && c != 0x180e && (c < 0x2066 || c > 0x2069))
224          )) == isprop)
225         return !negated;
226       break;
227 
228       /* Printable character: same as graphic, with the addition of Zs, i.e.
229       not Zl and not Zp, and U+180E. */
230 
231       case PT_PXPRINT:
232       if ((prop->chartype != ucp_Zl &&
233            prop->chartype != ucp_Zp &&
234             (PRIV(ucp_gentype)[prop->chartype] != ucp_C ||
235               (prop->chartype == ucp_Cf &&
236                 c != 0x061c && (c < 0x2066 || c > 0x2069))
237          )) == isprop)
238         return !negated;
239       break;
240 
241       /* Punctuation: all Unicode punctuation, plus ASCII characters that
242       Unicode treats as symbols rather than punctuation, for Perl
243       compatibility (these are $+<=>^`|~). */
244 
245       case PT_PXPUNCT:
246       if ((PRIV(ucp_gentype)[prop->chartype] == ucp_P ||
247             (c < 128 && PRIV(ucp_gentype)[prop->chartype] == ucp_S)) == isprop)
248         return !negated;
249       break;
250 
251       /* This should never occur, but compilers may mutter if there is no
252       default. */
253 
254       default:
255       return FALSE;
256       }
257 
258     data += 2;
259     }
260 #endif  /* SUPPORT_UCP */
261   }
262 
263 return negated;   /* char did not match */
264 }
265 
266 /* End of pcre_xclass.c */
267