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