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