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