lib/fsm.c

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