Branch data Line data Source code
1 : : /*
2 : : * Utility functions for handling cvecs
3 : : * This file is #included by regcomp.c.
4 : : *
5 : : * Copyright (c) 1998, 1999 Henry Spencer. All rights reserved.
6 : : *
7 : : * Development of this software was funded, in part, by Cray Research Inc.,
8 : : * UUNET Communications Services Inc., Sun Microsystems Inc., and Scriptics
9 : : * Corporation, none of whom are responsible for the results. The author
10 : : * thanks all of them.
11 : : *
12 : : * Redistribution and use in source and binary forms -- with or without
13 : : * modification -- are permitted for any purpose, provided that
14 : : * redistributions in source form retain this entire copyright notice and
15 : : * indicate the origin and nature of any modifications.
16 : : *
17 : : * I'd appreciate being given credit for this package in the documentation
18 : : * of software which uses it, but that is not a requirement.
19 : : *
20 : : * THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES,
21 : : * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY
22 : : * AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL
23 : : * HENRY SPENCER BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
24 : : * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
25 : : * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
26 : : * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
27 : : * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
28 : : * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
29 : : * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30 : : *
31 : : * src/backend/regex/regc_cvec.c
32 : : *
33 : : */
34 : :
35 : : /*
36 : : * Notes:
37 : : * Only (selected) functions in _this_ file should treat the chr arrays
38 : : * of a cvec as non-constant.
39 : : */
40 : :
41 : : /*
42 : : * newcvec - allocate a new cvec
43 : : *
44 : : * Note: in current usage, nchrs and nranges are never so large that we risk
45 : : * integer overflow in these size calculations, even with 32-bit size_t.
46 : : */
47 : : static struct cvec *
48 : 5126 : newcvec(int nchrs, /* to hold this many chrs... */
49 : : int nranges) /* ... and this many ranges */
50 : : {
51 : 5126 : size_t nc = (size_t) nchrs + (size_t) nranges * 2;
52 : 5126 : size_t n = sizeof(struct cvec) + nc * sizeof(chr);
53 : 5126 : struct cvec *cv = (struct cvec *) MALLOC(n);
54 : :
55 [ - + ]: 5126 : if (cv == NULL)
56 : 0 : return NULL;
57 : 5126 : cv->chrspace = nchrs;
58 : 5126 : cv->chrs = (chr *) (((char *) cv) + sizeof(struct cvec));
59 : 5126 : cv->ranges = cv->chrs + nchrs;
60 : 5126 : cv->rangespace = nranges;
61 : 5126 : return clearcvec(cv);
62 : : }
63 : :
64 : : /*
65 : : * clearcvec - clear a possibly-new cvec
66 : : * Returns pointer as convenience.
67 : : */
68 : : static struct cvec *
69 : 6511 : clearcvec(struct cvec *cv)
70 : : {
71 : : assert(cv != NULL);
72 : 6511 : cv->nchrs = 0;
73 : 6511 : cv->nranges = 0;
74 : 6511 : cv->cclasscode = -1;
75 : 6511 : return cv;
76 : : }
77 : :
78 : : /*
79 : : * addchr - add a chr to a cvec
80 : : */
81 : : static void
82 : 2533 : addchr(struct cvec *cv, /* character vector */
83 : : chr c) /* character to add */
84 : : {
85 : : assert(cv->nchrs < cv->chrspace);
86 : 2533 : cv->chrs[cv->nchrs++] = c;
87 : 2533 : }
88 : :
89 : : /*
90 : : * addrange - add a range to a cvec
91 : : */
92 : : static void
93 : 351 : addrange(struct cvec *cv, /* character vector */
94 : : chr from, /* first character of range */
95 : : chr to) /* last character of range */
96 : : {
97 : : assert(cv->nranges < cv->rangespace);
98 : 351 : cv->ranges[cv->nranges * 2] = from;
99 : 351 : cv->ranges[cv->nranges * 2 + 1] = to;
100 : 351 : cv->nranges++;
101 : 351 : }
102 : :
103 : : /*
104 : : * getcvec - get a transient cvec, initialized to empty
105 : : *
106 : : * The returned cvec is valid only until the next call of getcvec, which
107 : : * typically will recycle the space. Callers should *not* free the cvec
108 : : * explicitly; it will be cleaned up when the struct vars is destroyed.
109 : : *
110 : : * This is typically used while interpreting bracket expressions. In that
111 : : * usage the cvec is only needed momentarily until we build arcs from it,
112 : : * so transientness is a convenient behavior.
113 : : */
114 : : static struct cvec *
115 : 1386 : getcvec(struct vars *v, /* context */
116 : : int nchrs, /* to hold this many chrs... */
117 : : int nranges) /* ... and this many ranges */
118 : : {
119 : : /* recycle existing transient cvec if large enough */
120 [ + - + + ]: 1386 : if (v->cv != NULL && nchrs <= v->cv->chrspace &&
121 [ + - ]: 1385 : nranges <= v->cv->rangespace)
122 : 1385 : return clearcvec(v->cv);
123 : :
124 : : /* nope, make a new one */
125 [ + - ]: 1 : if (v->cv != NULL)
126 : 1 : freecvec(v->cv);
127 : 1 : v->cv = newcvec(nchrs, nranges);
128 [ - + ]: 1 : if (v->cv == NULL)
129 [ # # ]: 0 : ERR(REG_ESPACE);
130 : :
131 : 1 : return v->cv;
132 : : }
133 : :
134 : : /*
135 : : * freecvec - free a cvec
136 : : */
137 : : static void
138 : 5126 : freecvec(struct cvec *cv)
139 : : {
140 : 5126 : FREE(cv);
141 : 5126 : }
|
