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