src/repo_solv.c

   1 /*
   2  * Copyright (c) 2007, Novell Inc.
   3  *
   4  * This program is licensed under the BSD license, read LICENSE.BSD
   5  * for further information
   6  */
   7
   8 /*
   9  * repo_solv.c
  10  *
  11  * Read the binary dump of a Repo and create a Repo * from it
  12  *
  13  *  See
  14  *   Repo *pool_addrepo_solv(Pool *pool, FILE *fp)
  15  * below
  16  *
  17  */
  18
  19
  20
  21 #include <stdio.h>
  22 #include <stdlib.h>
  23 #include <unistd.h>
  24 #include <string.h>
  25
  26 #include "repo_solv.h"
  27 #include "util.h"
  28
  29 #include "repopack.h"
  30
  31 #define INTERESTED_START        SOLVABLE_NAME
  32 #define INTERESTED_END          SOLVABLE_ENHANCES
  33
  34 #define SOLV_ERROR_NOT_SOLV     1
  35 #define SOLV_ERROR_UNSUPPORTED  2
  36 #define SOLV_ERROR_EOF          3
  37 #define SOLV_ERROR_ID_RANGE     4
  38 #define SOLV_ERROR_OVERFLOW     5
  39 #define SOLV_ERROR_CORRUPT      6
  40
  41 static Pool *mypool;            /* for pool_debug... */
  42
  43 /*-----------------------------------------------------------------*/
  44 /* .solv read functions */
  45
  46 /*
  47  * read u32
  48  */
  49
  50 static unsigned int
  51 read_u32(Repodata *data)
  52 {
  53   int c, i;
  54   unsigned int x = 0;
  55
  56   if (data->error)
  57     return 0;
  58   for (i = 0; i < 4; i++)
  59     {
  60       c = getc(data->fp);
  61       if (c == EOF)
  62         {
  63           pool_debug(mypool, SAT_ERROR, "unexpected EOF\n");
  64           data->error = SOLV_ERROR_EOF;
  65           return 0;
  66         }
  67       x = (x << 8) | c;
  68     }
  69   return x;
  70 }
  71
  72
  73 /*
  74  * read u8
  75  */
  76
  77 static unsigned int
  78 read_u8(Repodata *data)
  79 {
  80   int c;
  81
  82   if (data->error)
  83     return 0;
  84   c = getc(data->fp);
  85   if (c == EOF)
  86     {
  87       pool_debug(mypool, SAT_ERROR, "unexpected EOF\n");
  88       data->error = SOLV_ERROR_EOF;
  89       return 0;
  90     }
  91   return c;
  92 }
  93
  94
  95 /*
  96  * read Id
  97  */
  98
  99 static Id
 100 read_id(Repodata *data, Id max)
 101 {
 102   unsigned int x = 0;
 103   int c, i;
 104
 105   if (data->error)
 106     return 0;
 107   for (i = 0; i < 5; i++)
 108     {
 109       c = getc(data->fp);
 110       if (c == EOF)
 111         {
 112           pool_debug(mypool, SAT_ERROR, "unexpected EOF\n");
 113           data->error = SOLV_ERROR_EOF;
 114           return 0;
 115         }
 116       if (!(c & 128))
 117         {
 118           x = (x << 7) | c;
 119           if (max && x >= max)
 120             {
 121               pool_debug(mypool, SAT_ERROR, "read_id: id too large (%u/%u)\n", x, max);
 122               data->error = SOLV_ERROR_ID_RANGE;
 123               return 0;
 124             }
 125           return x;
 126         }
 127       x = (x << 7) ^ c ^ 128;
 128     }
 129   pool_debug(mypool, SAT_ERROR, "read_id: id too long\n");
 130   data->error = SOLV_ERROR_CORRUPT;
 131   return 0;
 132 }
 133
 134
 135 /*
 136  * read array of Ids
 137  */
 138
 139 #if 0
 140 static Id *
 141 read_rel_idarray(Repodata *data, Id max, Id *map, Id *store, Id *end, Id marker)
 142 {
 143   unsigned int x = 0;
 144   int c;
 145   Id old = 0;
 146
 147   if (data->error)
 148     return 0;
 149   for (;;)
 150     {
 151       c = getc(data->fp);
 152       if (c == EOF)
 153         {
 154           pool_debug(mypool, SAT_ERROR, "unexpected EOF\n");
 155           data->error = SOLV_ERROR_EOF;
 156           return 0;
 157         }
 158       if ((c & 128) != 0)
 159         {
 160           x = (x << 7) ^ c ^ 128;
 161           continue;
 162         }
 163       x = (x << 6) | (c & 63);
 164       if (x == 0)
 165         {
 166           /* marker hack */
 167           if (store == end)
 168             {
 169               pool_debug(mypool, SAT_ERROR, "read_rel_idarray: array overflow\n");
 170               data->error = SOLV_ERROR_OVERFLOW;
 171               return 0;
 172             }
 173           if (c != 0x40)
 174             {
 175               *store++ = 0;
 176               return store;
 177             }
 178           *store++ = marker;    /* do not map! */
 179           old = 0;
 180           x = 0;
 181           continue;
 182         }
 183       x = (x - 1) + old;
 184       old = x;
 185       if (max && x >= max)
 186         {
 187           pool_debug(mypool, SAT_ERROR, "read_rel_idarray: id too large (%u/%u)\n", x, max);
 188           data->error = SOLV_ERROR_ID_RANGE;
 189           return 0;
 190         }
 191       if (map)
 192         x = map[x];
 193       if (store == end)
 194         {
 195           pool_debug(mypool, SAT_ERROR, "read_rel_idarray: array overflow\n");
 196           return 0;
 197         }
 198       *store++ = x;
 199       if ((c & 64) == 0)
 200         {
 201           if (x == 0)   /* already have trailing zero? */
 202             return store;
 203           if (store == end)
 204             {
 205               pool_debug(mypool, SAT_ERROR, "read_rel_idarray: array overflow\n");
 206               data->error = SOLV_ERROR_OVERFLOW;
 207               return 0;
 208             }
 209           *store++ = 0;
 210           return store;
 211         }
 212       x = 0;
 213     }
 214 }
 215 #endif
 216
 217 static inline unsigned char *
 218 data_read_id_max(unsigned char *dp, Id *ret, Id *map, int max, int *error)
 219 {
 220   Id x;
 221   dp = data_read_id(dp, &x);
 222   if (max && x >= max)
 223     {
 224       pool_debug(mypool, SAT_ERROR, "data_read_idarray: id too large (%u/%u)\n", x, max);
 225       *error = SOLV_ERROR_ID_RANGE;
 226       x = 0;
 227     }
 228   *ret = map ? map[x] : x;
 229   return dp;
 230 }
 231
 232 unsigned char *
 233 data_read_idarray(unsigned char *dp, Id **storep, Id *map, int max, int *error)
 234 {
 235   Id *store = *storep;
 236   unsigned int x = 0;
 237   int c;
 238
 239   for (;;)
 240     {
 241       c = *dp++;
 242       if ((c & 128) != 0)
 243         {
 244           x = (x << 7) ^ c ^ 128;
 245           continue;
 246         }
 247       x = (x << 6) | (c & 63);
 248       if (max && x >= max)
 249         {
 250           pool_debug(mypool, SAT_ERROR, "data_read_idarray: id too large (%u/%u)\n", x, max);
 251           *error = SOLV_ERROR_ID_RANGE;
 252           break;
 253         }
 254       *store++ = x;
 255       if ((c & 64) == 0)
 256         break;
 257       x = 0;
 258     }
 259   *store++ = 0;
 260   *storep = store;
 261   return dp;
 262 }
 263
 264 unsigned char *
 265 data_read_rel_idarray(unsigned char *dp, Id **storep, Id *map, int max, int *error, Id marker)
 266 {
 267   Id *store = *storep;
 268   Id old = 0;
 269   unsigned int x = 0;
 270   int c;
 271
 272   for (;;)
 273     {
 274       c = *dp++;
 275       if ((c & 128) != 0)
 276         {
 277           x = (x << 7) ^ c ^ 128;
 278           continue;
 279         }
 280       x = (x << 6) | (c & 63);
 281       if (x == 0)
 282         {
 283           if (!(c & 64))
 284             break;
 285           if (marker)
 286             *store++ = marker;
 287           old = 0;
 288           continue;
 289         }
 290       x = old + (x - 1);
 291       old = x;
 292       if (max && x >= max)
 293         {
 294           pool_debug(mypool, SAT_ERROR, "data_read_rel_idarray: id too large (%u/%u)\n", x, max);
 295           *error = SOLV_ERROR_ID_RANGE;
 296           break;
 297         }
 298       *store++ = map ? map[x] : x;
 299       if (!(c & 64))
 300         break;
 301       x = 0;
 302     }
 303   *store++ = 0;
 304   *storep = store;
 305   return dp;
 306 }
 307
 308
 309 static Id *
 310 read_idarray(Repodata *data, Id max, Id *map, Id *store, Id *end)
 311 {
 312   unsigned int x = 0;
 313   int c;
 314
 315   if (data->error)
 316     return 0;
 317   for (;;)
 318     {
 319       c = getc(data->fp);
 320       if (c == EOF)
 321         {
 322           pool_debug(mypool, SAT_ERROR, "unexpected EOF\n");
 323           data->error = SOLV_ERROR_EOF;
 324           return 0;
 325         }
 326       if ((c & 128) != 0)
 327         {
 328           x = (x << 7) ^ c ^ 128;
 329           continue;
 330         }
 331       x = (x << 6) | (c & 63);
 332       if (max && x >= max)
 333         {
 334           pool_debug(mypool, SAT_ERROR, "read_idarray: id too large (%u/%u)\n", x, max);
 335           data->error = SOLV_ERROR_ID_RANGE;
 336           return 0;
 337         }
 338       if (map)
 339         x = map[x];
 340       if (store == end)
 341         {
 342           pool_debug(mypool, SAT_ERROR, "read_idarray: array overflow\n");
 343           return 0;
 344         }
 345       *store++ = x;
 346       if ((c & 64) == 0)
 347         {
 348           if (x == 0)   /* already have trailing zero? */
 349             return store;
 350           if (store == end)
 351             {
 352               pool_debug(mypool, SAT_ERROR, "read_idarray: array overflow\n");
 353               data->error = SOLV_ERROR_OVERFLOW;
 354               return 0;
 355             }
 356           *store++ = 0;
 357           return store;
 358         }
 359       x = 0;
 360     }
 361 }
 362
 363 static void
 364 read_str(Repodata *data, char **inbuf, unsigned *len)
 365 {
 366   unsigned char *buf = (unsigned char*)*inbuf;
 367   if (!buf)
 368     {
 369       buf = sat_malloc(1024);
 370       *len = 1024;
 371     }
 372   int c;
 373   unsigned ofs = 0;
 374   while((c = getc(data->fp)) != 0)
 375     {
 376       if (c == EOF)
 377         {
 378           pool_debug (mypool, SAT_ERROR, "unexpected EOF\n");
 379           data->error = SOLV_ERROR_EOF;
 380           return;
 381         }
 382       /* Plus 1 as we also want to add the 0.  */
 383       if (ofs + 1 >= *len)
 384         {
 385           *len += 256;
 386           /* Don't realloc on the inbuf, it might be on the stack.  */
 387           if (buf == (unsigned char*)*inbuf)
 388             {
 389               buf = sat_malloc(*len);
 390               memcpy(buf, *inbuf, *len - 256);
 391             }
 392           else
 393             buf = sat_realloc(buf, *len);
 394         }
 395       buf[ofs++] = c;
 396     }
 397   buf[ofs++] = 0;
 398   *inbuf = (char*)buf;
 399 }
 400
 401 static void
 402 skip_item(Repodata *data, unsigned type, unsigned numid, unsigned numrel)
 403 {
 404   switch (type)
 405     {
 406       case REPOKEY_TYPE_VOID:
 407       case REPOKEY_TYPE_CONSTANT:
 408       case REPOKEY_TYPE_CONSTANTID:
 409         break;
 410       case REPOKEY_TYPE_ID:
 411         read_id(data, numid + numrel);          /* just check Id */
 412         break;
 413       case REPOKEY_TYPE_DIR:
 414         read_id(data, numid + data->dirpool.ndirs);     /* just check Id */
 415         break;
 416       case REPOKEY_TYPE_NUM:
 417         read_id(data, 0);
 418         break;
 419       case REPOKEY_TYPE_U32:
 420         read_u32(data);
 421         break;
 422       case REPOKEY_TYPE_STR:
 423         while (read_u8(data) != 0)
 424           ;
 425         break;
 426       case REPOKEY_TYPE_MD5:
 427         {
 428           int i;
 429           for (i = 0; i < SIZEOF_MD5; i++)
 430             read_u8(data);
 431           break;
 432         }
 433       case REPOKEY_TYPE_SHA1:
 434         {
 435           int i;
 436           for (i = 0; i < SIZEOF_SHA1; i++)
 437             read_u8(data);
 438           break;
 439         }
 440       case REPOKEY_TYPE_SHA256:
 441         {
 442           int i;
 443           for (i = 0; i < SIZEOF_SHA256; i++)
 444             read_u8(data);
 445           break;
 446         }
 447       case REPOKEY_TYPE_IDARRAY:
 448       case REPOKEY_TYPE_REL_IDARRAY:
 449         while ((read_u8(data) & 0xc0) != 0)
 450           ;
 451         break;
 452       case REPOKEY_TYPE_DIRNUMNUMARRAY:
 453         for (;;)
 454           {
 455             read_id(data, numid + data->dirpool.ndirs); /* just check Id */
 456             read_id(data, 0);
 457             if (!(read_id(data, 0) & 0x40))
 458               break;
 459           }
 460         break;
 461       case REPOKEY_TYPE_DIRSTRARRAY:
 462         for (;;)
 463           {
 464             Id id = read_id(data, 0);
 465             while (read_u8(data) != 0)
 466               ;
 467             if (!(id & 0x40))
 468               break;
 469           }
 470         break;
 471       default:
 472         pool_debug(mypool, SAT_ERROR, "unknown type %d\n", type);
 473         data->error = SOLV_ERROR_CORRUPT;
 474         break;
 475     }
 476 }
 477
 478 static int
 479 key_cmp (const void *pa, const void *pb)
 480 {
 481   Repokey *a = (Repokey *)pa;
 482   Repokey *b = (Repokey *)pb;
 483   return a->name - b->name;
 484 }
 485
 486 static void repodata_load_solv(Repodata *data);
 487
 488 static void
 489 parse_external_repodata(Repodata *maindata, Id *keyp, Repokey *keys, Id *idmap, unsigned numid, unsigned numrel)
 490 {
 491   Repo *repo = maindata->repo;
 492   Id key, id;
 493   Id *ida, *ide;
 494   Repodata *data;
 495   int i, n;
 496
 497   repo->repodata = sat_realloc2(repo->repodata, repo->nrepodata + 1, sizeof (*data));
 498   data = repo->repodata + repo->nrepodata++;
 499   memset(data, 0, sizeof(*data));
 500   data->repo = repo;
 501   data->pagefd = -1;
 502   data->state = REPODATA_STUB;
 503   data->loadcallback = repodata_load_solv;
 504
 505   while ((key = *keyp++) != 0)
 506     {
 507       id = keys[key].name;
 508       switch (keys[key].type)
 509         {
 510         case REPOKEY_TYPE_IDARRAY:
 511           if (id != REPODATA_KEYS)
 512             {
 513               skip_item(maindata, REPOKEY_TYPE_IDARRAY, numid, numrel);
 514               break;
 515             }
 516           /* read_idarray writes a terminating 0, that's why the + 1 */
 517           ida = sat_calloc(keys[key].size + 1, sizeof(Id));
 518           ide = read_idarray(maindata, numid, idmap, ida, ida + keys[key].size + 1);
 519           n = ide - ida - 1;
 520           if (n & 1)
 521             {
 522               pool_debug (mypool, SAT_ERROR, "invalid attribute data\n");
 523               maindata->error = SOLV_ERROR_CORRUPT;
 524               return;
 525             }
 526           data->nkeys = 1 + (n >> 1);
 527           data->keys = sat_malloc2(data->nkeys, sizeof(data->keys[0]));
 528           memset(data->keys, 0, sizeof(Repokey));
 529           for (i = 1, ide = ida; i < data->nkeys; i++)
 530             {
 531               data->keys[i].name = *ide++;
 532               data->keys[i].type = *ide++;
 533               data->keys[i].size = 0;
 534               data->keys[i].storage = 0;
 535             }
 536           sat_free(ida);
 537           if (data->nkeys > 2)
 538             qsort(data->keys + 1, data->nkeys - 1, sizeof(data->keys[0]), key_cmp);
 539           break;
 540         case REPOKEY_TYPE_STR:
 541           if (id != REPODATA_LOCATION)
 542             skip_item(maindata, REPOKEY_TYPE_STR, numid, numrel);
 543           else
 544             {
 545               char buf[1024];
 546               unsigned len = sizeof(buf);
 547               char *filename = buf;
 548               read_str(maindata, &filename, &len);
 549               data->location = strdup(filename);
 550               if (filename != buf)
 551                 free(filename);
 552             }
 553           break;
 554         default:
 555           skip_item(maindata, keys[key].type, numid, numrel);
 556           break;
 557         }
 558     }
 559 }
 560
 561 static void
 562 parse_info_repodata(Repodata *maindata, Id *keyp, Repokey *keys, Id *idmap, unsigned numid, unsigned numrel)
 563 {
 564   Id key, id;
 565   Id *ida;
 566   while ((key = *keyp++) != 0)
 567     {
 568       id = keys[key].name;
 569       if (id == REPODATA_ADDEDFILEPROVIDES && keys[key].type == REPOKEY_TYPE_REL_IDARRAY)
 570         {
 571           Id old = 0;
 572           /* + 1 just in case */
 573           ida = sat_calloc(keys[key].size + 1, sizeof(Id));
 574           read_idarray(maindata, 0, 0, ida, ida + keys[key].size + 1);
 575           maindata->addedfileprovides = ida;
 576           for (; *ida; ida++)
 577             {
 578               old += *ida - 1;
 579               if (old >= numid)
 580                 {
 581                   *ida = 0;
 582                   break;
 583                 }
 584               *ida = idmap ? idmap[old] : old;
 585             }
 586           continue;
 587         }
 588       if (id == REPODATA_RPMDBCOOKIE && keys[key].type == REPOKEY_TYPE_SHA256)
 589         {
 590           int i;
 591           for (i = 0; i < 32; i++)
 592             maindata->repo->rpmdbcookie[i] = read_u8(maindata);
 593           continue;
 594         }
 595       skip_item(maindata, keys[key].type, numid, numrel);
 596     }
 597 }
 598
 599 /*-----------------------------------------------------------------*/
 600
 601
 602 static void
 603 skip_schema(Repodata *data, Id *keyp, Repokey *keys, unsigned int numid, unsigned int numrel)
 604 {
 605   Id key;
 606   while ((key = *keyp++) != 0)
 607     skip_item(data, keys[key].type, numid, numrel);
 608 }
 609
 610 /*-----------------------------------------------------------------*/
 611
 612 static void
 613 incore_add_id(Repodata *data, Id x)
 614 {
 615   unsigned char *dp;
 616   /* make sure we have at least 5 bytes free */
 617   if (data->incoredatafree < 5)
 618     {
 619       data->incoredata = sat_realloc(data->incoredata, data->incoredatalen + 1024);
 620       data->incoredatafree = 1024;
 621     }
 622   dp = data->incoredata + data->incoredatalen;
 623   if (x < 0)
 624     abort();
 625   if (x >= (1 << 14))
 626     {
 627       if (x >= (1 << 28))
 628         *dp++ = (x >> 28) | 128;
 629       if (x >= (1 << 21))
 630         *dp++ = (x >> 21) | 128;
 631       *dp++ = (x >> 14) | 128;
 632     }
 633   if (x >= (1 << 7))
 634     *dp++ = (x >> 7) | 128;
 635   *dp++ = x & 127;
 636   data->incoredatafree -= dp - (data->incoredata + data->incoredatalen);
 637   data->incoredatalen = dp - data->incoredata;
 638 }
 639
 640 static void
 641 incore_add_blob(Repodata *data, unsigned char *buf, int len)
 642 {
 643   if (data->incoredatafree < len)
 644     {
 645       data->incoredata = sat_realloc(data->incoredata, data->incoredatalen + 1024 + len);
 646       data->incoredatafree = 1024 + len;
 647     }
 648   memcpy(data->incoredata + data->incoredatalen, buf, len);
 649   data->incoredatafree -= len;
 650   data->incoredatalen += len;
 651 }
 652
 653 static void
 654 incore_map_idarray(Repodata *data, unsigned char *dp, Id *map, Id max)
 655 {
 656   /* We have to map the IDs, which might also change
 657      the necessary number of bytes, so we can't just copy
 658      over the blob and adjust it.  */
 659   for (;;)
 660     {
 661       Id id;
 662       int eof;
 663       dp = data_read_ideof(dp, &id, &eof);
 664       if (max && id >= max)
 665         {
 666           pool_debug(mypool, SAT_ERROR, "incore_map_idarray: id too large (%u/%u)\n", id, max);
 667           data->error = SOLV_ERROR_ID_RANGE;
 668           break;
 669         }
 670       id = map[id];
 671       if (id >= 64)
 672         id = (id & 63) | ((id & ~63) << 1);
 673       incore_add_id(data, eof ? id : id | 64);
 674       if (eof)
 675         break;
 676     }
 677 }
 678
 679 static void
 680 incore_add_u32(Repodata *data, unsigned int x)
 681 {
 682   unsigned char *dp;
 683   /* make sure we have at least 4 bytes free */
 684   if (data->incoredatafree < 4)
 685     {
 686       data->incoredata = sat_realloc(data->incoredata, data->incoredatalen + 1024);
 687       data->incoredatafree = 1024;
 688     }
 689   dp = data->incoredata + data->incoredatalen;
 690   *dp++ = x >> 24;
 691   *dp++ = x >> 16;
 692   *dp++ = x >> 8;
 693   *dp++ = x;
 694   data->incoredatafree -= 4;
 695   data->incoredatalen += 4;
 696 }
 697
 698 #if 0
 699 static void
 700 incore_add_u8(Repodata *data, unsigned int x)
 701 {
 702   unsigned char *dp;
 703   /* make sure we have at least 1 byte free */
 704   if (data->incoredatafree < 1)
 705     {
 706       data->incoredata = sat_realloc(data->incoredata, data->incoredatalen + 1024);
 707       data->incoredatafree = 1024;
 708     }
 709   dp = data->incoredata + data->incoredatalen;
 710   *dp++ = x;
 711   data->incoredatafree--;
 712   data->incoredatalen++;
 713 }
 714 #endif
 715
 716
 717
 718 // ----------------------------------------------
 719
 720 /*
 721  * read repo from .solv file
 722  *  and add it to pool
 723  */
 724
 725 static int
 726 repo_add_solv_parent(Repo *repo, FILE *fp, Repodata *parent)
 727 {
 728   Pool *pool = repo->pool;
 729   int i, l;
 730   unsigned int numid, numrel, numdir, numsolv;
 731   unsigned int numkeys, numschemata, numinfo, numextra, contentver;
 732
 733   Offset sizeid;
 734   Offset *str;                         /* map Id -> Offset into string space */
 735   char *strsp;                         /* repo string space */
 736   char *sp;                            /* pointer into string space */
 737   Id *idmap;                           /* map of repo Ids to pool Ids */
 738   Id id, type;
 739   unsigned int hashmask, h;
 740   int hh;
 741   Id *hashtbl;
 742   Id name, evr, did;
 743   int flags;
 744   Reldep *ran;
 745   unsigned int size_idarray;
 746   Id *idarraydatap, *idarraydataend;
 747   Offset ido;
 748   Solvable *s;
 749   unsigned int solvflags;
 750   unsigned int solvversion;
 751   Repokey *keys;
 752   Id *schemadata, *schemadatap, *schemadataend;
 753   Id *schemata, key;
 754   int have_xdata;
 755   unsigned oldnrepodata;
 756   int maxsize, allsize;
 757   unsigned char *buf, *dp, *dps;
 758   int left;
 759
 760   struct _Stringpool *spool;
 761
 762   Repodata data;
 763
 764   memset(&data, 0, sizeof(data));
 765   data.repo = repo;
 766   data.fp = fp;
 767   data.pagefd = -1;
 768
 769   mypool = pool;
 770
 771   if (read_u32(&data) != ('S' << 24 | 'O' << 16 | 'L' << 8 | 'V'))
 772     {
 773       pool_debug(pool, SAT_ERROR, "not a SOLV file\n");
 774       return SOLV_ERROR_NOT_SOLV;
 775     }
 776   solvversion = read_u32(&data);
 777   switch (solvversion)
 778     {
 779       case SOLV_VERSION_6:
 780         break;
 781       case SOLV_VERSION_7:
 782         break;
 783       default:
 784         pool_debug(pool, SAT_ERROR, "unsupported SOLV version\n");
 785         return SOLV_ERROR_UNSUPPORTED;
 786     }
 787
 788   pool_freeidhashes(pool);
 789
 790   numid = read_u32(&data);
 791   numrel = read_u32(&data);
 792   numdir = read_u32(&data);
 793   numsolv = read_u32(&data);
 794   numkeys = read_u32(&data);
 795   numschemata = read_u32(&data);
 796   numinfo = read_u32(&data);
 797   if (solvversion > SOLV_VERSION_6)
 798     {
 799       numextra = read_u32(&data);
 800       contentver = read_u32(&data);
 801     }
 802   else
 803     numextra = 0, contentver = 1;
 804   solvflags = read_u32(&data);
 805
 806   if (numdir && numdir < 2)
 807     {
 808       pool_debug(pool, SAT_ERROR, "bad number of dirs\n");
 809       return SOLV_ERROR_CORRUPT;
 810     }
 811
 812   if (parent)
 813     {
 814       if (numrel)
 815         {
 816           pool_debug(pool, SAT_ERROR, "relations are forbidden in a store\n");
 817           return SOLV_ERROR_CORRUPT;
 818         }
 819       if (parent->end - parent->start != numsolv)
 820         {
 821           pool_debug(pool, SAT_ERROR, "unequal number of solvables in a store\n");
 822           return SOLV_ERROR_CORRUPT;
 823         }
 824       if (parent->nextra != numextra)
 825         {
 826           pool_debug(pool, SAT_ERROR, "unequal number of non-solvables in a store\n");
 827           return SOLV_ERROR_CORRUPT;
 828         }
 829       if (numinfo)
 830         {
 831           pool_debug(pool, SAT_ERROR, "info blocks are forbidden in a store\n");
 832           return SOLV_ERROR_CORRUPT;
 833         }
 834     }
 835
 836   /*******  Part 1: string IDs  *****************************************/
 837
 838   sizeid = read_u32(&data);            /* size of string+Id space */
 839
 840   /*
 841    * read strings and Ids
 842    *
 843    */
 844
 845
 846   /*
 847    * alloc buffers
 848    */
 849
 850   if (!parent)
 851     spool = &pool->ss;
 852   else
 853     {
 854       data.localpool = 1;
 855       spool = &data.spool;
 856       spool->stringspace = sat_malloc(7);
 857       strcpy(spool->stringspace, "<NULL>");
 858       spool->sstrings = 7;
 859       spool->nstrings = 0;
 860     }
 861
 862   /* alloc string buffer */
 863   spool->stringspace = sat_realloc(spool->stringspace, spool->sstrings + sizeid + 1);
 864   /* alloc string offsets (Id -> Offset into string space) */
 865   spool->strings = sat_realloc2(spool->strings, spool->nstrings + numid, sizeof(Offset));
 866
 867   strsp = spool->stringspace;
 868   str = spool->strings;                /* array of offsets into strsp, indexed by Id */
 869
 870   /* point to _BEHIND_ already allocated string/Id space */
 871   strsp += spool->sstrings;
 872
 873
 874   /*
 875    * read new repo at end of pool
 876    */
 877
 878   if ((solvflags & SOLV_FLAG_PREFIX_POOL) == 0)
 879     {
 880       if (sizeid && fread(strsp, sizeid, 1, fp) != 1)
 881         {
 882           pool_debug(pool, SAT_ERROR, "read error while reading strings\n");
 883           return SOLV_ERROR_EOF;
 884         }
 885     }
 886   else
 887     {
 888       unsigned int pfsize = read_u32(&data);
 889       char *prefix = sat_malloc(pfsize);
 890       char *pp = prefix;
 891       char *old_str = 0;
 892       char *dest = strsp;
 893       int freesp = sizeid;
 894
 895       if (pfsize && fread(prefix, pfsize, 1, fp) != 1)
 896         {
 897           pool_debug(pool, SAT_ERROR, "read error while reading strings\n");
 898           sat_free(prefix);
 899           return SOLV_ERROR_EOF;
 900         }
 901       for (i = 1; i < numid; i++)
 902         {
 903           int same = (unsigned char)*pp++;
 904           size_t len = strlen(pp) + 1;
 905           freesp -= same + len;
 906           if (freesp < 0)
 907             {
 908               pool_debug(pool, SAT_ERROR, "overflow while expanding strings\n");
 909               sat_free(prefix);
 910               return SOLV_ERROR_OVERFLOW;
 911             }
 912           if (same)
 913             memcpy(dest, old_str, same);
 914           memcpy(dest + same, pp, len);
 915           pp += len;
 916           old_str = dest;
 917           dest += same + len;
 918         }
 919       sat_free(prefix);
 920       if (freesp != 0)
 921         {
 922           pool_debug(pool, SAT_ERROR, "expanding strings size mismatch\n");
 923           return SOLV_ERROR_CORRUPT;
 924         }
 925     }
 926   strsp[sizeid] = 0;                   /* make string space \0 terminated */
 927   sp = strsp;
 928
 929   if (parent)
 930     {
 931       /* no shared pool, thus no idmap and no unification */
 932       idmap = 0;
 933       spool->nstrings = numid;
 934       str[0] = 0;
 935       if (*sp)
 936         {
 937           /* we need the '' for directories */
 938           pool_debug(pool, SAT_ERROR, "store strings don't start with ''\n");
 939           return SOLV_ERROR_CORRUPT;
 940         }
 941       for (i = 1; i < spool->nstrings; i++)
 942         {
 943           if (sp >= strsp + sizeid)
 944             {
 945               pool_debug(pool, SAT_ERROR, "not enough strings\n");
 946               return SOLV_ERROR_OVERFLOW;
 947             }
 948           str[i] = sp - spool->stringspace;
 949           sp += strlen(sp) + 1;
 950         }
 951       spool->sstrings = sp - spool->stringspace;
 952     }
 953   else
 954     {
 955
 956       /* alloc id map for name and rel Ids. this maps ids in the solv files
 957        * to the ids in our pool */
 958       idmap = sat_calloc(numid + numrel, sizeof(Id));
 959
 960       /*
 961        * build hashes for all read strings
 962        *
 963        */
 964
 965       hashmask = mkmask(spool->nstrings + numid);
 966
 967 #if 0
 968       POOL_DEBUG(SAT_DEBUG_STATS, "read %d strings\n", numid);
 969       POOL_DEBUG(SAT_DEBUG_STATS, "string hash buckets: %d\n", hashmask + 1);
 970 #endif
 971
 972       /*
 973        * create hashtable with strings already in pool
 974        */
 975
 976       hashtbl = sat_calloc(hashmask + 1, sizeof(Id));
 977       for (i = 1; i < spool->nstrings; i++)  /* leave out our dummy zero id */
 978         {
 979           h = strhash(spool->stringspace + spool->strings[i]) & hashmask;
 980           hh = HASHCHAIN_START;
 981           while (hashtbl[h])
 982             h = HASHCHAIN_NEXT(h, hh, hashmask);
 983           hashtbl[h] = i;
 984         }
 985
 986       /*
 987        * run over string space, calculate offsets
 988        *
 989        * build id map (maps solv Id -> pool Id)
 990        */
 991
 992       for (i = 1; i < numid; i++)
 993         {
 994           if (sp >= strsp + sizeid)
 995             {
 996               sat_free(hashtbl);
 997               sat_free(idmap);
 998               pool_debug(pool, SAT_ERROR, "not enough strings %d %d\n", i, numid);
 999               return SOLV_ERROR_OVERFLOW;
1000             }
1001           if (!*sp)                            /* empty string */
1002             {
1003               idmap[i] = ID_EMPTY;
1004               sp++;
1005               continue;
1006             }
1007
1008           /* find hash slot */
1009           h = strhash(sp) & hashmask;
1010           hh = HASHCHAIN_START;
1011           for (;;)
1012             {
1013               id = hashtbl[h];
1014               if (id == 0)
1015                 break;
1016               if (!strcmp(spool->stringspace + spool->strings[id], sp))
1017                 break;                 /* existing string */
1018               h = HASHCHAIN_NEXT(h, hh, hashmask);
1019             }
1020
1021           /* length == offset to next string */
1022           l = strlen(sp) + 1;
1023           if (id == ID_NULL)           /* end of hash chain -> new string */
1024             {
1025               id = spool->nstrings++;
1026               hashtbl[h] = id;
1027               str[id] = spool->sstrings;    /* save Offset */
1028               if (sp != spool->stringspace + spool->sstrings)   /* not at end-of-buffer */
1029                 memmove(spool->stringspace + spool->sstrings, sp, l);   /* append to pool buffer */
1030               spool->sstrings += l;
1031             }
1032           idmap[i] = id;                       /* repo relative -> pool relative */
1033           sp += l;                             /* next string */
1034         }
1035       sat_free(hashtbl);
1036     }
1037   pool_shrink_strings(pool);           /* vacuum */
1038
1039
1040   /*******  Part 2: Relation IDs  ***************************************/
1041
1042   /*
1043    * read RelDeps
1044    *
1045    */
1046
1047   if (numrel)
1048     {
1049       /* extend rels */
1050       pool->rels = sat_realloc2(pool->rels, pool->nrels + numrel, sizeof(Reldep));
1051       ran = pool->rels;
1052
1053       hashmask = mkmask(pool->nrels + numrel);
1054 #if 0
1055       POOL_DEBUG(SAT_DEBUG_STATS, "read %d rels\n", numrel);
1056       POOL_DEBUG(SAT_DEBUG_STATS, "rel hash buckets: %d\n", hashmask + 1);
1057 #endif
1058       /*
1059        * prep hash table with already existing RelDeps
1060        */
1061
1062       hashtbl = sat_calloc(hashmask + 1, sizeof(Id));
1063       for (i = 1; i < pool->nrels; i++)
1064         {
1065           h = relhash(ran[i].name, ran[i].evr, ran[i].flags) & hashmask;
1066           hh = HASHCHAIN_START;
1067           while (hashtbl[h])
1068             h = HASHCHAIN_NEXT(h, hh, hashmask);
1069           hashtbl[h] = i;
1070         }
1071
1072       /*
1073        * read RelDeps from repo
1074        */
1075
1076       for (i = 0; i < numrel; i++)
1077         {
1078           name = read_id(&data, i + numid);     /* read (repo relative) Ids */
1079           evr = read_id(&data, i + numid);
1080           flags = read_u8(&data);
1081           name = idmap[name];           /* map to (pool relative) Ids */
1082           evr = idmap[evr];
1083           h = relhash(name, evr, flags) & hashmask;
1084           hh = HASHCHAIN_START;
1085           for (;;)
1086             {
1087               id = hashtbl[h];
1088               if (id == ID_NULL)        /* end of hash chain */
1089                 break;
1090               if (ran[id].name == name && ran[id].evr == evr && ran[id].flags == flags)
1091                 break;
1092               h = HASHCHAIN_NEXT(h, hh, hashmask);
1093             }
1094           if (id == ID_NULL)            /* new RelDep */
1095             {
1096               id = pool->nrels++;
1097               hashtbl[h] = id;
1098               ran[id].name = name;
1099               ran[id].evr = evr;
1100               ran[id].flags = flags;
1101             }
1102           idmap[i + numid] = MAKERELDEP(id);   /* fill Id map */
1103         }
1104       sat_free(hashtbl);
1105       pool_shrink_rels(pool);           /* vacuum */
1106     }
1107
1108
1109   /*******  Part 3: Dirs  ***********************************************/
1110   if (numdir)
1111     {
1112       data.dirpool.dirs = sat_malloc2(numdir, sizeof(Id));
1113       data.dirpool.ndirs = numdir;
1114       data.dirpool.dirs[0] = 0;         /* dir 0: virtual root */
1115       data.dirpool.dirs[1] = 1;         /* dir 1: / */
1116       for (i = 2; i < numdir; i++)
1117         {
1118           id = read_id(&data, i + numid);
1119           if (id >= numid)
1120             data.dirpool.dirs[i] = -(id - numid);
1121           else if (idmap)
1122             data.dirpool.dirs[i] = idmap[id];
1123           else
1124             data.dirpool.dirs[i] = id;
1125         }
1126     }
1127
1128   /*******  Part 4: Keys  ***********************************************/
1129
1130   keys = sat_calloc(numkeys, sizeof(*keys));
1131   /* keys start at 1 */
1132   for (i = 1; i < numkeys; i++)
1133     {
1134       id = read_id(&data, numid);
1135       if (idmap)
1136         id = idmap[id];
1137       else if (parent)
1138         id = str2id(pool, stringpool_id2str(spool, id), 1);
1139       type = read_id(&data, numid);
1140       if (idmap)
1141         type = idmap[type];
1142       else if (parent)
1143         type = str2id(pool, stringpool_id2str(spool, type), 1);
1144       if (type < REPOKEY_TYPE_VOID || type > REPOKEY_TYPE_COUNTED)
1145         {
1146           pool_debug(pool, SAT_ERROR, "unsupported data type '%s'\n", id2str(pool, type));
1147           data.error = SOLV_ERROR_UNSUPPORTED;
1148           type = REPOKEY_TYPE_VOID;
1149         }
1150       keys[i].name = id;
1151       keys[i].type = type;
1152       keys[i].size = read_id(&data, keys[i].type == REPOKEY_TYPE_CONSTANTID ? numid + numrel : 0);
1153       keys[i].storage = read_id(&data, 0);
1154       if (id >= SOLVABLE_NAME && id <= RPM_RPMDBID)
1155         keys[i].storage = KEY_STORAGE_SOLVABLE;
1156       else if (keys[i].storage == KEY_STORAGE_SOLVABLE)
1157         keys[i].storage = KEY_STORAGE_INCORE;
1158       if (keys[i].type == REPOKEY_TYPE_CONSTANTID)
1159         {
1160           if (idmap)
1161             keys[i].size = idmap[keys[i].size];
1162           else if (parent)
1163             keys[i].size = str2id(pool, stringpool_id2str(spool, keys[i].size), 1);
1164         }
1165 #if 0
1166       fprintf(stderr, "key %d %s %s %d %d\n", i, id2str(pool,id), id2str(pool, keys[i].type),
1167                keys[i].size, keys[i].storage);
1168 #endif
1169     }
1170
1171   have_xdata = parent ? 1 : 0;
1172   for (i = 1; i < numkeys; i++)
1173     if (keys[i].storage == KEY_STORAGE_INCORE || keys[i].storage == KEY_STORAGE_VERTICAL_OFFSET)
1174       have_xdata = 1;
1175
1176   data.keys = keys;
1177   data.nkeys = numkeys;
1178
1179   /*******  Part 5: Schemata ********************************************/
1180
1181   id = read_id(&data, 0);
1182   schemadata = sat_calloc(id + 1, sizeof(Id));
1183   schemadatap = schemadata + 1;
1184   schemadataend = schemadatap + id;
1185   schemata = sat_calloc(numschemata, sizeof(Id));
1186   for (i = 1; i < numschemata; i++)
1187     {
1188       schemata[i] = schemadatap - schemadata;
1189       schemadatap = read_idarray(&data, numid, 0, schemadatap, schemadataend);
1190 #if 0
1191       Id *sp = schemadata + schemata[i];
1192       fprintf (stderr, "schema %d:", i);
1193       for (; *sp; sp++)
1194         fprintf (stderr, " %d", *sp);
1195       fprintf (stderr, "\n");
1196 #endif
1197     }
1198   data.schemata = schemata;
1199   data.nschemata = numschemata;
1200   data.schemadata = schemadata;
1201   data.schemadatalen = schemadataend - data.schemadata;
1202
1203
1204   /*******  Part 6: Info  ***********************************************/
1205   oldnrepodata = repo->nrepodata;
1206   if (numinfo)
1207     {
1208       id = read_id(&data, 0);
1209       id = read_id(&data, 0);
1210     }
1211   for (i = 0; i < numinfo; i++)
1212     {
1213       /* for now we're just interested in data that starts with
1214        * the repodata_external id
1215        */
1216       Id *keyp;
1217       id = read_id(&data, numschemata);
1218       keyp = schemadata + schemata[id];
1219       key = *keyp;
1220       if (keys[key].name == REPODATA_EXTERNAL && keys[key].type == REPOKEY_TYPE_VOID)
1221         {
1222           /* external data for some ids */
1223           parse_external_repodata(&data, keyp, keys, idmap, numid, numrel);
1224         }
1225       else if (keys[key].name == REPODATA_INFO)
1226         {
1227           parse_info_repodata(&data, keyp, keys, idmap, numid, numrel);
1228         }
1229       else
1230         {
1231           skip_schema(&data, keyp, keys, numid, numrel);
1232         }
1233     }
1234
1235
1236   /*******  Part 7: item data *******************************************/
1237
1238   /* calculate idarray size */
1239   size_idarray = 0;
1240   for (i = 1; i < numkeys; i++)
1241     {
1242       id = keys[i].name;
1243       if ((keys[i].type == REPOKEY_TYPE_IDARRAY || keys[i].type == REPOKEY_TYPE_REL_IDARRAY)
1244           && id >= INTERESTED_START && id <= INTERESTED_END)
1245         size_idarray += keys[i].size;
1246     }
1247
1248   if (numsolv || numextra)
1249     {
1250       maxsize = read_id(&data, 0);
1251       allsize = read_id(&data, 0);
1252       if (maxsize > allsize)
1253         {
1254           pool_debug(pool, SAT_ERROR, "maxsize %d is greater then allsize %d\n", maxsize, allsize);
1255           data.error = SOLV_ERROR_CORRUPT;
1256         }
1257     }
1258   else
1259     maxsize = allsize = 0;
1260
1261   /* allocate needed space in repo */
1262   /* we add maxsize because it is an upper limit for all idarrays */
1263   repo_reserve_ids(repo, 0, size_idarray + maxsize + 1);
1264   idarraydatap = repo->idarraydata + repo->idarraysize;
1265   repo->idarraysize += size_idarray;
1266   idarraydataend = idarraydatap + size_idarray;
1267   repo->lastoff = 0;
1268
1269   /* read solvables */
1270   if (numsolv)
1271     {
1272       if (parent)
1273         s = pool_id2solvable(pool, parent->start);
1274       else
1275         s = pool_id2solvable(pool, repo_add_solvable_block(repo, numsolv));
1276       /* store start and end of our id block */
1277       data.start = s - pool->solvables;
1278       data.end = data.start + numsolv;
1279       /* In case we have info blocks, make them refer to our part of the
1280          repository now.  */
1281       for (i = oldnrepodata; i < repo->nrepodata; i++)
1282         {
1283           repo->repodata[i].start = data.start;
1284           repo->repodata[i].end = data.end;
1285         }
1286     }
1287   else
1288     s = 0;
1289
1290   if (numextra)
1291     {
1292       data.extrastart = repo->nextra;
1293       repodata_extend_extra(&data, numextra);
1294       repo->nextra += numextra;
1295       for (i = oldnrepodata; i < repo->nrepodata; i++)
1296         {
1297           repo->repodata[i].extrastart = data.extrastart;
1298           repo->repodata[i].nextra = data.nextra;
1299         }
1300     }
1301
1302   if (have_xdata)
1303     {
1304       /* reserve one byte so that all offsets are not zero */
1305       incore_add_id(&data, 0);
1306       repodata_extend_block(&data, data.start, numsolv);
1307     }
1308
1309   left = 0;
1310   buf = sat_calloc(maxsize + 4, 1);
1311   dp = buf;
1312   for (i = 0; i < numsolv + numextra; i++, s++)
1313     {
1314       Id *keyp;
1315       if (data.error)
1316         break;
1317
1318       left -= (dp - buf);
1319       if (left < 0)
1320         {
1321           pool_debug(mypool, SAT_ERROR, "buffer overrun\n");
1322           data.error = SOLV_ERROR_EOF;
1323           break;
1324         }
1325       if (left)
1326         memmove(buf, dp, left);
1327       l = maxsize - left;
1328       if (l > allsize)
1329         l = allsize;
1330       if (l && fread(buf + left, l, 1, data.fp) != 1)
1331         {
1332           pool_debug(mypool, SAT_ERROR, "unexpected EOF\n");
1333           data.error = SOLV_ERROR_EOF;
1334           break;
1335         }
1336       allsize -= l;
1337       left += l;
1338       dp = buf;
1339
1340       dp = data_read_id_max(dp, &id, 0, numschemata, &data.error);
1341       if (have_xdata)
1342         {
1343           if (i < numsolv)
1344             data.incoreoffset[i] = data.incoredatalen;
1345           else
1346             data.extraoffset[i - numsolv] = data.incoredatalen;
1347           incore_add_id(&data, id);
1348         }
1349       if (i >= numsolv)
1350         s = 0;
1351 #if 0
1352       if (i < numsolv)
1353         fprintf(stderr, "solv %d: schema %d\n", i, id);
1354       else
1355         fprintf(stderr, "extra %d: schema %d\n", i - numsolv, id);
1356 #endif
1357       keyp = schemadata + schemata[id];
1358       while ((key = *keyp++) != 0)
1359         {
1360           if (data.error)
1361             break;
1362
1363           id = keys[key].name;
1364 #if 0
1365           if (i < numsolv)
1366             fprintf(stderr, "solv %d name %d type %d class %d\n", i, id, keys[key].type, keys[key].storage);
1367           else
1368             fprintf(stderr, "extra %d name %d type %d class %d\n", i - numsolv, id, keys[key].type, keys[key].storage);
1369 #endif
1370           if (keys[key].storage == KEY_STORAGE_VERTICAL_OFFSET)
1371             {
1372               /* copy offset/length into incore */
1373               dps = dp;
1374               dp = data_skip(dp, REPOKEY_TYPE_ID);
1375               dp = data_skip(dp, REPOKEY_TYPE_ID);
1376               incore_add_blob(&data, dps, dp - dps);
1377               continue;
1378             }
1379           switch (keys[key].type)
1380             {
1381             case REPOKEY_TYPE_ID:
1382               dp = data_read_id_max(dp, &did, idmap, numid + numrel, &data.error);
1383               if (id == SOLVABLE_NAME)
1384                 s->name = did;
1385               else if (id == SOLVABLE_ARCH)
1386                 s->arch = did;
1387               else if (id == SOLVABLE_EVR)
1388                 s->evr = did;
1389               else if (id == SOLVABLE_VENDOR)
1390                 s->vendor = did;
1391               else if (keys[key].storage == KEY_STORAGE_INCORE)
1392                 incore_add_id(&data, did);
1393 #if 0
1394               POOL_DEBUG(SAT_DEBUG_STATS, "%s -> %s\n", id2str(pool, id), id2str(pool, did));
1395 #endif
1396               break;
1397             case REPOKEY_TYPE_U32:
1398               dp = data_read_u32(dp, &h);
1399 #if 0
1400               POOL_DEBUG(SAT_DEBUG_STATS, "%s -> %u\n", id2str(pool, id), h);
1401 #endif
1402               if (id == RPM_RPMDBID)
1403                 {
1404                   if (!repo->rpmdbid)
1405                     repo->rpmdbid = repo_sidedata_create(repo, sizeof(Id));
1406                   repo->rpmdbid[i] = h;
1407                 }
1408               else if (keys[key].storage == KEY_STORAGE_INCORE)
1409                 incore_add_u32(&data, h);
1410               break;
1411             case REPOKEY_TYPE_IDARRAY:
1412             case REPOKEY_TYPE_REL_IDARRAY:
1413               if (id < INTERESTED_START || id > INTERESTED_END)
1414                 {
1415                   dps = dp;
1416                   dp = data_skip(dp, REPOKEY_TYPE_IDARRAY);
1417                   if (keys[key].storage != KEY_STORAGE_INCORE)
1418                     break;
1419                   if (idmap)
1420                     incore_map_idarray(&data, dps, idmap, numid);
1421                   else
1422                     incore_add_blob(&data, dps, dp - dps);
1423                   break;
1424                 }
1425               ido = idarraydatap - repo->idarraydata;
1426               if (keys[key].type == REPOKEY_TYPE_IDARRAY)
1427                 dp = data_read_idarray(dp, &idarraydatap, idmap, numid + numrel, &data.error);
1428               else if (id == SOLVABLE_REQUIRES)
1429                 dp = data_read_rel_idarray(dp, &idarraydatap, idmap, numid + numrel, &data.error, SOLVABLE_PREREQMARKER);
1430               else if (id == SOLVABLE_PROVIDES)
1431                 dp = data_read_rel_idarray(dp, &idarraydatap, idmap, numid + numrel, &data.error, SOLVABLE_FILEMARKER);
1432               else
1433                 dp = data_read_rel_idarray(dp, &idarraydatap, idmap, numid + numrel, &data.error, 0);
1434               if (idarraydatap > idarraydataend)
1435                 {
1436                   pool_debug(pool, SAT_ERROR, "idarray overflow\n");
1437                   data.error = SOLV_ERROR_OVERFLOW;
1438                   break;
1439                 }
1440               if (id == SOLVABLE_PROVIDES)
1441                 s->provides = ido;
1442               else if (id == SOLVABLE_OBSOLETES)
1443                 s->obsoletes = ido;
1444               else if (id == SOLVABLE_CONFLICTS)
1445                 s->conflicts = ido;
1446               else if (id == SOLVABLE_REQUIRES)
1447                 s->requires = ido;
1448               else if (id == SOLVABLE_RECOMMENDS)
1449                 s->recommends= ido;
1450               else if (id == SOLVABLE_SUPPLEMENTS)
1451                 s->supplements = ido;
1452               else if (id == SOLVABLE_SUGGESTS)
1453                 s->suggests = ido;
1454               else if (id == SOLVABLE_ENHANCES)
1455                 s->enhances = ido;
1456 #if 0
1457               POOL_DEBUG(SAT_DEBUG_STATS, "%s ->\n", id2str(pool, id));
1458               for (; repo->idarraydata[ido]; ido++)
1459                 POOL_DEBUG(SAT_DEBUG_STATS,"  %s\n", dep2str(pool, repo->idarraydata[ido]));
1460 #endif
1461               break;
1462             case REPOKEY_TYPE_COUNTED:
1463                 {
1464                   Id num, did;
1465                   dp = data_read_id(dp, &num);
1466                   incore_add_id(&data, num);
1467                   dp = data_read_id_max(dp, &did, 0, numschemata, &data.error);
1468                   incore_add_id(&data, did);
1469                   while (num--)
1470                     {
1471                       Id *kp = schemadata + schemata[did];
1472                       for (; *kp; kp++)
1473                         {
1474                           Id tid;
1475                           switch (keys[*kp].type)
1476                             {
1477                               case REPOKEY_TYPE_ID:
1478                                 dp = data_read_id_max(dp, &tid, idmap, numid + numrel, &data.error);
1479                                 incore_add_id(&data, tid);
1480                                 break;
1481                               default:
1482                                 dps = dp;
1483                                 //dp = data_skip(dp, keys[*kp].type);
1484                                 dp = data_skip_recursive(&data, dp, keys + *kp);
1485                                 incore_add_blob(&data, dps, dp - dps);
1486                                 break;
1487                             }
1488                         }
1489                     }
1490                 }
1491               break;
1492             default:
1493               dps = dp;
1494               //dp = data_skip(dp, keys[key].type);
1495               dp = data_skip_recursive(&data, dp, keys + key);
1496               if (keys[key].storage == KEY_STORAGE_INCORE)
1497                 incore_add_blob(&data, dps, dp - dps);
1498               break;
1499             }
1500         }
1501     }
1502
1503   /* should shrink idarraydata again */
1504
1505   if (!data.error)
1506     {
1507       left -= (dp - buf);
1508       if (left < 0)
1509         {
1510           pool_debug(mypool, SAT_ERROR, "buffer overrun\n");
1511           data.error = SOLV_ERROR_EOF;
1512         }
1513     }
1514   sat_free(buf);
1515
1516   if (data.error)
1517     {
1518       /* free solvables */
1519       repo_free_solvable_block(repo, data.start, data.end - data.start, 1);
1520       /* free id array */
1521       repo->idarraysize -= size_idarray;
1522       /* free incore data */
1523       data.incoredata = sat_free(data.incoredata);
1524       data.incoredatalen = data.incoredatafree = 0;
1525     }
1526
1527   if (data.incoredatafree)
1528     {
1529       /* shrink excess size */
1530       data.incoredata = sat_realloc(data.incoredata, data.incoredatalen);
1531       data.incoredatafree = 0;
1532     }
1533
1534   for (i = 1; i < numkeys; i++)
1535     if (keys[i].storage == KEY_STORAGE_VERTICAL_OFFSET)
1536       break;
1537   if (i < numkeys && !data.error)
1538     {
1539       Id fileoffset = 0;
1540       unsigned int pagesize;
1541
1542       /* we have vertical data, make it available */
1543       data.verticaloffset = sat_calloc(numkeys, sizeof(Id));
1544       for (i = 1; i < numkeys; i++)
1545         if (keys[i].storage == KEY_STORAGE_VERTICAL_OFFSET)
1546           {
1547             data.verticaloffset[i] = fileoffset;
1548             fileoffset += keys[i].size;
1549           }
1550       data.lastverticaloffset = fileoffset;
1551       pagesize = read_u32(&data);
1552       repodata_read_or_setup_pages(&data, pagesize, fileoffset);
1553     }
1554   else
1555     {
1556       /* no longer needed */
1557       data.fp = 0;
1558     }
1559
1560   if (parent && !data.error)
1561     {
1562       /* we're a store */
1563       sat_free(parent->schemata);
1564       sat_free(parent->schemadata);
1565       sat_free(parent->keys);
1566       sat_free(parent->location);
1567       *parent = data;
1568     }
1569   else if ((data.incoredatalen || data.fp) && !data.error)
1570     {
1571       /* we got some data, make it available */
1572       repo->repodata = sat_realloc2(repo->repodata, repo->nrepodata + 1, sizeof(data));
1573       repo->repodata[repo->nrepodata++] = data;
1574     }
1575   else
1576     {
1577       /* discard data */
1578       sat_free(data.dirpool.dirs);
1579       sat_free(data.incoreoffset);
1580       sat_free(schemata);
1581       sat_free(schemadata);
1582       sat_free(keys);
1583     }
1584
1585   sat_free(idmap);
1586   mypool = 0;
1587   return data.error;
1588 }
1589
1590 int
1591 repo_add_solv(Repo *repo, FILE *fp)
1592 {
1593   return repo_add_solv_parent(repo, fp, 0);
1594 }
1595
1596 static void
1597 repodata_load_solv(Repodata *data)
1598 {
1599   FILE *fp;
1600   Pool *pool = data->repo->pool;
1601   if (!pool->loadcallback)
1602     {
1603       data->state = REPODATA_ERROR;
1604       return;
1605     }
1606   fp = pool->loadcallback(pool, data, pool->loadcallbackdata);
1607   if (!fp)
1608     {
1609       data->state = REPODATA_ERROR;
1610       return;
1611     }
1612   if (repo_add_solv_parent(data->repo, fp, data))
1613     data->state = REPODATA_ERROR;
1614   else
1615     data->state = REPODATA_AVAILABLE;
1616   fclose(fp);
1617 }