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