Home | History | Annotate | Line # | Download | only in expr
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