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