Home | History | Annotate | Line # | Download | only in ksh
c_test.c revision 1.9.6.2
      1  1.9.6.1    martin /*	$NetBSD: c_test.c,v 1.9.6.2 2020/04/21 19:37:32 martin Exp $	*/
      2      1.2       tls 
      3      1.1       jtc /*
      4      1.1       jtc  * test(1); version 7-like  --  author Erik Baalbergen
      5      1.1       jtc  * modified by Eric Gisin to be used as built-in.
      6      1.1       jtc  * modified by Arnold Robbins to add SVR3 compatibility
      7      1.1       jtc  * (-x -c -b -p -u -g -k) plus Korn's -L -nt -ot -ef and new -S (socket).
      8      1.1       jtc  * modified by Michael Rendell to add Korn's [[ .. ]] expressions.
      9      1.1       jtc  * modified by J.T. Conklin to add POSIX compatibility.
     10      1.1       jtc  */
     11      1.4       agc #include <sys/cdefs.h>
     12      1.4       agc 
     13      1.4       agc #ifndef lint
     14  1.9.6.1    martin __RCSID("$NetBSD: c_test.c,v 1.9.6.2 2020/04/21 19:37:32 martin Exp $");
     15      1.4       agc #endif
     16      1.4       agc 
     17      1.7     kamil #include <sys/stat.h>
     18      1.1       jtc 
     19      1.1       jtc #include "sh.h"
     20      1.1       jtc #include "c_test.h"
     21      1.1       jtc 
     22      1.1       jtc /* test(1) accepts the following grammar:
     23      1.1       jtc 	oexpr	::= aexpr | aexpr "-o" oexpr ;
     24      1.1       jtc 	aexpr	::= nexpr | nexpr "-a" aexpr ;
     25      1.1       jtc 	nexpr	::= primary | "!" nexpr ;
     26      1.1       jtc 	primary	::= unary-operator operand
     27      1.1       jtc 		| operand binary-operator operand
     28      1.1       jtc 		| operand
     29      1.1       jtc 		| "(" oexpr ")"
     30      1.1       jtc 		;
     31      1.1       jtc 
     32      1.1       jtc 	unary-operator ::= "-a"|"-r"|"-w"|"-x"|"-e"|"-f"|"-d"|"-c"|"-b"|"-p"|
     33      1.1       jtc 			   "-u"|"-g"|"-k"|"-s"|"-t"|"-z"|"-n"|"-o"|"-O"|"-G"|
     34      1.1       jtc 			   "-L"|"-h"|"-S"|"-H";
     35      1.1       jtc 
     36      1.1       jtc 	binary-operator ::= "="|"=="|"!="|"-eq"|"-ne"|"-ge"|"-gt"|"-le"|"-lt"|
     37      1.1       jtc 			    "-nt"|"-ot"|"-ef"|
     38      1.1       jtc 			    "<"|">"	# rules used for [[ .. ]] expressions
     39      1.1       jtc 			    ;
     40      1.1       jtc 	operand ::= <any thing>
     41      1.1       jtc */
     42      1.1       jtc 
     43      1.1       jtc #define T_ERR_EXIT	2	/* POSIX says > 1 for errors */
     44      1.1       jtc 
     45      1.1       jtc struct t_op {
     46      1.1       jtc 	char	op_text[4];
     47      1.1       jtc 	Test_op	op_num;
     48      1.1       jtc };
     49      1.1       jtc static const struct t_op u_ops [] = {
     50      1.1       jtc 	{"-a",	TO_FILAXST },
     51      1.1       jtc 	{"-b",	TO_FILBDEV },
     52      1.1       jtc 	{"-c",	TO_FILCDEV },
     53      1.1       jtc 	{"-d",	TO_FILID },
     54      1.1       jtc 	{"-e",	TO_FILEXST },
     55      1.1       jtc 	{"-f",	TO_FILREG },
     56      1.1       jtc 	{"-G",	TO_FILGID },
     57      1.1       jtc 	{"-g",	TO_FILSETG },
     58      1.1       jtc 	{"-h",	TO_FILSYM },
     59      1.1       jtc 	{"-H",	TO_FILCDF },
     60      1.1       jtc 	{"-k",	TO_FILSTCK },
     61      1.1       jtc 	{"-L",	TO_FILSYM },
     62      1.1       jtc 	{"-n",	TO_STNZE },
     63      1.1       jtc 	{"-O",	TO_FILUID },
     64      1.1       jtc 	{"-o",	TO_OPTION },
     65      1.1       jtc 	{"-p",	TO_FILFIFO },
     66      1.1       jtc 	{"-r",	TO_FILRD },
     67      1.1       jtc 	{"-s",	TO_FILGZ },
     68      1.1       jtc 	{"-S",	TO_FILSOCK },
     69      1.1       jtc 	{"-t",	TO_FILTT },
     70      1.1       jtc 	{"-u",	TO_FILSETU },
     71      1.1       jtc 	{"-w",	TO_FILWR },
     72      1.1       jtc 	{"-x",	TO_FILEX },
     73      1.1       jtc 	{"-z",	TO_STZER },
     74      1.1       jtc 	{"",	TO_NONOP }
     75      1.1       jtc     };
     76      1.1       jtc static const struct t_op b_ops [] = {
     77      1.1       jtc 	{"=",	TO_STEQL },
     78      1.1       jtc #ifdef KSH
     79      1.1       jtc 	{"==",	TO_STEQL },
     80      1.1       jtc #endif /* KSH */
     81      1.1       jtc 	{"!=",	TO_STNEQ },
     82      1.1       jtc 	{"<",	TO_STLT },
     83      1.1       jtc 	{">",	TO_STGT },
     84      1.1       jtc 	{"-eq",	TO_INTEQ },
     85      1.1       jtc 	{"-ne",	TO_INTNE },
     86      1.1       jtc 	{"-gt",	TO_INTGT },
     87      1.1       jtc 	{"-ge",	TO_INTGE },
     88      1.1       jtc 	{"-lt",	TO_INTLT },
     89      1.1       jtc 	{"-le",	TO_INTLE },
     90      1.1       jtc 	{"-ef",	TO_FILEQ },
     91      1.1       jtc 	{"-nt",	TO_FILNT },
     92      1.1       jtc 	{"-ot",	TO_FILOT },
     93      1.1       jtc 	{"",	TO_NONOP }
     94      1.1       jtc     };
     95      1.1       jtc 
     96      1.6  christos static int	test_stat ARGS((const char *, struct stat *));
     97      1.6  christos static int	test_eaccess ARGS((const char *, int));
     98      1.6  christos static int	test_oexpr ARGS((Test_env *, int));
     99      1.6  christos static int	test_aexpr ARGS((Test_env *, int));
    100      1.6  christos static int	test_nexpr ARGS((Test_env *, int));
    101      1.6  christos static int	test_primary ARGS((Test_env *, int));
    102      1.6  christos static int	ptest_isa ARGS((Test_env *, Test_meta));
    103      1.6  christos static const char *ptest_getopnd ARGS((Test_env *, Test_op, int));
    104      1.6  christos static int	ptest_eval ARGS((Test_env *, Test_op, const char *,
    105      1.6  christos 				const char *, int));
    106      1.6  christos static void	ptest_error ARGS((Test_env *, int, const char *));
    107      1.1       jtc 
    108      1.1       jtc int
    109      1.1       jtc c_test(wp)
    110      1.1       jtc 	char **wp;
    111      1.1       jtc {
    112      1.1       jtc 	int argc;
    113      1.1       jtc 	int res;
    114      1.1       jtc 	Test_env te;
    115      1.1       jtc 
    116      1.1       jtc 	te.flags = 0;
    117      1.1       jtc 	te.isa = ptest_isa;
    118      1.1       jtc 	te.getopnd = ptest_getopnd;
    119      1.1       jtc 	te.eval = ptest_eval;
    120      1.1       jtc 	te.error = ptest_error;
    121      1.1       jtc 
    122      1.1       jtc 	for (argc = 0; wp[argc]; argc++)
    123      1.1       jtc 		;
    124      1.1       jtc 
    125      1.1       jtc 	if (strcmp(wp[0], "[") == 0) {
    126      1.1       jtc 		if (strcmp(wp[--argc], "]") != 0) {
    127      1.1       jtc 			bi_errorf("missing ]");
    128      1.1       jtc 			return T_ERR_EXIT;
    129      1.1       jtc 		}
    130      1.1       jtc 	}
    131      1.1       jtc 
    132      1.1       jtc 	te.pos.wp = wp + 1;
    133      1.1       jtc 	te.wp_end = wp + argc;
    134      1.1       jtc 
    135      1.5   mycroft 	/*
    136      1.1       jtc 	 * Handle the special cases from POSIX.2, section 4.62.4.
    137      1.5   mycroft 	 * Implementation of all the rules isn't necessary since
    138      1.5   mycroft 	 * our parser does the right thing for the omitted steps.
    139      1.1       jtc 	 */
    140      1.1       jtc 	if (argc <= 5) {
    141      1.1       jtc 		char **owp = wp;
    142      1.1       jtc 		int invert = 0;
    143      1.1       jtc 		Test_op	op;
    144      1.1       jtc 		const char *opnd1, *opnd2;
    145      1.1       jtc 
    146      1.1       jtc 		while (--argc >= 0) {
    147      1.1       jtc 			if ((*te.isa)(&te, TM_END))
    148      1.1       jtc 				return !0;
    149      1.1       jtc 			if (argc == 3) {
    150      1.1       jtc 				opnd1 = (*te.getopnd)(&te, TO_NONOP, 1);
    151      1.1       jtc 				if ((op = (Test_op) (*te.isa)(&te, TM_BINOP))) {
    152      1.1       jtc 					opnd2 = (*te.getopnd)(&te, op, 1);
    153      1.1       jtc 					res = (*te.eval)(&te, op, opnd1, opnd2,
    154      1.1       jtc 							1);
    155      1.1       jtc 					if (te.flags & TEF_ERROR)
    156      1.1       jtc 						return T_ERR_EXIT;
    157      1.1       jtc 					if (invert & 1)
    158      1.1       jtc 						res = !res;
    159      1.1       jtc 					return !res;
    160      1.1       jtc 				}
    161      1.1       jtc 				/* back up to opnd1 */
    162      1.1       jtc 				te.pos.wp--;
    163      1.1       jtc 			}
    164      1.1       jtc 			if (argc == 1) {
    165      1.1       jtc 				opnd1 = (*te.getopnd)(&te, TO_NONOP, 1);
    166      1.3   hubertf 				/* Historically, -t by itself test if fd 1
    167      1.3   hubertf 				 * is a file descriptor, but POSIX says its
    168      1.3   hubertf 				 * a string test...
    169      1.3   hubertf 				 */
    170      1.3   hubertf 				if (!Flag(FPOSIX) && strcmp(opnd1, "-t") == 0)
    171      1.3   hubertf 				    break;
    172      1.1       jtc 				res = (*te.eval)(&te, TO_STNZE, opnd1,
    173      1.1       jtc 						(char *) 0, 1);
    174      1.1       jtc 				if (invert & 1)
    175      1.1       jtc 					res = !res;
    176      1.1       jtc 				return !res;
    177      1.1       jtc 			}
    178      1.1       jtc 			if ((*te.isa)(&te, TM_NOT)) {
    179      1.1       jtc 				invert++;
    180      1.1       jtc 			} else
    181      1.1       jtc 				break;
    182      1.1       jtc 		}
    183      1.1       jtc 		te.pos.wp = owp + 1;
    184      1.1       jtc 	}
    185      1.1       jtc 
    186      1.1       jtc 	return test_parse(&te);
    187      1.1       jtc }
    188      1.1       jtc 
    189      1.1       jtc /*
    190      1.1       jtc  * Generic test routines.
    191      1.1       jtc  */
    192      1.1       jtc 
    193      1.1       jtc Test_op
    194      1.1       jtc test_isop(te, meta, s)
    195      1.1       jtc 	Test_env *te;
    196      1.1       jtc 	Test_meta meta;
    197      1.1       jtc 	const char *s;
    198      1.1       jtc {
    199      1.1       jtc 	char sc1;
    200      1.1       jtc 	const struct t_op *otab;
    201      1.1       jtc 
    202      1.1       jtc 	otab = meta == TM_UNOP ? u_ops : b_ops;
    203      1.1       jtc 	if (*s) {
    204      1.1       jtc 		sc1 = s[1];
    205      1.1       jtc 		for (; otab->op_text[0]; otab++)
    206      1.1       jtc 			if (sc1 == otab->op_text[1]
    207      1.1       jtc 			    && strcmp(s, otab->op_text) == 0
    208      1.1       jtc 			    && ((te->flags & TEF_DBRACKET)
    209      1.1       jtc 				|| (otab->op_num != TO_STLT
    210      1.1       jtc 				    && otab->op_num != TO_STGT)))
    211      1.1       jtc 				return otab->op_num;
    212      1.1       jtc 	}
    213      1.1       jtc 	return TO_NONOP;
    214      1.1       jtc }
    215      1.1       jtc 
    216      1.1       jtc int
    217      1.1       jtc test_eval(te, op, opnd1, opnd2, do_eval)
    218      1.1       jtc 	Test_env *te;
    219      1.1       jtc 	Test_op op;
    220      1.1       jtc 	const char *opnd1;
    221      1.1       jtc 	const char *opnd2;
    222      1.1       jtc 	int do_eval;
    223      1.1       jtc {
    224      1.1       jtc 	int res;
    225      1.1       jtc 	int not;
    226      1.1       jtc 	struct stat b1, b2;
    227      1.1       jtc 
    228      1.1       jtc 	if (!do_eval)
    229      1.1       jtc 		return 0;
    230      1.1       jtc 
    231      1.1       jtc 	switch ((int) op) {
    232      1.1       jtc 	/*
    233      1.1       jtc 	 * Unary Operators
    234      1.1       jtc 	 */
    235      1.1       jtc 	  case TO_STNZE: /* -n */
    236      1.1       jtc 		return *opnd1 != '\0';
    237      1.1       jtc 	  case TO_STZER: /* -z */
    238      1.1       jtc 		return *opnd1 == '\0';
    239      1.1       jtc 	  case TO_OPTION: /* -o */
    240      1.1       jtc 		if ((not = *opnd1 == '!'))
    241      1.1       jtc 			opnd1++;
    242      1.1       jtc 		if ((res = option(opnd1)) < 0)
    243      1.1       jtc 			res = 0;
    244      1.1       jtc 		else {
    245      1.1       jtc 			res = Flag(res);
    246      1.1       jtc 			if (not)
    247      1.1       jtc 				res = !res;
    248      1.1       jtc 		}
    249      1.5   mycroft 		return res;
    250      1.1       jtc 	  case TO_FILRD: /* -r */
    251      1.1       jtc 		return test_eaccess(opnd1, R_OK) == 0;
    252      1.1       jtc 	  case TO_FILWR: /* -w */
    253      1.1       jtc 		return test_eaccess(opnd1, W_OK) == 0;
    254      1.1       jtc 	  case TO_FILEX: /* -x */
    255      1.1       jtc 		return test_eaccess(opnd1, X_OK) == 0;
    256      1.1       jtc 	  case TO_FILAXST: /* -a */
    257      1.1       jtc 		return test_stat(opnd1, &b1) == 0;
    258      1.1       jtc 	  case TO_FILEXST: /* -e */
    259      1.1       jtc 		/* at&t ksh does not appear to do the /dev/fd/ thing for
    260      1.1       jtc 		 * this (unless the os itself handles it)
    261      1.1       jtc 		 */
    262      1.1       jtc 		return stat(opnd1, &b1) == 0;
    263      1.1       jtc 	  case TO_FILREG: /* -r */
    264      1.1       jtc 		return test_stat(opnd1, &b1) == 0 && S_ISREG(b1.st_mode);
    265      1.1       jtc 	  case TO_FILID: /* -d */
    266      1.1       jtc 		return test_stat(opnd1, &b1) == 0 && S_ISDIR(b1.st_mode);
    267      1.1       jtc 	  case TO_FILCDEV: /* -c */
    268      1.1       jtc #ifdef S_ISCHR
    269      1.1       jtc 		return test_stat(opnd1, &b1) == 0 && S_ISCHR(b1.st_mode);
    270      1.1       jtc #else
    271      1.1       jtc 		return 0;
    272      1.1       jtc #endif
    273      1.1       jtc 	  case TO_FILBDEV: /* -b */
    274      1.1       jtc #ifdef S_ISBLK
    275      1.1       jtc 		return test_stat(opnd1, &b1) == 0 && S_ISBLK(b1.st_mode);
    276      1.1       jtc #else
    277      1.1       jtc 		return 0;
    278      1.1       jtc #endif
    279      1.1       jtc 	  case TO_FILFIFO: /* -p */
    280      1.1       jtc #ifdef S_ISFIFO
    281      1.1       jtc 		return test_stat(opnd1, &b1) == 0 && S_ISFIFO(b1.st_mode);
    282      1.1       jtc #else
    283      1.1       jtc 		return 0;
    284      1.1       jtc #endif
    285      1.1       jtc 	  case TO_FILSYM: /* -h -L */
    286      1.1       jtc #ifdef S_ISLNK
    287      1.1       jtc 		return lstat(opnd1, &b1) == 0 && S_ISLNK(b1.st_mode);
    288      1.1       jtc #else
    289      1.1       jtc 		return 0;
    290      1.1       jtc #endif
    291      1.1       jtc 	  case TO_FILSOCK: /* -S */
    292      1.1       jtc #ifdef S_ISSOCK
    293      1.1       jtc 		return test_stat(opnd1, &b1) == 0 && S_ISSOCK(b1.st_mode);
    294      1.1       jtc #else
    295      1.1       jtc 		return 0;
    296      1.1       jtc #endif
    297      1.1       jtc 	  case TO_FILCDF:/* -H HP context dependent files (directories) */
    298      1.1       jtc #ifdef S_ISCDF
    299      1.1       jtc 	  {
    300      1.1       jtc 		/* Append a + to filename and check to see if result is a
    301      1.1       jtc 		 * setuid directory.  CDF stuff in general is hookey, since
    302      1.1       jtc 		 * it breaks for the following sequence: echo hi > foo+;
    303      1.1       jtc 		 * mkdir foo; echo bye > foo/default; chmod u+s foo
    304      1.1       jtc 		 * (foo+ refers to the file with hi in it, there is no way
    305      1.1       jtc 		 * to get at the file with bye in it - please correct me if
    306      1.1       jtc 		 * I'm wrong about this).
    307      1.1       jtc 		 */
    308      1.1       jtc 		int len = strlen(opnd1);
    309      1.1       jtc 		char *p = str_nsave(opnd1, len + 1, ATEMP);
    310      1.1       jtc 
    311      1.1       jtc 		p[len++] = '+';
    312      1.1       jtc 		p[len] = '\0';
    313      1.1       jtc 		return stat(p, &b1) == 0 && S_ISCDF(b1.st_mode);
    314      1.1       jtc 	  }
    315      1.1       jtc #else
    316      1.1       jtc 		return 0;
    317      1.1       jtc #endif
    318      1.1       jtc 	  case TO_FILSETU: /* -u */
    319      1.1       jtc #ifdef S_ISUID
    320      1.1       jtc 		return test_stat(opnd1, &b1) == 0
    321      1.1       jtc 			&& (b1.st_mode & S_ISUID) == S_ISUID;
    322      1.1       jtc #else
    323      1.1       jtc 		return 0;
    324      1.1       jtc #endif
    325      1.1       jtc 	  case TO_FILSETG: /* -g */
    326      1.1       jtc #ifdef S_ISGID
    327      1.1       jtc 		return test_stat(opnd1, &b1) == 0
    328      1.1       jtc 			&& (b1.st_mode & S_ISGID) == S_ISGID;
    329      1.1       jtc #else
    330      1.1       jtc 		return 0;
    331      1.1       jtc #endif
    332      1.1       jtc 	  case TO_FILSTCK: /* -k */
    333      1.1       jtc 		return test_stat(opnd1, &b1) == 0
    334      1.1       jtc 			&& (b1.st_mode & S_ISVTX) == S_ISVTX;
    335      1.1       jtc 	  case TO_FILGZ: /* -s */
    336      1.1       jtc 		return test_stat(opnd1, &b1) == 0 && b1.st_size > 0L;
    337      1.1       jtc 	  case TO_FILTT: /* -t */
    338      1.1       jtc 		if (opnd1 && !bi_getn(opnd1, &res)) {
    339      1.1       jtc 			te->flags |= TEF_ERROR;
    340      1.1       jtc 			res = 0;
    341      1.3   hubertf 		} else {
    342      1.3   hubertf 			/* generate error if in FPOSIX mode? */
    343      1.1       jtc 			res = isatty(opnd1 ? res : 0);
    344      1.3   hubertf 		}
    345      1.1       jtc 		return res;
    346      1.1       jtc 	  case TO_FILUID: /* -O */
    347      1.3   hubertf 		return test_stat(opnd1, &b1) == 0 && b1.st_uid == ksheuid;
    348      1.1       jtc 	  case TO_FILGID: /* -G */
    349      1.1       jtc 		return test_stat(opnd1, &b1) == 0 && b1.st_gid == getegid();
    350      1.1       jtc 	/*
    351      1.1       jtc 	 * Binary Operators
    352      1.1       jtc 	 */
    353      1.1       jtc 	  case TO_STEQL: /* = */
    354      1.1       jtc 		if (te->flags & TEF_DBRACKET)
    355      1.9     kamil 			return gmatch(opnd1, opnd2, false);
    356      1.1       jtc 		return strcmp(opnd1, opnd2) == 0;
    357      1.1       jtc 	  case TO_STNEQ: /* != */
    358      1.1       jtc 		if (te->flags & TEF_DBRACKET)
    359      1.9     kamil 			return !gmatch(opnd1, opnd2, false);
    360      1.1       jtc 		return strcmp(opnd1, opnd2) != 0;
    361      1.1       jtc 	  case TO_STLT: /* < */
    362      1.1       jtc 		return strcmp(opnd1, opnd2) < 0;
    363      1.1       jtc 	  case TO_STGT: /* > */
    364      1.1       jtc 		return strcmp(opnd1, opnd2) > 0;
    365      1.1       jtc 	  case TO_INTEQ: /* -eq */
    366      1.1       jtc 	  case TO_INTNE: /* -ne */
    367      1.1       jtc 	  case TO_INTGE: /* -ge */
    368      1.1       jtc 	  case TO_INTGT: /* -gt */
    369      1.1       jtc 	  case TO_INTLE: /* -le */
    370      1.1       jtc 	  case TO_INTLT: /* -lt */
    371      1.1       jtc 		{
    372      1.1       jtc 			long v1, v2;
    373      1.1       jtc 
    374      1.3   hubertf 			if (!evaluate(opnd1, &v1, KSH_RETURN_ERROR)
    375      1.3   hubertf 			    || !evaluate(opnd2, &v2, KSH_RETURN_ERROR))
    376      1.1       jtc 			{
    377      1.1       jtc 				/* error already printed.. */
    378      1.1       jtc 				te->flags |= TEF_ERROR;
    379      1.1       jtc 				return 1;
    380      1.1       jtc 			}
    381      1.1       jtc 			switch ((int) op) {
    382      1.1       jtc 			  case TO_INTEQ:
    383      1.1       jtc 				return v1 == v2;
    384      1.1       jtc 			  case TO_INTNE:
    385      1.1       jtc 				return v1 != v2;
    386      1.1       jtc 			  case TO_INTGE:
    387      1.1       jtc 				return v1 >= v2;
    388      1.1       jtc 			  case TO_INTGT:
    389      1.1       jtc 				return v1 > v2;
    390      1.1       jtc 			  case TO_INTLE:
    391      1.1       jtc 				return v1 <= v2;
    392      1.1       jtc 			  case TO_INTLT:
    393      1.1       jtc 				return v1 < v2;
    394      1.1       jtc 			}
    395      1.1       jtc 		}
    396      1.1       jtc 	  case TO_FILNT: /* -nt */
    397      1.3   hubertf 		{
    398      1.3   hubertf 			int s2;
    399      1.3   hubertf 			/* ksh88/ksh93 succeed if file2 can't be stated
    400      1.3   hubertf 			 * (subtly different from `does not exist').
    401      1.3   hubertf 			 */
    402      1.3   hubertf 			return stat(opnd1, &b1) == 0
    403      1.3   hubertf 				&& (((s2 = stat(opnd2, &b2)) == 0
    404      1.3   hubertf 				      && b1.st_mtime > b2.st_mtime) || s2 < 0);
    405      1.3   hubertf 		}
    406      1.1       jtc 	  case TO_FILOT: /* -ot */
    407      1.3   hubertf 		{
    408      1.3   hubertf 			int s1;
    409      1.3   hubertf 			/* ksh88/ksh93 succeed if file1 can't be stated
    410      1.3   hubertf 			 * (subtly different from `does not exist').
    411      1.3   hubertf 			 */
    412      1.3   hubertf 			return stat(opnd2, &b2) == 0
    413      1.3   hubertf 				&& (((s1 = stat(opnd1, &b1)) == 0
    414      1.3   hubertf 				      && b1.st_mtime < b2.st_mtime) || s1 < 0);
    415      1.3   hubertf 		}
    416      1.1       jtc 	  case TO_FILEQ: /* -ef */
    417      1.1       jtc 		return stat (opnd1, &b1) == 0 && stat (opnd2, &b2) == 0
    418      1.1       jtc 		       && b1.st_dev == b2.st_dev
    419      1.1       jtc 		       && b1.st_ino == b2.st_ino;
    420      1.1       jtc 	}
    421      1.1       jtc 	(*te->error)(te, 0, "internal error: unknown op");
    422      1.1       jtc 	return 1;
    423      1.1       jtc }
    424      1.1       jtc 
    425      1.1       jtc static int
    426      1.6  christos test_stat(pathx, statb)
    427      1.6  christos 	const char *pathx;
    428      1.1       jtc 	struct stat *statb;
    429      1.1       jtc {
    430      1.6  christos 	return stat(pathx, statb);
    431      1.1       jtc }
    432      1.1       jtc 
    433      1.3   hubertf /* Routine to handle Korn's /dev/fd hack, and to deal with X_OK on
    434      1.3   hubertf  * non-directories when running as root.
    435      1.3   hubertf  */
    436      1.1       jtc static int
    437      1.6  christos test_eaccess(pathx, mode)
    438      1.6  christos 	const char *pathx;
    439      1.1       jtc 	int mode;
    440      1.1       jtc {
    441      1.3   hubertf 	int res;
    442      1.3   hubertf 
    443      1.6  christos 	res = eaccess(pathx, mode);
    444      1.5   mycroft 	/*
    445      1.5   mycroft 	 * On most (all?) unixes, access() says everything is executable for
    446      1.3   hubertf 	 * root - avoid this on files by using stat().
    447      1.3   hubertf 	 */
    448      1.5   mycroft 	if (res == 0 && ksheuid == 0 && (mode & X_OK)) {
    449      1.3   hubertf 		struct stat statb;
    450      1.3   hubertf 
    451      1.6  christos 		if (stat(pathx, &statb) < 0)
    452      1.3   hubertf 			res = -1;
    453      1.3   hubertf 		else if (S_ISDIR(statb.st_mode))
    454      1.3   hubertf 			res = 0;
    455      1.3   hubertf 		else
    456      1.3   hubertf 			res = (statb.st_mode & (S_IXUSR|S_IXGRP|S_IXOTH))
    457      1.3   hubertf 				? 0 : -1;
    458      1.5   mycroft 	}
    459      1.3   hubertf 
    460      1.3   hubertf 	return res;
    461      1.1       jtc }
    462      1.1       jtc 
    463      1.1       jtc int
    464      1.1       jtc test_parse(te)
    465      1.1       jtc 	Test_env *te;
    466      1.1       jtc {
    467      1.1       jtc 	int res;
    468      1.1       jtc 
    469      1.1       jtc 	res = test_oexpr(te, 1);
    470      1.1       jtc 
    471      1.1       jtc 	if (!(te->flags & TEF_ERROR) && !(*te->isa)(te, TM_END))
    472      1.1       jtc 		(*te->error)(te, 0, "unexpected operator/operand");
    473      1.1       jtc 
    474      1.1       jtc 	return (te->flags & TEF_ERROR) ? T_ERR_EXIT : !res;
    475      1.1       jtc }
    476      1.1       jtc 
    477      1.1       jtc static int
    478      1.1       jtc test_oexpr(te, do_eval)
    479      1.1       jtc 	Test_env *te;
    480      1.1       jtc 	int do_eval;
    481      1.1       jtc {
    482      1.1       jtc 	int res;
    483      1.1       jtc 
    484      1.1       jtc 	res = test_aexpr(te, do_eval);
    485      1.1       jtc 	if (res)
    486      1.1       jtc 		do_eval = 0;
    487      1.1       jtc 	if (!(te->flags & TEF_ERROR) && (*te->isa)(te, TM_OR))
    488      1.1       jtc 		return test_oexpr(te, do_eval) || res;
    489      1.1       jtc 	return res;
    490      1.1       jtc }
    491      1.1       jtc 
    492      1.1       jtc static int
    493      1.1       jtc test_aexpr(te, do_eval)
    494      1.1       jtc 	Test_env *te;
    495      1.1       jtc 	int do_eval;
    496      1.1       jtc {
    497      1.1       jtc 	int res;
    498      1.1       jtc 
    499      1.1       jtc 	res = test_nexpr(te, do_eval);
    500      1.1       jtc 	if (!res)
    501      1.1       jtc 		do_eval = 0;
    502      1.1       jtc 	if (!(te->flags & TEF_ERROR) && (*te->isa)(te, TM_AND))
    503      1.1       jtc 		return test_aexpr(te, do_eval) && res;
    504      1.1       jtc 	return res;
    505      1.1       jtc }
    506      1.1       jtc 
    507      1.1       jtc static int
    508      1.1       jtc test_nexpr(te, do_eval)
    509      1.1       jtc 	Test_env *te;
    510      1.1       jtc 	int do_eval;
    511      1.1       jtc {
    512      1.1       jtc 	if (!(te->flags & TEF_ERROR) && (*te->isa)(te, TM_NOT))
    513      1.1       jtc 		return !test_nexpr(te, do_eval);
    514      1.1       jtc 	return test_primary(te, do_eval);
    515      1.1       jtc }
    516      1.1       jtc 
    517      1.1       jtc static int
    518      1.1       jtc test_primary(te, do_eval)
    519      1.1       jtc 	Test_env *te;
    520      1.1       jtc 	int do_eval;
    521      1.1       jtc {
    522      1.1       jtc 	const char *opnd1, *opnd2;
    523      1.1       jtc 	int res;
    524      1.1       jtc 	Test_op op;
    525      1.1       jtc 
    526      1.1       jtc 	if (te->flags & TEF_ERROR)
    527      1.1       jtc 		return 0;
    528      1.1       jtc 	if ((*te->isa)(te, TM_OPAREN)) {
    529      1.1       jtc 		res = test_oexpr(te, do_eval);
    530      1.1       jtc 		if (te->flags & TEF_ERROR)
    531      1.1       jtc 			return 0;
    532      1.1       jtc 		if (!(*te->isa)(te, TM_CPAREN)) {
    533      1.1       jtc 			(*te->error)(te, 0, "missing closing paren");
    534      1.1       jtc 			return 0;
    535      1.1       jtc 		}
    536      1.1       jtc 		return res;
    537      1.1       jtc 	}
    538      1.1       jtc 	if ((op = (Test_op) (*te->isa)(te, TM_UNOP))) {
    539      1.1       jtc 		/* unary expression */
    540      1.1       jtc 		opnd1 = (*te->getopnd)(te, op, do_eval);
    541      1.1       jtc 		if (!opnd1) {
    542      1.1       jtc 			(*te->error)(te, -1, "missing argument");
    543      1.1       jtc 			return 0;
    544      1.1       jtc 		}
    545      1.1       jtc 
    546      1.1       jtc 		return (*te->eval)(te, op, opnd1, (const char *) 0, do_eval);
    547      1.1       jtc 	}
    548      1.1       jtc 	opnd1 = (*te->getopnd)(te, TO_NONOP, do_eval);
    549      1.1       jtc 	if (!opnd1) {
    550      1.1       jtc 		(*te->error)(te, 0, "expression expected");
    551      1.1       jtc 		return 0;
    552      1.1       jtc 	}
    553      1.1       jtc 	if ((op = (Test_op) (*te->isa)(te, TM_BINOP))) {
    554      1.1       jtc 		/* binary expression */
    555      1.1       jtc 		opnd2 = (*te->getopnd)(te, op, do_eval);
    556      1.1       jtc 		if (!opnd2) {
    557      1.1       jtc 			(*te->error)(te, -1, "missing second argument");
    558      1.1       jtc 			return 0;
    559      1.1       jtc 		}
    560      1.1       jtc 
    561      1.1       jtc 		return (*te->eval)(te, op, opnd1, opnd2, do_eval);
    562      1.1       jtc 	}
    563      1.1       jtc 	if (te->flags & TEF_DBRACKET) {
    564      1.1       jtc 		(*te->error)(te, -1, "missing expression operator");
    565      1.1       jtc 		return 0;
    566      1.1       jtc 	}
    567      1.1       jtc 	return (*te->eval)(te, TO_STNZE, opnd1, (const char *) 0, do_eval);
    568      1.1       jtc }
    569      1.1       jtc 
    570      1.1       jtc /*
    571      1.1       jtc  * Plain test (test and [ .. ]) specific routines.
    572      1.1       jtc  */
    573      1.1       jtc 
    574      1.1       jtc /* Test if the current token is a whatever.  Accepts the current token if
    575      1.1       jtc  * it is.  Returns 0 if it is not, non-zero if it is (in the case of
    576      1.1       jtc  * TM_UNOP and TM_BINOP, the returned value is a Test_op).
    577      1.1       jtc  */
    578      1.1       jtc static int
    579      1.1       jtc ptest_isa(te, meta)
    580      1.1       jtc 	Test_env *te;
    581      1.1       jtc 	Test_meta meta;
    582      1.1       jtc {
    583      1.1       jtc 	/* Order important - indexed by Test_meta values */
    584      1.1       jtc 	static const char *const tokens[] = {
    585      1.1       jtc 				"-o", "-a", "!", "(", ")"
    586      1.1       jtc 			};
    587      1.1       jtc 	int ret;
    588      1.1       jtc 
    589      1.1       jtc 	if (te->pos.wp >= te->wp_end)
    590      1.1       jtc 		return meta == TM_END;
    591      1.1       jtc 
    592      1.1       jtc 	if (meta == TM_UNOP || meta == TM_BINOP)
    593      1.1       jtc 		ret = (int) test_isop(te, meta, *te->pos.wp);
    594      1.1       jtc 	else if (meta == TM_END)
    595      1.1       jtc 		ret = 0;
    596      1.1       jtc 	else
    597      1.1       jtc 		ret = strcmp(*te->pos.wp, tokens[(int) meta]) == 0;
    598      1.1       jtc 
    599      1.1       jtc 	/* Accept the token? */
    600      1.1       jtc 	if (ret)
    601      1.1       jtc 		te->pos.wp++;
    602      1.1       jtc 
    603      1.1       jtc 	return ret;
    604      1.1       jtc }
    605      1.1       jtc 
    606      1.1       jtc static const char *
    607      1.1       jtc ptest_getopnd(te, op, do_eval)
    608      1.1       jtc 	Test_env *te;
    609      1.1       jtc 	Test_op op;
    610      1.1       jtc 	int do_eval;
    611      1.1       jtc {
    612      1.1       jtc 	if (te->pos.wp >= te->wp_end)
    613      1.1       jtc 		return op == TO_FILTT ? "1" : (const char *) 0;
    614      1.1       jtc 	return *te->pos.wp++;
    615      1.1       jtc }
    616      1.1       jtc 
    617      1.1       jtc static int
    618      1.1       jtc ptest_eval(te, op, opnd1, opnd2, do_eval)
    619      1.1       jtc 	Test_env *te;
    620      1.1       jtc 	Test_op op;
    621      1.1       jtc 	const char *opnd1;
    622      1.1       jtc 	const char *opnd2;
    623      1.1       jtc 	int do_eval;
    624      1.1       jtc {
    625      1.1       jtc 	return test_eval(te, op, opnd1, opnd2, do_eval);
    626      1.1       jtc }
    627      1.1       jtc 
    628      1.1       jtc static void
    629      1.1       jtc ptest_error(te, offset, msg)
    630      1.1       jtc 	Test_env *te;
    631      1.1       jtc 	int offset;
    632      1.1       jtc 	const char *msg;
    633      1.1       jtc {
    634      1.1       jtc 	const char *op = te->pos.wp + offset >= te->wp_end ?
    635      1.1       jtc 				(const char *) 0 : te->pos.wp[offset];
    636      1.1       jtc 
    637      1.1       jtc 	te->flags |= TEF_ERROR;
    638      1.1       jtc 	if (op)
    639      1.1       jtc 		bi_errorf("%s: %s", op, msg);
    640      1.1       jtc 	else
    641      1.1       jtc 		bi_errorf("%s", msg);
    642      1.1       jtc }
    643