str.c revision 1.84.2.1 1 1.84.2.1 cjep /* $NetBSD: str.c,v 1.84.2.1 2021/05/31 22:15:25 cjep Exp $ */
2 1.10 christos
3 1.79 rillig /*
4 1.13 christos * Copyright (c) 1988, 1989, 1990, 1993
5 1.13 christos * The Regents of the University of California. All rights reserved.
6 1.20 agc *
7 1.20 agc * This code is derived from software contributed to Berkeley by
8 1.20 agc * Adam de Boor.
9 1.20 agc *
10 1.20 agc * Redistribution and use in source and binary forms, with or without
11 1.20 agc * modification, are permitted provided that the following conditions
12 1.20 agc * are met:
13 1.20 agc * 1. Redistributions of source code must retain the above copyright
14 1.20 agc * notice, this list of conditions and the following disclaimer.
15 1.20 agc * 2. Redistributions in binary form must reproduce the above copyright
16 1.20 agc * notice, this list of conditions and the following disclaimer in the
17 1.20 agc * documentation and/or other materials provided with the distribution.
18 1.20 agc * 3. Neither the name of the University nor the names of its contributors
19 1.20 agc * may be used to endorse or promote products derived from this software
20 1.20 agc * without specific prior written permission.
21 1.20 agc *
22 1.20 agc * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
23 1.20 agc * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24 1.20 agc * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25 1.20 agc * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
26 1.20 agc * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
27 1.20 agc * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
28 1.20 agc * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29 1.20 agc * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30 1.20 agc * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
31 1.20 agc * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32 1.20 agc * SUCH DAMAGE.
33 1.20 agc */
34 1.20 agc
35 1.79 rillig /*
36 1.1 cgd * Copyright (c) 1989 by Berkeley Softworks
37 1.1 cgd * All rights reserved.
38 1.1 cgd *
39 1.1 cgd * This code is derived from software contributed to Berkeley by
40 1.1 cgd * Adam de Boor.
41 1.1 cgd *
42 1.1 cgd * Redistribution and use in source and binary forms, with or without
43 1.1 cgd * modification, are permitted provided that the following conditions
44 1.1 cgd * are met:
45 1.1 cgd * 1. Redistributions of source code must retain the above copyright
46 1.1 cgd * notice, this list of conditions and the following disclaimer.
47 1.1 cgd * 2. Redistributions in binary form must reproduce the above copyright
48 1.1 cgd * notice, this list of conditions and the following disclaimer in the
49 1.1 cgd * documentation and/or other materials provided with the distribution.
50 1.1 cgd * 3. All advertising materials mentioning features or use of this software
51 1.1 cgd * must display the following acknowledgement:
52 1.1 cgd * This product includes software developed by the University of
53 1.1 cgd * California, Berkeley and its contributors.
54 1.1 cgd * 4. Neither the name of the University nor the names of its contributors
55 1.1 cgd * may be used to endorse or promote products derived from this software
56 1.1 cgd * without specific prior written permission.
57 1.1 cgd *
58 1.1 cgd * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
59 1.1 cgd * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
60 1.1 cgd * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
61 1.1 cgd * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
62 1.1 cgd * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
63 1.1 cgd * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
64 1.1 cgd * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
65 1.1 cgd * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
66 1.1 cgd * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
67 1.1 cgd * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
68 1.1 cgd * SUCH DAMAGE.
69 1.1 cgd */
70 1.1 cgd
71 1.65 rillig #include "make.h"
72 1.1 cgd
73 1.65 rillig /* "@(#)str.c 5.8 (Berkeley) 6/1/90" */
74 1.84.2.1 cjep MAKE_RCSID("$NetBSD: str.c,v 1.84.2.1 2021/05/31 22:15:25 cjep Exp $");
75 1.1 cgd
76 1.59 rillig /* Return the concatenation of s1 and s2, freshly allocated. */
77 1.1 cgd char *
78 1.59 rillig str_concat2(const char *s1, const char *s2)
79 1.1 cgd {
80 1.57 rillig size_t len1 = strlen(s1);
81 1.57 rillig size_t len2 = strlen(s2);
82 1.59 rillig char *result = bmake_malloc(len1 + len2 + 1);
83 1.28 christos memcpy(result, s1, len1);
84 1.28 christos memcpy(result + len1, s2, len2 + 1);
85 1.59 rillig return result;
86 1.59 rillig }
87 1.1 cgd
88 1.59 rillig /* Return the concatenation of s1, s2 and s3, freshly allocated. */
89 1.59 rillig char *
90 1.59 rillig str_concat3(const char *s1, const char *s2, const char *s3)
91 1.59 rillig {
92 1.59 rillig size_t len1 = strlen(s1);
93 1.59 rillig size_t len2 = strlen(s2);
94 1.59 rillig size_t len3 = strlen(s3);
95 1.59 rillig char *result = bmake_malloc(len1 + len2 + len3 + 1);
96 1.59 rillig memcpy(result, s1, len1);
97 1.59 rillig memcpy(result + len1, s2, len2);
98 1.59 rillig memcpy(result + len1 + len2, s3, len3 + 1);
99 1.45 rillig return result;
100 1.1 cgd }
101 1.1 cgd
102 1.76 rillig /*
103 1.76 rillig * Fracture a string into an array of words (as delineated by tabs or spaces)
104 1.73 rillig * taking quotation marks into account.
105 1.64 rillig *
106 1.82 rillig * If expand is true, quotes are removed and escape sequences such as \r, \t,
107 1.73 rillig * etc... are expanded. In this case, return NULL on parse errors.
108 1.64 rillig *
109 1.73 rillig * Returns the fractured words, which must be freed later using Words_Free,
110 1.73 rillig * unless the returned Words.words was NULL.
111 1.1 cgd */
112 1.84 rillig SubstringWords
113 1.84 rillig Substring_Words(const char *str, bool expand)
114 1.1 cgd {
115 1.56 rillig size_t str_len;
116 1.56 rillig char *words_buf;
117 1.61 rillig size_t words_cap;
118 1.84 rillig Substring *words;
119 1.61 rillig size_t words_len;
120 1.56 rillig char inquote;
121 1.56 rillig char *word_start;
122 1.56 rillig char *word_end;
123 1.55 rillig const char *str_p;
124 1.55 rillig
125 1.72 rillig /* XXX: why only hspace, not whitespace? */
126 1.72 rillig cpp_skip_hspace(&str); /* skip leading space chars. */
127 1.1 cgd
128 1.41 rillig /* words_buf holds the words, separated by '\0'. */
129 1.55 rillig str_len = strlen(str);
130 1.75 rillig words_buf = bmake_malloc(str_len + 1);
131 1.1 cgd
132 1.70 rillig words_cap = str_len / 5 > 50 ? str_len / 5 : 50;
133 1.84 rillig words = bmake_malloc((words_cap + 1) * sizeof(words[0]));
134 1.35 sjg
135 1.35 sjg /*
136 1.1 cgd * copy the string; at the same time, parse backslashes,
137 1.41 rillig * quotes and build the word list.
138 1.1 cgd */
139 1.55 rillig words_len = 0;
140 1.55 rillig inquote = '\0';
141 1.55 rillig word_start = words_buf;
142 1.55 rillig word_end = words_buf;
143 1.80 rillig for (str_p = str;; str_p++) {
144 1.41 rillig char ch = *str_p;
145 1.56 rillig switch (ch) {
146 1.1 cgd case '"':
147 1.1 cgd case '\'':
148 1.78 rillig if (inquote != '\0') {
149 1.1 cgd if (inquote == ch)
150 1.4 cgd inquote = '\0';
151 1.1 cgd else
152 1.1 cgd break;
153 1.56 rillig } else {
154 1.69 rillig inquote = ch;
155 1.6 jtc /* Don't miss "" or '' */
156 1.41 rillig if (word_start == NULL && str_p[1] == inquote) {
157 1.30 christos if (!expand) {
158 1.41 rillig word_start = word_end;
159 1.41 rillig *word_end++ = ch;
160 1.30 christos } else
161 1.41 rillig word_start = word_end + 1;
162 1.41 rillig str_p++;
163 1.25 christos inquote = '\0';
164 1.6 jtc break;
165 1.6 jtc }
166 1.6 jtc }
167 1.8 jtc if (!expand) {
168 1.41 rillig if (word_start == NULL)
169 1.41 rillig word_start = word_end;
170 1.41 rillig *word_end++ = ch;
171 1.8 jtc }
172 1.1 cgd continue;
173 1.1 cgd case ' ':
174 1.1 cgd case '\t':
175 1.8 jtc case '\n':
176 1.78 rillig if (inquote != '\0')
177 1.1 cgd break;
178 1.41 rillig if (word_start == NULL)
179 1.1 cgd continue;
180 1.1 cgd /* FALLTHROUGH */
181 1.1 cgd case '\0':
182 1.1 cgd /*
183 1.41 rillig * end of a token -- make sure there's enough words
184 1.1 cgd * space and save off a pointer.
185 1.1 cgd */
186 1.41 rillig if (word_start == NULL)
187 1.56 rillig goto done;
188 1.8 jtc
189 1.41 rillig *word_end++ = '\0';
190 1.41 rillig if (words_len == words_cap) {
191 1.56 rillig size_t new_size;
192 1.84 rillig words_cap *= 2;
193 1.84 rillig new_size = (words_cap + 1) * sizeof(words[0]);
194 1.56 rillig words = bmake_realloc(words, new_size);
195 1.1 cgd }
196 1.84 rillig words[words_len++] =
197 1.84 rillig Substring_Init(word_start, word_end - 1);
198 1.41 rillig word_start = NULL;
199 1.31 christos if (ch == '\n' || ch == '\0') {
200 1.77 rillig if (expand && inquote != '\0') {
201 1.84 rillig SubstringWords res;
202 1.83 rillig
203 1.41 rillig free(words);
204 1.41 rillig free(words_buf);
205 1.83 rillig
206 1.83 rillig res.words = NULL;
207 1.83 rillig res.len = 0;
208 1.83 rillig res.freeIt = NULL;
209 1.83 rillig return res;
210 1.31 christos }
211 1.1 cgd goto done;
212 1.31 christos }
213 1.1 cgd continue;
214 1.1 cgd case '\\':
215 1.8 jtc if (!expand) {
216 1.41 rillig if (word_start == NULL)
217 1.41 rillig word_start = word_end;
218 1.41 rillig *word_end++ = '\\';
219 1.41 rillig /* catch '\' at end of line */
220 1.41 rillig if (str_p[1] == '\0')
221 1.26 erh continue;
222 1.41 rillig ch = *++str_p;
223 1.8 jtc break;
224 1.8 jtc }
225 1.13 christos
226 1.41 rillig switch (ch = *++str_p) {
227 1.1 cgd case '\0':
228 1.1 cgd case '\n':
229 1.1 cgd /* hmmm; fix it up as best we can */
230 1.1 cgd ch = '\\';
231 1.74 rillig str_p--;
232 1.1 cgd break;
233 1.1 cgd case 'b':
234 1.1 cgd ch = '\b';
235 1.1 cgd break;
236 1.1 cgd case 'f':
237 1.1 cgd ch = '\f';
238 1.1 cgd break;
239 1.1 cgd case 'n':
240 1.1 cgd ch = '\n';
241 1.1 cgd break;
242 1.1 cgd case 'r':
243 1.1 cgd ch = '\r';
244 1.1 cgd break;
245 1.1 cgd case 't':
246 1.1 cgd ch = '\t';
247 1.1 cgd break;
248 1.1 cgd }
249 1.1 cgd break;
250 1.1 cgd }
251 1.41 rillig if (word_start == NULL)
252 1.41 rillig word_start = word_end;
253 1.41 rillig *word_end++ = ch;
254 1.1 cgd }
255 1.56 rillig done:
256 1.84 rillig words[words_len] = Substring_Init(NULL, NULL); /* useful for argv */
257 1.83 rillig
258 1.83 rillig {
259 1.84 rillig SubstringWords result;
260 1.83 rillig
261 1.83 rillig result.words = words;
262 1.83 rillig result.len = words_len;
263 1.83 rillig result.freeIt = words_buf;
264 1.83 rillig return result;
265 1.83 rillig }
266 1.1 cgd }
267 1.1 cgd
268 1.84 rillig Words
269 1.84 rillig Str_Words(const char *str, bool expand)
270 1.84 rillig {
271 1.84 rillig SubstringWords swords;
272 1.84 rillig Words words;
273 1.84 rillig size_t i;
274 1.84 rillig
275 1.84 rillig swords = Substring_Words(str, expand);
276 1.84 rillig if (swords.words == NULL) {
277 1.84 rillig words.words = NULL;
278 1.84 rillig words.len = 0;
279 1.84 rillig words.freeIt = NULL;
280 1.84 rillig return words;
281 1.84 rillig }
282 1.84 rillig
283 1.84 rillig words.words = bmake_malloc((swords.len + 1) * sizeof(words.words[0]));
284 1.84 rillig words.len = swords.len;
285 1.84 rillig words.freeIt = swords.freeIt;
286 1.84 rillig for (i = 0; i < swords.len + 1; i++)
287 1.84 rillig words.words[i] = UNCONST(swords.words[i].start);
288 1.84 rillig free(swords.words);
289 1.84 rillig return words;
290 1.84 rillig }
291 1.84 rillig
292 1.1 cgd /*
293 1.51 rillig * Str_Match -- Test if a string matches a pattern like "*.[ch]".
294 1.73 rillig * The following special characters are known *?\[] (as in fnmatch(3)).
295 1.13 christos *
296 1.73 rillig * XXX: this function does not detect or report malformed patterns.
297 1.1 cgd */
298 1.82 rillig bool
299 1.51 rillig Str_Match(const char *str, const char *pat)
300 1.1 cgd {
301 1.1 cgd for (;;) {
302 1.1 cgd /*
303 1.1 cgd * See if we're at the end of both the pattern and the
304 1.73 rillig * string. If so, we succeeded. If we're at the end of the
305 1.1 cgd * pattern but not at the end of the string, we failed.
306 1.1 cgd */
307 1.71 rillig if (*pat == '\0')
308 1.71 rillig return *str == '\0';
309 1.71 rillig if (*str == '\0' && *pat != '*')
310 1.82 rillig return false;
311 1.51 rillig
312 1.1 cgd /*
313 1.51 rillig * A '*' in the pattern matches any substring. We handle this
314 1.51 rillig * by calling ourselves for each suffix of the string.
315 1.1 cgd */
316 1.51 rillig if (*pat == '*') {
317 1.51 rillig pat++;
318 1.51 rillig while (*pat == '*')
319 1.51 rillig pat++;
320 1.71 rillig if (*pat == '\0')
321 1.82 rillig return true;
322 1.71 rillig while (*str != '\0') {
323 1.51 rillig if (Str_Match(str, pat))
324 1.82 rillig return true;
325 1.51 rillig str++;
326 1.1 cgd }
327 1.82 rillig return false;
328 1.1 cgd }
329 1.51 rillig
330 1.51 rillig /* A '?' in the pattern matches any single character. */
331 1.51 rillig if (*pat == '?')
332 1.1 cgd goto thisCharOK;
333 1.51 rillig
334 1.1 cgd /*
335 1.51 rillig * A '[' in the pattern matches a character from a list.
336 1.51 rillig * The '[' is followed by the list of acceptable characters,
337 1.51 rillig * or by ranges (two characters separated by '-'). In these
338 1.51 rillig * character lists, the backslash is an ordinary character.
339 1.1 cgd */
340 1.51 rillig if (*pat == '[') {
341 1.82 rillig bool neg = pat[1] == '^';
342 1.63 rillig pat += neg ? 2 : 1;
343 1.37 sjg
344 1.1 cgd for (;;) {
345 1.71 rillig if (*pat == ']' || *pat == '\0') {
346 1.51 rillig if (neg)
347 1.38 sjg break;
348 1.82 rillig return false;
349 1.38 sjg }
350 1.81 rillig /*
351 1.81 rillig * XXX: This naive comparison makes the
352 1.81 rillig * control flow of the pattern parser
353 1.81 rillig * dependent on the actual value of the
354 1.81 rillig * string. This is unpredictable. It may be
355 1.81 rillig * though that the code only looks wrong but
356 1.81 rillig * actually all code paths result in the same
357 1.81 rillig * behavior. This needs further tests.
358 1.81 rillig */
359 1.51 rillig if (*pat == *str)
360 1.1 cgd break;
361 1.51 rillig if (pat[1] == '-') {
362 1.71 rillig if (pat[2] == '\0')
363 1.51 rillig return neg;
364 1.51 rillig if (*pat <= *str && pat[2] >= *str)
365 1.1 cgd break;
366 1.51 rillig if (*pat >= *str && pat[2] <= *str)
367 1.1 cgd break;
368 1.51 rillig pat += 2;
369 1.1 cgd }
370 1.51 rillig pat++;
371 1.1 cgd }
372 1.71 rillig if (neg && *pat != ']' && *pat != '\0')
373 1.82 rillig return false;
374 1.71 rillig while (*pat != ']' && *pat != '\0')
375 1.51 rillig pat++;
376 1.71 rillig if (*pat == '\0')
377 1.51 rillig pat--;
378 1.1 cgd goto thisCharOK;
379 1.1 cgd }
380 1.51 rillig
381 1.1 cgd /*
382 1.51 rillig * A backslash in the pattern matches the character following
383 1.51 rillig * it exactly.
384 1.1 cgd */
385 1.51 rillig if (*pat == '\\') {
386 1.51 rillig pat++;
387 1.71 rillig if (*pat == '\0')
388 1.82 rillig return false;
389 1.1 cgd }
390 1.51 rillig
391 1.51 rillig if (*pat != *str)
392 1.82 rillig return false;
393 1.51 rillig
394 1.51 rillig thisCharOK:
395 1.51 rillig pat++;
396 1.51 rillig str++;
397 1.1 cgd }
398 1.4 cgd }
399