eval.c revision 1.14 1 1.14 dholland /* $NetBSD: eval.c,v 1.14 2011/08/21 21:24:34 dholland Exp $ */
2 1.2 tls
3 1.1 jtc /*
4 1.1 jtc * Expansion - quoting, separation, substitution, globbing
5 1.1 jtc */
6 1.4 agc #include <sys/cdefs.h>
7 1.4 agc
8 1.4 agc #ifndef lint
9 1.14 dholland __RCSID("$NetBSD: eval.c,v 1.14 2011/08/21 21:24:34 dholland Exp $");
10 1.4 agc #endif
11 1.4 agc
12 1.14 dholland #include <stdint.h>
13 1.14 dholland #include <pwd.h>
14 1.1 jtc
15 1.1 jtc #include "sh.h"
16 1.1 jtc #include "ksh_dir.h"
17 1.1 jtc #include "ksh_stat.h"
18 1.1 jtc
19 1.1 jtc /*
20 1.1 jtc * string expansion
21 1.1 jtc *
22 1.1 jtc * first pass: quoting, IFS separation, ~, ${}, $() and $(()) substitution.
23 1.1 jtc * second pass: alternation ({,}), filename expansion (*?[]).
24 1.1 jtc */
25 1.1 jtc
26 1.1 jtc /* expansion generator state */
27 1.1 jtc typedef struct Expand {
28 1.1 jtc /* int type; */ /* see expand() */
29 1.1 jtc const char *str; /* string */
30 1.1 jtc union {
31 1.1 jtc const char **strv;/* string[] */
32 1.1 jtc struct shf *shf;/* file */
33 1.1 jtc } u; /* source */
34 1.1 jtc struct tbl *var; /* variable in ${var..} */
35 1.1 jtc short split; /* split "$@" / call waitlast $() */
36 1.1 jtc } Expand;
37 1.1 jtc
38 1.1 jtc #define XBASE 0 /* scanning original */
39 1.1 jtc #define XSUB 1 /* expanding ${} string */
40 1.1 jtc #define XARGSEP 2 /* ifs0 between "$*" */
41 1.1 jtc #define XARG 3 /* expanding $*, $@ */
42 1.1 jtc #define XCOM 4 /* expanding $() */
43 1.1 jtc #define XNULLSUB 5 /* "$@" when $# is 0 (don't generate word) */
44 1.1 jtc
45 1.1 jtc /* States used for field splitting */
46 1.1 jtc #define IFS_WORD 0 /* word has chars (or quotes) */
47 1.1 jtc #define IFS_WS 1 /* have seen IFS white-space */
48 1.1 jtc #define IFS_NWS 2 /* have seen IFS non-white-space */
49 1.1 jtc
50 1.3 hubertf static int varsub ARGS((Expand *xp, char *sp, char *word, int *stypep, int *slenp));
51 1.1 jtc static int comsub ARGS((Expand *xp, char *cp));
52 1.1 jtc static char *trimsub ARGS((char *str, char *pat, int how));
53 1.1 jtc static void glob ARGS((char *cp, XPtrV *wp, int markdirs));
54 1.1 jtc static void globit ARGS((XString *xs, char **xpp, char *sp, XPtrV *wp,
55 1.1 jtc int check));
56 1.1 jtc static char *maybe_expand_tilde ARGS((char *p, XString *dsp, char **dpp,
57 1.1 jtc int isassign));
58 1.1 jtc static char *tilde ARGS((char *acp));
59 1.1 jtc static char *homedir ARGS((char *name));
60 1.1 jtc #ifdef BRACE_EXPAND
61 1.1 jtc static void alt_expand ARGS((XPtrV *wp, char *start, char *exp_start,
62 1.1 jtc char *end, int fdo));
63 1.1 jtc #endif
64 1.1 jtc
65 1.1 jtc /* compile and expand word */
66 1.1 jtc char *
67 1.1 jtc substitute(cp, f)
68 1.1 jtc const char *cp;
69 1.1 jtc int f;
70 1.1 jtc {
71 1.1 jtc struct source *s, *sold;
72 1.1 jtc
73 1.1 jtc sold = source;
74 1.1 jtc s = pushs(SWSTR, ATEMP);
75 1.1 jtc s->start = s->str = cp;
76 1.1 jtc source = s;
77 1.1 jtc if (yylex(ONEWORD) != LWORD)
78 1.1 jtc internal_errorf(1, "substitute");
79 1.1 jtc source = sold;
80 1.1 jtc afree(s, ATEMP);
81 1.1 jtc return evalstr(yylval.cp, f);
82 1.1 jtc }
83 1.1 jtc
84 1.1 jtc /*
85 1.1 jtc * expand arg-list
86 1.1 jtc */
87 1.1 jtc char **
88 1.1 jtc eval(ap, f)
89 1.1 jtc register char **ap;
90 1.1 jtc int f;
91 1.1 jtc {
92 1.1 jtc XPtrV w;
93 1.1 jtc
94 1.1 jtc if (*ap == NULL)
95 1.1 jtc return ap;
96 1.1 jtc XPinit(w, 32);
97 1.1 jtc XPput(w, NULL); /* space for shell name */
98 1.1 jtc #ifdef SHARPBANG
99 1.1 jtc XPput(w, NULL); /* and space for one arg */
100 1.1 jtc #endif
101 1.1 jtc while (*ap != NULL)
102 1.1 jtc expand(*ap++, &w, f);
103 1.1 jtc XPput(w, NULL);
104 1.1 jtc #ifdef SHARPBANG
105 1.1 jtc return (char **) XPclose(w) + 2;
106 1.1 jtc #else
107 1.1 jtc return (char **) XPclose(w) + 1;
108 1.1 jtc #endif
109 1.1 jtc }
110 1.1 jtc
111 1.1 jtc /*
112 1.1 jtc * expand string
113 1.1 jtc */
114 1.1 jtc char *
115 1.1 jtc evalstr(cp, f)
116 1.1 jtc char *cp;
117 1.1 jtc int f;
118 1.1 jtc {
119 1.1 jtc XPtrV w;
120 1.1 jtc
121 1.1 jtc XPinit(w, 1);
122 1.1 jtc expand(cp, &w, f);
123 1.1 jtc cp = (XPsize(w) == 0) ? null : (char*) *XPptrv(w);
124 1.1 jtc XPfree(w);
125 1.1 jtc return cp;
126 1.1 jtc }
127 1.1 jtc
128 1.1 jtc /*
129 1.1 jtc * expand string - return only one component
130 1.1 jtc * used from iosetup to expand redirection files
131 1.1 jtc */
132 1.1 jtc char *
133 1.1 jtc evalonestr(cp, f)
134 1.1 jtc register char *cp;
135 1.1 jtc int f;
136 1.1 jtc {
137 1.1 jtc XPtrV w;
138 1.1 jtc
139 1.1 jtc XPinit(w, 1);
140 1.1 jtc expand(cp, &w, f);
141 1.1 jtc switch (XPsize(w)) {
142 1.1 jtc case 0:
143 1.1 jtc cp = null;
144 1.1 jtc break;
145 1.1 jtc case 1:
146 1.1 jtc cp = (char*) *XPptrv(w);
147 1.1 jtc break;
148 1.1 jtc default:
149 1.1 jtc cp = evalstr(cp, f&~DOGLOB);
150 1.1 jtc break;
151 1.1 jtc }
152 1.1 jtc XPfree(w);
153 1.1 jtc return cp;
154 1.1 jtc }
155 1.1 jtc
156 1.1 jtc /* for nested substitution: ${var:=$var2} */
157 1.1 jtc typedef struct SubType {
158 1.1 jtc short stype; /* [=+-?%#] action after expanded word */
159 1.1 jtc short base; /* begin position of expanded word */
160 1.1 jtc short f; /* saved value of f (DOPAT, etc) */
161 1.1 jtc struct tbl *var; /* variable for ${var..} */
162 1.1 jtc short quote; /* saved value of quote (for ${..[%#]..}) */
163 1.1 jtc struct SubType *prev; /* old type */
164 1.1 jtc struct SubType *next; /* poped type (to avoid re-allocating) */
165 1.1 jtc } SubType;
166 1.1 jtc
167 1.1 jtc void
168 1.1 jtc expand(cp, wp, f)
169 1.1 jtc char *cp; /* input word */
170 1.1 jtc register XPtrV *wp; /* output words */
171 1.1 jtc int f; /* DO* flags */
172 1.1 jtc {
173 1.1 jtc register int UNINITIALIZED(c);
174 1.1 jtc register int type; /* expansion type */
175 1.1 jtc register int quote = 0; /* quoted */
176 1.1 jtc XString ds; /* destination string */
177 1.1 jtc register char *dp, *sp; /* dest., source */
178 1.1 jtc int fdo, word; /* second pass flags; have word */
179 1.5 mycroft int doblank; /* field splitting of parameter/command subst */
180 1.1 jtc Expand x; /* expansion variables */
181 1.1 jtc SubType st_head, *st;
182 1.1 jtc int UNINITIALIZED(newlines); /* For trailing newlines in COMSUB */
183 1.1 jtc int saw_eq, tilde_ok;
184 1.1 jtc int make_magic;
185 1.5 mycroft size_t len;
186 1.1 jtc
187 1.6 mrg x.split = 0; /* XXX gcc */
188 1.6 mrg x.str = NULL; /* XXX gcc */
189 1.13 christos x.u.strv = NULL;/* XXX gcc */
190 1.1 jtc if (cp == NULL)
191 1.1 jtc internal_errorf(1, "expand(NULL)");
192 1.1 jtc /* for alias, readonly, set, typeset commands */
193 1.1 jtc if ((f & DOVACHECK) && is_wdvarassign(cp)) {
194 1.1 jtc f &= ~(DOVACHECK|DOBLANK|DOGLOB|DOTILDE);
195 1.1 jtc f |= DOASNTILDE;
196 1.1 jtc }
197 1.1 jtc if (Flag(FNOGLOB))
198 1.1 jtc f &= ~DOGLOB;
199 1.1 jtc if (Flag(FMARKDIRS))
200 1.1 jtc f |= DOMARKDIRS;
201 1.1 jtc #ifdef BRACE_EXPAND
202 1.1 jtc if (Flag(FBRACEEXPAND) && (f & DOGLOB))
203 1.1 jtc f |= DOBRACE_;
204 1.1 jtc #endif /* BRACE_EXPAND */
205 1.1 jtc
206 1.1 jtc Xinit(ds, dp, 128, ATEMP); /* init dest. string */
207 1.1 jtc type = XBASE;
208 1.1 jtc sp = cp;
209 1.1 jtc fdo = 0;
210 1.1 jtc saw_eq = 0;
211 1.1 jtc tilde_ok = (f & (DOTILDE|DOASNTILDE)) ? 1 : 0; /* must be 1/0 */
212 1.1 jtc doblank = 0;
213 1.1 jtc make_magic = 0;
214 1.1 jtc word = (f&DOBLANK) ? IFS_WS : IFS_WORD;
215 1.1 jtc st_head.next = (SubType *) 0;
216 1.1 jtc st = &st_head;
217 1.1 jtc
218 1.1 jtc while (1) {
219 1.1 jtc Xcheck(ds, dp);
220 1.1 jtc
221 1.1 jtc switch (type) {
222 1.1 jtc case XBASE: /* original prefixed string */
223 1.1 jtc c = *sp++;
224 1.1 jtc switch (c) {
225 1.1 jtc case EOS:
226 1.1 jtc c = 0;
227 1.1 jtc break;
228 1.1 jtc case CHAR:
229 1.1 jtc c = *sp++;
230 1.1 jtc break;
231 1.1 jtc case QCHAR:
232 1.1 jtc quote |= 2; /* temporary quote */
233 1.1 jtc c = *sp++;
234 1.1 jtc break;
235 1.1 jtc case OQUOTE:
236 1.1 jtc word = IFS_WORD;
237 1.1 jtc tilde_ok = 0;
238 1.1 jtc quote = 1;
239 1.1 jtc continue;
240 1.1 jtc case CQUOTE:
241 1.1 jtc quote = 0;
242 1.1 jtc continue;
243 1.1 jtc case COMSUB:
244 1.1 jtc tilde_ok = 0;
245 1.1 jtc if (f & DONTRUNCOMMAND) {
246 1.1 jtc word = IFS_WORD;
247 1.1 jtc *dp++ = '$'; *dp++ = '(';
248 1.1 jtc while (*sp != '\0') {
249 1.1 jtc Xcheck(ds, dp);
250 1.1 jtc *dp++ = *sp++;
251 1.1 jtc }
252 1.1 jtc *dp++ = ')';
253 1.1 jtc } else {
254 1.1 jtc type = comsub(&x, sp);
255 1.1 jtc if (type == XCOM && (f&DOBLANK))
256 1.1 jtc doblank++;
257 1.1 jtc sp = strchr(sp, 0) + 1;
258 1.1 jtc newlines = 0;
259 1.1 jtc }
260 1.1 jtc continue;
261 1.1 jtc case EXPRSUB:
262 1.1 jtc word = IFS_WORD;
263 1.1 jtc tilde_ok = 0;
264 1.1 jtc if (f & DONTRUNCOMMAND) {
265 1.1 jtc *dp++ = '$'; *dp++ = '('; *dp++ = '(';
266 1.1 jtc while (*sp != '\0') {
267 1.1 jtc Xcheck(ds, dp);
268 1.1 jtc *dp++ = *sp++;
269 1.1 jtc }
270 1.1 jtc *dp++ = ')'; *dp++ = ')';
271 1.1 jtc } else {
272 1.1 jtc struct tbl v;
273 1.1 jtc char *p;
274 1.1 jtc
275 1.1 jtc v.flag = DEFINED|ISSET|INTEGER;
276 1.1 jtc v.type = 10; /* not default */
277 1.1 jtc v.name[0] = '\0';
278 1.1 jtc v_evaluate(&v, substitute(sp, 0),
279 1.3 hubertf KSH_UNWIND_ERROR);
280 1.1 jtc sp = strchr(sp, 0) + 1;
281 1.1 jtc for (p = str_val(&v); *p; ) {
282 1.1 jtc Xcheck(ds, dp);
283 1.1 jtc *dp++ = *p++;
284 1.1 jtc }
285 1.1 jtc }
286 1.1 jtc continue;
287 1.1 jtc case OSUBST: /* ${{#}var{:}[=+-?#%]word} */
288 1.1 jtc /* format is:
289 1.3 hubertf * OSUBST [{x] plain-variable-part \0
290 1.3 hubertf * compiled-word-part CSUBST [}x]
291 1.1 jtc * This is were all syntax checking gets done...
292 1.1 jtc */
293 1.1 jtc {
294 1.3 hubertf char *varname = ++sp; /* skip the { or x (}) */
295 1.1 jtc int stype;
296 1.3 hubertf int slen;
297 1.1 jtc
298 1.6 mrg slen = -1; /* XXX gcc */
299 1.1 jtc sp = strchr(sp, '\0') + 1; /* skip variable */
300 1.3 hubertf type = varsub(&x, varname, sp, &stype, &slen);
301 1.1 jtc if (type < 0) {
302 1.1 jtc char endc;
303 1.1 jtc char *str, *end;
304 1.1 jtc
305 1.1 jtc end = (char *) wdscan(sp, CSUBST);
306 1.3 hubertf /* ({) the } or x is already skipped */
307 1.1 jtc endc = *end;
308 1.1 jtc *end = EOS;
309 1.1 jtc str = snptreef((char *) 0, 64, "%S",
310 1.1 jtc varname - 1);
311 1.1 jtc *end = endc;
312 1.1 jtc errorf("%s: bad substitution", str);
313 1.1 jtc }
314 1.1 jtc if (f&DOBLANK)
315 1.1 jtc doblank++;
316 1.1 jtc tilde_ok = 0;
317 1.1 jtc if (type == XBASE) { /* expand? */
318 1.1 jtc if (!st->next) {
319 1.1 jtc SubType *newst;
320 1.1 jtc
321 1.1 jtc newst = (SubType *) alloc(
322 1.1 jtc sizeof(SubType), ATEMP);
323 1.1 jtc newst->next = (SubType *) 0;
324 1.1 jtc newst->prev = st;
325 1.1 jtc st->next = newst;
326 1.1 jtc }
327 1.1 jtc st = st->next;
328 1.1 jtc st->stype = stype;
329 1.1 jtc st->base = Xsavepos(ds, dp);
330 1.1 jtc st->f = f;
331 1.1 jtc st->var = x.var;
332 1.1 jtc st->quote = quote;
333 1.1 jtc /* skip qualifier(s) */
334 1.3 hubertf if (stype)
335 1.3 hubertf sp += slen;
336 1.1 jtc switch (stype & 0x7f) {
337 1.1 jtc case '#':
338 1.1 jtc case '%':
339 1.1 jtc /* ! DOBLANK,DOBRACE_,DOTILDE */
340 1.1 jtc f = DOPAT | (f&DONTRUNCOMMAND)
341 1.1 jtc | DOTEMP_;
342 1.1 jtc quote = 0;
343 1.3 hubertf /* Prepend open pattern (so |
344 1.3 hubertf * in a trim will work as
345 1.3 hubertf * expected)
346 1.3 hubertf */
347 1.3 hubertf *dp++ = MAGIC;
348 1.3 hubertf *dp++ = '@' + 0x80;
349 1.1 jtc break;
350 1.1 jtc case '=':
351 1.1 jtc /* Enabling tilde expansion
352 1.1 jtc * after :'s here is
353 1.1 jtc * non-standard ksh, but is
354 1.1 jtc * consistent with rules for
355 1.1 jtc * other assignments. Not
356 1.1 jtc * sure what POSIX thinks of
357 1.1 jtc * this.
358 1.1 jtc * Not doing tilde expansion
359 1.1 jtc * for integer variables is a
360 1.1 jtc * non-POSIX thing - makes
361 1.1 jtc * sense though, since ~ is
362 1.1 jtc * a arithmetic operator.
363 1.1 jtc */
364 1.1 jtc if (!(x.var->flag & INTEGER))
365 1.1 jtc f |= DOASNTILDE|DOTILDE;
366 1.1 jtc f |= DOTEMP_;
367 1.1 jtc /* These will be done after the
368 1.1 jtc * value has been assigned.
369 1.1 jtc */
370 1.1 jtc f &= ~(DOBLANK|DOGLOB|DOBRACE_);
371 1.1 jtc tilde_ok = 1;
372 1.1 jtc break;
373 1.1 jtc case '?':
374 1.1 jtc f &= ~DOBLANK;
375 1.1 jtc f |= DOTEMP_;
376 1.1 jtc /* fall through */
377 1.1 jtc default:
378 1.1 jtc /* Enable tilde expansion */
379 1.1 jtc tilde_ok = 1;
380 1.1 jtc f |= DOTILDE;
381 1.1 jtc }
382 1.1 jtc } else
383 1.1 jtc /* skip word */
384 1.1 jtc sp = (char *) wdscan(sp, CSUBST);
385 1.1 jtc continue;
386 1.1 jtc }
387 1.1 jtc case CSUBST: /* only get here if expanding word */
388 1.3 hubertf sp++; /* ({) skip the } or x */
389 1.1 jtc tilde_ok = 0; /* in case of ${unset:-} */
390 1.1 jtc *dp = '\0';
391 1.1 jtc quote = st->quote;
392 1.1 jtc f = st->f;
393 1.1 jtc if (f&DOBLANK)
394 1.1 jtc doblank--;
395 1.1 jtc switch (st->stype&0x7f) {
396 1.1 jtc case '#':
397 1.1 jtc case '%':
398 1.3 hubertf /* Append end-pattern */
399 1.3 hubertf *dp++ = MAGIC; *dp++ = ')'; *dp = '\0';
400 1.1 jtc dp = Xrestpos(ds, dp, st->base);
401 1.1 jtc /* Must use st->var since calling
402 1.1 jtc * global would break things
403 1.1 jtc * like x[i+=1].
404 1.1 jtc */
405 1.1 jtc x.str = trimsub(str_val(st->var),
406 1.1 jtc dp, st->stype);
407 1.1 jtc type = XSUB;
408 1.1 jtc if (f&DOBLANK)
409 1.1 jtc doblank++;
410 1.1 jtc st = st->prev;
411 1.1 jtc continue;
412 1.1 jtc case '=':
413 1.1 jtc /* Restore our position and substitute
414 1.1 jtc * the value of st->var (may not be
415 1.1 jtc * the assigned value in the presence
416 1.1 jtc * of integer/right-adj/etc attributes).
417 1.1 jtc */
418 1.1 jtc dp = Xrestpos(ds, dp, st->base);
419 1.1 jtc /* Must use st->var since calling
420 1.1 jtc * global would cause with things
421 1.1 jtc * like x[i+=1] to be evaluated twice.
422 1.1 jtc */
423 1.3 hubertf /* Note: not exported by FEXPORT
424 1.3 hubertf * in at&t ksh.
425 1.3 hubertf */
426 1.3 hubertf /* XXX POSIX says readonly is only
427 1.3 hubertf * fatal for special builtins (setstr
428 1.3 hubertf * does readonly check).
429 1.3 hubertf */
430 1.5 mycroft len = strlen(dp) + 1;
431 1.5 mycroft setstr(st->var,
432 1.5 mycroft debunk((char *) alloc(len, ATEMP),
433 1.5 mycroft dp, len),
434 1.5 mycroft KSH_UNWIND_ERROR);
435 1.1 jtc x.str = str_val(st->var);
436 1.1 jtc type = XSUB;
437 1.1 jtc if (f&DOBLANK)
438 1.1 jtc doblank++;
439 1.1 jtc st = st->prev;
440 1.1 jtc continue;
441 1.1 jtc case '?':
442 1.1 jtc {
443 1.1 jtc char *s = Xrestpos(ds, dp, st->base);
444 1.1 jtc
445 1.1 jtc errorf("%s: %s", st->var->name,
446 1.5 mycroft dp == s ?
447 1.1 jtc "parameter null or not set"
448 1.5 mycroft : (debunk(s, s, strlen(s) + 1), s));
449 1.1 jtc }
450 1.1 jtc }
451 1.1 jtc st = st->prev;
452 1.1 jtc type = XBASE;
453 1.1 jtc continue;
454 1.1 jtc
455 1.1 jtc case OPAT: /* open pattern: *(foo|bar) */
456 1.1 jtc /* Next char is the type of pattern */
457 1.1 jtc make_magic = 1;
458 1.1 jtc c = *sp++ + 0x80;
459 1.1 jtc break;
460 1.1 jtc
461 1.5 mycroft case SPAT: /* pattern separator (|) */
462 1.1 jtc make_magic = 1;
463 1.1 jtc c = '|';
464 1.1 jtc break;
465 1.1 jtc
466 1.1 jtc case CPAT: /* close pattern */
467 1.1 jtc make_magic = 1;
468 1.1 jtc c = /*(*/ ')';
469 1.1 jtc break;
470 1.1 jtc }
471 1.1 jtc break;
472 1.1 jtc
473 1.1 jtc case XNULLSUB:
474 1.1 jtc /* Special case for "$@" (and "${foo[@]}") - no
475 1.1 jtc * word is generated if $# is 0 (unless there is
476 1.1 jtc * other stuff inside the quotes).
477 1.1 jtc */
478 1.1 jtc type = XBASE;
479 1.1 jtc if (f&DOBLANK) {
480 1.1 jtc doblank--;
481 1.1 jtc /* not really correct: x=; "$x$@" should
482 1.1 jtc * generate a null argument and
483 1.1 jtc * set A; "${@:+}" shouldn't.
484 1.1 jtc */
485 1.1 jtc if (dp == Xstring(ds, dp))
486 1.1 jtc word = IFS_WS;
487 1.1 jtc }
488 1.1 jtc continue;
489 1.1 jtc
490 1.1 jtc case XSUB:
491 1.1 jtc if ((c = *x.str++) == 0) {
492 1.1 jtc type = XBASE;
493 1.1 jtc if (f&DOBLANK)
494 1.1 jtc doblank--;
495 1.1 jtc continue;
496 1.1 jtc }
497 1.1 jtc break;
498 1.1 jtc
499 1.1 jtc case XARGSEP:
500 1.1 jtc type = XARG;
501 1.1 jtc quote = 1;
502 1.1 jtc case XARG:
503 1.1 jtc if ((c = *x.str++) == '\0') {
504 1.1 jtc /* force null words to be created so
505 1.1 jtc * set -- '' 2 ''; foo "$@" will do
506 1.1 jtc * the right thing
507 1.1 jtc */
508 1.1 jtc if (quote && x.split)
509 1.1 jtc word = IFS_WORD;
510 1.1 jtc if ((x.str = *x.u.strv++) == NULL) {
511 1.1 jtc type = XBASE;
512 1.1 jtc if (f&DOBLANK)
513 1.1 jtc doblank--;
514 1.1 jtc continue;
515 1.1 jtc }
516 1.1 jtc c = ifs0;
517 1.1 jtc if (c == 0) {
518 1.1 jtc if (quote && !x.split)
519 1.1 jtc continue;
520 1.1 jtc c = ' ';
521 1.1 jtc }
522 1.1 jtc if (quote && x.split) {
523 1.1 jtc /* terminate word for "$@" */
524 1.1 jtc type = XARGSEP;
525 1.1 jtc quote = 0;
526 1.1 jtc }
527 1.1 jtc }
528 1.1 jtc break;
529 1.1 jtc
530 1.1 jtc case XCOM:
531 1.1 jtc if (newlines) { /* Spit out saved nl's */
532 1.1 jtc c = '\n';
533 1.1 jtc --newlines;
534 1.1 jtc } else {
535 1.1 jtc while ((c = shf_getc(x.u.shf)) == 0 || c == '\n')
536 1.1 jtc if (c == '\n')
537 1.1 jtc newlines++; /* Save newlines */
538 1.1 jtc if (newlines && c != EOF) {
539 1.1 jtc shf_ungetc(c, x.u.shf);
540 1.1 jtc c = '\n';
541 1.1 jtc --newlines;
542 1.1 jtc }
543 1.1 jtc }
544 1.1 jtc if (c == EOF) {
545 1.1 jtc newlines = 0;
546 1.1 jtc shf_close(x.u.shf);
547 1.1 jtc if (x.split)
548 1.1 jtc subst_exstat = waitlast();
549 1.1 jtc type = XBASE;
550 1.1 jtc if (f&DOBLANK)
551 1.1 jtc doblank--;
552 1.1 jtc continue;
553 1.1 jtc }
554 1.1 jtc break;
555 1.1 jtc }
556 1.1 jtc
557 1.1 jtc /* check for end of word or IFS separation */
558 1.1 jtc if (c == 0 || (!quote && (f & DOBLANK) && doblank && !make_magic
559 1.1 jtc && ctype(c, C_IFS)))
560 1.1 jtc {
561 1.1 jtc /* How words are broken up:
562 1.1 jtc * | value of c
563 1.1 jtc * word | ws nws 0
564 1.1 jtc * -----------------------------------
565 1.1 jtc * IFS_WORD w/WS w/NWS w
566 1.1 jtc * IFS_WS -/WS w/NWS -
567 1.1 jtc * IFS_NWS -/NWS w/NWS w
568 1.1 jtc * (w means generate a word)
569 1.1 jtc * Note that IFS_NWS/0 generates a word (at&t ksh
570 1.1 jtc * doesn't do this, but POSIX does).
571 1.1 jtc */
572 1.1 jtc if (word == IFS_WORD
573 1.1 jtc || (!ctype(c, C_IFSWS) && (c || word == IFS_NWS)))
574 1.1 jtc {
575 1.1 jtc char *p;
576 1.1 jtc
577 1.1 jtc *dp++ = '\0';
578 1.1 jtc p = Xclose(ds, dp);
579 1.1 jtc #ifdef BRACE_EXPAND
580 1.1 jtc if (fdo & DOBRACE_)
581 1.1 jtc /* also does globbing */
582 1.1 jtc alt_expand(wp, p, p,
583 1.1 jtc p + Xlength(ds, (dp - 1)),
584 1.1 jtc fdo | (f & DOMARKDIRS));
585 1.1 jtc else
586 1.1 jtc #endif /* BRACE_EXPAND */
587 1.1 jtc if (fdo & DOGLOB)
588 1.1 jtc glob(p, wp, f & DOMARKDIRS);
589 1.1 jtc else if ((f & DOPAT) || !(fdo & DOMAGIC_))
590 1.1 jtc XPput(*wp, p);
591 1.1 jtc else
592 1.5 mycroft XPput(*wp, debunk(p, p, strlen(p) + 1));
593 1.1 jtc fdo = 0;
594 1.1 jtc saw_eq = 0;
595 1.1 jtc tilde_ok = (f & (DOTILDE|DOASNTILDE)) ? 1 : 0;
596 1.1 jtc if (c != 0)
597 1.1 jtc Xinit(ds, dp, 128, ATEMP);
598 1.1 jtc }
599 1.1 jtc if (c == 0)
600 1.1 jtc return;
601 1.1 jtc if (word != IFS_NWS)
602 1.1 jtc word = ctype(c, C_IFSWS) ? IFS_WS : IFS_NWS;
603 1.1 jtc } else {
604 1.1 jtc /* age tilde_ok info - ~ code tests second bit */
605 1.1 jtc tilde_ok <<= 1;
606 1.1 jtc /* mark any special second pass chars */
607 1.1 jtc if (!quote)
608 1.1 jtc switch (c) {
609 1.1 jtc case '[':
610 1.1 jtc case NOT:
611 1.1 jtc case '-':
612 1.1 jtc case ']':
613 1.1 jtc /* For character classes - doesn't hurt
614 1.1 jtc * to have magic !,-,]'s outside of
615 1.1 jtc * [...] expressions.
616 1.1 jtc */
617 1.1 jtc if (f & (DOPAT | DOGLOB)) {
618 1.1 jtc fdo |= DOMAGIC_;
619 1.1 jtc if (c == '[')
620 1.1 jtc fdo |= f & DOGLOB;
621 1.1 jtc *dp++ = MAGIC;
622 1.1 jtc }
623 1.1 jtc break;
624 1.1 jtc case '*':
625 1.1 jtc case '?':
626 1.1 jtc if (f & (DOPAT | DOGLOB)) {
627 1.1 jtc fdo |= DOMAGIC_ | (f & DOGLOB);
628 1.1 jtc *dp++ = MAGIC;
629 1.1 jtc }
630 1.1 jtc break;
631 1.1 jtc #ifdef BRACE_EXPAND
632 1.1 jtc case OBRACE:
633 1.1 jtc case ',':
634 1.1 jtc case CBRACE:
635 1.1 jtc if ((f & DOBRACE_) && (c == OBRACE
636 1.1 jtc || (fdo & DOBRACE_)))
637 1.1 jtc {
638 1.1 jtc fdo |= DOBRACE_|DOMAGIC_;
639 1.1 jtc *dp++ = MAGIC;
640 1.1 jtc }
641 1.1 jtc break;
642 1.1 jtc #endif /* BRACE_EXPAND */
643 1.1 jtc case '=':
644 1.1 jtc /* Note first unquoted = for ~ */
645 1.1 jtc if (!(f & DOTEMP_) && !saw_eq) {
646 1.1 jtc saw_eq = 1;
647 1.1 jtc tilde_ok = 1;
648 1.1 jtc }
649 1.1 jtc break;
650 1.1 jtc case PATHSEP: /* : */
651 1.1 jtc /* Note unquoted : for ~ */
652 1.1 jtc if (!(f & DOTEMP_) && (f & DOASNTILDE))
653 1.1 jtc tilde_ok = 1;
654 1.1 jtc break;
655 1.1 jtc case '~':
656 1.1 jtc /* tilde_ok is reset whenever
657 1.1 jtc * any of ' " $( $(( ${ } are seen.
658 1.1 jtc * Note that tilde_ok must be preserved
659 1.1 jtc * through the sequence ${A=a=}~
660 1.1 jtc */
661 1.1 jtc if (type == XBASE
662 1.1 jtc && (f & (DOTILDE|DOASNTILDE))
663 1.1 jtc && (tilde_ok & 2))
664 1.1 jtc {
665 1.1 jtc char *p, *dp_x;
666 1.1 jtc
667 1.1 jtc dp_x = dp;
668 1.1 jtc p = maybe_expand_tilde(sp,
669 1.1 jtc &ds, &dp_x,
670 1.1 jtc f & DOASNTILDE);
671 1.1 jtc if (p) {
672 1.1 jtc if (dp != dp_x)
673 1.1 jtc word = IFS_WORD;
674 1.1 jtc dp = dp_x;
675 1.1 jtc sp = p;
676 1.1 jtc continue;
677 1.1 jtc }
678 1.1 jtc }
679 1.1 jtc break;
680 1.1 jtc }
681 1.1 jtc else
682 1.1 jtc quote &= ~2; /* undo temporary */
683 1.1 jtc
684 1.1 jtc if (make_magic) {
685 1.1 jtc make_magic = 0;
686 1.1 jtc fdo |= DOMAGIC_ | (f & DOGLOB);
687 1.1 jtc *dp++ = MAGIC;
688 1.1 jtc } else if (ISMAGIC(c)) {
689 1.1 jtc fdo |= DOMAGIC_;
690 1.1 jtc *dp++ = MAGIC;
691 1.1 jtc }
692 1.1 jtc *dp++ = c; /* save output char */
693 1.1 jtc word = IFS_WORD;
694 1.1 jtc }
695 1.1 jtc }
696 1.1 jtc }
697 1.1 jtc
698 1.1 jtc /*
699 1.1 jtc * Prepare to generate the string returned by ${} substitution.
700 1.1 jtc */
701 1.1 jtc static int
702 1.3 hubertf varsub(xp, sp, word, stypep, slenp)
703 1.1 jtc Expand *xp;
704 1.1 jtc char *sp;
705 1.1 jtc char *word;
706 1.3 hubertf int *stypep; /* becomes qualifier type */
707 1.3 hubertf int *slenp; /* " " len (=, :=, etc.) valid iff *stypep != 0 */
708 1.1 jtc {
709 1.1 jtc int c;
710 1.1 jtc int state; /* next state: XBASE, XARG, XSUB, XNULLSUB */
711 1.1 jtc int stype; /* substitution type */
712 1.3 hubertf int slen;
713 1.1 jtc char *p;
714 1.1 jtc struct tbl *vp;
715 1.1 jtc
716 1.1 jtc if (sp[0] == '\0') /* Bad variable name */
717 1.1 jtc return -1;
718 1.1 jtc
719 1.13 christos xp->var = NULL;
720 1.1 jtc
721 1.1 jtc /* ${#var}, string length or array size */
722 1.1 jtc if (sp[0] == '#' && (c = sp[1]) != '\0') {
723 1.1 jtc int zero_ok = 0;
724 1.1 jtc
725 1.1 jtc /* Can't have any modifiers for ${#...} */
726 1.1 jtc if (*word != CSUBST)
727 1.1 jtc return -1;
728 1.1 jtc sp++;
729 1.1 jtc /* Check for size of array */
730 1.1 jtc if ((p=strchr(sp,'[')) && (p[1]=='*'||p[1]=='@') && p[2]==']') {
731 1.3 hubertf int n = 0;
732 1.3 hubertf int max = 0;
733 1.1 jtc vp = global(arrayname(sp));
734 1.1 jtc if (vp->flag & (ISSET|ARRAY))
735 1.1 jtc zero_ok = 1;
736 1.1 jtc for (; vp; vp = vp->u.array)
737 1.3 hubertf if (vp->flag & ISSET) {
738 1.3 hubertf max = vp->index + 1;
739 1.3 hubertf n++;
740 1.3 hubertf }
741 1.3 hubertf c = n; /* ksh88/ksh93 go for number, not max index */
742 1.1 jtc } else if (c == '*' || c == '@')
743 1.1 jtc c = e->loc->argc;
744 1.1 jtc else {
745 1.1 jtc p = str_val(global(sp));
746 1.1 jtc zero_ok = p != null;
747 1.1 jtc c = strlen(p);
748 1.1 jtc }
749 1.1 jtc if (Flag(FNOUNSET) && c == 0 && !zero_ok)
750 1.1 jtc errorf("%s: parameter not set", sp);
751 1.1 jtc *stypep = 0; /* unqualified variable/string substitution */
752 1.1 jtc xp->str = str_save(ulton((unsigned long)c, 10), ATEMP);
753 1.1 jtc return XSUB;
754 1.1 jtc }
755 1.1 jtc
756 1.1 jtc /* Check for qualifiers in word part */
757 1.1 jtc stype = 0;
758 1.3 hubertf c = word[slen = 0] == CHAR ? word[1] : 0;
759 1.1 jtc if (c == ':') {
760 1.3 hubertf slen += 2;
761 1.1 jtc stype = 0x80;
762 1.3 hubertf c = word[slen + 0] == CHAR ? word[slen + 1] : 0;
763 1.1 jtc }
764 1.3 hubertf if (ctype(c, C_SUBOP1)) {
765 1.3 hubertf slen += 2;
766 1.1 jtc stype |= c;
767 1.3 hubertf } else if (ctype(c, C_SUBOP2)) { /* Note: ksh88 allows :%, :%%, etc */
768 1.3 hubertf slen += 2;
769 1.1 jtc stype = c;
770 1.3 hubertf if (word[slen + 0] == CHAR && c == word[slen + 1]) {
771 1.1 jtc stype |= 0x80;
772 1.3 hubertf slen += 2;
773 1.3 hubertf }
774 1.3 hubertf } else if (stype) /* : is not ok */
775 1.3 hubertf return -1;
776 1.1 jtc if (!stype && *word != CSUBST)
777 1.1 jtc return -1;
778 1.1 jtc *stypep = stype;
779 1.3 hubertf *slenp = slen;
780 1.1 jtc
781 1.1 jtc c = sp[0];
782 1.1 jtc if (c == '*' || c == '@') {
783 1.1 jtc switch (stype & 0x7f) {
784 1.1 jtc case '=': /* can't assign to a vector */
785 1.3 hubertf case '%': /* can't trim a vector (yet) */
786 1.1 jtc case '#':
787 1.1 jtc return -1;
788 1.1 jtc }
789 1.1 jtc if (e->loc->argc == 0) {
790 1.13 christos xp->u.strv = NULL;
791 1.1 jtc xp->str = null;
792 1.1 jtc state = c == '@' ? XNULLSUB : XSUB;
793 1.1 jtc } else {
794 1.13 christos char **t = &e->loc->argv[1];
795 1.13 christos xp->u.strv = (void *)(uintptr_t)t;
796 1.1 jtc xp->str = *xp->u.strv++;
797 1.1 jtc xp->split = c == '@'; /* $@ */
798 1.1 jtc state = XARG;
799 1.1 jtc }
800 1.1 jtc } else {
801 1.1 jtc if ((p=strchr(sp,'[')) && (p[1]=='*'||p[1]=='@') && p[2]==']') {
802 1.1 jtc XPtrV wv;
803 1.1 jtc
804 1.1 jtc switch (stype & 0x7f) {
805 1.1 jtc case '=': /* can't assign to a vector */
806 1.3 hubertf case '%': /* can't trim a vector (yet) */
807 1.1 jtc case '#':
808 1.1 jtc return -1;
809 1.1 jtc }
810 1.1 jtc XPinit(wv, 32);
811 1.1 jtc vp = global(arrayname(sp));
812 1.1 jtc for (; vp; vp = vp->u.array) {
813 1.1 jtc if (!(vp->flag&ISSET))
814 1.1 jtc continue;
815 1.1 jtc XPput(wv, str_val(vp));
816 1.1 jtc }
817 1.1 jtc if (XPsize(wv) == 0) {
818 1.1 jtc xp->str = null;
819 1.1 jtc state = p[1] == '@' ? XNULLSUB : XSUB;
820 1.1 jtc XPfree(wv);
821 1.1 jtc } else {
822 1.1 jtc XPput(wv, 0);
823 1.1 jtc xp->u.strv = (const char **) XPptrv(wv);
824 1.1 jtc xp->str = *xp->u.strv++;
825 1.1 jtc xp->split = p[1] == '@'; /* ${foo[@]} */
826 1.1 jtc state = XARG;
827 1.1 jtc }
828 1.1 jtc } else {
829 1.1 jtc /* Can't assign things like $! or $1 */
830 1.1 jtc if ((stype & 0x7f) == '='
831 1.1 jtc && (ctype(*sp, C_VAR1) || digit(*sp)))
832 1.1 jtc return -1;
833 1.1 jtc xp->var = global(sp);
834 1.1 jtc xp->str = str_val(xp->var);
835 1.1 jtc state = XSUB;
836 1.1 jtc }
837 1.1 jtc }
838 1.1 jtc
839 1.1 jtc c = stype&0x7f;
840 1.1 jtc /* test the compiler's code generator */
841 1.1 jtc if (ctype(c, C_SUBOP2) ||
842 1.1 jtc (((stype&0x80) ? *xp->str=='\0' : xp->str==null) ? /* undef? */
843 1.1 jtc c == '=' || c == '-' || c == '?' : c == '+'))
844 1.1 jtc state = XBASE; /* expand word instead of variable value */
845 1.1 jtc if (Flag(FNOUNSET) && xp->str == null
846 1.1 jtc && (ctype(c, C_SUBOP2) || (state != XBASE && c != '+')))
847 1.1 jtc errorf("%s: parameter not set", sp);
848 1.1 jtc return state;
849 1.1 jtc }
850 1.1 jtc
851 1.1 jtc /*
852 1.1 jtc * Run the command in $(...) and read its output.
853 1.1 jtc */
854 1.1 jtc static int
855 1.1 jtc comsub(xp, cp)
856 1.1 jtc register Expand *xp;
857 1.1 jtc char *cp;
858 1.1 jtc {
859 1.1 jtc Source *s, *sold;
860 1.1 jtc register struct op *t;
861 1.1 jtc struct shf *shf;
862 1.1 jtc
863 1.1 jtc s = pushs(SSTRING, ATEMP);
864 1.1 jtc s->start = s->str = cp;
865 1.1 jtc sold = source;
866 1.1 jtc t = compile(s);
867 1.7 christos afree(s, ATEMP);
868 1.1 jtc source = sold;
869 1.1 jtc
870 1.1 jtc if (t == NULL)
871 1.1 jtc return XBASE;
872 1.1 jtc
873 1.1 jtc if (t != NULL && t->type == TCOM && /* $(<file) */
874 1.1 jtc *t->args == NULL && *t->vars == NULL && t->ioact != NULL) {
875 1.1 jtc register struct ioword *io = *t->ioact;
876 1.1 jtc char *name;
877 1.1 jtc
878 1.1 jtc if ((io->flag&IOTYPE) != IOREAD)
879 1.1 jtc errorf("funny $() command: %s",
880 1.1 jtc snptreef((char *) 0, 32, "%R", io));
881 1.1 jtc shf = shf_open(name = evalstr(io->name, DOTILDE), O_RDONLY, 0,
882 1.1 jtc SHF_MAPHI|SHF_CLEXEC);
883 1.1 jtc if (shf == NULL)
884 1.1 jtc errorf("%s: cannot open $() input", name);
885 1.1 jtc xp->split = 0; /* no waitlast() */
886 1.1 jtc } else {
887 1.1 jtc int ofd1, pv[2];
888 1.1 jtc openpipe(pv);
889 1.1 jtc shf = shf_fdopen(pv[0], SHF_RD, (struct shf *) 0);
890 1.1 jtc ofd1 = savefd(1, 0); /* fd 1 may be closed... */
891 1.5 mycroft if (pv[1] != 1) {
892 1.5 mycroft ksh_dup2(pv[1], 1, FALSE);
893 1.5 mycroft close(pv[1]);
894 1.5 mycroft }
895 1.1 jtc execute(t, XFORK|XXCOM|XPIPEO);
896 1.1 jtc restfd(1, ofd1);
897 1.1 jtc startlast();
898 1.1 jtc xp->split = 1; /* waitlast() */
899 1.1 jtc }
900 1.1 jtc
901 1.1 jtc xp->u.shf = shf;
902 1.1 jtc return XCOM;
903 1.1 jtc }
904 1.1 jtc
905 1.1 jtc /*
906 1.1 jtc * perform #pattern and %pattern substitution in ${}
907 1.1 jtc */
908 1.1 jtc
909 1.1 jtc static char *
910 1.1 jtc trimsub(str, pat, how)
911 1.1 jtc register char *str;
912 1.1 jtc char *pat;
913 1.1 jtc int how;
914 1.1 jtc {
915 1.1 jtc register char *end = strchr(str, 0);
916 1.1 jtc register char *p, c;
917 1.1 jtc
918 1.1 jtc switch (how&0xff) { /* UCHAR_MAX maybe? */
919 1.5 mycroft case '#': /* shortest at beginning */
920 1.1 jtc for (p = str; p <= end; p++) {
921 1.1 jtc c = *p; *p = '\0';
922 1.1 jtc if (gmatch(str, pat, FALSE)) {
923 1.1 jtc *p = c;
924 1.1 jtc return p;
925 1.1 jtc }
926 1.1 jtc *p = c;
927 1.1 jtc }
928 1.1 jtc break;
929 1.5 mycroft case '#'|0x80: /* longest match at beginning */
930 1.1 jtc for (p = end; p >= str; p--) {
931 1.1 jtc c = *p; *p = '\0';
932 1.1 jtc if (gmatch(str, pat, FALSE)) {
933 1.1 jtc *p = c;
934 1.1 jtc return p;
935 1.1 jtc }
936 1.1 jtc *p = c;
937 1.1 jtc }
938 1.1 jtc break;
939 1.1 jtc case '%': /* shortest match at end */
940 1.1 jtc for (p = end; p >= str; p--) {
941 1.1 jtc if (gmatch(p, pat, FALSE))
942 1.1 jtc return str_nsave(str, p - str, ATEMP);
943 1.1 jtc }
944 1.1 jtc break;
945 1.1 jtc case '%'|0x80: /* longest match at end */
946 1.1 jtc for (p = str; p <= end; p++) {
947 1.1 jtc if (gmatch(p, pat, FALSE))
948 1.1 jtc return str_nsave(str, p - str, ATEMP);
949 1.1 jtc }
950 1.1 jtc break;
951 1.1 jtc }
952 1.1 jtc
953 1.1 jtc return str; /* no match, return string */
954 1.1 jtc }
955 1.1 jtc
956 1.1 jtc /*
957 1.1 jtc * glob
958 1.1 jtc * Name derived from V6's /etc/glob, the program that expanded filenames.
959 1.1 jtc */
960 1.1 jtc
961 1.1 jtc /* XXX cp not const 'cause slashes are temporarily replaced with nulls... */
962 1.1 jtc static void
963 1.1 jtc glob(cp, wp, markdirs)
964 1.1 jtc char *cp;
965 1.1 jtc register XPtrV *wp;
966 1.1 jtc int markdirs;
967 1.1 jtc {
968 1.1 jtc int oldsize = XPsize(*wp);
969 1.1 jtc
970 1.1 jtc if (glob_str(cp, wp, markdirs) == 0)
971 1.5 mycroft XPput(*wp, debunk(cp, cp, strlen(cp) + 1));
972 1.1 jtc else
973 1.1 jtc qsortp(XPptrv(*wp) + oldsize, (size_t)(XPsize(*wp) - oldsize),
974 1.1 jtc xstrcmp);
975 1.1 jtc }
976 1.1 jtc
977 1.1 jtc #define GF_NONE 0
978 1.5 mycroft #define GF_EXCHECK BIT(0) /* do existence check on file */
979 1.1 jtc #define GF_GLOBBED BIT(1) /* some globbing has been done */
980 1.1 jtc #define GF_MARKDIR BIT(2) /* add trailing / to directories */
981 1.1 jtc
982 1.1 jtc /* Apply file globbing to cp and store the matching files in wp. Returns
983 1.1 jtc * the number of matches found.
984 1.1 jtc */
985 1.1 jtc int
986 1.1 jtc glob_str(cp, wp, markdirs)
987 1.1 jtc char *cp;
988 1.1 jtc XPtrV *wp;
989 1.1 jtc int markdirs;
990 1.1 jtc {
991 1.1 jtc int oldsize = XPsize(*wp);
992 1.1 jtc XString xs;
993 1.1 jtc char *xp;
994 1.1 jtc
995 1.1 jtc Xinit(xs, xp, 256, ATEMP);
996 1.1 jtc globit(&xs, &xp, cp, wp, markdirs ? GF_MARKDIR : GF_NONE);
997 1.1 jtc Xfree(xs, xp);
998 1.1 jtc
999 1.1 jtc return XPsize(*wp) - oldsize;
1000 1.1 jtc }
1001 1.1 jtc
1002 1.1 jtc static void
1003 1.1 jtc globit(xs, xpp, sp, wp, check)
1004 1.1 jtc XString *xs; /* dest string */
1005 1.1 jtc char **xpp; /* ptr to dest end */
1006 1.1 jtc char *sp; /* source path */
1007 1.1 jtc register XPtrV *wp; /* output list */
1008 1.1 jtc int check; /* GF_* flags */
1009 1.1 jtc {
1010 1.1 jtc register char *np; /* next source component */
1011 1.1 jtc char *xp = *xpp;
1012 1.1 jtc char *se;
1013 1.1 jtc char odirsep;
1014 1.1 jtc
1015 1.1 jtc /* This to allow long expansions to be interrupted */
1016 1.1 jtc intrcheck();
1017 1.1 jtc
1018 1.1 jtc if (sp == NULL) { /* end of source path */
1019 1.1 jtc /* We only need to check if the file exists if a pattern
1020 1.1 jtc * is followed by a non-pattern (eg, foo*x/bar; no check
1021 1.1 jtc * is needed for foo* since the match must exist) or if
1022 1.1 jtc * any patterns were expanded and the markdirs option is set.
1023 1.1 jtc * Symlinks make things a bit tricky...
1024 1.1 jtc */
1025 1.1 jtc if ((check & GF_EXCHECK)
1026 1.1 jtc || ((check & GF_MARKDIR) && (check & GF_GLOBBED)))
1027 1.1 jtc {
1028 1.1 jtc #define stat_check() (stat_done ? stat_done : \
1029 1.1 jtc (stat_done = stat(Xstring(*xs, xp), &statb) < 0 \
1030 1.1 jtc ? -1 : 1))
1031 1.1 jtc struct stat lstatb, statb;
1032 1.1 jtc int stat_done = 0; /* -1: failed, 1 ok */
1033 1.1 jtc
1034 1.1 jtc if (lstat(Xstring(*xs, xp), &lstatb) < 0)
1035 1.1 jtc return;
1036 1.1 jtc /* special case for systems which strip trailing
1037 1.1 jtc * slashes from regular files (eg, /etc/passwd/).
1038 1.1 jtc * SunOS 4.1.3 does this...
1039 1.1 jtc */
1040 1.1 jtc if ((check & GF_EXCHECK) && xp > Xstring(*xs, xp)
1041 1.1 jtc && ISDIRSEP(xp[-1]) && !S_ISDIR(lstatb.st_mode)
1042 1.1 jtc #ifdef S_ISLNK
1043 1.1 jtc && (!S_ISLNK(lstatb.st_mode)
1044 1.1 jtc || stat_check() < 0
1045 1.1 jtc || !S_ISDIR(statb.st_mode))
1046 1.1 jtc #endif /* S_ISLNK */
1047 1.1 jtc )
1048 1.1 jtc return;
1049 1.1 jtc /* Possibly tack on a trailing / if there isn't already
1050 1.1 jtc * one and if the file is a directory or a symlink to a
1051 1.1 jtc * directory
1052 1.1 jtc */
1053 1.1 jtc if (((check & GF_MARKDIR) && (check & GF_GLOBBED))
1054 1.1 jtc && xp > Xstring(*xs, xp) && !ISDIRSEP(xp[-1])
1055 1.1 jtc && (S_ISDIR(lstatb.st_mode)
1056 1.1 jtc #ifdef S_ISLNK
1057 1.1 jtc || (S_ISLNK(lstatb.st_mode)
1058 1.1 jtc && stat_check() > 0
1059 1.1 jtc && S_ISDIR(statb.st_mode))
1060 1.1 jtc #endif /* S_ISLNK */
1061 1.1 jtc ))
1062 1.1 jtc {
1063 1.1 jtc *xp++ = DIRSEP;
1064 1.1 jtc *xp = '\0';
1065 1.1 jtc }
1066 1.1 jtc }
1067 1.1 jtc #ifdef OS2 /* Done this way to avoid bug in gcc 2.7.2... */
1068 1.1 jtc /* Ugly kludge required for command
1069 1.1 jtc * completion - see how search_access()
1070 1.1 jtc * is implemented for OS/2...
1071 1.1 jtc */
1072 1.1 jtc # define KLUDGE_VAL 4
1073 1.1 jtc #else /* OS2 */
1074 1.1 jtc # define KLUDGE_VAL 0
1075 1.1 jtc #endif /* OS2 */
1076 1.1 jtc XPput(*wp, str_nsave(Xstring(*xs, xp), Xlength(*xs, xp)
1077 1.1 jtc + KLUDGE_VAL, ATEMP));
1078 1.1 jtc return;
1079 1.1 jtc }
1080 1.1 jtc
1081 1.1 jtc if (xp > Xstring(*xs, xp))
1082 1.1 jtc *xp++ = DIRSEP;
1083 1.1 jtc while (ISDIRSEP(*sp)) {
1084 1.1 jtc Xcheck(*xs, xp);
1085 1.1 jtc *xp++ = *sp++;
1086 1.1 jtc }
1087 1.1 jtc np = ksh_strchr_dirsep(sp);
1088 1.1 jtc if (np != NULL) {
1089 1.1 jtc se = np;
1090 1.1 jtc odirsep = *np; /* don't assume DIRSEP, can be multiple kinds */
1091 1.1 jtc *np++ = '\0';
1092 1.1 jtc } else {
1093 1.1 jtc odirsep = '\0'; /* keep gcc quiet */
1094 1.1 jtc se = sp + strlen(sp);
1095 1.1 jtc }
1096 1.1 jtc
1097 1.1 jtc
1098 1.1 jtc /* Check if sp needs globbing - done to avoid pattern checks for strings
1099 1.1 jtc * containing MAGIC characters, open ['s without the matching close ],
1100 1.1 jtc * etc. (otherwise opendir() will be called which may fail because the
1101 1.1 jtc * directory isn't readable - if no globbing is needed, only execute
1102 1.1 jtc * permission should be required (as per POSIX)).
1103 1.1 jtc */
1104 1.1 jtc if (!has_globbing(sp, se)) {
1105 1.1 jtc XcheckN(*xs, xp, se - sp + 1);
1106 1.5 mycroft debunk(xp, sp, Xnleft(*xs, xp));
1107 1.1 jtc xp += strlen(xp);
1108 1.1 jtc *xpp = xp;
1109 1.1 jtc globit(xs, xpp, np, wp, check);
1110 1.1 jtc } else {
1111 1.1 jtc DIR *dirp;
1112 1.1 jtc struct dirent *d;
1113 1.1 jtc char *name;
1114 1.1 jtc int len;
1115 1.1 jtc int prefix_len;
1116 1.1 jtc
1117 1.1 jtc /* xp = *xpp; copy_non_glob() may have re-alloc'd xs */
1118 1.1 jtc *xp = '\0';
1119 1.1 jtc prefix_len = Xlength(*xs, xp);
1120 1.1 jtc dirp = ksh_opendir(prefix_len ? Xstring(*xs, xp) : ".");
1121 1.1 jtc if (dirp == NULL)
1122 1.1 jtc goto Nodir;
1123 1.1 jtc while ((d = readdir(dirp)) != NULL) {
1124 1.1 jtc name = d->d_name;
1125 1.1 jtc if ((*name == '.' && *sp != '.')
1126 1.1 jtc || !gmatch(name, sp, TRUE))
1127 1.1 jtc continue;
1128 1.1 jtc
1129 1.1 jtc len = NLENGTH(d) + 1;
1130 1.1 jtc XcheckN(*xs, xp, len);
1131 1.1 jtc memcpy(xp, name, len);
1132 1.1 jtc *xpp = xp + len - 1;
1133 1.1 jtc globit(xs, xpp, np, wp,
1134 1.1 jtc (check & GF_MARKDIR) | GF_GLOBBED
1135 1.1 jtc | (np ? GF_EXCHECK : GF_NONE));
1136 1.1 jtc xp = Xstring(*xs, xp) + prefix_len;
1137 1.1 jtc }
1138 1.1 jtc closedir(dirp);
1139 1.1 jtc Nodir:;
1140 1.1 jtc }
1141 1.1 jtc
1142 1.1 jtc if (np != NULL)
1143 1.1 jtc *--np = odirsep;
1144 1.1 jtc }
1145 1.1 jtc
1146 1.1 jtc #if 0
1147 1.1 jtc /* Check if p contains something that needs globbing; if it does, 0 is
1148 1.1 jtc * returned; if not, p is copied into xs/xp after stripping any MAGICs
1149 1.1 jtc */
1150 1.1 jtc static int copy_non_glob ARGS((XString *xs, char **xpp, char *p));
1151 1.1 jtc static int
1152 1.1 jtc copy_non_glob(xs, xpp, p)
1153 1.1 jtc XString *xs;
1154 1.1 jtc char **xpp;
1155 1.1 jtc char *p;
1156 1.1 jtc {
1157 1.1 jtc char *xp;
1158 1.1 jtc int len = strlen(p);
1159 1.1 jtc
1160 1.1 jtc XcheckN(*xs, *xpp, len);
1161 1.1 jtc xp = *xpp;
1162 1.1 jtc for (; *p; p++) {
1163 1.1 jtc if (ISMAGIC(*p)) {
1164 1.1 jtc int c = *++p;
1165 1.1 jtc
1166 1.1 jtc if (c == '*' || c == '?')
1167 1.1 jtc return 0;
1168 1.1 jtc if (*p == '[') {
1169 1.1 jtc char *q = p + 1;
1170 1.1 jtc
1171 1.1 jtc if (ISMAGIC(*q) && q[1] == NOT)
1172 1.1 jtc q += 2;
1173 1.1 jtc if (ISMAGIC(*q) && q[1] == ']')
1174 1.1 jtc q += 2;
1175 1.1 jtc for (; *q; q++)
1176 1.1 jtc if (ISMAGIC(*q) && *++q == ']')
1177 1.1 jtc return 0;
1178 1.1 jtc /* pass a literal [ through */
1179 1.1 jtc }
1180 1.1 jtc /* must be a MAGIC-MAGIC, or MAGIC-!, MAGIC--, etc. */
1181 1.1 jtc }
1182 1.1 jtc *xp++ = *p;
1183 1.1 jtc }
1184 1.1 jtc *xp = '\0';
1185 1.1 jtc *xpp = xp;
1186 1.1 jtc return 1;
1187 1.1 jtc }
1188 1.1 jtc #endif /* 0 */
1189 1.1 jtc
1190 1.1 jtc /* remove MAGIC from string */
1191 1.1 jtc char *
1192 1.5 mycroft debunk(dp, sp, dlen)
1193 1.1 jtc char *dp;
1194 1.1 jtc const char *sp;
1195 1.5 mycroft size_t dlen;
1196 1.1 jtc {
1197 1.1 jtc char *d, *s;
1198 1.1 jtc
1199 1.1 jtc if ((s = strchr(sp, MAGIC))) {
1200 1.11 lukem if (s - sp >= (ptrdiff_t)dlen)
1201 1.5 mycroft return dp;
1202 1.1 jtc memcpy(dp, sp, s - sp);
1203 1.11 lukem for (d = dp + (s - sp); *s && (d - dp < (ptrdiff_t)dlen); s++)
1204 1.1 jtc if (!ISMAGIC(*s) || !(*++s & 0x80)
1205 1.3 hubertf || !strchr("*+?@! ", *s & 0x7f))
1206 1.1 jtc *d++ = *s;
1207 1.1 jtc else {
1208 1.1 jtc /* extended pattern operators: *+?@! */
1209 1.3 hubertf if ((*s & 0x7f) != ' ')
1210 1.3 hubertf *d++ = *s & 0x7f;
1211 1.11 lukem if (d - dp < (ptrdiff_t)dlen)
1212 1.5 mycroft *d++ = '(';
1213 1.1 jtc }
1214 1.1 jtc *d = '\0';
1215 1.1 jtc } else if (dp != sp)
1216 1.5 mycroft strlcpy(dp, sp, dlen);
1217 1.1 jtc return dp;
1218 1.1 jtc }
1219 1.1 jtc
1220 1.1 jtc /* Check if p is an unquoted name, possibly followed by a / or :. If so
1221 1.1 jtc * puts the expanded version in *dcp,dp and returns a pointer in p just
1222 1.1 jtc * past the name, otherwise returns 0.
1223 1.1 jtc */
1224 1.1 jtc static char *
1225 1.1 jtc maybe_expand_tilde(p, dsp, dpp, isassign)
1226 1.1 jtc char *p;
1227 1.1 jtc XString *dsp;
1228 1.1 jtc char **dpp;
1229 1.1 jtc int isassign;
1230 1.1 jtc {
1231 1.1 jtc XString ts;
1232 1.1 jtc char *dp = *dpp;
1233 1.1 jtc char *tp, *r;
1234 1.1 jtc
1235 1.1 jtc Xinit(ts, tp, 16, ATEMP);
1236 1.1 jtc /* : only for DOASNTILDE form */
1237 1.1 jtc while (p[0] == CHAR && !ISDIRSEP(p[1])
1238 1.1 jtc && (!isassign || p[1] != PATHSEP))
1239 1.1 jtc {
1240 1.1 jtc Xcheck(ts, tp);
1241 1.1 jtc *tp++ = p[1];
1242 1.1 jtc p += 2;
1243 1.1 jtc }
1244 1.1 jtc *tp = '\0';
1245 1.1 jtc r = (p[0] == EOS || p[0] == CHAR || p[0] == CSUBST) ? tilde(Xstring(ts, tp)) : (char *) 0;
1246 1.1 jtc Xfree(ts, tp);
1247 1.1 jtc if (r) {
1248 1.1 jtc while (*r) {
1249 1.1 jtc Xcheck(*dsp, dp);
1250 1.1 jtc if (ISMAGIC(*r))
1251 1.1 jtc *dp++ = MAGIC;
1252 1.1 jtc *dp++ = *r++;
1253 1.1 jtc }
1254 1.1 jtc *dpp = dp;
1255 1.1 jtc r = p;
1256 1.1 jtc }
1257 1.1 jtc return r;
1258 1.1 jtc }
1259 1.1 jtc
1260 1.1 jtc /*
1261 1.1 jtc * tilde expansion
1262 1.1 jtc *
1263 1.1 jtc * based on a version by Arnold Robbins
1264 1.1 jtc */
1265 1.1 jtc
1266 1.1 jtc static char *
1267 1.1 jtc tilde(cp)
1268 1.1 jtc char *cp;
1269 1.1 jtc {
1270 1.1 jtc char *dp;
1271 1.1 jtc
1272 1.1 jtc if (cp[0] == '\0')
1273 1.1 jtc dp = str_val(global("HOME"));
1274 1.1 jtc else if (cp[0] == '+' && cp[1] == '\0')
1275 1.1 jtc dp = str_val(global("PWD"));
1276 1.1 jtc else if (cp[0] == '-' && cp[1] == '\0')
1277 1.1 jtc dp = str_val(global("OLDPWD"));
1278 1.1 jtc else
1279 1.1 jtc dp = homedir(cp);
1280 1.1 jtc /* If HOME, PWD or OLDPWD are not set, don't expand ~ */
1281 1.1 jtc if (dp == null)
1282 1.1 jtc dp = (char *) 0;
1283 1.1 jtc return dp;
1284 1.1 jtc }
1285 1.1 jtc
1286 1.1 jtc /*
1287 1.1 jtc * map userid to user's home directory.
1288 1.1 jtc * note that 4.3's getpw adds more than 6K to the shell,
1289 1.1 jtc * and the YP version probably adds much more.
1290 1.1 jtc * we might consider our own version of getpwnam() to keep the size down.
1291 1.1 jtc */
1292 1.1 jtc
1293 1.1 jtc static char *
1294 1.1 jtc homedir(name)
1295 1.1 jtc char *name;
1296 1.1 jtc {
1297 1.1 jtc register struct tbl *ap;
1298 1.1 jtc
1299 1.1 jtc ap = tenter(&homedirs, name, hash(name));
1300 1.1 jtc if (!(ap->flag & ISSET)) {
1301 1.1 jtc #ifdef OS2
1302 1.1 jtc /* No usernames in OS2 - punt */
1303 1.1 jtc return NULL;
1304 1.1 jtc #else /* OS2 */
1305 1.1 jtc struct passwd *pw;
1306 1.8 cbiere size_t n;
1307 1.1 jtc
1308 1.1 jtc pw = getpwnam(name);
1309 1.1 jtc if (pw == NULL)
1310 1.1 jtc return NULL;
1311 1.8 cbiere n = strlen(pw->pw_dir);
1312 1.8 cbiere if (n > 0 && '/' != pw->pw_dir[n - 1]) {
1313 1.8 cbiere ap->val.s = str_nsave(pw->pw_dir, n + 1, APERM);
1314 1.8 cbiere ap->val.s[n] = '/';
1315 1.8 cbiere ap->val.s[n + 1] = '\0';
1316 1.8 cbiere } else {
1317 1.8 cbiere ap->val.s = str_save(pw->pw_dir, APERM);
1318 1.8 cbiere }
1319 1.1 jtc ap->flag |= DEFINED|ISSET|ALLOC;
1320 1.1 jtc #endif /* OS2 */
1321 1.1 jtc }
1322 1.1 jtc return ap->val.s;
1323 1.1 jtc }
1324 1.1 jtc
1325 1.1 jtc #ifdef BRACE_EXPAND
1326 1.1 jtc static void
1327 1.1 jtc alt_expand(wp, start, exp_start, end, fdo)
1328 1.1 jtc XPtrV *wp;
1329 1.1 jtc char *start, *exp_start;
1330 1.1 jtc char *end;
1331 1.1 jtc int fdo;
1332 1.1 jtc {
1333 1.1 jtc int UNINITIALIZED(count);
1334 1.1 jtc char *brace_start, *brace_end, *UNINITIALIZED(comma);
1335 1.1 jtc char *field_start;
1336 1.1 jtc char *p;
1337 1.1 jtc
1338 1.1 jtc /* search for open brace */
1339 1.1 jtc for (p = exp_start; (p = strchr(p, MAGIC)) && p[1] != OBRACE; p += 2)
1340 1.1 jtc ;
1341 1.1 jtc brace_start = p;
1342 1.1 jtc
1343 1.1 jtc /* find matching close brace, if any */
1344 1.1 jtc if (p) {
1345 1.1 jtc comma = (char *) 0;
1346 1.1 jtc count = 1;
1347 1.1 jtc for (p += 2; *p && count; p++) {
1348 1.1 jtc if (ISMAGIC(*p)) {
1349 1.1 jtc if (*++p == OBRACE)
1350 1.1 jtc count++;
1351 1.1 jtc else if (*p == CBRACE)
1352 1.1 jtc --count;
1353 1.1 jtc else if (*p == ',' && count == 1)
1354 1.1 jtc comma = p;
1355 1.1 jtc }
1356 1.1 jtc }
1357 1.1 jtc }
1358 1.1 jtc /* no valid expansions... */
1359 1.1 jtc if (!p || count != 0) {
1360 1.1 jtc /* Note that given a{{b,c} we do not expand anything (this is
1361 1.1 jtc * what at&t ksh does. This may be changed to do the {b,c}
1362 1.1 jtc * expansion. }
1363 1.1 jtc */
1364 1.1 jtc if (fdo & DOGLOB)
1365 1.1 jtc glob(start, wp, fdo & DOMARKDIRS);
1366 1.1 jtc else
1367 1.5 mycroft XPput(*wp, debunk(start, start, end - start));
1368 1.1 jtc return;
1369 1.1 jtc }
1370 1.1 jtc brace_end = p;
1371 1.1 jtc if (!comma) {
1372 1.1 jtc alt_expand(wp, start, brace_end, end, fdo);
1373 1.1 jtc return;
1374 1.1 jtc }
1375 1.1 jtc
1376 1.1 jtc /* expand expression */
1377 1.1 jtc field_start = brace_start + 2;
1378 1.1 jtc count = 1;
1379 1.1 jtc for (p = brace_start + 2; p != brace_end; p++) {
1380 1.1 jtc if (ISMAGIC(*p)) {
1381 1.1 jtc if (*++p == OBRACE)
1382 1.1 jtc count++;
1383 1.1 jtc else if ((*p == CBRACE && --count == 0)
1384 1.1 jtc || (*p == ',' && count == 1))
1385 1.1 jtc {
1386 1.1 jtc char *new;
1387 1.1 jtc int l1, l2, l3;
1388 1.1 jtc
1389 1.1 jtc l1 = brace_start - start;
1390 1.1 jtc l2 = (p - 1) - field_start;
1391 1.1 jtc l3 = end - brace_end;
1392 1.1 jtc new = (char *) alloc(l1 + l2 + l3 + 1, ATEMP);
1393 1.1 jtc memcpy(new, start, l1);
1394 1.1 jtc memcpy(new + l1, field_start, l2);
1395 1.1 jtc memcpy(new + l1 + l2, brace_end, l3);
1396 1.1 jtc new[l1 + l2 + l3] = '\0';
1397 1.1 jtc alt_expand(wp, new, new + l1,
1398 1.1 jtc new + l1 + l2 + l3, fdo);
1399 1.1 jtc field_start = p + 1;
1400 1.1 jtc }
1401 1.1 jtc }
1402 1.1 jtc }
1403 1.1 jtc return;
1404 1.1 jtc }
1405 1.1 jtc #endif /* BRACE_EXPAND */
1406