lib/fsm.c

   1 /** \ingroup payload
   2  * \file lib/fsm.c
   3  * File state machine to handle a payload from a package.
   4  */
   5
   6 #include "system.h"
   7
   8 #include <rpmio_internal.h>
   9 #include <rpmlib.h>
  10
  11 #include "cpio.h"
  12 #include "fsm.h"
  13 #include "rpmerr.h"
  14
  15 #define _RPMFI_INTERNAL
  16 #include "rpmfi.h"
  17 #include "rpmte.h"
  18 #include "rpmts.h"
  19 #include "rpmsq.h"
  20
  21 #include "debug.h"
  22
  23 /*@access FD_t @*/      /* XXX void ptr args */
  24 /*@access FSMI_t @*/
  25 /*@access FSM_t @*/
  26
  27 /*@access rpmfi @*/
  28
  29 #define alloca_strdup(_s)       strcpy(alloca(strlen(_s)+1), (_s))
  30
  31 #define _FSM_DEBUG      0
  32 /*@unchecked@*/
  33 int _fsm_debug = _FSM_DEBUG;
  34 /*@unchecked@*/
  35 int _fsm_threads = 0;
  36
  37 /* XXX Failure to remove is not (yet) cause for failure. */
  38 /*@-exportlocal -exportheadervar@*/
  39 /*@unchecked@*/
  40 int strict_erasures = 0;
  41 /*@=exportlocal =exportheadervar@*/
  42
  43 rpmts fsmGetTs(const FSM_t fsm) {
  44     const FSMI_t iter = fsm->iter;
  45     /*@-compdef -refcounttrans -retexpose -usereleased @*/
  46     return (iter ? iter->ts : NULL);
  47     /*@=compdef =refcounttrans =retexpose =usereleased @*/
  48 }
  49
  50 rpmfi fsmGetFi(const FSM_t fsm)
  51 {
  52     const FSMI_t iter = fsm->iter;
  53     /*@-compdef -refcounttrans -retexpose -usereleased @*/
  54     return (iter ? iter->fi : NULL);
  55     /*@=compdef =refcounttrans =retexpose =usereleased @*/
  56 }
  57
  58 #define SUFFIX_RPMORIG  ".rpmorig"
  59 #define SUFFIX_RPMSAVE  ".rpmsave"
  60 #define SUFFIX_RPMNEW   ".rpmnew"
  61
  62 /** \ingroup payload
  63  * Build path to file from file info, ornamented with subdir and suffix.
  64  * @param fsm           file state machine data
  65  * @param st            file stat info
  66  * @param subdir        subdir to use (NULL disables)
  67  * @param suffix        suffix to use (NULL disables)
  68  * @retval              path to file
  69  */
  70 static /*@only@*//*@null@*/
  71 const char * fsmFsPath(/*@special@*/ /*@null@*/ const FSM_t fsm,
  72                 /*@null@*/ const struct stat * st,
  73                 /*@null@*/ const char * subdir,
  74                 /*@null@*/ const char * suffix)
  75         /*@uses fsm->dirName, fsm->baseName */
  76         /*@*/
  77 {
  78     const char * s = NULL;
  79
  80     if (fsm) {
  81         int nb;
  82         char * t;
  83         nb = strlen(fsm->dirName) +
  84             (st && !S_ISDIR(st->st_mode) ? (subdir ? strlen(subdir) : 0) : 0) +
  85             (st && !S_ISDIR(st->st_mode) ? (suffix ? strlen(suffix) : 0) : 0) +
  86             strlen(fsm->baseName) + 1;
  87 /*@-boundswrite@*/
  88         s = t = xmalloc(nb);
  89         t = stpcpy(t, fsm->dirName);
  90         if (st && !S_ISDIR(st->st_mode))
  91             if (subdir) t = stpcpy(t, subdir);
  92         t = stpcpy(t, fsm->baseName);
  93         if (st && !S_ISDIR(st->st_mode))
  94             if (suffix) t = stpcpy(t, suffix);
  95 /*@=boundswrite@*/
  96     }
  97     return s;
  98 }
  99
 100 /** \ingroup payload
 101  * Destroy file info iterator.
 102  * @param p             file info iterator
 103  * @retval              NULL always
 104  */
 105 static /*@null@*/ void * mapFreeIterator(/*@only@*//*@null@*/ void * p)
 106         /*@globals fileSystem @*/
 107         /*@modifies fileSystem @*/
 108 {
 109     FSMI_t iter = p;
 110     if (iter) {
 111         iter->ts = rpmtsFree(iter->ts);
 112         iter->fi = rpmfiUnlink(iter->fi, "mapIterator");
 113     }
 114     return _free(p);
 115 }
 116
 117 /** \ingroup payload
 118  * Create file info iterator.
 119  * @param ts            transaction set
 120  * @param fi            transaction element file info
 121  * @return              file info iterator
 122  */
 123 static void *
 124 mapInitIterator(rpmts ts, rpmfi fi)
 125         /*@modifies ts, fi @*/
 126 {
 127     FSMI_t iter = NULL;
 128
 129     iter = xcalloc(1, sizeof(*iter));
 130     iter->ts = rpmtsLink(ts, "mapIterator");
 131     iter->fi = rpmfiLink(fi, "mapIterator");
 132     iter->reverse = (rpmteType(fi->te) == TR_REMOVED && fi->action != FA_COPYOUT);
 133     iter->i = (iter->reverse ? (fi->fc - 1) : 0);
 134     iter->isave = iter->i;
 135     return iter;
 136 }
 137
 138 /** \ingroup payload
 139  * Return next index into file info.
 140  * @param a             file info iterator
 141  * @return              next index, -1 on termination
 142  */
 143 static int mapNextIterator(/*@null@*/ void * a)
 144         /*@*/
 145 {
 146     FSMI_t iter = a;
 147     int i = -1;
 148
 149     if (iter) {
 150         const rpmfi fi = iter->fi;
 151         if (iter->reverse) {
 152             if (iter->i >= 0)   i = iter->i--;
 153         } else {
 154             if (iter->i < fi->fc)       i = iter->i++;
 155         }
 156         iter->isave = i;
 157     }
 158     return i;
 159 }
 160
 161 /** \ingroup payload
 162  */
 163 /*@-boundsread@*/
 164 static int cpioStrCmp(const void * a, const void * b)
 165         /*@*/
 166 {
 167     const char * afn = *(const char **)a;
 168     const char * bfn = *(const char **)b;
 169
 170     /* XXX Some 4+ year old rpm packages have basename only in payloads. */
 171 #ifdef  VERY_OLD_BUGGY_RPM_PACKAGES
 172     if (strchr(afn, '/') == NULL)
 173         bfn = strrchr(bfn, '/') + 1;
 174 #endif
 175
 176     /* Match rpm-4.0 payloads with ./ prefixes. */
 177     if (afn[0] == '.' && afn[1] == '/') afn += 2;
 178     if (bfn[0] == '.' && bfn[1] == '/') bfn += 2;
 179
 180     /* If either path is absolute, make it relative. */
 181     if (afn[0] == '/')  afn += 1;
 182     if (bfn[0] == '/')  bfn += 1;
 183
 184     return strcmp(afn, bfn);
 185 }
 186 /*@=boundsread@*/
 187
 188 /** \ingroup payload
 189  * Locate archive path in file info.
 190  * @param iter          file info iterator
 191  * @param fsmPath       archive path
 192  * @return              index into file info, -1 if archive path was not found
 193  */
 194 /*@-boundsread@*/
 195 static int mapFind(/*@null@*/ FSMI_t iter, const char * fsmPath)
 196         /*@modifies iter @*/
 197 {
 198     int ix = -1;
 199
 200     if (iter) {
 201         const rpmfi fi = iter->fi;
 202         if (fi && fi->fc > 0 && fi->apath && fsmPath && *fsmPath) {
 203             const char ** p = NULL;
 204
 205 /*@-boundswrite@*/
 206             if (fi->apath != NULL)
 207                 p = bsearch(&fsmPath, fi->apath, fi->fc, sizeof(fsmPath),
 208                         cpioStrCmp);
 209 /*@=boundswrite@*/
 210             if (p) {
 211                 iter->i = p - fi->apath;
 212                 ix = mapNextIterator(iter);
 213             }
 214         }
 215     }
 216     return ix;
 217 }
 218 /*@=boundsread@*/
 219
 220 /** \ingroup payload
 221  * Directory name iterator.
 222  */
 223 typedef struct dnli_s {
 224     rpmfi fi;
 225 /*@only@*/ /*@null@*/
 226     char * active;
 227     int reverse;
 228     int isave;
 229     int i;
 230 } * DNLI_t;
 231
 232 /** \ingroup payload
 233  * Destroy directory name iterator.
 234  * @param a             directory name iterator
 235  * @retval              NULL always
 236  */
 237 static /*@null@*/ void * dnlFreeIterator(/*@only@*//*@null@*/ const void * a)
 238         /*@modifies a @*/
 239 {
 240     if (a) {
 241         DNLI_t dnli = (void *)a;
 242         if (dnli->active) free(dnli->active);
 243     }
 244     return _free(a);
 245 }
 246
 247 /** \ingroup payload
 248  */
 249 static inline int dnlCount(const DNLI_t dnli)
 250         /*@*/
 251 {
 252     return (dnli ? dnli->fi->dc : 0);
 253 }
 254
 255 /** \ingroup payload
 256  */
 257 static inline int dnlIndex(const DNLI_t dnli)
 258         /*@*/
 259 {
 260     return (dnli ? dnli->isave : -1);
 261 }
 262
 263 /** \ingroup payload
 264  * Create directory name iterator.
 265  * @param fsm           file state machine data
 266  * @param reverse       traverse directory names in reverse order?
 267  * @return              directory name iterator
 268  */
 269 /*@-boundsread@*/
 270 /*@-usereleased@*/
 271 static /*@only@*/ void * dnlInitIterator(/*@special@*/ const FSM_t fsm,
 272                 int reverse)
 273         /*@uses fsm->iter @*/
 274         /*@*/
 275 {
 276     rpmfi fi = fsmGetFi(fsm);
 277     DNLI_t dnli;
 278     int i, j;
 279
 280     if (fi == NULL)
 281         return NULL;
 282     dnli = xcalloc(1, sizeof(*dnli));
 283     dnli->fi = fi;
 284     dnli->reverse = reverse;
 285     /*@-branchstate@*/
 286     dnli->i = (reverse ? fi->dc : 0);
 287     /*@=branchstate@*/
 288
 289     if (fi->dc) {
 290         dnli->active = xcalloc(fi->dc, sizeof(*dnli->active));
 291
 292         /* Identify parent directories not skipped. */
 293 /*@-boundswrite@*/
 294         for (i = 0; i < fi->fc; i++)
 295             if (!XFA_SKIPPING(fi->actions[i])) dnli->active[fi->dil[i]] = 1;
 296 /*@=boundswrite@*/
 297
 298         /* Exclude parent directories that are explicitly included. */
 299         for (i = 0; i < fi->fc; i++) {
 300             int dil, dnlen, bnlen;
 301
 302             if (!S_ISDIR(fi->fmodes[i]))
 303                 continue;
 304
 305             dil = fi->dil[i];
 306             dnlen = strlen(fi->dnl[dil]);
 307             bnlen = strlen(fi->bnl[i]);
 308
 309             for (j = 0; j < fi->dc; j++) {
 310                 const char * dnl;
 311                 int jlen;
 312
 313                 if (!dnli->active[j] || j == dil)
 314                     /*@innercontinue@*/ continue;
 315                 dnl = fi->dnl[j];
 316                 jlen = strlen(dnl);
 317                 if (jlen != (dnlen+bnlen+1))
 318                     /*@innercontinue@*/ continue;
 319                 if (strncmp(dnl, fi->dnl[dil], dnlen))
 320                     /*@innercontinue@*/ continue;
 321                 if (strncmp(dnl+dnlen, fi->bnl[i], bnlen))
 322                     /*@innercontinue@*/ continue;
 323                 if (dnl[dnlen+bnlen] != '/' || dnl[dnlen+bnlen+1] != '\0')
 324                     /*@innercontinue@*/ continue;
 325                 /* This directory is included in the package. */
 326 /*@-boundswrite@*/
 327                 dnli->active[j] = 0;
 328 /*@=boundswrite@*/
 329                 /*@innerbreak@*/ break;
 330             }
 331         }
 332
 333         /* Print only once per package. */
 334         if (!reverse) {
 335             j = 0;
 336             for (i = 0; i < fi->dc; i++) {
 337                 if (!dnli->active[i]) continue;
 338                 if (j == 0) {
 339                     j = 1;
 340                     rpmMessage(RPMMESS_DEBUG,
 341         _("========== Directories not explictly included in package:\n"));
 342                 }
 343                 rpmMessage(RPMMESS_DEBUG, _("%10d %s\n"), i, fi->dnl[i]);
 344             }
 345             if (j)
 346                 rpmMessage(RPMMESS_DEBUG, "==========\n");
 347         }
 348     }
 349     return dnli;
 350 }
 351 /*@=usereleased@*/
 352 /*@=boundsread@*/
 353
 354 /** \ingroup payload
 355  * Return next directory name (from file info).
 356  * @param dnli          directory name iterator
 357  * @return              next directory name
 358  */
 359 /*@-boundsread@*/
 360 static /*@observer@*/ const char * dnlNextIterator(/*@null@*/ DNLI_t dnli)
 361         /*@modifies dnli @*/
 362 {
 363     const char * dn = NULL;
 364
 365     if (dnli) {
 366         rpmfi fi = dnli->fi;
 367         int i = -1;
 368
 369         if (dnli->active)
 370         do {
 371             i = (!dnli->reverse ? dnli->i++ : --dnli->i);
 372         } while (i >= 0 && i < fi->dc && !dnli->active[i]);
 373
 374         if (i >= 0 && i < fi->dc)
 375             dn = fi->dnl[i];
 376         else
 377             i = -1;
 378         dnli->isave = i;
 379     }
 380     return dn;
 381 }
 382 /*@=boundsread@*/
 383
 384 static void * fsmThread(void * arg)
 385         /*@modifies arg @*/
 386 {
 387     FSM_t fsm = arg;
 388     return ((void *) fsmStage(fsm, fsm->nstage));
 389 }
 390
 391 int fsmNext(FSM_t fsm, fileStage nstage)
 392         /*@modifies fsm @*/
 393 {
 394     fsm->nstage = nstage;
 395     if (_fsm_threads)
 396         return rpmsqThread(fsmThread, fsm);
 397     return fsmStage(fsm, fsm->nstage);
 398 }
 399
 400 /** \ingroup payload
 401  * Save hard link in chain.
 402  * @param fsm           file state machine data
 403  * @return              Is chain only partially filled?
 404  */
 405 /*@-boundsread@*/
 406 static int saveHardLink(/*@special@*/ /*@partial@*/ FSM_t fsm)
 407         /*@uses fsm->links, fsm->ix, fsm->sb, fsm->goal, fsm->nsuffix @*/
 408         /*@defines fsm->li @*/
 409         /*@releases fsm->path @*/
 410         /*@globals errno, fileSystem, internalState @*/
 411         /*@modifies fsm, errno, fileSystem, internalState @*/
 412 {
 413     struct stat * st = &fsm->sb;
 414     int rc = 0;
 415     int ix = -1;
 416     int j;
 417
 418     /* Find hard link set. */
 419     /*@-branchstate@*/
 420     for (fsm->li = fsm->links; fsm->li; fsm->li = fsm->li->next) {
 421         if (fsm->li->sb.st_ino == st->st_ino && fsm->li->sb.st_dev == st->st_dev)
 422             break;
 423     }
 424     /*@=branchstate@*/
 425
 426     /* New hard link encountered, add new link to set. */
 427 /*@-boundswrite@*/
 428     /*@-branchstate@*/
 429     if (fsm->li == NULL) {
 430         fsm->li = xcalloc(1, sizeof(*fsm->li));
 431         fsm->li->next = NULL;
 432         fsm->li->sb = *st;      /* structure assignment */
 433         fsm->li->nlink = st->st_nlink;
 434         fsm->li->linkIndex = fsm->ix;
 435         fsm->li->createdPath = -1;
 436
 437         fsm->li->filex = xcalloc(st->st_nlink, sizeof(fsm->li->filex[0]));
 438         memset(fsm->li->filex, -1, (st->st_nlink * sizeof(fsm->li->filex[0])));
 439         fsm->li->nsuffix = xcalloc(st->st_nlink, sizeof(*fsm->li->nsuffix));
 440
 441         if (fsm->goal == FSM_PKGBUILD)
 442             fsm->li->linksLeft = st->st_nlink;
 443         if (fsm->goal == FSM_PKGINSTALL)
 444             fsm->li->linksLeft = 0;
 445
 446         /*@-kepttrans@*/
 447         fsm->li->next = fsm->links;
 448         /*@=kepttrans@*/
 449         fsm->links = fsm->li;
 450     }
 451     /*@=branchstate@*/
 452 /*@=boundswrite@*/
 453
 454     if (fsm->goal == FSM_PKGBUILD) --fsm->li->linksLeft;
 455 /*@-boundswrite@*/
 456     fsm->li->filex[fsm->li->linksLeft] = fsm->ix;
 457     /*@-observertrans -dependenttrans@*/
 458     fsm->li->nsuffix[fsm->li->linksLeft] = fsm->nsuffix;
 459     /*@=observertrans =dependenttrans@*/
 460 /*@=boundswrite@*/
 461     if (fsm->goal == FSM_PKGINSTALL) fsm->li->linksLeft++;
 462
 463     if (fsm->goal == FSM_PKGBUILD)
 464         return (fsm->li->linksLeft > 0);
 465
 466     if (fsm->goal != FSM_PKGINSTALL)
 467         return 0;
 468
 469     if (!(st->st_size || fsm->li->linksLeft == st->st_nlink))
 470         return 1;
 471
 472     /* Here come the bits, time to choose a non-skipped file name. */
 473     {   rpmfi fi = fsmGetFi(fsm);
 474
 475         for (j = fsm->li->linksLeft - 1; j >= 0; j--) {
 476             ix = fsm->li->filex[j];
 477             if (ix < 0 || XFA_SKIPPING(fi->actions[ix]))
 478                 continue;
 479             break;
 480         }
 481     }
 482
 483     /* Are all links skipped or not encountered yet? */
 484     if (ix < 0 || j < 0)
 485         return 1;       /* XXX W2DO? */
 486
 487     /* Save the non-skipped file name and map index. */
 488     fsm->li->linkIndex = j;
 489     fsm->path = _free(fsm->path);
 490     fsm->ix = ix;
 491     rc = fsmNext(fsm, FSM_MAP);
 492     return rc;
 493 }
 494 /*@=boundsread@*/
 495
 496 /** \ingroup payload
 497  * Destroy set of hard links.
 498  * @param li            set of hard links
 499  * @return              NULL always
 500  */
 501 static /*@null@*/ void * freeHardLink(/*@only@*/ /*@null@*/ struct hardLink_s * li)
 502         /*@modifies li @*/
 503 {
 504     if (li) {
 505         li->nsuffix = _free(li->nsuffix);       /* XXX elements are shared */
 506         li->filex = _free(li->filex);
 507     }
 508     return _free(li);
 509 }
 510
 511 FSM_t newFSM(void)
 512 {
 513     FSM_t fsm = xcalloc(1, sizeof(*fsm));
 514     return fsm;
 515 }
 516
 517 FSM_t freeFSM(FSM_t fsm)
 518 {
 519     if (fsm) {
 520         fsm->path = _free(fsm->path);
 521         /*@-branchstate@*/
 522         while ((fsm->li = fsm->links) != NULL) {
 523             fsm->links = fsm->li->next;
 524             fsm->li->next = NULL;
 525             fsm->li = freeHardLink(fsm->li);
 526         }
 527         /*@=branchstate@*/
 528         fsm->dnlx = _free(fsm->dnlx);
 529         fsm->ldn = _free(fsm->ldn);
 530         fsm->iter = mapFreeIterator(fsm->iter);
 531     }
 532     return _free(fsm);
 533 }
 534
 535 int fsmSetup(FSM_t fsm, fileStage goal,
 536                 const rpmts ts, const rpmfi fi, FD_t cfd,
 537                 unsigned int * archiveSize, const char ** failedFile)
 538 {
 539     size_t pos = 0;
 540     int rc, ec = 0;
 541
 542     fsm->goal = goal;
 543     if (cfd != NULL) {
 544         fsm->cfd = fdLink(cfd, "persist (fsm)");
 545         pos = fdGetCpioPos(fsm->cfd);
 546         fdSetCpioPos(fsm->cfd, 0);
 547     }
 548     fsm->iter = mapInitIterator(ts, fi);
 549
 550     if (fsm->goal == FSM_PKGINSTALL || fsm->goal == FSM_PKGBUILD) {
 551         void * ptr;
 552         fi->archivePos = 0;
 553         ptr = rpmtsNotify(ts, fi->te,
 554                 RPMCALLBACK_INST_START, fi->archivePos, fi->archiveSize);
 555     }
 556
 557 /*@-boundswrite@*/
 558     /*@-assignexpose@*/
 559     fsm->archiveSize = archiveSize;
 560     if (fsm->archiveSize)
 561         *fsm->archiveSize = 0;
 562     fsm->failedFile = failedFile;
 563     if (fsm->failedFile)
 564         *fsm->failedFile = NULL;
 565     /*@=assignexpose@*/
 566 /*@=boundswrite@*/
 567
 568     memset(fsm->sufbuf, 0, sizeof(fsm->sufbuf));
 569     if (fsm->goal == FSM_PKGINSTALL) {
 570         if (ts && rpmtsGetTid(ts) > 0)
 571             sprintf(fsm->sufbuf, ";%08x", (unsigned)rpmtsGetTid(ts));
 572     }
 573
 574     ec = fsm->rc = 0;
 575     rc = fsmUNSAFE(fsm, FSM_CREATE);
 576     if (rc && !ec) ec = rc;
 577
 578     rc = fsmUNSAFE(fsm, fsm->goal);
 579     if (rc && !ec) ec = rc;
 580
 581 /*@-boundswrite@*/
 582     if (fsm->archiveSize && ec == 0)
 583         *fsm->archiveSize = (fdGetCpioPos(fsm->cfd) - pos);
 584 /*@=boundswrite@*/
 585
 586    return ec;
 587 }
 588
 589 int fsmTeardown(FSM_t fsm)
 590 {
 591     int rc = fsm->rc;
 592
 593     if (!rc)
 594         rc = fsmUNSAFE(fsm, FSM_DESTROY);
 595
 596     fsm->iter = mapFreeIterator(fsm->iter);
 597     if (fsm->cfd != NULL) {
 598         fsm->cfd = fdFree(fsm->cfd, "persist (fsm)");
 599         fsm->cfd = NULL;
 600     }
 601     fsm->failedFile = NULL;
 602     return rc;
 603 }
 604
 605 int fsmMapPath(FSM_t fsm)
 606 {
 607     rpmfi fi = fsmGetFi(fsm);   /* XXX const except for fstates */
 608     int rc = 0;
 609     int i;
 610
 611     fsm->osuffix = NULL;
 612     fsm->nsuffix = NULL;
 613     fsm->astriplen = 0;
 614     fsm->action = FA_UNKNOWN;
 615     fsm->mapFlags = 0;
 616
 617     i = fsm->ix;
 618     if (fi && i >= 0 && i < fi->fc) {
 619
 620 /*@-boundsread@*/
 621         fsm->astriplen = fi->astriplen;
 622         fsm->action = (fi->actions ? fi->actions[i] : fi->action);
 623         fsm->fflags = (fi->fflags ? fi->fflags[i] : fi->flags);
 624         fsm->mapFlags = (fi->fmapflags ? fi->fmapflags[i] : fi->mapflags);
 625
 626         /* src rpms have simple base name in payload. */
 627         fsm->dirName = fi->dnl[fi->dil[i]];
 628         fsm->baseName = fi->bnl[i];
 629 /*@=boundsread@*/
 630
 631 /*@-boundswrite@*/
 632         switch (fsm->action) {
 633         case FA_SKIP:
 634             break;
 635         case FA_UNKNOWN:
 636             break;
 637
 638         case FA_COPYOUT:
 639             break;
 640         case FA_COPYIN:
 641         case FA_CREATE:
 642 assert(rpmteType(fi->te) == TR_ADDED);
 643             break;
 644
 645         case FA_SKIPNSTATE:
 646             if (fi->fstates && rpmteType(fi->te) == TR_ADDED)
 647                 fi->fstates[i] = RPMFILE_STATE_NOTINSTALLED;
 648             break;
 649
 650         case FA_SKIPNETSHARED:
 651             if (fi->fstates && rpmteType(fi->te) == TR_ADDED)
 652                 fi->fstates[i] = RPMFILE_STATE_NETSHARED;
 653             break;
 654
 655         case FA_SKIPCOLOR:
 656             if (fi->fstates && rpmteType(fi->te) == TR_ADDED)
 657                 fi->fstates[i] = RPMFILE_STATE_WRONGCOLOR;
 658             break;
 659
 660         case FA_BACKUP:
 661             if (!(fsm->fflags & RPMFILE_GHOST)) /* XXX Don't if %ghost file. */
 662             switch (rpmteType(fi->te)) {
 663             case TR_ADDED:
 664                 fsm->osuffix = SUFFIX_RPMORIG;
 665                 /*@innerbreak@*/ break;
 666             case TR_REMOVED:
 667                 fsm->osuffix = SUFFIX_RPMSAVE;
 668                 /*@innerbreak@*/ break;
 669             }
 670             break;
 671
 672         case FA_ALTNAME:
 673 assert(rpmteType(fi->te) == TR_ADDED);
 674             if (!(fsm->fflags & RPMFILE_GHOST)) /* XXX Don't if %ghost file. */
 675                 fsm->nsuffix = SUFFIX_RPMNEW;
 676             break;
 677
 678         case FA_SAVE:
 679 assert(rpmteType(fi->te) == TR_ADDED);
 680             if (!(fsm->fflags & RPMFILE_GHOST)) /* XXX Don't if %ghost file. */
 681                 fsm->osuffix = SUFFIX_RPMSAVE;
 682             break;
 683         case FA_ERASE:
 684 #if 0   /* XXX is this a genhdlist fix? */
 685             assert(rpmteType(fi->te) == TR_REMOVED);
 686 #endif
 687             /*
 688              * XXX TODO: %ghost probably shouldn't be removed, but that changes
 689              * legacy rpm behavior.
 690              */
 691             break;
 692         default:
 693             break;
 694         }
 695 /*@=boundswrite@*/
 696
 697         if ((fsm->mapFlags & CPIO_MAP_PATH) || fsm->nsuffix) {
 698             const struct stat * st = &fsm->sb;
 699             fsm->path = _free(fsm->path);
 700             fsm->path = fsmFsPath(fsm, st, fsm->subdir,
 701                 (fsm->suffix ? fsm->suffix : fsm->nsuffix));
 702         }
 703     }
 704     return rc;
 705 }
 706
 707 int fsmMapAttrs(FSM_t fsm)
 708 {
 709     struct stat * st = &fsm->sb;
 710     rpmfi fi = fsmGetFi(fsm);
 711     int i = fsm->ix;
 712
 713     if (fi && i >= 0 && i < fi->fc) {
 714         mode_t perms =
 715                 (S_ISDIR(st->st_mode) ? fi->dperms : fi->fperms);
 716         mode_t finalMode =
 717                 (fi->fmodes ? fi->fmodes[i] : perms);
 718         uid_t finalUid =
 719                 (fi->fuids ? fi->fuids[i] : fi->uid); /* XXX chmod u-s */
 720         gid_t finalGid =
 721                 (fi->fgids ? fi->fgids[i] : fi->gid); /* XXX chmod g-s */
 722         dev_t finalRdev =
 723                 (fi->frdevs ? fi->frdevs[i] : 0);
 724         int_32 finalMtime =
 725                 (fi->fmtimes ? fi->fmtimes[i] : 0);
 726
 727         if (fsm->mapFlags & CPIO_MAP_MODE)
 728             st->st_mode = (st->st_mode & S_IFMT) | (finalMode & ~S_IFMT);
 729         if (fsm->mapFlags & CPIO_MAP_TYPE) {
 730             st->st_mode = (st->st_mode & ~S_IFMT) | (finalMode & S_IFMT);
 731             if ((S_ISCHR(st->st_mode) || S_ISBLK(st->st_mode))
 732             && st->st_nlink == 0)
 733                 st->st_nlink = 1;
 734             st->st_rdev = finalRdev;
 735             st->st_mtime = finalMtime;
 736         }
 737         if (fsm->mapFlags & CPIO_MAP_UID)
 738             st->st_uid = finalUid;
 739         if (fsm->mapFlags & CPIO_MAP_GID)
 740             st->st_gid = finalGid;
 741
 742         {   rpmts ts = fsmGetTs(fsm);
 743
 744             if (ts != NULL && !(rpmtsFlags(ts) & RPMTRANS_FLAG_NOMD5)) {
 745                 fsm->fmd5sum = (fi->fmd5s ? fi->fmd5s[i] : NULL);
 746                 fsm->md5sum = (fi->md5s ? (fi->md5s + (16 * i)) : NULL);
 747             } else {
 748                 fsm->fmd5sum = NULL;
 749                 fsm->md5sum = NULL;
 750             }
 751         }
 752
 753     }
 754     return 0;
 755 }
 756
 757 /** \ingroup payload
 758  * Create file from payload stream.
 759  * @param fsm           file state machine data
 760  * @return              0 on success
 761  */
 762 static int expandRegular(/*@special@*/ FSM_t fsm)
 763         /*@uses fsm->sb @*/
 764         /*@globals errno, fileSystem, internalState @*/
 765         /*@modifies fsm, errno, fileSystem, internalState @*/
 766 {
 767     const struct stat * st = &fsm->sb;
 768     int left = st->st_size;
 769     int rc = 0;
 770
 771     rc = fsmNext(fsm, FSM_WOPEN);
 772     if (rc)
 773         goto exit;
 774
 775     if (st->st_size > 0 && (fsm->fmd5sum || fsm->md5sum))
 776         fdInitDigest(fsm->wfd, PGPHASHALGO_MD5, 0);
 777
 778     while (left) {
 779
 780         fsm->wrlen = (left > fsm->wrsize ? fsm->wrsize : left);
 781         rc = fsmNext(fsm, FSM_DREAD);
 782         if (rc)
 783             goto exit;
 784
 785         rc = fsmNext(fsm, FSM_WRITE);
 786         if (rc)
 787             goto exit;
 788
 789         left -= fsm->wrnb;
 790
 791         /* don't call this with fileSize == fileComplete */
 792         if (!rc && left)
 793             (void) fsmNext(fsm, FSM_NOTIFY);
 794     }
 795
 796     if (st->st_size > 0 && (fsm->fmd5sum || fsm->md5sum)) {
 797         void * md5sum = NULL;
 798         int asAscii = (fsm->md5sum == NULL ? 1 : 0);
 799
 800         (void) Fflush(fsm->wfd);
 801         fdFiniDigest(fsm->wfd, PGPHASHALGO_MD5, &md5sum, NULL, asAscii);
 802
 803         if (md5sum == NULL) {
 804             rc = CPIOERR_MD5SUM_MISMATCH;
 805             goto exit;
 806         }
 807
 808         if (fsm->md5sum != NULL) {
 809             if (memcmp(md5sum, fsm->md5sum, 16))
 810                 rc = CPIOERR_MD5SUM_MISMATCH;
 811         } else {
 812             if (strcmp(md5sum, fsm->fmd5sum))
 813                 rc = CPIOERR_MD5SUM_MISMATCH;
 814         }
 815         md5sum = _free(md5sum);
 816     }
 817
 818 exit:
 819     (void) fsmNext(fsm, FSM_WCLOSE);
 820     return rc;
 821 }
 822
 823 /** \ingroup payload
 824  * Write next item to payload stream.
 825  * @param fsm           file state machine data
 826  * @param writeData     should data be written?
 827  * @return              0 on success
 828  */
 829 static int writeFile(/*@special@*/ FSM_t fsm, int writeData)
 830         /*@uses fsm->path, fsm->opath, fsm->sb, fsm->osb, fsm->cfd @*/
 831         /*@globals errno, fileSystem, internalState @*/
 832         /*@modifies fsm, errno, fileSystem, internalState @*/
 833 {
 834     const char * path = fsm->path;
 835     const char * opath = fsm->opath;
 836     struct stat * st = &fsm->sb;
 837     struct stat * ost = &fsm->osb;
 838     char * symbuf = NULL;
 839     int left;
 840     int xx;
 841     int rc;
 842
 843     st->st_size = (writeData ? ost->st_size : 0);
 844
 845     /*@-branchstate@*/
 846     if (S_ISDIR(st->st_mode)) {
 847         st->st_size = 0;
 848     } else if (S_ISLNK(st->st_mode)) {
 849         /*
 850          * While linux puts the size of a symlink in the st_size field,
 851          * I don't think that's a specified standard.
 852          */
 853         /* XXX NUL terminated result in fsm->rdbuf, len in fsm->rdnb. */
 854         rc = fsmUNSAFE(fsm, FSM_READLINK);
 855         if (rc) goto exit;
 856         st->st_size = fsm->rdnb;
 857         symbuf = alloca_strdup(fsm->rdbuf);     /* XXX save readlink return. */
 858     }
 859     /*@=branchstate@*/
 860
 861     if (fsm->mapFlags & CPIO_MAP_ABSOLUTE) {
 862 /*@-compdef@*/ /* FIX: dirName/baseName annotations ? */
 863 /*@-boundswrite@*/
 864         int nb = strlen(fsm->dirName) + strlen(fsm->baseName) + sizeof(".");
 865         char * t = alloca(nb);
 866         *t = '\0';
 867         fsm->path = t;
 868         if (fsm->mapFlags & CPIO_MAP_ADDDOT)
 869             *t++ = '.';
 870         t = stpcpy( stpcpy(t, fsm->dirName), fsm->baseName);
 871 /*@=boundswrite@*/
 872 /*@=compdef@*/
 873     } else if (fsm->mapFlags & CPIO_MAP_PATH) {
 874         rpmfi fi = fsmGetFi(fsm);
 875         fsm->path =
 876             (fi->apath ? fi->apath[fsm->ix] + fi->striplen : fi->bnl[fsm->ix]);
 877     }
 878
 879     rc = fsmNext(fsm, FSM_HWRITE);
 880     fsm->path = path;
 881     if (rc) goto exit;
 882
 883     if (writeData && S_ISREG(st->st_mode)) {
 884 #if HAVE_MMAP
 885         char * rdbuf = NULL;
 886         void * mapped = (void *)-1;
 887         size_t nmapped;
 888 #endif
 889
 890         rc = fsmNext(fsm, FSM_ROPEN);
 891         if (rc) goto exit;
 892
 893         /* XXX unbuffered mmap generates *lots* of fdio debugging */
 894 #if HAVE_MMAP
 895         nmapped = 0;
 896         mapped = mmap(NULL, st->st_size, PROT_READ, MAP_SHARED, Fileno(fsm->rfd), 0);
 897         if (mapped != (void *)-1) {
 898             rdbuf = fsm->rdbuf;
 899             fsm->rdbuf = (char *) mapped;
 900             fsm->rdlen = nmapped = st->st_size;
 901 #if defined(MADV_DONTNEED)
 902             xx = madvise(mapped, nmapped, MADV_DONTNEED);
 903 #endif
 904         }
 905 #endif
 906
 907         left = st->st_size;
 908
 909         while (left) {
 910 #if HAVE_MMAP
 911           if (mapped != (void *)-1) {
 912             fsm->rdnb = nmapped;
 913           } else
 914 #endif
 915           {
 916             fsm->rdlen = (left > fsm->rdsize ? fsm->rdsize : left),
 917             rc = fsmNext(fsm, FSM_READ);
 918             if (rc) goto exit;
 919           }
 920
 921             /* XXX DWRITE uses rdnb for I/O length. */
 922             rc = fsmNext(fsm, FSM_DWRITE);
 923             if (rc) goto exit;
 924
 925             left -= fsm->wrnb;
 926         }
 927
 928 #if HAVE_MMAP
 929         if (mapped != (void *)-1) {
 930             xx = msync(mapped, nmapped, MS_ASYNC);
 931 #if defined(MADV_DONTNEED)
 932             xx = madvise(mapped, nmapped, MADV_DONTNEED);
 933 #endif
 934             /*@-noeffect@*/ xx = munmap(mapped, nmapped) /*@=noeffect@*/;
 935             fsm->rdbuf = rdbuf;
 936         }
 937 #endif
 938
 939     } else if (writeData && S_ISLNK(st->st_mode)) {
 940         /* XXX DWRITE uses rdnb for I/O length. */
 941 /*@-boundswrite@*/
 942         strcpy(fsm->rdbuf, symbuf);     /* XXX restore readlink buffer. */
 943 /*@=boundswrite@*/
 944         fsm->rdnb = strlen(symbuf);
 945         rc = fsmNext(fsm, FSM_DWRITE);
 946         if (rc) goto exit;
 947     }
 948
 949     rc = fsmNext(fsm, FSM_PAD);
 950     if (rc) goto exit;
 951
 952     rc = 0;
 953
 954 exit:
 955     if (fsm->rfd != NULL)
 956         (void) fsmNext(fsm, FSM_RCLOSE);
 957     /*@-dependenttrans@*/
 958     fsm->opath = opath;
 959     fsm->path = path;
 960     /*@=dependenttrans@*/
 961     return rc;
 962 }
 963
 964 /** \ingroup payload
 965  * Write set of linked files to payload stream.
 966  * @param fsm           file state machine data
 967  * @return              0 on success
 968  */
 969 static int writeLinkedFile(/*@special@*/ FSM_t fsm)
 970         /*@uses fsm->path, fsm->nsuffix, fsm->ix, fsm->li, fsm->failedFile @*/
 971         /*@globals errno, fileSystem, internalState @*/
 972         /*@modifies fsm, errno, fileSystem, internalState @*/
 973 {
 974     const char * path = fsm->path;
 975     const char * nsuffix = fsm->nsuffix;
 976     int iterIndex = fsm->ix;
 977     int ec = 0;
 978     int rc;
 979     int i;
 980
 981     fsm->path = NULL;
 982     fsm->nsuffix = NULL;
 983     fsm->ix = -1;
 984
 985 /*@-boundswrite@*/
 986     for (i = fsm->li->nlink - 1; i >= 0; i--) {
 987
 988         if (fsm->li->filex[i] < 0) continue;
 989
 990         fsm->ix = fsm->li->filex[i];
 991         rc = fsmNext(fsm, FSM_MAP);
 992
 993         /* Write data after last link. */
 994         rc = writeFile(fsm, (i == 0));
 995         if (fsm->failedFile && rc != 0 && *fsm->failedFile == NULL) {
 996             ec = rc;
 997             *fsm->failedFile = xstrdup(fsm->path);
 998         }
 999
1000         fsm->path = _free(fsm->path);
1001         fsm->li->filex[i] = -1;
1002     }
1003 /*@=boundswrite@*/
1004
1005     fsm->ix = iterIndex;
1006     fsm->nsuffix = nsuffix;
1007     fsm->path = path;
1008     return ec;
1009 }
1010
1011 /** \ingroup payload
1012  * Create pending hard links to existing file.
1013  * @param fsm           file state machine data
1014  * @return              0 on success
1015  */
1016 /*@-boundsread@*/
1017 static int fsmMakeLinks(/*@special@*/ FSM_t fsm)
1018         /*@uses fsm->path, fsm->opath, fsm->nsuffix, fsm->ix, fsm->li @*/
1019         /*@globals errno, fileSystem, internalState @*/
1020         /*@modifies fsm, errno, fileSystem, internalState @*/
1021 {
1022     const char * path = fsm->path;
1023     const char * opath = fsm->opath;
1024     const char * nsuffix = fsm->nsuffix;
1025     int iterIndex = fsm->ix;
1026     int ec = 0;
1027     int rc;
1028     int i;
1029
1030     fsm->path = NULL;
1031     fsm->opath = NULL;
1032     fsm->nsuffix = NULL;
1033     fsm->ix = -1;
1034
1035     fsm->ix = fsm->li->filex[fsm->li->createdPath];
1036     rc = fsmNext(fsm, FSM_MAP);
1037     fsm->opath = fsm->path;
1038     fsm->path = NULL;
1039     /*@-branchstate@*/
1040     for (i = 0; i < fsm->li->nlink; i++) {
1041         if (fsm->li->filex[i] < 0) continue;
1042         if (fsm->li->createdPath == i) continue;
1043
1044         fsm->ix = fsm->li->filex[i];
1045         fsm->path = _free(fsm->path);
1046         rc = fsmNext(fsm, FSM_MAP);
1047         if (XFA_SKIPPING(fsm->action)) continue;
1048
1049         rc = fsmUNSAFE(fsm, FSM_VERIFY);
1050         if (!rc) continue;
1051         if (!(rc == CPIOERR_ENOENT)) break;
1052
1053         /* XXX link(fsm->opath, fsm->path) */
1054         rc = fsmNext(fsm, FSM_LINK);
1055         if (fsm->failedFile && rc != 0 && *fsm->failedFile == NULL) {
1056             ec = rc;
1057 /*@-boundswrite@*/
1058             *fsm->failedFile = xstrdup(fsm->path);
1059 /*@=boundswrite@*/
1060         }
1061
1062         fsm->li->linksLeft--;
1063     }
1064     /*@=branchstate@*/
1065     fsm->path = _free(fsm->path);
1066     fsm->opath = _free(fsm->opath);
1067
1068     fsm->ix = iterIndex;
1069     fsm->nsuffix = nsuffix;
1070     fsm->path = path;
1071     fsm->opath = opath;
1072     return ec;
1073 }
1074 /*@=boundsread@*/
1075
1076 /** \ingroup payload
1077  * Commit hard linked file set atomically.
1078  * @param fsm           file state machine data
1079  * @return              0 on success
1080  */
1081 static int fsmCommitLinks(/*@special@*/ FSM_t fsm)
1082         /*@uses fsm->path, fsm->nsuffix, fsm->ix, fsm->sb,
1083                 fsm->li, fsm->links @*/
1084         /*@globals errno, fileSystem, internalState @*/
1085         /*@modifies fsm, errno, fileSystem, internalState @*/
1086 {
1087     const char * path = fsm->path;
1088     const char * nsuffix = fsm->nsuffix;
1089     int iterIndex = fsm->ix;
1090     struct stat * st = &fsm->sb;
1091     int rc = 0;
1092     int i;
1093
1094     fsm->path = NULL;
1095     fsm->nsuffix = NULL;
1096     fsm->ix = -1;
1097
1098     /*@-branchstate@*/
1099     for (fsm->li = fsm->links; fsm->li; fsm->li = fsm->li->next) {
1100         if (fsm->li->sb.st_ino == st->st_ino && fsm->li->sb.st_dev == st->st_dev)
1101             break;
1102     }
1103     /*@=branchstate@*/
1104
1105 /*@-boundswrite@*/
1106     for (i = 0; i < fsm->li->nlink; i++) {
1107         if (fsm->li->filex[i] < 0) continue;
1108         fsm->ix = fsm->li->filex[i];
1109         rc = fsmNext(fsm, FSM_MAP);
1110         if (!XFA_SKIPPING(fsm->action))
1111             rc = fsmNext(fsm, FSM_COMMIT);
1112         fsm->path = _free(fsm->path);
1113         fsm->li->filex[i] = -1;
1114     }
1115 /*@=boundswrite@*/
1116
1117     fsm->ix = iterIndex;
1118     fsm->nsuffix = nsuffix;
1119     fsm->path = path;
1120     return rc;
1121 }
1122
1123 /**
1124  * Remove (if created) directories not explicitly included in package.
1125  * @param fsm           file state machine data
1126  * @return              0 on success
1127  */
1128 static int fsmRmdirs(/*@special@*/ FSM_t fsm)
1129         /*@uses fsm->path, fsm->dnlx, fsm->ldn, fsm->rdbuf, fsm->iter @*/
1130         /*@globals errno, fileSystem, internalState @*/
1131         /*@modifies fsm, errno, fileSystem, internalState @*/
1132 {
1133     const char * path = fsm->path;
1134     void * dnli = dnlInitIterator(fsm, 1);
1135     char * dn = fsm->rdbuf;
1136     int dc = dnlCount(dnli);
1137     int rc = 0;
1138
1139     fsm->path = NULL;
1140 /*@-boundswrite@*/
1141     dn[0] = '\0';
1142     /*@-observertrans -dependenttrans@*/
1143     if (fsm->ldn != NULL && fsm->dnlx != NULL)
1144     while ((fsm->path = dnlNextIterator(dnli)) != NULL) {
1145         int dnlen = strlen(fsm->path);
1146         char * te;
1147
1148         dc = dnlIndex(dnli);
1149         if (fsm->dnlx[dc] < 1 || fsm->dnlx[dc] >= dnlen)
1150             continue;
1151
1152         /* Copy to avoid const on fsm->path. */
1153         te = stpcpy(dn, fsm->path) - 1;
1154         fsm->path = dn;
1155
1156         /* Remove generated directories. */
1157         /*@-usereleased@*/ /* LCL: te used after release? */
1158         do {
1159             if (*te == '/') {
1160                 *te = '\0';
1161                 rc = fsmNext(fsm, FSM_RMDIR);
1162                 *te = '/';
1163             }
1164             if (rc)
1165                 /*@innerbreak@*/ break;
1166             te--;
1167         } while ((te - fsm->path) > fsm->dnlx[dc]);
1168         /*@=usereleased@*/
1169     }
1170 /*@=boundswrite@*/
1171     dnli = dnlFreeIterator(dnli);
1172     /*@=observertrans =dependenttrans@*/
1173
1174     fsm->path = path;
1175     return rc;
1176 }
1177
1178 /**
1179  * Create (if necessary) directories not explicitly included in package.
1180  * @param fsm           file state machine data
1181  * @return              0 on success
1182  */
1183 static int fsmMkdirs(/*@special@*/ FSM_t fsm)
1184         /*@uses fsm->path, fsm->sb, fsm->osb, fsm->rdbuf, fsm->iter,
1185                 fsm->ldn, fsm->ldnlen, fsm->ldnalloc @*/
1186         /*@defines fsm->dnlx, fsm->ldn @*/
1187         /*@globals errno, fileSystem, internalState @*/
1188         /*@modifies fsm, errno, fileSystem, internalState @*/
1189 {
1190     struct stat * st = &fsm->sb;
1191     struct stat * ost = &fsm->osb;
1192     const char * path = fsm->path;
1193     mode_t st_mode = st->st_mode;
1194     void * dnli = dnlInitIterator(fsm, 0);
1195     char * dn = fsm->rdbuf;
1196     int dc = dnlCount(dnli);
1197     int rc = 0;
1198     int i;
1199
1200     fsm->path = NULL;
1201
1202 /*@-boundswrite@*/
1203     dn[0] = '\0';
1204     fsm->dnlx = (dc ? xcalloc(dc, sizeof(*fsm->dnlx)) : NULL);
1205     /*@-observertrans -dependenttrans@*/
1206     if (fsm->dnlx != NULL)
1207     while ((fsm->path = dnlNextIterator(dnli)) != NULL) {
1208         int dnlen = strlen(fsm->path);
1209         char * te;
1210
1211         dc = dnlIndex(dnli);
1212         if (dc < 0) continue;
1213         fsm->dnlx[dc] = dnlen;
1214         if (dnlen <= 1)
1215             continue;
1216
1217         /*@-compdef -nullpass@*/        /* FIX: fsm->ldn not defined ??? */
1218         if (dnlen <= fsm->ldnlen && !strcmp(fsm->path, fsm->ldn))
1219             continue;
1220         /*@=compdef =nullpass@*/
1221
1222         /* Copy to avoid const on fsm->path. */
1223         (void) stpcpy(dn, fsm->path);
1224         fsm->path = dn;
1225
1226         /* Assume '/' directory exists, "mkdir -p" for others if non-existent */
1227         for (i = 1, te = dn + 1; *te != '\0'; te++, i++) {
1228             if (*te != '/')
1229                 /*@innercontinue@*/ continue;
1230
1231             *te = '\0';
1232
1233             /* Already validated? */
1234             /*@-usedef -compdef -nullpass -nullderef@*/
1235             if (i < fsm->ldnlen &&
1236                 (fsm->ldn[i] == '/' || fsm->ldn[i] == '\0') &&
1237                 !strncmp(fsm->path, fsm->ldn, i))
1238             {
1239                 *te = '/';
1240                 /* Move pre-existing path marker forward. */
1241                 fsm->dnlx[dc] = (te - dn);
1242                 /*@innercontinue@*/ continue;
1243             }
1244             /*@=usedef =compdef =nullpass =nullderef@*/
1245
1246             /* Validate next component of path. */
1247             rc = fsmUNSAFE(fsm, FSM_LSTAT);
1248             *te = '/';
1249
1250             /* Directory already exists? */
1251             if (rc == 0 && S_ISDIR(ost->st_mode)) {
1252                 /* Move pre-existing path marker forward. */
1253                 fsm->dnlx[dc] = (te - dn);
1254             } else if (rc == CPIOERR_ENOENT) {
1255                 rpmfi fi = fsmGetFi(fsm);
1256                 *te = '\0';
1257                 st->st_mode = S_IFDIR | (fi->dperms & 07777);
1258                 rc = fsmNext(fsm, FSM_MKDIR);
1259                 if (!rc)
1260                     rpmMessage(RPMMESS_DEBUG,
1261                         _("%s directory created with perms %04o.\n"),
1262                         fsm->path, (unsigned)(st->st_mode & 07777));
1263                 *te = '/';
1264             }
1265             if (rc)
1266                 /*@innerbreak@*/ break;
1267         }
1268         if (rc) break;
1269
1270         /* Save last validated path. */
1271 /*@-compdef@*/ /* FIX: ldn/path annotations ? */
1272         if (fsm->ldnalloc < (dnlen + 1)) {
1273             fsm->ldnalloc = dnlen + 100;
1274             fsm->ldn = xrealloc(fsm->ldn, fsm->ldnalloc);
1275         }
1276         if (fsm->ldn != NULL) { /* XXX can't happen */
1277             strcpy(fsm->ldn, fsm->path);
1278             fsm->ldnlen = dnlen;
1279         }
1280 /*@=compdef@*/
1281     }
1282 /*@=boundswrite@*/
1283     dnli = dnlFreeIterator(dnli);
1284     /*@=observertrans =dependenttrans@*/
1285
1286     fsm->path = path;
1287     st->st_mode = st_mode;              /* XXX restore st->st_mode */
1288 /*@-compdef@*/ /* FIX: ldn/path annotations ? */
1289     return rc;
1290 /*@=compdef@*/
1291 }
1292
1293 #ifdef  NOTYET
1294 /**
1295  * Check for file on disk.
1296  * @param fsm           file state machine data
1297  * @return              0 on success
1298  */
1299 static int fsmStat(FSM_t fsm)
1300         /*@globals errno, fileSystem, internalState @*/
1301         /*@modifies fsm, errno, fileSystem, internalState @*/
1302 {
1303     int saveerrno = errno;
1304     int rc = 0;
1305
1306     if (fsm->path != NULL) {
1307         int saveernno = errno;
1308         rc = fsmUNSAFE(fsm, (!(fsm->mapFlags & CPIO_FOLLOW_SYMLINKS)
1309                         ? FSM_LSTAT : FSM_STAT));
1310         if (rc == CPIOERR_ENOENT) {
1311             errno = saveerrno;
1312             rc = 0;
1313             fsm->exists = 0;
1314         } else if (rc == 0) {
1315             fsm->exists = 1;
1316         }
1317     } else {
1318         /* Skip %ghost files on build. */
1319         fsm->exists = 0;
1320     }
1321     return rc;
1322 }
1323 #endif
1324
1325 #define IS_DEV_LOG(_x)  \
1326         ((_x) != NULL && strlen(_x) >= (sizeof("/dev/log")-1) && \
1327         !strncmp((_x), "/dev/log", sizeof("/dev/log")-1) && \
1328         ((_x)[sizeof("/dev/log")-1] == '\0' || \
1329          (_x)[sizeof("/dev/log")-1] == ';'))
1330
1331 /*@-boundsread@*/
1332 /*@-compmempass@*/
1333 int fsmStage(FSM_t fsm, fileStage stage)
1334 {
1335 #ifdef  UNUSED
1336     fileStage prevStage = fsm->stage;
1337     const char * const prev = fileStageString(prevStage);
1338 #endif
1339     static int modulo = 4;
1340     const char * const cur = fileStageString(stage);
1341     struct stat * st = &fsm->sb;
1342     struct stat * ost = &fsm->osb;
1343     int saveerrno = errno;
1344     int rc = fsm->rc;
1345     size_t left;
1346     int i;
1347
1348 #define _fafilter(_a)   \
1349     (!((_a) == FA_CREATE || (_a) == FA_ERASE || (_a) == FA_COPYIN || (_a) == FA_COPYOUT) \
1350         ? fileActionString(_a) : "")
1351
1352     if (stage & FSM_DEAD) {
1353         /* do nothing */
1354     } else if (stage & FSM_INTERNAL) {
1355         if (_fsm_debug && !(stage & FSM_SYSCALL))
1356             rpmMessage(RPMMESS_DEBUG, " %8s %06o%3d (%4d,%4d)%10d %s %s\n",
1357                 cur,
1358                 (unsigned)st->st_mode, (int)st->st_nlink,
1359                 (int)st->st_uid, (int)st->st_gid, (int)st->st_size,
1360                 (fsm->path ? fsm->path : ""),
1361                 _fafilter(fsm->action));
1362     } else {
1363         fsm->stage = stage;
1364         if (_fsm_debug || !(stage & FSM_VERBOSE))
1365             rpmMessage(RPMMESS_DEBUG, "%-8s  %06o%3d (%4d,%4d)%10d %s %s\n",
1366                 cur,
1367                 (unsigned)st->st_mode, (int)st->st_nlink,
1368                 (int)st->st_uid, (int)st->st_gid, (int)st->st_size,
1369                 (fsm->path ? fsm->path + fsm->astriplen : ""),
1370                 _fafilter(fsm->action));
1371     }
1372 #undef  _fafilter
1373
1374     /*@-branchstate@*/
1375     switch (stage) {
1376     case FSM_UNKNOWN:
1377         break;
1378     case FSM_PKGINSTALL:
1379         while (1) {
1380             /* Clean fsm, free'ing memory. Read next archive header. */
1381             rc = fsmUNSAFE(fsm, FSM_INIT);
1382
1383             /* Exit on end-of-payload. */
1384             if (rc == CPIOERR_HDR_TRAILER) {
1385                 rc = 0;
1386                 /*@loopbreak@*/ break;
1387             }
1388
1389             /* Exit on error. */
1390             if (rc) {
1391                 fsm->postpone = 1;
1392                 (void) fsmNext(fsm, FSM_UNDO);
1393                 /*@loopbreak@*/ break;
1394             }
1395
1396             /* Extract file from archive. */
1397             rc = fsmNext(fsm, FSM_PROCESS);
1398             if (rc) {
1399                 (void) fsmNext(fsm, FSM_UNDO);
1400                 /*@loopbreak@*/ break;
1401             }
1402
1403             /* Notify on success. */
1404             (void) fsmNext(fsm, FSM_NOTIFY);
1405
1406             rc = fsmNext(fsm, FSM_FINI);
1407             if (rc) {
1408                 /*@loopbreak@*/ break;
1409             }
1410         }
1411         break;
1412     case FSM_PKGERASE:
1413     case FSM_PKGCOMMIT:
1414         while (1) {
1415             /* Clean fsm, free'ing memory. */
1416             rc = fsmUNSAFE(fsm, FSM_INIT);
1417
1418             /* Exit on end-of-payload. */
1419             if (rc == CPIOERR_HDR_TRAILER) {
1420                 rc = 0;
1421                 /*@loopbreak@*/ break;
1422             }
1423
1424             /* Rename/erase next item. */
1425             if (fsmNext(fsm, FSM_FINI))
1426                 /*@loopbreak@*/ break;
1427         }
1428         break;
1429     case FSM_PKGBUILD:
1430         while (1) {
1431
1432             rc = fsmUNSAFE(fsm, FSM_INIT);
1433
1434             /* Exit on end-of-payload. */
1435             if (rc == CPIOERR_HDR_TRAILER) {
1436                 rc = 0;
1437                 /*@loopbreak@*/ break;
1438             }
1439
1440             /* Exit on error. */
1441             if (rc) {
1442                 fsm->postpone = 1;
1443                 (void) fsmNext(fsm, FSM_UNDO);
1444                 /*@loopbreak@*/ break;
1445             }
1446
1447             /* Copy file into archive. */
1448             rc = fsmNext(fsm, FSM_PROCESS);
1449             if (rc) {
1450                 (void) fsmNext(fsm, FSM_UNDO);
1451                 /*@loopbreak@*/ break;
1452             }
1453
1454             /* Notify on success. */
1455             (void) fsmNext(fsm, FSM_NOTIFY);
1456
1457             if (fsmNext(fsm, FSM_FINI))
1458                 /*@loopbreak@*/ break;
1459         }
1460
1461         /* Flush partial sets of hard linked files. */
1462         if (!(fsm->mapFlags & CPIO_ALL_HARDLINKS)) {
1463             int nlink, j;
1464             while ((fsm->li = fsm->links) != NULL) {
1465                 fsm->links = fsm->li->next;
1466                 fsm->li->next = NULL;
1467
1468                 /* Re-calculate link count for archive header. */
1469                 for (j = -1, nlink = 0, i = 0; i < fsm->li->nlink; i++) {
1470                     if (fsm->li->filex[i] < 0)
1471                         /*@innercontinue@*/ continue;
1472                     nlink++;
1473                     if (j == -1) j = i;
1474                 }
1475                 /* XXX force the contents out as well. */
1476 /*@-boundswrite@*/
1477                 if (j != 0) {
1478                     fsm->li->filex[0] = fsm->li->filex[j];
1479                     fsm->li->filex[j] = -1;
1480                 }
1481 /*@=boundswrite@*/
1482                 fsm->li->sb.st_nlink = nlink;
1483
1484                 fsm->sb = fsm->li->sb;  /* structure assignment */
1485                 fsm->osb = fsm->sb;     /* structure assignment */
1486
1487                 if (!rc) rc = writeLinkedFile(fsm);
1488
1489                 fsm->li = freeHardLink(fsm->li);
1490             }
1491         }
1492
1493         if (!rc)
1494             rc = fsmNext(fsm, FSM_TRAILER);
1495
1496         break;
1497     case FSM_CREATE:
1498         {   rpmts ts = fsmGetTs(fsm);
1499 #define _tsmask (RPMTRANS_FLAG_PKGCOMMIT | RPMTRANS_FLAG_COMMIT)
1500             fsm->commit = ((ts && (rpmtsFlags(ts) & _tsmask) &&
1501                         fsm->goal != FSM_PKGCOMMIT) ? 0 : 1);
1502 #undef _tsmask
1503         }
1504         fsm->path = _free(fsm->path);
1505         fsm->opath = _free(fsm->opath);
1506         fsm->dnlx = _free(fsm->dnlx);
1507
1508         fsm->ldn = _free(fsm->ldn);
1509         fsm->ldnalloc = fsm->ldnlen = 0;
1510
1511         fsm->rdsize = fsm->wrsize = 0;
1512         fsm->rdbuf = fsm->rdb = _free(fsm->rdb);
1513         fsm->wrbuf = fsm->wrb = _free(fsm->wrb);
1514         if (fsm->goal == FSM_PKGINSTALL || fsm->goal == FSM_PKGBUILD) {
1515             fsm->rdsize = 8 * BUFSIZ;
1516             fsm->rdbuf = fsm->rdb = xmalloc(fsm->rdsize);
1517             fsm->wrsize = 8 * BUFSIZ;
1518             fsm->wrbuf = fsm->wrb = xmalloc(fsm->wrsize);
1519         }
1520
1521         fsm->mkdirsdone = 0;
1522         fsm->ix = -1;
1523         fsm->links = NULL;
1524         fsm->li = NULL;
1525         errno = 0;      /* XXX get rid of EBADF */
1526
1527         /* Detect and create directories not explicitly in package. */
1528         if (fsm->goal == FSM_PKGINSTALL) {
1529             rc = fsmNext(fsm, FSM_MKDIRS);
1530             if (!rc) fsm->mkdirsdone = 1;
1531         }
1532
1533         break;
1534     case FSM_INIT:
1535         fsm->path = _free(fsm->path);
1536         fsm->postpone = 0;
1537         fsm->diskchecked = fsm->exists = 0;
1538         fsm->subdir = NULL;
1539         fsm->suffix = (fsm->sufbuf[0] != '\0' ? fsm->sufbuf : NULL);
1540         fsm->action = FA_UNKNOWN;
1541         fsm->osuffix = NULL;
1542         fsm->nsuffix = NULL;
1543
1544         if (fsm->goal == FSM_PKGINSTALL) {
1545             /* Read next header from payload, checking for end-of-payload. */
1546             rc = fsmUNSAFE(fsm, FSM_NEXT);
1547         }
1548         if (rc) break;
1549
1550         /* Identify mapping index. */
1551         fsm->ix = ((fsm->goal == FSM_PKGINSTALL)
1552                 ? mapFind(fsm->iter, fsm->path) : mapNextIterator(fsm->iter));
1553
1554         /* Detect end-of-loop and/or mapping error. */
1555         if (fsm->ix < 0) {
1556             if (fsm->goal == FSM_PKGINSTALL) {
1557 #if 0
1558                 rpmMessage(RPMMESS_WARNING,
1559                     _("archive file %s was not found in header file list\n"),
1560                         fsm->path);
1561 #endif
1562 /*@-boundswrite@*/
1563                 if (fsm->failedFile && *fsm->failedFile == NULL)
1564                     *fsm->failedFile = xstrdup(fsm->path);
1565 /*@=boundswrite@*/
1566                 rc = CPIOERR_UNMAPPED_FILE;
1567             } else {
1568                 rc = CPIOERR_HDR_TRAILER;
1569             }
1570             break;
1571         }
1572
1573         /* On non-install, mode must be known so that dirs don't get suffix. */
1574         if (fsm->goal != FSM_PKGINSTALL) {
1575             rpmfi fi = fsmGetFi(fsm);
1576             st->st_mode = fi->fmodes[fsm->ix];
1577         }
1578
1579         /* Generate file path. */
1580         rc = fsmNext(fsm, FSM_MAP);
1581         if (rc) break;
1582
1583         /* Perform lstat/stat for disk file. */
1584 #ifdef  NOTYET
1585         rc = fsmStat(fsm);
1586 #else
1587         if (fsm->path != NULL &&
1588             !(fsm->goal == FSM_PKGINSTALL && S_ISREG(st->st_mode)))
1589         {
1590             rc = fsmUNSAFE(fsm, (!(fsm->mapFlags & CPIO_FOLLOW_SYMLINKS)
1591                         ? FSM_LSTAT : FSM_STAT));
1592             if (rc == CPIOERR_ENOENT) {
1593                 errno = saveerrno;
1594                 rc = 0;
1595                 fsm->exists = 0;
1596             } else if (rc == 0) {
1597                 fsm->exists = 1;
1598             }
1599         } else {
1600             /* Skip %ghost files on build. */
1601             fsm->exists = 0;
1602         }
1603 #endif
1604         fsm->diskchecked = 1;
1605         if (rc) break;
1606
1607         /* On non-install, the disk file stat is what's remapped. */
1608 /*@-boundswrite@*/
1609         if (fsm->goal != FSM_PKGINSTALL)
1610             *st = *ost;                 /* structure assignment */
1611 /*@=boundswrite@*/
1612
1613         /* Remap file perms, owner, and group. */
1614         rc = fsmMapAttrs(fsm);
1615         if (rc) break;
1616
1617         fsm->postpone = XFA_SKIPPING(fsm->action);
1618         if (fsm->goal == FSM_PKGINSTALL || fsm->goal == FSM_PKGBUILD) {
1619             /*@-evalorder@*/ /* FIX: saveHardLink can modify fsm */
1620             if (!S_ISDIR(st->st_mode) && st->st_nlink > 1)
1621                 fsm->postpone = saveHardLink(fsm);
1622             /*@=evalorder@*/
1623         }
1624         break;
1625     case FSM_PRE:
1626         break;
1627     case FSM_MAP:
1628         rc = fsmMapPath(fsm);
1629         break;
1630     case FSM_MKDIRS:
1631         rc = fsmMkdirs(fsm);
1632         break;
1633     case FSM_RMDIRS:
1634         if (fsm->dnlx)
1635             rc = fsmRmdirs(fsm);
1636         break;
1637     case FSM_PROCESS:
1638         if (fsm->postpone) {
1639             if (fsm->goal == FSM_PKGINSTALL)
1640                 rc = fsmNext(fsm, FSM_EAT);
1641             break;
1642         }
1643
1644         if (fsm->goal == FSM_PKGBUILD) {
1645             if (fsm->fflags & RPMFILE_GHOST) /* XXX Don't if %ghost file. */
1646                 break;
1647             if (!S_ISDIR(st->st_mode) && st->st_nlink > 1) {
1648                 struct hardLink_s * li, * prev;
1649
1650 if (!(fsm->mapFlags & CPIO_ALL_HARDLINKS)) break;
1651                 rc = writeLinkedFile(fsm);
1652                 if (rc) break;  /* W2DO? */
1653
1654                 for (li = fsm->links, prev = NULL; li; prev = li, li = li->next)
1655                      if (li == fsm->li)
1656                         /*@loopbreak@*/ break;
1657
1658                 if (prev == NULL)
1659                     fsm->links = fsm->li->next;
1660                 else
1661                     prev->next = fsm->li->next;
1662                 fsm->li->next = NULL;
1663                 fsm->li = freeHardLink(fsm->li);
1664             } else {
1665                 rc = writeFile(fsm, 1);
1666             }
1667             break;
1668         }
1669
1670         if (fsm->goal != FSM_PKGINSTALL)
1671             break;
1672
1673         if (S_ISREG(st->st_mode)) {
1674             const char * path = fsm->path;
1675             if (fsm->osuffix)
1676                 fsm->path = fsmFsPath(fsm, st, NULL, NULL);
1677             rc = fsmUNSAFE(fsm, FSM_VERIFY);
1678
1679             if (rc == 0 && fsm->osuffix) {
1680                 const char * opath = fsm->opath;
1681                 fsm->opath = fsm->path;
1682                 fsm->path = fsmFsPath(fsm, st, NULL, fsm->osuffix);
1683                 rc = fsmNext(fsm, FSM_RENAME);
1684                 if (!rc)
1685                     rpmMessage(RPMMESS_WARNING,
1686                         _("%s saved as %s\n"), fsm->opath, fsm->path);
1687                 fsm->path = _free(fsm->path);
1688                 fsm->opath = opath;
1689             }
1690
1691             /*@-dependenttrans@*/
1692             fsm->path = path;
1693             /*@=dependenttrans@*/
1694             if (!(rc == CPIOERR_ENOENT)) return rc;
1695             rc = expandRegular(fsm);
1696         } else if (S_ISDIR(st->st_mode)) {
1697             mode_t st_mode = st->st_mode;
1698             rc = fsmUNSAFE(fsm, FSM_VERIFY);
1699             if (rc == CPIOERR_ENOENT) {
1700                 st->st_mode &= ~07777;          /* XXX abuse st->st_mode */
1701                 st->st_mode |=  00700;
1702                 rc = fsmNext(fsm, FSM_MKDIR);
1703                 st->st_mode = st_mode;          /* XXX restore st->st_mode */
1704             }
1705         } else if (S_ISLNK(st->st_mode)) {
1706             const char * opath = fsm->opath;
1707
1708             if ((st->st_size + 1) > fsm->rdsize) {
1709                 rc = CPIOERR_HDR_SIZE;
1710                 break;
1711             }
1712
1713             fsm->wrlen = st->st_size;
1714             rc = fsmNext(fsm, FSM_DREAD);
1715             if (!rc && fsm->rdnb != fsm->wrlen)
1716                 rc = CPIOERR_READ_FAILED;
1717             if (rc) break;
1718
1719 /*@-boundswrite@*/
1720             fsm->wrbuf[st->st_size] = '\0';
1721 /*@=boundswrite@*/
1722             /* XXX symlink(fsm->opath, fsm->path) */
1723             /*@-dependenttrans@*/
1724             fsm->opath = fsm->wrbuf;
1725             /*@=dependenttrans@*/
1726             rc = fsmUNSAFE(fsm, FSM_VERIFY);
1727             if (rc == CPIOERR_ENOENT)
1728                 rc = fsmNext(fsm, FSM_SYMLINK);
1729             fsm->opath = opath;         /* XXX restore fsm->path */
1730         } else if (S_ISFIFO(st->st_mode)) {
1731             mode_t st_mode = st->st_mode;
1732             /* This mimics cpio S_ISSOCK() behavior but probably isnt' right */
1733             rc = fsmUNSAFE(fsm, FSM_VERIFY);
1734             if (rc == CPIOERR_ENOENT) {
1735                 st->st_mode = 0000;             /* XXX abuse st->st_mode */
1736                 rc = fsmNext(fsm, FSM_MKFIFO);
1737                 st->st_mode = st_mode;  /* XXX restore st->st_mode */
1738             }
1739         } else if (S_ISCHR(st->st_mode) ||
1740                    S_ISBLK(st->st_mode) ||
1741     /*@-unrecog@*/ S_ISSOCK(st->st_mode) /*@=unrecog@*/)
1742         {
1743             rc = fsmUNSAFE(fsm, FSM_VERIFY);
1744             if (rc == CPIOERR_ENOENT)
1745                 rc = fsmNext(fsm, FSM_MKNOD);
1746         } else {
1747             /* XXX Special case /dev/log, which shouldn't be packaged anyways */
1748             if (!IS_DEV_LOG(fsm->path))
1749                 rc = CPIOERR_UNKNOWN_FILETYPE;
1750         }
1751         if (!S_ISDIR(st->st_mode) && st->st_nlink > 1) {
1752             fsm->li->createdPath = fsm->li->linkIndex;
1753             rc = fsmMakeLinks(fsm);
1754         }
1755         break;
1756     case FSM_POST:
1757         break;
1758     case FSM_MKLINKS:
1759         rc = fsmMakeLinks(fsm);
1760         break;
1761     case FSM_NOTIFY:            /* XXX move from fsm to psm -> tsm */
1762         if (fsm->goal == FSM_PKGINSTALL || fsm->goal == FSM_PKGBUILD) {
1763             rpmts ts = fsmGetTs(fsm);
1764             rpmfi fi = fsmGetFi(fsm);
1765             void * ptr;
1766             unsigned int archivePos = fdGetCpioPos(fsm->cfd);
1767             if (archivePos > fi->archivePos) {
1768                 fi->archivePos = archivePos;
1769                 ptr = rpmtsNotify(ts, fi->te, RPMCALLBACK_INST_PROGRESS,
1770                         fi->archivePos, fi->archiveSize);
1771             }
1772         }
1773         break;
1774     case FSM_UNDO:
1775         if (fsm->postpone)
1776             break;
1777         if (fsm->goal == FSM_PKGINSTALL) {
1778             (void) fsmNext(fsm,
1779                 (S_ISDIR(st->st_mode) ? FSM_RMDIR : FSM_UNLINK));
1780
1781 #ifdef  NOTYET  /* XXX remove only dirs just created, not all. */
1782             if (fsm->dnlx)
1783                 (void) fsmNext(fsm, FSM_RMDIRS);
1784 #endif
1785             errno = saveerrno;
1786         }
1787 /*@-boundswrite@*/
1788         if (fsm->failedFile && *fsm->failedFile == NULL)
1789             *fsm->failedFile = xstrdup(fsm->path);
1790 /*@=boundswrite@*/
1791         break;
1792     case FSM_FINI:
1793         if (!fsm->postpone && fsm->commit) {
1794             if (fsm->goal == FSM_PKGINSTALL)
1795                 rc = ((!S_ISDIR(st->st_mode) && st->st_nlink > 1)
1796                         ? fsmCommitLinks(fsm) : fsmNext(fsm, FSM_COMMIT));
1797             if (fsm->goal == FSM_PKGCOMMIT)
1798                 rc = fsmNext(fsm, FSM_COMMIT);
1799             if (fsm->goal == FSM_PKGERASE)
1800                 rc = fsmNext(fsm, FSM_COMMIT);
1801         }
1802         fsm->path = _free(fsm->path);
1803         fsm->opath = _free(fsm->opath);
1804 /*@-boundswrite@*/
1805         memset(st, 0, sizeof(*st));
1806         memset(ost, 0, sizeof(*ost));
1807 /*@=boundswrite@*/
1808         break;
1809     case FSM_COMMIT:
1810         /* Rename pre-existing modified or unmanaged file. */
1811         if (fsm->osuffix && fsm->diskchecked &&
1812           (fsm->exists || (fsm->goal == FSM_PKGINSTALL && S_ISREG(st->st_mode))))
1813         {
1814             const char * opath = fsm->opath;
1815             const char * path = fsm->path;
1816             fsm->opath = fsmFsPath(fsm, st, NULL, NULL);
1817             fsm->path = fsmFsPath(fsm, st, NULL, fsm->osuffix);
1818             rc = fsmNext(fsm, FSM_RENAME);
1819             if (!rc) {
1820                 rpmMessage(RPMMESS_WARNING, _("%s saved as %s\n"),
1821                                 fsm->opath, fsm->path);
1822             }
1823             fsm->path = _free(fsm->path);
1824             fsm->path = path;
1825             fsm->opath = _free(fsm->opath);
1826             fsm->opath = opath;
1827         }
1828
1829         /* Remove erased files. */
1830         if (fsm->goal == FSM_PKGERASE) {
1831             if (fsm->action == FA_ERASE) {
1832                 rpmfi fi = fsmGetFi(fsm);
1833                 if (S_ISDIR(st->st_mode)) {
1834                     rc = fsmNext(fsm, FSM_RMDIR);
1835                     if (!rc) break;
1836                     switch (rc) {
1837                     case CPIOERR_ENOENT: /* XXX rmdir("/") linux 2.2.x kernel hack */
1838                     case CPIOERR_ENOTEMPTY:
1839         /* XXX make sure that build side permits %missingok on directories. */
1840                         if (fsm->fflags & RPMFILE_MISSINGOK)
1841                             /*@innerbreak@*/ break;
1842
1843                         /* XXX common error message. */
1844                         rpmError(
1845                             (strict_erasures ? RPMERR_RMDIR : RPMDEBUG_RMDIR),
1846                             _("%s rmdir of %s failed: Directory not empty\n"),
1847                                 rpmfiTypeString(fi), fsm->path);
1848                         /*@innerbreak@*/ break;
1849                     default:
1850                         rpmError(
1851                             (strict_erasures ? RPMERR_RMDIR : RPMDEBUG_RMDIR),
1852                                 _("%s rmdir of %s failed: %s\n"),
1853                                 rpmfiTypeString(fi), fsm->path, strerror(errno));
1854                         /*@innerbreak@*/ break;
1855                     }
1856                 } else {
1857                     rc = fsmNext(fsm, FSM_UNLINK);
1858                     if (!rc) break;
1859                     switch (rc) {
1860                     case CPIOERR_ENOENT:
1861                         if (fsm->fflags & RPMFILE_MISSINGOK)
1862                             /*@innerbreak@*/ break;
1863                         /*@fallthrough@*/
1864                     default:
1865                         rpmError(
1866                             (strict_erasures ? RPMERR_UNLINK : RPMDEBUG_UNLINK),
1867                                 _("%s unlink of %s failed: %s\n"),
1868                                 rpmfiTypeString(fi), fsm->path, strerror(errno));
1869                         /*@innerbreak@*/ break;
1870                     }
1871                 }
1872             }
1873             /* XXX Failure to remove is not (yet) cause for failure. */
1874             if (!strict_erasures) rc = 0;
1875             break;
1876         }
1877
1878         /* XXX Special case /dev/log, which shouldn't be packaged anyways */
1879         if (!S_ISSOCK(st->st_mode) && !IS_DEV_LOG(fsm->path)) {
1880             /* Rename temporary to final file name. */
1881             if (!S_ISDIR(st->st_mode) &&
1882                 (fsm->subdir || fsm->suffix || fsm->nsuffix))
1883             {
1884                 fsm->opath = fsm->path;
1885                 fsm->path = fsmFsPath(fsm, st, NULL, fsm->nsuffix);
1886                 rc = fsmNext(fsm, FSM_RENAME);
1887                 if (!rc && fsm->nsuffix) {
1888                     const char * opath = fsmFsPath(fsm, st, NULL, NULL);
1889                     rpmMessage(RPMMESS_WARNING, _("%s created as %s\n"),
1890                                 (opath ? opath : ""), fsm->path);
1891                     opath = _free(opath);
1892                 }
1893                 fsm->opath = _free(fsm->opath);
1894             }
1895             if (S_ISLNK(st->st_mode)) {
1896                 if (!rc && !getuid())
1897                     rc = fsmNext(fsm, FSM_LCHOWN);
1898             } else {
1899                 if (!rc && !getuid())
1900                     rc = fsmNext(fsm, FSM_CHOWN);
1901                 if (!rc)
1902                     rc = fsmNext(fsm, FSM_CHMOD);
1903                 if (!rc) {
1904                     time_t mtime = st->st_mtime;
1905                     rpmfi fi = fsmGetFi(fsm);
1906                     if (fi->fmtimes)
1907                         st->st_mtime = fi->fmtimes[fsm->ix];
1908                     rc = fsmNext(fsm, FSM_UTIME);
1909                     st->st_mtime = mtime;
1910                 }
1911             }
1912         }
1913
1914         /* Notify on success. */
1915         if (!rc)                rc = fsmNext(fsm, FSM_NOTIFY);
1916         else if (fsm->failedFile && *fsm->failedFile == NULL) {
1917 /*@-boundswrite@*/
1918             *fsm->failedFile = fsm->path;
1919 /*@=boundswrite@*/
1920             fsm->path = NULL;
1921         }
1922         break;
1923     case FSM_DESTROY:
1924         fsm->path = _free(fsm->path);
1925
1926         /* Check for hard links missing from payload. */
1927         while ((fsm->li = fsm->links) != NULL) {
1928             fsm->links = fsm->li->next;
1929             fsm->li->next = NULL;
1930             if (fsm->goal == FSM_PKGINSTALL &&
1931                         fsm->commit && fsm->li->linksLeft)
1932             {
1933                 for (i = 0 ; i < fsm->li->linksLeft; i++) {
1934                     if (fsm->li->filex[i] < 0)
1935                         /*@innercontinue@*/ continue;
1936                     rc = CPIOERR_MISSING_HARDLINK;
1937                     if (fsm->failedFile && *fsm->failedFile == NULL) {
1938                         fsm->ix = fsm->li->filex[i];
1939                         if (!fsmNext(fsm, FSM_MAP)) {
1940 /*@-boundswrite@*/
1941                             *fsm->failedFile = fsm->path;
1942 /*@=boundswrite@*/
1943                             fsm->path = NULL;
1944                         }
1945                     }
1946                     /*@loopbreak@*/ break;
1947                 }
1948             }
1949             if (fsm->goal == FSM_PKGBUILD &&
1950                 (fsm->mapFlags & CPIO_ALL_HARDLINKS))
1951             {
1952                 rc = CPIOERR_MISSING_HARDLINK;
1953             }
1954             fsm->li = freeHardLink(fsm->li);
1955         }
1956         fsm->ldn = _free(fsm->ldn);
1957         fsm->ldnalloc = fsm->ldnlen = 0;
1958         fsm->rdbuf = fsm->rdb = _free(fsm->rdb);
1959         fsm->wrbuf = fsm->wrb = _free(fsm->wrb);
1960         break;
1961     case FSM_VERIFY:
1962         if (fsm->diskchecked && !fsm->exists) {
1963             rc = CPIOERR_ENOENT;
1964             break;
1965         }
1966         if (S_ISREG(st->st_mode)) {
1967             char * path = alloca(strlen(fsm->path) + sizeof("-RPMDELETE"));
1968 /*@-boundswrite@*/
1969             (void) stpcpy( stpcpy(path, fsm->path), "-RPMDELETE");
1970 /*@=boundswrite@*/
1971             /*
1972              * XXX HP-UX (and other os'es) don't permit unlink on busy
1973              * XXX files.
1974              */
1975             fsm->opath = fsm->path;
1976             fsm->path = path;
1977             rc = fsmNext(fsm, FSM_RENAME);
1978             if (!rc)
1979                     (void) fsmNext(fsm, FSM_UNLINK);
1980             else
1981                     rc = CPIOERR_UNLINK_FAILED;
1982             fsm->path = fsm->opath;
1983             fsm->opath = NULL;
1984             return (rc ? rc : CPIOERR_ENOENT);  /* XXX HACK */
1985             /*@notreached@*/ break;
1986         } else if (S_ISDIR(st->st_mode)) {
1987             if (S_ISDIR(ost->st_mode))          return 0;
1988             if (S_ISLNK(ost->st_mode)) {
1989                 rc = fsmUNSAFE(fsm, FSM_STAT);
1990                 if (rc == CPIOERR_ENOENT) rc = 0;
1991                 if (rc) break;
1992                 errno = saveerrno;
1993                 if (S_ISDIR(ost->st_mode))      return 0;
1994             }
1995         } else if (S_ISLNK(st->st_mode)) {
1996             if (S_ISLNK(ost->st_mode)) {
1997         /* XXX NUL terminated result in fsm->rdbuf, len in fsm->rdnb. */
1998                 rc = fsmUNSAFE(fsm, FSM_READLINK);
1999                 errno = saveerrno;
2000                 if (rc) break;
2001                 if (!strcmp(fsm->opath, fsm->rdbuf))    return 0;
2002             }
2003         } else if (S_ISFIFO(st->st_mode)) {
2004             if (S_ISFIFO(ost->st_mode))         return 0;
2005         } else if (S_ISCHR(st->st_mode) || S_ISBLK(st->st_mode)) {
2006             if ((S_ISCHR(ost->st_mode) || S_ISBLK(ost->st_mode)) &&
2007                 (ost->st_rdev == st->st_rdev))  return 0;
2008         } else if (S_ISSOCK(st->st_mode)) {
2009             if (S_ISSOCK(ost->st_mode))         return 0;
2010         }
2011             /* XXX shouldn't do this with commit/undo. */
2012         rc = 0;
2013         if (fsm->stage == FSM_PROCESS) rc = fsmNext(fsm, FSM_UNLINK);
2014         if (rc == 0)    rc = CPIOERR_ENOENT;
2015         return (rc ? rc : CPIOERR_ENOENT);      /* XXX HACK */
2016         /*@notreached@*/ break;
2017
2018     case FSM_UNLINK:
2019         rc = Unlink(fsm->path);
2020         if (_fsm_debug && (stage & FSM_SYSCALL))
2021             rpmMessage(RPMMESS_DEBUG, " %8s (%s) %s\n", cur,
2022                 fsm->path, (rc < 0 ? strerror(errno) : ""));
2023         if (rc < 0)
2024             rc = (errno == ENOENT ? CPIOERR_ENOENT : CPIOERR_UNLINK_FAILED);
2025         break;
2026     case FSM_RENAME:
2027         rc = Rename(fsm->opath, fsm->path);
2028 #if defined(ETXTBSY)
2029         if (rc && errno == ETXTBSY) {
2030             char * path = alloca(strlen(fsm->path) + sizeof("-RPMDELETE"));
2031             (void) stpcpy( stpcpy(path, fsm->path), "-RPMDELETE");
2032             /*
2033              * XXX HP-UX (and other os'es) don't permit rename to busy
2034              * XXX files.
2035              */
2036             rc = Rename(fsm->path, path);
2037             if (!rc) rc = Rename(fsm->opath, fsm->path);
2038         }
2039 #endif
2040         if (_fsm_debug && (stage & FSM_SYSCALL))
2041             rpmMessage(RPMMESS_DEBUG, " %8s (%s, %s) %s\n", cur,
2042                 fsm->opath, fsm->path, (rc < 0 ? strerror(errno) : ""));
2043         if (rc < 0)     rc = CPIOERR_RENAME_FAILED;
2044         break;
2045     case FSM_MKDIR:
2046         rc = Mkdir(fsm->path, (st->st_mode & 07777));
2047         if (_fsm_debug && (stage & FSM_SYSCALL))
2048             rpmMessage(RPMMESS_DEBUG, " %8s (%s, 0%04o) %s\n", cur,
2049                 fsm->path, (unsigned)(st->st_mode & 07777),
2050                 (rc < 0 ? strerror(errno) : ""));
2051         if (rc < 0)     rc = CPIOERR_MKDIR_FAILED;
2052         break;
2053     case FSM_RMDIR:
2054         rc = Rmdir(fsm->path);
2055         if (_fsm_debug && (stage & FSM_SYSCALL))
2056             rpmMessage(RPMMESS_DEBUG, " %8s (%s) %s\n", cur,
2057                 fsm->path, (rc < 0 ? strerror(errno) : ""));
2058         if (rc < 0)
2059             switch (errno) {
2060             case ENOENT:        rc = CPIOERR_ENOENT;    break;
2061             case ENOTEMPTY:     rc = CPIOERR_ENOTEMPTY; break;
2062             default:            rc = CPIOERR_RMDIR_FAILED; break;
2063             }
2064         break;
2065     case FSM_CHOWN:
2066         rc = chown(fsm->path, st->st_uid, st->st_gid);
2067         if (_fsm_debug && (stage & FSM_SYSCALL))
2068             rpmMessage(RPMMESS_DEBUG, " %8s (%s, %d, %d) %s\n", cur,
2069                 fsm->path, (int)st->st_uid, (int)st->st_gid,
2070                 (rc < 0 ? strerror(errno) : ""));
2071         if (rc < 0)     rc = CPIOERR_CHOWN_FAILED;
2072         break;
2073     case FSM_LCHOWN:
2074 #if ! CHOWN_FOLLOWS_SYMLINK
2075         rc = lchown(fsm->path, st->st_uid, st->st_gid);
2076         if (_fsm_debug && (stage & FSM_SYSCALL))
2077             rpmMessage(RPMMESS_DEBUG, " %8s (%s, %d, %d) %s\n", cur,
2078                 fsm->path, (int)st->st_uid, (int)st->st_gid,
2079                 (rc < 0 ? strerror(errno) : ""));
2080         if (rc < 0)     rc = CPIOERR_CHOWN_FAILED;
2081 #endif
2082         break;
2083     case FSM_CHMOD:
2084         rc = chmod(fsm->path, (st->st_mode & 07777));
2085         if (_fsm_debug && (stage & FSM_SYSCALL))
2086             rpmMessage(RPMMESS_DEBUG, " %8s (%s, 0%04o) %s\n", cur,
2087                 fsm->path, (unsigned)(st->st_mode & 07777),
2088                 (rc < 0 ? strerror(errno) : ""));
2089         if (rc < 0)     rc = CPIOERR_CHMOD_FAILED;
2090         break;
2091     case FSM_UTIME:
2092         {   struct utimbuf stamp;
2093             stamp.actime = st->st_mtime;
2094             stamp.modtime = st->st_mtime;
2095             rc = utime(fsm->path, &stamp);
2096             if (_fsm_debug && (stage & FSM_SYSCALL))
2097                 rpmMessage(RPMMESS_DEBUG, " %8s (%s, 0x%x) %s\n", cur,
2098                         fsm->path, (unsigned)st->st_mtime,
2099                         (rc < 0 ? strerror(errno) : ""));
2100             if (rc < 0) rc = CPIOERR_UTIME_FAILED;
2101         }
2102         break;
2103     case FSM_SYMLINK:
2104         rc = symlink(fsm->opath, fsm->path);
2105         if (_fsm_debug && (stage & FSM_SYSCALL))
2106             rpmMessage(RPMMESS_DEBUG, " %8s (%s, %s) %s\n", cur,
2107                 fsm->opath, fsm->path, (rc < 0 ? strerror(errno) : ""));
2108         if (rc < 0)     rc = CPIOERR_SYMLINK_FAILED;
2109         break;
2110     case FSM_LINK:
2111         rc = Link(fsm->opath, fsm->path);
2112         if (_fsm_debug && (stage & FSM_SYSCALL))
2113             rpmMessage(RPMMESS_DEBUG, " %8s (%s, %s) %s\n", cur,
2114                 fsm->opath, fsm->path, (rc < 0 ? strerror(errno) : ""));
2115         if (rc < 0)     rc = CPIOERR_LINK_FAILED;
2116         break;
2117     case FSM_MKFIFO:
2118         rc = mkfifo(fsm->path, (st->st_mode & 07777));
2119         if (_fsm_debug && (stage & FSM_SYSCALL))
2120             rpmMessage(RPMMESS_DEBUG, " %8s (%s, 0%04o) %s\n", cur,
2121                 fsm->path, (unsigned)(st->st_mode & 07777),
2122                 (rc < 0 ? strerror(errno) : ""));
2123         if (rc < 0)     rc = CPIOERR_MKFIFO_FAILED;
2124         break;
2125     case FSM_MKNOD:
2126         /*@-unrecog -portability @*/ /* FIX: check S_IFIFO or dev != 0 */
2127         rc = mknod(fsm->path, (st->st_mode & ~07777), st->st_rdev);
2128         /*@=unrecog =portability @*/
2129         if (_fsm_debug && (stage & FSM_SYSCALL))
2130             rpmMessage(RPMMESS_DEBUG, " %8s (%s, 0%o, 0x%x) %s\n", cur,
2131                 fsm->path, (unsigned)(st->st_mode & ~07777),
2132                 (unsigned)st->st_rdev,
2133                 (rc < 0 ? strerror(errno) : ""));
2134         if (rc < 0)     rc = CPIOERR_MKNOD_FAILED;
2135         break;
2136     case FSM_LSTAT:
2137         rc = Lstat(fsm->path, ost);
2138         if (_fsm_debug && (stage & FSM_SYSCALL) && rc && errno != ENOENT)
2139             rpmMessage(RPMMESS_DEBUG, " %8s (%s, ost) %s\n", cur,
2140                 fsm->path, (rc < 0 ? strerror(errno) : ""));
2141         if (rc < 0)
2142             rc = (errno == ENOENT ? CPIOERR_ENOENT : CPIOERR_LSTAT_FAILED);
2143         break;
2144     case FSM_STAT:
2145         rc = Stat(fsm->path, ost);
2146         if (_fsm_debug && (stage & FSM_SYSCALL) && rc && errno != ENOENT)
2147             rpmMessage(RPMMESS_DEBUG, " %8s (%s, ost) %s\n", cur,
2148                 fsm->path, (rc < 0 ? strerror(errno) : ""));
2149         if (rc < 0)
2150             rc = (errno == ENOENT ? CPIOERR_ENOENT : CPIOERR_STAT_FAILED);
2151         break;
2152     case FSM_READLINK:
2153         /* XXX NUL terminated result in fsm->rdbuf, len in fsm->rdnb. */
2154 /*@-boundswrite@*/
2155         rc = Readlink(fsm->path, fsm->rdbuf, fsm->rdsize - 1);
2156 /*@=boundswrite@*/
2157         if (_fsm_debug && (stage & FSM_SYSCALL))
2158             rpmMessage(RPMMESS_DEBUG, " %8s (%s, rdbuf, %d) %s\n", cur,
2159                 fsm->path, (int)(fsm->rdsize -1), (rc < 0 ? strerror(errno) : ""));
2160         if (rc < 0)     rc = CPIOERR_READLINK_FAILED;
2161         else {
2162             fsm->rdnb = rc;
2163 /*@-boundswrite@*/
2164             fsm->rdbuf[fsm->rdnb] = '\0';
2165 /*@=boundswrite@*/
2166             rc = 0;
2167         }
2168         break;
2169     case FSM_CHROOT:
2170         break;
2171
2172     case FSM_NEXT:
2173         rc = fsmUNSAFE(fsm, FSM_HREAD);
2174         if (rc) break;
2175         if (!strcmp(fsm->path, CPIO_TRAILER)) { /* Detect end-of-payload. */
2176             fsm->path = _free(fsm->path);
2177             rc = CPIOERR_HDR_TRAILER;
2178         }
2179         if (!rc)
2180             rc = fsmNext(fsm, FSM_POS);
2181         break;
2182     case FSM_EAT:
2183         for (left = st->st_size; left > 0; left -= fsm->rdnb) {
2184             fsm->wrlen = (left > fsm->wrsize ? fsm->wrsize : left);
2185             rc = fsmNext(fsm, FSM_DREAD);
2186             if (rc)
2187                 /*@loopbreak@*/ break;
2188         }
2189         break;
2190     case FSM_POS:
2191         left = (modulo - (fdGetCpioPos(fsm->cfd) % modulo)) % modulo;
2192         if (left) {
2193             fsm->wrlen = left;
2194             (void) fsmNext(fsm, FSM_DREAD);
2195         }
2196         break;
2197     case FSM_PAD:
2198         left = (modulo - (fdGetCpioPos(fsm->cfd) % modulo)) % modulo;
2199         if (left) {
2200 /*@-boundswrite@*/
2201             memset(fsm->rdbuf, 0, left);
2202 /*@=boundswrite@*/
2203             /* XXX DWRITE uses rdnb for I/O length. */
2204             fsm->rdnb = left;
2205             (void) fsmNext(fsm, FSM_DWRITE);
2206         }
2207         break;
2208     case FSM_TRAILER:
2209         rc = cpioTrailerWrite(fsm);
2210         break;
2211     case FSM_HREAD:
2212         rc = fsmNext(fsm, FSM_POS);
2213         if (!rc)
2214             rc = cpioHeaderRead(fsm, st);       /* Read next payload header. */
2215         break;
2216     case FSM_HWRITE:
2217         rc = cpioHeaderWrite(fsm, st);          /* Write next payload header. */
2218         break;
2219     case FSM_DREAD:
2220 /*@-boundswrite@*/
2221         fsm->rdnb = Fread(fsm->wrbuf, sizeof(*fsm->wrbuf), fsm->wrlen, fsm->cfd);
2222 /*@=boundswrite@*/
2223         if (_fsm_debug && (stage & FSM_SYSCALL))
2224             rpmMessage(RPMMESS_DEBUG, " %8s (%s, %d, cfd)\trdnb %d\n",
2225                 cur, (fsm->wrbuf == fsm->wrb ? "wrbuf" : "mmap"),
2226                 (int)fsm->wrlen, (int)fsm->rdnb);
2227         if (fsm->rdnb != fsm->wrlen || Ferror(fsm->cfd))
2228             rc = CPIOERR_READ_FAILED;
2229         if (fsm->rdnb > 0)
2230             fdSetCpioPos(fsm->cfd, fdGetCpioPos(fsm->cfd) + fsm->rdnb);
2231         break;
2232     case FSM_DWRITE:
2233         fsm->wrnb = Fwrite(fsm->rdbuf, sizeof(*fsm->rdbuf), fsm->rdnb, fsm->cfd);
2234         if (_fsm_debug && (stage & FSM_SYSCALL))
2235             rpmMessage(RPMMESS_DEBUG, " %8s (%s, %d, cfd)\twrnb %d\n",
2236                 cur, (fsm->rdbuf == fsm->rdb ? "rdbuf" : "mmap"),
2237                 (int)fsm->rdnb, (int)fsm->wrnb);
2238         if (fsm->rdnb != fsm->wrnb || Ferror(fsm->cfd))
2239             rc = CPIOERR_WRITE_FAILED;
2240         if (fsm->wrnb > 0)
2241             fdSetCpioPos(fsm->cfd, fdGetCpioPos(fsm->cfd) + fsm->wrnb);
2242         break;
2243
2244     case FSM_ROPEN:
2245         fsm->rfd = Fopen(fsm->path, "r.ufdio");
2246         if (fsm->rfd == NULL || Ferror(fsm->rfd)) {
2247             if (fsm->rfd != NULL)       (void) fsmNext(fsm, FSM_RCLOSE);
2248             fsm->rfd = NULL;
2249             rc = CPIOERR_OPEN_FAILED;
2250             break;
2251         }
2252         if (_fsm_debug && (stage & FSM_SYSCALL))
2253             rpmMessage(RPMMESS_DEBUG, " %8s (%s, \"r\") rfd %p rdbuf %p\n", cur,
2254                 fsm->path, fsm->rfd, fsm->rdbuf);
2255         break;
2256     case FSM_READ:
2257 /*@-boundswrite@*/
2258         fsm->rdnb = Fread(fsm->rdbuf, sizeof(*fsm->rdbuf), fsm->rdlen, fsm->rfd);
2259 /*@=boundswrite@*/
2260         if (_fsm_debug && (stage & FSM_SYSCALL))
2261             rpmMessage(RPMMESS_DEBUG, " %8s (rdbuf, %d, rfd)\trdnb %d\n",
2262                 cur, (int)fsm->rdlen, (int)fsm->rdnb);
2263         if (fsm->rdnb != fsm->rdlen || Ferror(fsm->rfd))
2264             rc = CPIOERR_READ_FAILED;
2265         break;
2266     case FSM_RCLOSE:
2267         if (fsm->rfd != NULL) {
2268             if (_fsm_debug && (stage & FSM_SYSCALL))
2269                 rpmMessage(RPMMESS_DEBUG, " %8s (%p)\n", cur, fsm->rfd);
2270             (void) Fclose(fsm->rfd);
2271             errno = saveerrno;
2272         }
2273         fsm->rfd = NULL;
2274         break;
2275     case FSM_WOPEN:
2276         fsm->wfd = Fopen(fsm->path, "w.ufdio");
2277         if (fsm->wfd == NULL || Ferror(fsm->wfd)) {
2278             if (fsm->wfd != NULL)       (void) fsmNext(fsm, FSM_WCLOSE);
2279             fsm->wfd = NULL;
2280             rc = CPIOERR_OPEN_FAILED;
2281         }
2282         if (_fsm_debug && (stage & FSM_SYSCALL))
2283             rpmMessage(RPMMESS_DEBUG, " %8s (%s, \"w\") wfd %p wrbuf %p\n", cur,
2284                 fsm->path, fsm->wfd, fsm->wrbuf);
2285         break;
2286     case FSM_WRITE:
2287         fsm->wrnb = Fwrite(fsm->wrbuf, sizeof(*fsm->wrbuf), fsm->rdnb, fsm->wfd);
2288         if (_fsm_debug && (stage & FSM_SYSCALL))
2289             rpmMessage(RPMMESS_DEBUG, " %8s (wrbuf, %d, wfd)\twrnb %d\n",
2290                 cur, (int)fsm->rdnb, (int)fsm->wrnb);
2291         if (fsm->rdnb != fsm->wrnb || Ferror(fsm->wfd))
2292             rc = CPIOERR_WRITE_FAILED;
2293         break;
2294     case FSM_WCLOSE:
2295         if (fsm->wfd != NULL) {
2296             if (_fsm_debug && (stage & FSM_SYSCALL))
2297                 rpmMessage(RPMMESS_DEBUG, " %8s (%p)\n", cur, fsm->wfd);
2298             (void) Fclose(fsm->wfd);
2299             errno = saveerrno;
2300         }
2301         fsm->wfd = NULL;
2302         break;
2303
2304     default:
2305         break;
2306     }
2307     /*@=branchstate@*/
2308
2309     if (!(stage & FSM_INTERNAL)) {
2310         fsm->rc = (rc == CPIOERR_HDR_TRAILER ? 0 : rc);
2311     }
2312     return rc;
2313 }
2314 /*@=compmempass@*/
2315 /*@=boundsread@*/
2316
2317 /*@obserever@*/ const char *const fileActionString(fileAction a)
2318 {
2319     switch (a) {
2320     case FA_UNKNOWN:    return "unknown";
2321     case FA_CREATE:     return "create";
2322     case FA_COPYOUT:    return "copyout";
2323     case FA_COPYIN:     return "copyin";
2324     case FA_BACKUP:     return "backup";
2325     case FA_SAVE:       return "save";
2326     case FA_SKIP:       return "skip";
2327     case FA_ALTNAME:    return "altname";
2328     case FA_ERASE:      return "erase";
2329     case FA_SKIPNSTATE: return "skipnstate";
2330     case FA_SKIPNETSHARED: return "skipnetshared";
2331     case FA_SKIPCOLOR:  return "skipcolor";
2332     default:            return "???";
2333     }
2334     /*@notreached@*/
2335 }
2336
2337 /*@observer@*/ const char *const fileStageString(fileStage a) {
2338     switch(a) {
2339     case FSM_UNKNOWN:   return "unknown";
2340
2341     case FSM_PKGINSTALL:return "INSTALL";
2342     case FSM_PKGERASE:  return "ERASE";
2343     case FSM_PKGBUILD:  return "BUILD";
2344     case FSM_PKGCOMMIT: return "COMMIT";
2345     case FSM_PKGUNDO:   return "UNDO";
2346
2347     case FSM_CREATE:    return "create";
2348     case FSM_INIT:      return "init";
2349     case FSM_MAP:       return "map";
2350     case FSM_MKDIRS:    return "mkdirs";
2351     case FSM_RMDIRS:    return "rmdirs";
2352     case FSM_PRE:       return "pre";
2353     case FSM_PROCESS:   return "process";
2354     case FSM_POST:      return "post";
2355     case FSM_MKLINKS:   return "mklinks";
2356     case FSM_NOTIFY:    return "notify";
2357     case FSM_UNDO:      return "undo";
2358     case FSM_FINI:      return "fini";
2359     case FSM_COMMIT:    return "commit";
2360     case FSM_DESTROY:   return "destroy";
2361     case FSM_VERIFY:    return "verify";
2362
2363     case FSM_UNLINK:    return "Unlink";
2364     case FSM_RENAME:    return "Rename";
2365     case FSM_MKDIR:     return "Mkdir";
2366     case FSM_RMDIR:     return "rmdir";
2367     case FSM_CHOWN:     return "chown";
2368     case FSM_LCHOWN:    return "lchown";
2369     case FSM_CHMOD:     return "chmod";
2370     case FSM_UTIME:     return "utime";
2371     case FSM_SYMLINK:   return "symlink";
2372     case FSM_LINK:      return "Link";
2373     case FSM_MKFIFO:    return "mkfifo";
2374     case FSM_MKNOD:     return "mknod";
2375     case FSM_LSTAT:     return "Lstat";
2376     case FSM_STAT:      return "Stat";
2377     case FSM_READLINK:  return "Readlink";
2378     case FSM_CHROOT:    return "chroot";
2379
2380     case FSM_NEXT:      return "next";
2381     case FSM_EAT:       return "eat";
2382     case FSM_POS:       return "pos";
2383     case FSM_PAD:       return "pad";
2384     case FSM_TRAILER:   return "trailer";
2385     case FSM_HREAD:     return "hread";
2386     case FSM_HWRITE:    return "hwrite";
2387     case FSM_DREAD:     return "Fread";
2388     case FSM_DWRITE:    return "Fwrite";
2389
2390     case FSM_ROPEN:     return "Fopen";
2391     case FSM_READ:      return "Fread";
2392     case FSM_RCLOSE:    return "Fclose";
2393     case FSM_WOPEN:     return "Fopen";
2394     case FSM_WRITE:     return "Fwrite";
2395     case FSM_WCLOSE:    return "Fclose";
2396
2397     default:            return "???";
2398     }
2399     /*@noteached@*/
2400 }