expr.y revision 1.50 1 1.50 rillig /* $NetBSD: expr.y,v 1.50 2025/03/15 10:31:28 rillig Exp $ */
2 1.17 jdolecek
3 1.49 rillig /*-
4 1.49 rillig * Copyright (c) 2000, 2025 The NetBSD Foundation, Inc.
5 1.17 jdolecek * All rights reserved.
6 1.2 cgd *
7 1.17 jdolecek * This code is derived from software contributed to The NetBSD Foundation
8 1.49 rillig * by Jaromir Dolecek <jdolecek (at) NetBSD.org>, J.T. Conklin <jtc (at) NetBSD.org>
9 1.49 rillig * and Roland Illig <rillig (at) NetBSD.org>.
10 1.11 jtc *
11 1.17 jdolecek * Redistribution and use in source and binary forms, with or without
12 1.17 jdolecek * modification, are permitted provided that the following conditions
13 1.17 jdolecek * are met:
14 1.17 jdolecek * 1. Redistributions of source code must retain the above copyright
15 1.17 jdolecek * notice, this list of conditions and the following disclaimer.
16 1.17 jdolecek * 2. Redistributions in binary form must reproduce the above copyright
17 1.17 jdolecek * notice, this list of conditions and the following disclaimer in the
18 1.17 jdolecek * documentation and/or other materials provided with the distribution.
19 1.34 martin *
20 1.34 martin * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
21 1.34 martin * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
22 1.34 martin * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
23 1.34 martin * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
24 1.34 martin * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
25 1.34 martin * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
26 1.34 martin * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
27 1.34 martin * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
28 1.34 martin * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
29 1.34 martin * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
30 1.34 martin * POSSIBILITY OF SUCH DAMAGE.
31 1.1 cgd */
32 1.12 jtc
33 1.17 jdolecek %{
34 1.17 jdolecek #include <sys/cdefs.h>
35 1.50 rillig __RCSID("$NetBSD: expr.y,v 1.50 2025/03/15 10:31:28 rillig Exp $");
36 1.17 jdolecek
37 1.17 jdolecek #include <sys/types.h>
38 1.28 wiz
39 1.17 jdolecek #include <err.h>
40 1.17 jdolecek #include <errno.h>
41 1.17 jdolecek #include <limits.h>
42 1.17 jdolecek #include <locale.h>
43 1.17 jdolecek #include <regex.h>
44 1.17 jdolecek #include <stdarg.h>
45 1.1 cgd #include <stdio.h>
46 1.4 cgd #include <stdlib.h>
47 1.4 cgd #include <string.h>
48 1.1 cgd
49 1.23 jdolecek static const char * const *av;
50 1.50 rillig static unsigned skip_level;
51 1.1 cgd
52 1.37 joerg static void yyerror(const char *, ...) __dead;
53 1.17 jdolecek static int yylex(void);
54 1.49 rillig static int is_empty_or_zero(const char *);
55 1.17 jdolecek static int is_integer(const char *);
56 1.48 rillig static const char *eval_arith(const char *, const char *, const char *);
57 1.48 rillig static int eval_compare(const char *, const char *, const char *);
58 1.48 rillig static const char *eval_match(const char *, const char *);
59 1.26 jmc
60 1.17 jdolecek #define YYSTYPE const char *
61 1.1 cgd
62 1.17 jdolecek %}
63 1.20 jdolecek %token STRING
64 1.22 thorpej %left SPEC_OR
65 1.22 thorpej %left SPEC_AND
66 1.49 rillig %left COMPARE
67 1.26 jmc %left ADD_SUB_OPERATOR
68 1.26 jmc %left MUL_DIV_MOD_OPERATOR
69 1.26 jmc %left SPEC_REG
70 1.31 jdolecek %left LENGTH
71 1.17 jdolecek %left LEFT_PARENT RIGHT_PARENT
72 1.1 cgd
73 1.1 cgd %%
74 1.1 cgd
75 1.48 rillig exp: expr {
76 1.49 rillig (void)printf("%s\n", $1);
77 1.49 rillig return is_empty_or_zero($1);
78 1.49 rillig }
79 1.49 rillig ;
80 1.1 cgd
81 1.49 rillig expr: item
82 1.50 rillig | expr SPEC_OR {
83 1.50 rillig $$ = is_empty_or_zero($1) ? NULL : "1";
84 1.50 rillig if ($$)
85 1.50 rillig skip_level++;
86 1.50 rillig } expr {
87 1.50 rillig if ($3)
88 1.17 jdolecek $$ = $1;
89 1.17 jdolecek else
90 1.50 rillig $$ = $4;
91 1.50 rillig if ($3)
92 1.50 rillig skip_level--;
93 1.50 rillig }
94 1.50 rillig | expr SPEC_AND {
95 1.50 rillig $$ = is_empty_or_zero($1) ? NULL : "1";
96 1.50 rillig if (!$$)
97 1.50 rillig skip_level++;
98 1.50 rillig } expr {
99 1.50 rillig if ($3 && !is_empty_or_zero($4))
100 1.17 jdolecek $$ = $1;
101 1.17 jdolecek else
102 1.17 jdolecek $$ = "0";
103 1.50 rillig if (!$3)
104 1.50 rillig skip_level--;
105 1.49 rillig }
106 1.49 rillig | expr SPEC_REG expr {
107 1.50 rillig $$ = skip_level == 0 ? eval_match($1, $3) : "";
108 1.49 rillig }
109 1.49 rillig | expr ADD_SUB_OPERATOR expr {
110 1.50 rillig $$ = skip_level == 0 ? eval_arith($1, $2, $3) : "";
111 1.49 rillig }
112 1.49 rillig | expr MUL_DIV_MOD_OPERATOR expr {
113 1.50 rillig $$ = skip_level == 0 ? eval_arith($1, $2, $3) : "";
114 1.49 rillig }
115 1.49 rillig | expr COMPARE expr {
116 1.50 rillig $$ = skip_level == 0 && eval_compare($1, $2, $3) ? "1" : "0";
117 1.49 rillig }
118 1.49 rillig | LEFT_PARENT expr RIGHT_PARENT {
119 1.49 rillig $$ = $2;
120 1.49 rillig }
121 1.49 rillig | LENGTH expr {
122 1.31 jdolecek char *ln;
123 1.31 jdolecek
124 1.31 jdolecek asprintf(&ln, "%ld", (long) strlen($2));
125 1.33 rumble if (ln == NULL)
126 1.33 rumble err(1, NULL);
127 1.31 jdolecek $$ = ln;
128 1.49 rillig }
129 1.49 rillig ;
130 1.4 cgd
131 1.17 jdolecek item: STRING
132 1.26 jmc | ADD_SUB_OPERATOR
133 1.26 jmc | MUL_DIV_MOD_OPERATOR
134 1.17 jdolecek | COMPARE
135 1.17 jdolecek | SPEC_OR
136 1.17 jdolecek | SPEC_AND
137 1.17 jdolecek | SPEC_REG
138 1.31 jdolecek | LENGTH
139 1.17 jdolecek ;
140 1.17 jdolecek %%
141 1.1 cgd
142 1.17 jdolecek static int
143 1.49 rillig is_empty_or_zero(const char *str)
144 1.1 cgd {
145 1.17 jdolecek char *endptr;
146 1.4 cgd
147 1.17 jdolecek return str[0] == '\0'
148 1.49 rillig || (strtoll(str, &endptr, 10) == 0 && endptr[0] == '\0');
149 1.1 cgd }
150 1.1 cgd
151 1.17 jdolecek static int
152 1.17 jdolecek is_integer(const char *str)
153 1.1 cgd {
154 1.17 jdolecek char *endptr;
155 1.4 cgd
156 1.49 rillig (void)strtoll(str, &endptr, 10);
157 1.17 jdolecek /* note we treat empty string as valid number */
158 1.49 rillig return endptr[0] == '\0';
159 1.49 rillig }
160 1.49 rillig
161 1.49 rillig static int64_t
162 1.49 rillig to_integer(const char *str)
163 1.49 rillig {
164 1.49 rillig errno = 0;
165 1.49 rillig int64_t num = strtoll(str, NULL, 10);
166 1.49 rillig if (errno == ERANGE) {
167 1.49 rillig yyerror("value '%s' is too %s is %lld", str,
168 1.49 rillig num > 0 ? "big, maximum" : "small, minimum",
169 1.49 rillig num > 0 ? LLONG_MAX : LLONG_MIN);
170 1.49 rillig }
171 1.49 rillig return num;
172 1.1 cgd }
173 1.1 cgd
174 1.48 rillig static const char *
175 1.48 rillig eval_arith(const char *left, const char *op, const char *right)
176 1.26 jmc {
177 1.40 kamil int64_t res, l, r;
178 1.26 jmc
179 1.32 lukem res = 0;
180 1.32 lukem
181 1.49 rillig if (!is_integer(left))
182 1.26 jmc yyerror("non-integer argument '%s'", left);
183 1.49 rillig if (!is_integer(right))
184 1.26 jmc yyerror("non-integer argument '%s'", right);
185 1.26 jmc
186 1.49 rillig l = to_integer(left);
187 1.49 rillig r = to_integer(right);
188 1.26 jmc
189 1.49 rillig switch (op[0]) {
190 1.26 jmc case '+':
191 1.49 rillig if ((r > 0 && l > INT64_MAX - r) ||
192 1.49 rillig (r < 0 && l < INT64_MIN - r))
193 1.49 rillig goto integer_overflow;
194 1.49 rillig res = l + r;
195 1.26 jmc break;
196 1.26 jmc case '-':
197 1.40 kamil if ((r > 0 && l < INT64_MIN + r) ||
198 1.49 rillig (r < 0 && l > INT64_MAX + r))
199 1.49 rillig goto integer_overflow;
200 1.49 rillig res = l - r;
201 1.26 jmc break;
202 1.26 jmc case '/':
203 1.40 kamil if (r == 0)
204 1.49 rillig goto invalid_zero;
205 1.40 kamil if (l == INT64_MIN && r == -1)
206 1.49 rillig goto integer_overflow;
207 1.26 jmc res = l / r;
208 1.26 jmc break;
209 1.26 jmc case '%':
210 1.27 jmc if (r == 0)
211 1.49 rillig goto invalid_zero;
212 1.40 kamil if (l == INT64_MIN && r == -1)
213 1.49 rillig goto integer_overflow;
214 1.26 jmc res = l % r;
215 1.26 jmc break;
216 1.26 jmc case '*':
217 1.40 kamil if (l < 0 && r < 0 && l != INT64_MIN && r != INT64_MIN) {
218 1.40 kamil l = -l;
219 1.40 kamil r = -r;
220 1.26 jmc }
221 1.26 jmc
222 1.44 kamil if (l < 0 && r >= 0) {
223 1.49 rillig int64_t tmp = l;
224 1.44 kamil l = r;
225 1.49 rillig r = tmp;
226 1.44 kamil }
227 1.44 kamil
228 1.40 kamil if ((l < 0 && r < 0) ||
229 1.44 kamil (r > 0 && l > INT64_MAX / r) ||
230 1.49 rillig (r <= 0 && l != 0 && r < INT64_MIN / l))
231 1.49 rillig goto integer_overflow;
232 1.49 rillig res = l * r;
233 1.26 jmc break;
234 1.26 jmc }
235 1.48 rillig
236 1.48 rillig char *val;
237 1.48 rillig (void)asprintf(&val, "%lld", (long long int)res);
238 1.48 rillig if (val == NULL)
239 1.48 rillig err(1, NULL);
240 1.48 rillig return val;
241 1.49 rillig
242 1.49 rillig integer_overflow:
243 1.49 rillig yyerror("integer overflow or underflow occurred for "
244 1.49 rillig "operation '%s %s %s'", left, op, right);
245 1.49 rillig
246 1.49 rillig invalid_zero:
247 1.49 rillig yyerror("second argument to '%s' must not be zero", op);
248 1.48 rillig }
249 1.48 rillig
250 1.48 rillig static int
251 1.48 rillig eval_compare(const char *left, const char *op, const char *right)
252 1.48 rillig {
253 1.48 rillig int64_t l, r;
254 1.48 rillig
255 1.48 rillig if (is_integer(left) && is_integer(right)) {
256 1.48 rillig l = strtoll(left, NULL, 10);
257 1.48 rillig r = strtoll(right, NULL, 10);
258 1.48 rillig } else {
259 1.48 rillig l = strcoll(left, right);
260 1.48 rillig r = 0;
261 1.48 rillig }
262 1.48 rillig
263 1.48 rillig switch (op[0]) {
264 1.48 rillig case '=':
265 1.48 rillig return l == r;
266 1.48 rillig case '>':
267 1.48 rillig if (op[1] == '=')
268 1.48 rillig return l >= r;
269 1.48 rillig else
270 1.48 rillig return l > r;
271 1.48 rillig case '<':
272 1.48 rillig if (op[1] == '=')
273 1.48 rillig return l <= r;
274 1.48 rillig else
275 1.48 rillig return l < r;
276 1.48 rillig default:
277 1.48 rillig return l != r;
278 1.48 rillig }
279 1.48 rillig }
280 1.48 rillig
281 1.48 rillig static const char *
282 1.48 rillig eval_match(const char *str, const char *re)
283 1.48 rillig {
284 1.48 rillig regex_t rp;
285 1.48 rillig regmatch_t rm[2];
286 1.49 rillig int rc;
287 1.48 rillig
288 1.49 rillig if ((rc = regcomp(&rp, re, REG_BASIC)) != 0) {
289 1.48 rillig char errbuf[256];
290 1.49 rillig (void)regerror(rc, &rp, errbuf, sizeof(errbuf));
291 1.48 rillig yyerror("%s", errbuf);
292 1.48 rillig }
293 1.48 rillig
294 1.48 rillig if (regexec(&rp, str, 2, rm, 0) == 0 && rm[0].rm_so == 0) {
295 1.48 rillig char *val;
296 1.48 rillig if (rm[1].rm_so >= 0) {
297 1.48 rillig (void)asprintf(&val, "%.*s",
298 1.48 rillig (int)(rm[1].rm_eo - rm[1].rm_so),
299 1.48 rillig str + rm[1].rm_so);
300 1.48 rillig } else {
301 1.48 rillig (void)asprintf(&val, "%d",
302 1.48 rillig (int)(rm[0].rm_eo - rm[0].rm_so));
303 1.48 rillig }
304 1.48 rillig if (val == NULL)
305 1.48 rillig err(1, NULL);
306 1.48 rillig return val;
307 1.48 rillig }
308 1.48 rillig
309 1.48 rillig if (rp.re_nsub == 0)
310 1.48 rillig return "0";
311 1.48 rillig else
312 1.48 rillig return "";
313 1.26 jmc }
314 1.4 cgd
315 1.23 jdolecek static const char *x = "|&=<>+-*/%:()";
316 1.23 jdolecek static const int x_token[] = {
317 1.26 jmc SPEC_OR, SPEC_AND, COMPARE, COMPARE, COMPARE, ADD_SUB_OPERATOR,
318 1.26 jmc ADD_SUB_OPERATOR, MUL_DIV_MOD_OPERATOR, MUL_DIV_MOD_OPERATOR,
319 1.26 jmc MUL_DIV_MOD_OPERATOR, SPEC_REG, LEFT_PARENT, RIGHT_PARENT
320 1.17 jdolecek };
321 1.1 cgd
322 1.23 jdolecek static int handle_ddash = 1;
323 1.23 jdolecek
324 1.17 jdolecek int
325 1.17 jdolecek yylex(void)
326 1.1 cgd {
327 1.17 jdolecek const char *p = *av++;
328 1.23 jdolecek int retval;
329 1.4 cgd
330 1.23 jdolecek if (!p)
331 1.23 jdolecek retval = 0;
332 1.47 rillig else if (p[0] == '\0')
333 1.47 rillig retval = STRING;
334 1.23 jdolecek else if (p[1] == '\0') {
335 1.17 jdolecek const char *w = strchr(x, p[0]);
336 1.17 jdolecek if (w) {
337 1.17 jdolecek retval = x_token[w-x];
338 1.17 jdolecek } else {
339 1.17 jdolecek retval = STRING;
340 1.17 jdolecek }
341 1.17 jdolecek } else if (p[1] == '=' && p[2] == '\0'
342 1.17 jdolecek && (p[0] == '>' || p[0] == '<' || p[0] == '!'))
343 1.17 jdolecek retval = COMPARE;
344 1.23 jdolecek else if (handle_ddash && p[0] == '-' && p[1] == '-' && p[2] == '\0') {
345 1.23 jdolecek /* ignore "--" if passed as first argument and isn't followed
346 1.23 jdolecek * by another STRING */
347 1.23 jdolecek retval = yylex();
348 1.23 jdolecek if (retval != STRING && retval != LEFT_PARENT
349 1.23 jdolecek && retval != RIGHT_PARENT) {
350 1.23 jdolecek /* is not followed by string or parenthesis, use as
351 1.23 jdolecek * STRING */
352 1.23 jdolecek retval = STRING;
353 1.23 jdolecek av--; /* was increased in call to yylex() above */
354 1.23 jdolecek p = "--";
355 1.23 jdolecek } else {
356 1.23 jdolecek /* "--" is to be ignored */
357 1.23 jdolecek p = yylval;
358 1.23 jdolecek }
359 1.31 jdolecek } else if (strcmp(p, "length") == 0)
360 1.31 jdolecek retval = LENGTH;
361 1.31 jdolecek else
362 1.17 jdolecek retval = STRING;
363 1.1 cgd
364 1.23 jdolecek handle_ddash = 0;
365 1.17 jdolecek yylval = p;
366 1.4 cgd
367 1.17 jdolecek return retval;
368 1.1 cgd }
369 1.4 cgd
370 1.17 jdolecek /*
371 1.17 jdolecek * Print error message and exit with error 2 (syntax error).
372 1.17 jdolecek */
373 1.38 joerg static __printflike(1, 2) void
374 1.17 jdolecek yyerror(const char *fmt, ...)
375 1.1 cgd {
376 1.17 jdolecek va_list arg;
377 1.4 cgd
378 1.17 jdolecek va_start(arg, fmt);
379 1.17 jdolecek verrx(2, fmt, arg);
380 1.17 jdolecek va_end(arg);
381 1.1 cgd }
382 1.1 cgd
383 1.17 jdolecek int
384 1.23 jdolecek main(int argc, const char * const *argv)
385 1.1 cgd {
386 1.28 wiz setprogname(argv[0]);
387 1.28 wiz (void)setlocale(LC_ALL, "");
388 1.6 jtc
389 1.36 joerg if (argc == 1) {
390 1.36 joerg (void)fprintf(stderr, "usage: %s expression\n",
391 1.36 joerg getprogname());
392 1.36 joerg exit(2);
393 1.36 joerg }
394 1.36 joerg
395 1.36 joerg av = argv + 1;
396 1.5 cgd
397 1.42 christos return yyparse();
398 1.1 cgd }
399