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