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