/[pcre]/code/trunk/pcreposix.c
ViewVC logotype

Contents of /code/trunk/pcreposix.c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 507 - (hide annotations) (download)
Wed Mar 10 16:08:01 2010 UTC (4 years, 8 months ago) by ph10
File MIME type: text/plain
File size: 14456 byte(s)
Tidies for 8.02-RC1 release.

1 nigel 3 /*************************************************
2     * Perl-Compatible Regular Expressions *
3     *************************************************/
4    
5 nigel 77 /* 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 nigel 3
8 nigel 77 Written by Philip Hazel
9 ph10 388 Copyright (c) 1997-2009 University of Cambridge
10 nigel 3
11     -----------------------------------------------------------------------------
12 nigel 75 Redistribution and use in source and binary forms, with or without
13     modification, are permitted provided that the following conditions are met:
14 nigel 3
15 nigel 75 * Redistributions of source code must retain the above copyright notice,
16     this list of conditions and the following disclaimer.
17 nigel 3
18 nigel 75 * 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 nigel 3
22 nigel 75 * 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 nigel 29
26 nigel 75 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 nigel 3 -----------------------------------------------------------------------------
38     */
39    
40 nigel 77
41     /* This module is a wrapper that provides a POSIX API to the underlying PCRE
42     functions. */
43    
44    
45 ph10 200 #ifdef HAVE_CONFIG_H
46 ph10 236 #include "config.h"
47 ph10 200 #endif
48 ph10 199
49    
50 ph10 200 /* Ensure that the PCREPOSIX_EXP_xxx macros are set appropriately for
51 ph10 199 compiling these functions. This must come before including pcreposix.h, where
52     they are set for an application (using these functions) if they have not
53     previously been set. */
54    
55     #if defined(_WIN32) && !defined(PCRE_STATIC)
56     # define PCREPOSIX_EXP_DECL extern __declspec(dllexport)
57     # define PCREPOSIX_EXP_DEFN __declspec(dllexport)
58     #endif
59    
60 ph10 236 #include "pcre.h"
61 nigel 77 #include "pcre_internal.h"
62 nigel 3 #include "pcreposix.h"
63    
64    
65 nigel 77 /* Table to translate PCRE compile time error codes into POSIX error codes. */
66 nigel 3
67 nigel 73 static const int eint[] = {
68 nigel 77 0, /* no error */
69     REG_EESCAPE, /* \ at end of pattern */
70     REG_EESCAPE, /* \c at end of pattern */
71     REG_EESCAPE, /* unrecognized character follows \ */
72     REG_BADBR, /* numbers out of order in {} quantifier */
73 ph10 461 /* 5 */
74 nigel 77 REG_BADBR, /* number too big in {} quantifier */
75     REG_EBRACK, /* missing terminating ] for character class */
76     REG_ECTYPE, /* invalid escape sequence in character class */
77     REG_ERANGE, /* range out of order in character class */
78     REG_BADRPT, /* nothing to repeat */
79 ph10 461 /* 10 */
80 nigel 77 REG_BADRPT, /* operand of unlimited repeat could match the empty string */
81     REG_ASSERT, /* internal error: unexpected repeat */
82     REG_BADPAT, /* unrecognized character after (? */
83     REG_BADPAT, /* POSIX named classes are supported only within a class */
84     REG_EPAREN, /* missing ) */
85 ph10 461 /* 15 */
86 nigel 77 REG_ESUBREG, /* reference to non-existent subpattern */
87     REG_INVARG, /* erroffset passed as NULL */
88     REG_INVARG, /* unknown option bit(s) set */
89     REG_EPAREN, /* missing ) after comment */
90     REG_ESIZE, /* parentheses nested too deeply */
91 ph10 461 /* 20 */
92 nigel 77 REG_ESIZE, /* regular expression too large */
93     REG_ESPACE, /* failed to get memory */
94 ph10 418 REG_EPAREN, /* unmatched parentheses */
95 nigel 77 REG_ASSERT, /* internal error: code overflow */
96     REG_BADPAT, /* unrecognized character after (?< */
97 ph10 461 /* 25 */
98 nigel 77 REG_BADPAT, /* lookbehind assertion is not fixed length */
99 nigel 91 REG_BADPAT, /* malformed number or name after (?( */
100 nigel 93 REG_BADPAT, /* conditional group contains more than two branches */
101 nigel 77 REG_BADPAT, /* assertion expected after (?( */
102 ph10 166 REG_BADPAT, /* (?R or (?[+-]digits must be followed by ) */
103 ph10 461 /* 30 */
104 nigel 77 REG_ECTYPE, /* unknown POSIX class name */
105     REG_BADPAT, /* POSIX collating elements are not supported */
106     REG_INVARG, /* this version of PCRE is not compiled with PCRE_UTF8 support */
107     REG_BADPAT, /* spare error */
108     REG_BADPAT, /* character value in \x{...} sequence is too large */
109 ph10 461 /* 35 */
110 nigel 77 REG_BADPAT, /* invalid condition (?(0) */
111     REG_BADPAT, /* \C not allowed in lookbehind assertion */
112     REG_EESCAPE, /* PCRE does not support \L, \l, \N, \U, or \u */
113     REG_BADPAT, /* number after (?C is > 255 */
114     REG_BADPAT, /* closing ) for (?C expected */
115 ph10 461 /* 40 */
116 nigel 77 REG_BADPAT, /* recursive call could loop indefinitely */
117     REG_BADPAT, /* unrecognized character after (?P */
118 nigel 93 REG_BADPAT, /* syntax error in subpattern name (missing terminator) */
119 nigel 91 REG_BADPAT, /* two named subpatterns have the same name */
120 nigel 77 REG_BADPAT, /* invalid UTF-8 string */
121 ph10 461 /* 45 */
122 nigel 77 REG_BADPAT, /* support for \P, \p, and \X has not been compiled */
123     REG_BADPAT, /* malformed \P or \p sequence */
124 nigel 91 REG_BADPAT, /* unknown property name after \P or \p */
125     REG_BADPAT, /* subpattern name is too long (maximum 32 characters) */
126     REG_BADPAT, /* too many named subpatterns (maximum 10,000) */
127 ph10 461 /* 50 */
128 nigel 91 REG_BADPAT, /* repeated subpattern is too long */
129 nigel 93 REG_BADPAT, /* octal value is greater than \377 (not in UTF-8 mode) */
130     REG_BADPAT, /* internal error: overran compiling workspace */
131     REG_BADPAT, /* internal error: previously-checked referenced subpattern not found */
132     REG_BADPAT, /* DEFINE group contains more than one branch */
133 ph10 461 /* 55 */
134 nigel 93 REG_BADPAT, /* repeating a DEFINE group is not allowed */
135     REG_INVARG, /* inconsistent NEWLINE options */
136 ph10 166 REG_BADPAT, /* \g is not followed followed by an (optionally braced) non-zero number */
137 ph10 418 REG_BADPAT, /* a numbered reference must not be zero */
138     REG_BADPAT, /* (*VERB) with an argument is not supported */
139     /* 60 */
140 ph10 461 REG_BADPAT, /* (*VERB) not recognized */
141 ph10 268 REG_BADPAT, /* number is too big */
142 ph10 286 REG_BADPAT, /* subpattern name expected */
143 ph10 336 REG_BADPAT, /* digit expected after (?+ */
144 ph10 457 REG_BADPAT, /* ] is an invalid data character in JavaScript compatibility mode */
145     /* 65 */
146 ph10 461 REG_BADPAT /* different names for subpatterns of the same number are not allowed */
147 nigel 3 };
148    
149     /* Table of texts corresponding to POSIX error codes */
150    
151 nigel 73 static const char *const pstring[] = {
152 nigel 3 "", /* Dummy for value 0 */
153     "internal error", /* REG_ASSERT */
154     "invalid repeat counts in {}", /* BADBR */
155     "pattern error", /* BADPAT */
156     "? * + invalid", /* BADRPT */
157     "unbalanced {}", /* EBRACE */
158     "unbalanced []", /* EBRACK */
159     "collation error - not relevant", /* ECOLLATE */
160     "bad class", /* ECTYPE */
161     "bad escape sequence", /* EESCAPE */
162     "empty expression", /* EMPTY */
163     "unbalanced ()", /* EPAREN */
164     "bad range inside []", /* ERANGE */
165     "expression too big", /* ESIZE */
166     "failed to get memory", /* ESPACE */
167     "bad back reference", /* ESUBREG */
168     "bad argument", /* INVARG */
169     "match failed" /* NOMATCH */
170     };
171    
172    
173    
174    
175     /*************************************************
176     * Translate error code to string *
177     *************************************************/
178    
179 ph10 359 PCREPOSIX_EXP_DEFN size_t PCRE_CALL_CONVENTION
180 nigel 3 regerror(int errcode, const regex_t *preg, char *errbuf, size_t errbuf_size)
181     {
182 nigel 7 const char *message, *addmessage;
183     size_t length, addlength;
184 nigel 3
185 nigel 7 message = (errcode >= (int)(sizeof(pstring)/sizeof(char *)))?
186 nigel 3 "unknown error code" : pstring[errcode];
187 nigel 7 length = strlen(message) + 1;
188 nigel 3
189 nigel 7 addmessage = " at offset ";
190     addlength = (preg != NULL && (int)preg->re_erroffset != -1)?
191     strlen(addmessage) + 6 : 0;
192 nigel 3
193     if (errbuf_size > 0)
194     {
195 nigel 7 if (addlength > 0 && errbuf_size >= length + addlength)
196 nigel 23 sprintf(errbuf, "%s%s%-6d", message, addmessage, (int)preg->re_erroffset);
197 nigel 3 else
198     {
199     strncpy(errbuf, message, errbuf_size - 1);
200     errbuf[errbuf_size-1] = 0;
201     }
202     }
203    
204 nigel 7 return length + addlength;
205 nigel 3 }
206    
207    
208    
209    
210     /*************************************************
211     * Free store held by a regex *
212     *************************************************/
213    
214 ph10 359 PCREPOSIX_EXP_DEFN void PCRE_CALL_CONVENTION
215 nigel 3 regfree(regex_t *preg)
216     {
217     (pcre_free)(preg->re_pcre);
218     }
219    
220    
221    
222    
223     /*************************************************
224     * Compile a regular expression *
225     *************************************************/
226    
227     /*
228     Arguments:
229     preg points to a structure for recording the compiled expression
230     pattern the pattern to compile
231     cflags compilation flags
232    
233     Returns: 0 on success
234     various non-zero codes on failure
235     */
236    
237 ph10 359 PCREPOSIX_EXP_DEFN int PCRE_CALL_CONVENTION
238 nigel 3 regcomp(regex_t *preg, const char *pattern, int cflags)
239     {
240 nigel 7 const char *errorptr;
241 nigel 3 int erroffset;
242 nigel 77 int errorcode;
243 nigel 3 int options = 0;
244    
245 ph10 432 if ((cflags & REG_ICASE) != 0) options |= PCRE_CASELESS;
246     if ((cflags & REG_NEWLINE) != 0) options |= PCRE_MULTILINE;
247     if ((cflags & REG_DOTALL) != 0) options |= PCRE_DOTALL;
248     if ((cflags & REG_NOSUB) != 0) options |= PCRE_NO_AUTO_CAPTURE;
249     if ((cflags & REG_UTF8) != 0) options |= PCRE_UTF8;
250     if ((cflags & REG_UNGREEDY) != 0) options |= PCRE_UNGREEDY;
251 nigel 3
252 nigel 77 preg->re_pcre = pcre_compile2(pattern, options, &errorcode, &errorptr,
253     &erroffset, NULL);
254 nigel 3 preg->re_erroffset = erroffset;
255    
256 ph10 461 /* Safety: if the error code is too big for the translation vector (which
257 ph10 418 should not happen, but we all make mistakes), return REG_BADPAT. */
258 nigel 3
259 ph10 461 if (preg->re_pcre == NULL)
260 ph10 418 {
261     return (errorcode < sizeof(eint)/sizeof(const int))?
262     eint[errorcode] : REG_BADPAT;
263 ph10 461 }
264 ph10 418
265 nigel 71 preg->re_nsub = pcre_info((const pcre *)preg->re_pcre, NULL, NULL);
266 nigel 3 return 0;
267     }
268    
269    
270    
271    
272     /*************************************************
273     * Match a regular expression *
274     *************************************************/
275    
276 nigel 41 /* Unfortunately, PCRE requires 3 ints of working space for each captured
277     substring, so we have to get and release working store instead of just using
278     the POSIX structures as was done in earlier releases when PCRE needed only 2
279 nigel 63 ints. However, if the number of possible capturing brackets is small, use a
280     block of store on the stack, to reduce the use of malloc/free. The threshold is
281 nigel 87 in a macro that can be changed at configure time.
282 nigel 41
283 nigel 87 If REG_NOSUB was specified at compile time, the PCRE_NO_AUTO_CAPTURE flag will
284     be set. When this is the case, the nmatch and pmatch arguments are ignored, and
285     the only result is yes/no/error. */
286    
287 ph10 359 PCREPOSIX_EXP_DEFN int PCRE_CALL_CONVENTION
288 nigel 69 regexec(const regex_t *preg, const char *string, size_t nmatch,
289 nigel 3 regmatch_t pmatch[], int eflags)
290     {
291 ph10 332 int rc, so, eo;
292 nigel 3 int options = 0;
293 nigel 41 int *ovector = NULL;
294 nigel 63 int small_ovector[POSIX_MALLOC_THRESHOLD * 3];
295     BOOL allocated_ovector = FALSE;
296 nigel 87 BOOL nosub =
297     (((const pcre *)preg->re_pcre)->options & PCRE_NO_AUTO_CAPTURE) != 0;
298 nigel 3
299     if ((eflags & REG_NOTBOL) != 0) options |= PCRE_NOTBOL;
300     if ((eflags & REG_NOTEOL) != 0) options |= PCRE_NOTEOL;
301 ph10 388 if ((eflags & REG_NOTEMPTY) != 0) options |= PCRE_NOTEMPTY;
302 nigel 3
303 nigel 69 ((regex_t *)preg)->re_erroffset = (size_t)(-1); /* Only has meaning after compile */
304 nigel 3
305 ph10 461 /* When no string data is being returned, or no vector has been passed in which
306 ph10 432 to put it, ensure that nmatch is zero. Otherwise, ensure the vector for holding
307     the return data is large enough. */
308 nigel 87
309 ph10 432 if (nosub || pmatch == NULL) nmatch = 0;
310 nigel 87
311     else if (nmatch > 0)
312 nigel 41 {
313 nigel 63 if (nmatch <= POSIX_MALLOC_THRESHOLD)
314     {
315     ovector = &(small_ovector[0]);
316     }
317     else
318     {
319 nigel 87 if (nmatch > INT_MAX/(sizeof(int) * 3)) return REG_ESPACE;
320 nigel 63 ovector = (int *)malloc(sizeof(int) * nmatch * 3);
321     if (ovector == NULL) return REG_ESPACE;
322     allocated_ovector = TRUE;
323     }
324 nigel 41 }
325    
326 ph10 332 /* REG_STARTEND is a BSD extension, to allow for non-NUL-terminated strings.
327     The man page from OS X says "REG_STARTEND affects only the location of the
328 ph10 345 string, not how it is matched". That is why the "so" value is used to bump the
329 ph10 332 start location rather than being passed as a PCRE "starting offset". */
330    
331 ph10 345 if ((eflags & REG_STARTEND) != 0)
332 ph10 332 {
333     so = pmatch[0].rm_so;
334     eo = pmatch[0].rm_eo;
335 ph10 345 }
336     else
337 ph10 332 {
338     so = 0;
339     eo = strlen(string);
340     }
341    
342     rc = pcre_exec((const pcre *)preg->re_pcre, NULL, string + so, (eo - so),
343 nigel 71 0, options, ovector, nmatch * 3);
344 nigel 3
345 nigel 41 if (rc == 0) rc = nmatch; /* All captured slots were filled in */
346 nigel 3
347 ph10 499 /* Successful match */
348    
349 nigel 41 if (rc >= 0)
350 nigel 3 {
351 nigel 7 size_t i;
352 nigel 87 if (!nosub)
353 nigel 41 {
354 nigel 87 for (i = 0; i < (size_t)rc; i++)
355     {
356     pmatch[i].rm_so = ovector[i*2];
357     pmatch[i].rm_eo = ovector[i*2+1];
358     }
359     if (allocated_ovector) free(ovector);
360     for (; i < nmatch; i++) pmatch[i].rm_so = pmatch[i].rm_eo = -1;
361 nigel 41 }
362 nigel 3 return 0;
363     }
364    
365 ph10 499 /* Unsuccessful match */
366    
367     if (allocated_ovector) free(ovector);
368     switch(rc)
369 nigel 3 {
370 ph10 499 /* ========================================================================== */
371     /* These cases are never obeyed. This is a fudge that causes a compile-time
372     error if the vector eint, which is indexed by compile-time error number, is
373     not the correct length. It seems to be the only way to do such a check at
374     compile time, as the sizeof() operator does not work in the C preprocessor.
375 ph10 507 As all the PCRE_ERROR_xxx values are negative, we can use 0 and 1. */
376 ph10 499
377     case 0:
378     case (sizeof(eint)/sizeof(int) == ERRCOUNT):
379     return REG_ASSERT;
380     /* ========================================================================== */
381    
382     case PCRE_ERROR_NOMATCH: return REG_NOMATCH;
383     case PCRE_ERROR_NULL: return REG_INVARG;
384     case PCRE_ERROR_BADOPTION: return REG_INVARG;
385     case PCRE_ERROR_BADMAGIC: return REG_INVARG;
386     case PCRE_ERROR_UNKNOWN_NODE: return REG_ASSERT;
387     case PCRE_ERROR_NOMEMORY: return REG_ESPACE;
388     case PCRE_ERROR_MATCHLIMIT: return REG_ESPACE;
389     case PCRE_ERROR_BADUTF8: return REG_INVARG;
390     case PCRE_ERROR_BADUTF8_OFFSET: return REG_INVARG;
391     default: return REG_ASSERT;
392 nigel 3 }
393     }
394    
395     /* End of pcreposix.c */

Properties

Name Value
svn:eol-style native
svn:keywords "Author Date Id Revision Url"

webmaster@exim.org
ViewVC Help
Powered by ViewVC 1.1.12