smatch_ranges.c

   1 /*
   2  * sparse/smatch_ranges.c
   3  *
   4  * Copyright (C) 2009 Dan Carpenter.
   5  *
   6  * Licensed under the Open Software License version 1.1
   7  *
   8  */
   9
  10 #include "parse.h"
  11 #include "smatch.h"
  12 #include "smatch_extra.h"
  13 #include "smatch_slist.h"
  14
  15 ALLOCATOR(data_info, "smatch extra data");
  16 ALLOCATOR(data_range, "data range");
  17 __DO_ALLOCATOR(struct data_range, sizeof(struct data_range), __alignof__(struct data_range),
  18                          "permanent ranges", perm_data_range);
  19
  20 char *show_ranges(struct range_list *list)
  21 {
  22         struct data_range *tmp;
  23         char full[256];
  24         int i = 0;
  25
  26         full[0] = '\0';
  27         full[255] = '\0';
  28         FOR_EACH_PTR(list, tmp) {
  29                 if (i++)
  30                         strncat(full, ",", 254 - strlen(full));
  31                 if (sval_cmp(tmp->min, tmp->max) == 0) {
  32                         strncat(full, sval_to_str(tmp->min), 254 - strlen(full));
  33                         continue;
  34                 }
  35                 strncat(full, sval_to_str(tmp->min), 254 - strlen(full));
  36                 strncat(full, "-", 254 - strlen(full));
  37                 strncat(full, sval_to_str(tmp->max), 254 - strlen(full));
  38         } END_FOR_EACH_PTR(tmp);
  39         return alloc_sname(full);
  40 }
  41
  42 static sval_t parse_val(struct symbol *type, char *c, char **endp)
  43 {
  44         char *start = c;
  45         sval_t ret;
  46
  47         if (!strncmp(start, "max", 3)) {
  48                 ret = sval_type_max(type);
  49                 c += 3;
  50         } else if (!strncmp(start, "u64max", 6)) {
  51                 ret = sval_type_val(type, ULLONG_MAX);
  52                 c += 6;
  53         } else if (!strncmp(start, "s64max", 6)) {
  54                 ret = sval_type_val(type, LLONG_MAX);
  55                 c += 6;
  56         } else if (!strncmp(start, "u32max", 6)) {
  57                 ret = sval_type_val(type, UINT_MAX);
  58                 c += 6;
  59         } else if (!strncmp(start, "s32max", 6)) {
  60                 ret = sval_type_val(type, INT_MAX);
  61                 c += 6;
  62         } else if (!strncmp(start, "u16max", 6)) {
  63                 ret = sval_type_val(type, USHRT_MAX);
  64                 c += 6;
  65         } else if (!strncmp(start, "s16max", 6)) {
  66                 ret = sval_type_val(type, SHRT_MAX);
  67                 c += 6;
  68         } else if (!strncmp(start, "min", 3)) {
  69                 ret = sval_type_min(type);
  70                 c += 3;
  71         } else if (!strncmp(start, "s64min", 6)) {
  72                 ret = sval_type_val(type, LLONG_MIN);
  73                 c += 6;
  74         } else if (!strncmp(start, "s32min", 6)) {
  75                 ret = sval_type_val(type, INT_MIN);
  76                 c += 6;
  77         } else if (!strncmp(start, "s16min", 6)) {
  78                 ret = sval_type_val(type, SHRT_MIN);
  79                 c += 6;
  80         } else {
  81                 ret = sval_type_val(type, strtoll(start, &c, 10));
  82         }
  83         *endp = c;
  84         return ret;
  85 }
  86
  87 void parse_value_ranges_type(struct symbol *type, char *value, struct range_list **rl)
  88 {
  89         sval_t min, max;
  90         char *c;
  91
  92         if (!type)
  93                 type = &llong_ctype;
  94         *rl = NULL;
  95
  96         c = value;
  97         while (*c) {
  98                 if (*c == '(')
  99                         c++;
 100                 min = parse_val(type, c, &c);
 101                 if (*c == ')')
 102                         c++;
 103                 if (!*c) {
 104                         add_range(rl, min, min);
 105                         break;
 106                 }
 107                 if (*c == ',') {
 108                         add_range(rl, min, min);
 109                         c++;
 110                         continue;
 111                 }
 112                 if (*c != '-') {
 113                         sm_msg("debug XXX: trouble parsing %s ", value);
 114                         break;
 115                 }
 116                 c++;
 117                 if (*c == '(')
 118                         c++;
 119                 max = parse_val(type, c, &c);
 120                 add_range(rl, min, max);
 121                 if (*c == ')')
 122                         c++;
 123                 if (!*c)
 124                         break;
 125                 if (*c != ',') {
 126                         sm_msg("debug YYY: trouble parsing %s %s", value, c);
 127                         break;
 128                 }
 129                 c++;
 130         }
 131
 132         *rl = cast_rl(type, *rl);
 133 }
 134
 135 int is_whole_range_rl(struct range_list *rl)
 136 {
 137         struct data_range *drange;
 138
 139         if (ptr_list_empty(rl))
 140                 return 1;
 141         drange = first_ptr_list((struct ptr_list *)rl);
 142         if (sval_is_min(drange->min) && sval_is_max(drange->max))
 143                 return 1;
 144         return 0;
 145 }
 146
 147 sval_t rl_min(struct range_list *rl)
 148 {
 149         struct data_range *drange;
 150         sval_t ret;
 151
 152         ret.type = &llong_ctype;
 153         ret.value = LLONG_MIN;
 154         if (ptr_list_empty(rl))
 155                 return ret;
 156         drange = first_ptr_list((struct ptr_list *)rl);
 157         return drange->min;
 158 }
 159
 160 sval_t rl_max(struct range_list *rl)
 161 {
 162         struct data_range *drange;
 163         sval_t ret;
 164
 165         ret.type = &llong_ctype;
 166         ret.value = LLONG_MAX;
 167         if (ptr_list_empty(rl))
 168                 return ret;
 169         drange = last_ptr_list((struct ptr_list *)rl);
 170         return drange->max;
 171 }
 172
 173 static struct data_range *alloc_range_helper_sval(sval_t min, sval_t max, int perm)
 174 {
 175         struct data_range *ret;
 176
 177         if (perm)
 178                 ret = __alloc_perm_data_range(0);
 179         else
 180                 ret = __alloc_data_range(0);
 181         ret->min = min;
 182         ret->max = max;
 183         return ret;
 184 }
 185
 186 struct data_range *alloc_range(sval_t min, sval_t max)
 187 {
 188         return alloc_range_helper_sval(min, max, 0);
 189 }
 190
 191 struct data_range *alloc_range_perm(sval_t min, sval_t max)
 192 {
 193         return alloc_range_helper_sval(min, max, 1);
 194 }
 195
 196 struct range_list *alloc_range_list(sval_t min, sval_t max)
 197 {
 198         struct range_list *rl = NULL;
 199
 200         add_range(&rl, min, max);
 201         return rl;
 202 }
 203
 204 struct range_list *whole_range_list(struct symbol *type)
 205 {
 206         if (!type)
 207                 type = &llong_ctype;
 208
 209         return alloc_range_list(sval_type_min(type), sval_type_max(type));
 210 }
 211
 212 void add_range(struct range_list **list, sval_t min, sval_t max)
 213 {
 214         struct data_range *tmp = NULL;
 215         struct data_range *new = NULL;
 216         int check_next = 0;
 217
 218         /*
 219          * FIXME:  This has a problem merging a range_list like: min-0,3-max
 220          * with a range like 1-2.  You end up with min-2,3-max instead of
 221          * just min-max.
 222          */
 223         FOR_EACH_PTR(*list, tmp) {
 224                 if (check_next) {
 225                         /* Sometimes we overlap with more than one range
 226                            so we have to delete or modify the next range. */
 227                         if (max.value + 1 == tmp->min.value) {
 228                                 /* join 2 ranges here */
 229                                 new->max = tmp->max;
 230                                 DELETE_CURRENT_PTR(tmp);
 231                                 return;
 232                         }
 233
 234                         /* Doesn't overlap with the next one. */
 235                         if (sval_cmp(max, tmp->min) < 0)
 236                                 return;
 237                         /* Partially overlaps with the next one. */
 238                         if (sval_cmp(max, tmp->max) < 0) {
 239                                 tmp->min.value = max.value + 1;
 240                                 return;
 241                         }
 242                         /* Completely overlaps with the next one. */
 243                         if (sval_cmp(max, tmp->max) >= 0) {
 244                                 DELETE_CURRENT_PTR(tmp);
 245                                 /* there could be more ranges to delete */
 246                                 continue;
 247                         }
 248                 }
 249                 if (!sval_is_max(max) && max.value + 1 == tmp->min.value) {
 250                         /* join 2 ranges into a big range */
 251                         new = alloc_range(min, tmp->max);
 252                         REPLACE_CURRENT_PTR(tmp, new);
 253                         return;
 254                 }
 255                 if (sval_cmp(max, tmp->min) < 0) { /* new range entirely below */
 256                         new = alloc_range(min, max);
 257                         INSERT_CURRENT(new, tmp);
 258                         return;
 259                 }
 260                 if (sval_cmp(min, tmp->min) < 0) { /* new range partially below */
 261                         if (sval_cmp(max, tmp->max) < 0)
 262                                 max = tmp->max;
 263                         else
 264                                 check_next = 1;
 265                         new = alloc_range(min, max);
 266                         REPLACE_CURRENT_PTR(tmp, new);
 267                         if (!check_next)
 268                                 return;
 269                         continue;
 270                 }
 271                 if (sval_cmp(max, tmp->max) <= 0) /* new range already included */
 272                         return;
 273                 if (sval_cmp(min, tmp->max) <= 0) { /* new range partially above */
 274                         min = tmp->min;
 275                         new = alloc_range(min, max);
 276                         REPLACE_CURRENT_PTR(tmp, new);
 277                         check_next = 1;
 278                         continue;
 279                 }
 280                 if (!sval_is_min(min) && min.value - 1 == tmp->max.value) {
 281                         /* join 2 ranges into a big range */
 282                         new = alloc_range(tmp->min, max);
 283                         REPLACE_CURRENT_PTR(tmp, new);
 284                         check_next = 1;
 285                         continue;
 286                 }
 287                 /* the new range is entirely above the existing ranges */
 288         } END_FOR_EACH_PTR(tmp);
 289         if (check_next)
 290                 return;
 291         new = alloc_range(min, max);
 292         add_ptr_list(list, new);
 293 }
 294
 295 struct range_list *clone_range_list(struct range_list *list)
 296 {
 297         struct data_range *tmp;
 298         struct range_list *ret = NULL;
 299
 300         FOR_EACH_PTR(list, tmp) {
 301                 add_ptr_list(&ret, tmp);
 302         } END_FOR_EACH_PTR(tmp);
 303         return ret;
 304 }
 305
 306 struct range_list *clone_permanent(struct range_list *list)
 307 {
 308         struct data_range *tmp;
 309         struct data_range *new;
 310         struct range_list *ret = NULL;
 311
 312         FOR_EACH_PTR(list, tmp) {
 313                 new = alloc_range_perm(tmp->min, tmp->max);
 314                 add_ptr_list(&ret, new);
 315         } END_FOR_EACH_PTR(tmp);
 316         return ret;
 317 }
 318
 319 struct range_list *range_list_union(struct range_list *one, struct range_list *two)
 320 {
 321         struct data_range *tmp;
 322         struct range_list *ret = NULL;
 323
 324         FOR_EACH_PTR(one, tmp) {
 325                 add_range(&ret, tmp->min, tmp->max);
 326         } END_FOR_EACH_PTR(tmp);
 327         FOR_EACH_PTR(two, tmp) {
 328                 add_range(&ret, tmp->min, tmp->max);
 329         } END_FOR_EACH_PTR(tmp);
 330         return ret;
 331 }
 332
 333 struct range_list *remove_range(struct range_list *list, sval_t min, sval_t max)
 334 {
 335         struct data_range *tmp;
 336         struct range_list *ret = NULL;
 337
 338         FOR_EACH_PTR(list, tmp) {
 339                 if (sval_cmp(tmp->max, min) < 0) {
 340                         add_range(&ret, tmp->min, tmp->max);
 341                         continue;
 342                 }
 343                 if (sval_cmp(tmp->min, max) > 0) {
 344                         add_range(&ret, tmp->min, tmp->max);
 345                         continue;
 346                 }
 347                 if (sval_cmp(tmp->min, min) >= 0 && sval_cmp(tmp->max, max) <= 0)
 348                         continue;
 349                 if (sval_cmp(tmp->min, min) >= 0) {
 350                         max.value++;
 351                         add_range(&ret, max, tmp->max);
 352                 } else if (sval_cmp(tmp->max, max) <= 0) {
 353                         min.value--;
 354                         add_range(&ret, tmp->min, min);
 355                 } else {
 356                         min.value--;
 357                         max.value++;
 358                         add_range(&ret, tmp->min, min);
 359                         add_range(&ret, max, tmp->max);
 360                 }
 361         } END_FOR_EACH_PTR(tmp);
 362         return ret;
 363 }
 364
 365 int ranges_equiv(struct data_range *one, struct data_range *two)
 366 {
 367         if (!one && !two)
 368                 return 1;
 369         if (!one || !two)
 370                 return 0;
 371         if (sval_cmp(one->min, two->min) != 0)
 372                 return 0;
 373         if (sval_cmp(one->max, two->max) != 0)
 374                 return 0;
 375         return 1;
 376 }
 377
 378 int range_lists_equiv(struct range_list *one, struct range_list *two)
 379 {
 380         struct data_range *one_range;
 381         struct data_range *two_range;
 382
 383         PREPARE_PTR_LIST(one, one_range);
 384         PREPARE_PTR_LIST(two, two_range);
 385         for (;;) {
 386                 if (!one_range && !two_range)
 387                         return 1;
 388                 if (!ranges_equiv(one_range, two_range))
 389                         return 0;
 390                 NEXT_PTR_LIST(one_range);
 391                 NEXT_PTR_LIST(two_range);
 392         }
 393         FINISH_PTR_LIST(two_range);
 394         FINISH_PTR_LIST(one_range);
 395
 396         return 1;
 397 }
 398
 399 int true_comparison_range(struct data_range *left, int comparison, struct data_range *right)
 400 {
 401         switch (comparison) {
 402         case '<':
 403         case SPECIAL_UNSIGNED_LT:
 404                 if (sval_cmp(left->min, right->max) < 0)
 405                         return 1;
 406                 return 0;
 407         case SPECIAL_UNSIGNED_LTE:
 408         case SPECIAL_LTE:
 409                 if (sval_cmp(left->min, right->max) <= 0)
 410                         return 1;
 411                 return 0;
 412         case SPECIAL_EQUAL:
 413                 if (sval_cmp(left->max, right->min) < 0)
 414                         return 0;
 415                 if (sval_cmp(left->min, right->max) > 0)
 416                         return 0;
 417                 return 1;
 418         case SPECIAL_UNSIGNED_GTE:
 419         case SPECIAL_GTE:
 420                 if (sval_cmp(left->max, right->min) >= 0)
 421                         return 1;
 422                 return 0;
 423         case '>':
 424         case SPECIAL_UNSIGNED_GT:
 425                 if (sval_cmp(left->max, right->min) > 0)
 426                         return 1;
 427                 return 0;
 428         case SPECIAL_NOTEQUAL:
 429                 if (sval_cmp(left->min, left->max) != 0)
 430                         return 1;
 431                 if (sval_cmp(right->min, right->max) != 0)
 432                         return 1;
 433                 if (sval_cmp(left->min, right->min) != 0)
 434                         return 1;
 435                 return 0;
 436         default:
 437                 sm_msg("unhandled comparison %d\n", comparison);
 438                 return 0;
 439         }
 440         return 0;
 441 }
 442
 443 int true_comparison_range_lr(int comparison, struct data_range *var, struct data_range *val, int left)
 444 {
 445         if (left)
 446                 return true_comparison_range(var, comparison, val);
 447         else
 448                 return true_comparison_range(val, comparison, var);
 449 }
 450
 451 static int false_comparison_range_sval(struct data_range *left, int comparison, struct data_range *right)
 452 {
 453         switch (comparison) {
 454         case '<':
 455         case SPECIAL_UNSIGNED_LT:
 456                 if (sval_cmp(left->max, right->min) >= 0)
 457                         return 1;
 458                 return 0;
 459         case SPECIAL_UNSIGNED_LTE:
 460         case SPECIAL_LTE:
 461                 if (sval_cmp(left->max, right->min) > 0)
 462                         return 1;
 463                 return 0;
 464         case SPECIAL_EQUAL:
 465                 if (sval_cmp(left->min, left->max) != 0)
 466                         return 1;
 467                 if (sval_cmp(right->min, right->max) != 0)
 468                         return 1;
 469                 if (sval_cmp(left->min, right->min) != 0)
 470                         return 1;
 471                 return 0;
 472         case SPECIAL_UNSIGNED_GTE:
 473         case SPECIAL_GTE:
 474                 if (sval_cmp(left->min, right->max) < 0)
 475                         return 1;
 476                 return 0;
 477         case '>':
 478         case SPECIAL_UNSIGNED_GT:
 479                 if (sval_cmp(left->min, right->max) <= 0)
 480                         return 1;
 481                 return 0;
 482         case SPECIAL_NOTEQUAL:
 483                 if (sval_cmp(left->max, right->min) < 0)
 484                         return 0;
 485                 if (sval_cmp(left->min, right->max) > 0)
 486                         return 0;
 487                 return 1;
 488         default:
 489                 sm_msg("unhandled comparison %d\n", comparison);
 490                 return 0;
 491         }
 492         return 0;
 493 }
 494
 495 int false_comparison_range_lr(int comparison, struct data_range *var, struct data_range *val, int left)
 496 {
 497         if (left)
 498                 return false_comparison_range_sval(var, comparison, val);
 499         else
 500                 return false_comparison_range_sval(val, comparison, var);
 501 }
 502
 503 int possibly_true(struct expression *left, int comparison, struct expression *right)
 504 {
 505         struct range_list *rl_left, *rl_right;
 506         struct data_range *tmp_left, *tmp_right;
 507
 508         if (!get_implied_range_list(left, &rl_left))
 509                 return 1;
 510         if (!get_implied_range_list(right, &rl_right))
 511                 return 1;
 512
 513         FOR_EACH_PTR(rl_left, tmp_left) {
 514                 FOR_EACH_PTR(rl_right, tmp_right) {
 515                         if (true_comparison_range(tmp_left, comparison, tmp_right))
 516                                 return 1;
 517                 } END_FOR_EACH_PTR(tmp_right);
 518         } END_FOR_EACH_PTR(tmp_left);
 519         return 0;
 520 }
 521
 522 int possibly_false(struct expression *left, int comparison, struct expression *right)
 523 {
 524         struct range_list *rl_left, *rl_right;
 525         struct data_range *tmp_left, *tmp_right;
 526
 527         if (!get_implied_range_list(left, &rl_left))
 528                 return 1;
 529         if (!get_implied_range_list(right, &rl_right))
 530                 return 1;
 531
 532         FOR_EACH_PTR(rl_left, tmp_left) {
 533                 FOR_EACH_PTR(rl_right, tmp_right) {
 534                         if (false_comparison_range_sval(tmp_left, comparison, tmp_right))
 535                                 return 1;
 536                 } END_FOR_EACH_PTR(tmp_right);
 537         } END_FOR_EACH_PTR(tmp_left);
 538         return 0;
 539 }
 540
 541 int possibly_true_range_lists(struct range_list *left_ranges, int comparison, struct range_list *right_ranges)
 542 {
 543         struct data_range *left_tmp, *right_tmp;
 544
 545         if (!left_ranges || !right_ranges)
 546                 return 1;
 547
 548         FOR_EACH_PTR(left_ranges, left_tmp) {
 549                 FOR_EACH_PTR(right_ranges, right_tmp) {
 550                         if (true_comparison_range(left_tmp, comparison, right_tmp))
 551                                 return 1;
 552                 } END_FOR_EACH_PTR(right_tmp);
 553         } END_FOR_EACH_PTR(left_tmp);
 554         return 0;
 555 }
 556
 557 int possibly_false_range_lists(struct range_list *left_ranges, int comparison, struct range_list *right_ranges)
 558 {
 559         struct data_range *left_tmp, *right_tmp;
 560
 561         if (!left_ranges || !right_ranges)
 562                 return 1;
 563
 564         FOR_EACH_PTR(left_ranges, left_tmp) {
 565                 FOR_EACH_PTR(right_ranges, right_tmp) {
 566                         if (false_comparison_range_sval(left_tmp, comparison, right_tmp))
 567                                 return 1;
 568                 } END_FOR_EACH_PTR(right_tmp);
 569         } END_FOR_EACH_PTR(left_tmp);
 570         return 0;
 571 }
 572
 573 /* FIXME: the _rl here stands for right left so really it should be _lr */
 574 int possibly_true_range_lists_lr(int comparison, struct range_list *a, struct range_list *b, int left)
 575 {
 576         if (left)
 577                 return possibly_true_range_lists(a, comparison, b);
 578         else
 579                 return possibly_true_range_lists(b, comparison, a);
 580 }
 581
 582 int possibly_false_range_lists_lr(int comparison, struct range_list *a, struct range_list *b, int left)
 583 {
 584         if (left)
 585                 return possibly_false_range_lists(a, comparison, b);
 586         else
 587                 return possibly_false_range_lists(b, comparison, a);
 588 }
 589
 590 void tack_on(struct range_list **list, struct data_range *drange)
 591 {
 592         add_ptr_list(list, drange);
 593 }
 594
 595 void push_range_list(struct range_list_stack **rl_stack, struct range_list *rl)
 596 {
 597         add_ptr_list(rl_stack, rl);
 598 }
 599
 600 struct range_list *pop_range_list(struct range_list_stack **rl_stack)
 601 {
 602         struct range_list *rl;
 603
 604         rl = last_ptr_list((struct ptr_list *)*rl_stack);
 605         delete_ptr_list_last((struct ptr_list **)rl_stack);
 606         return rl;
 607 }
 608
 609 struct range_list *top_range_list(struct range_list_stack *rl_stack)
 610 {
 611         struct range_list *rl;
 612
 613         rl = last_ptr_list((struct ptr_list *)rl_stack);
 614         return rl;
 615 }
 616
 617 void filter_top_range_list(struct range_list_stack **rl_stack, sval_t sval)
 618 {
 619         struct range_list *rl;
 620
 621         rl = pop_range_list(rl_stack);
 622         rl = remove_range(rl, sval, sval);
 623         push_range_list(rl_stack, rl);
 624 }
 625
 626 struct range_list *cast_rl(struct symbol *type, struct range_list *rl)
 627 {
 628         struct data_range *tmp;
 629         struct data_range *new;
 630         struct range_list *ret = NULL;
 631         int set_min, set_max;
 632
 633         if (!rl)
 634                 return NULL;
 635
 636         if (!type)
 637                 return clone_range_list(rl);
 638
 639         if (sval_cmp(rl_min(rl), rl_max(rl)) == 0) {
 640                 sval_t sval = sval_cast(type, rl_min(rl));
 641                 return alloc_range_list(sval, sval);
 642         }
 643
 644         set_max = 0;
 645         if (type_unsigned(type) && sval_cmp_val(rl_min(rl), 0) < 0)
 646                 set_max = 1;
 647
 648         set_min = 0;
 649         if (type_signed(type) && sval_cmp(rl_max(rl), sval_type_max(type)) > 0)
 650                 set_min = 1;
 651
 652         if (sval_positive_bits(rl_max(rl)) > type_positive_bits(type) &&
 653             sval_cmp(rl_max(rl), sval_type_max(type)) > 0)
 654                 set_max = 1;
 655
 656         FOR_EACH_PTR(rl, tmp) {
 657                 sval_t min, max;
 658
 659                 min = tmp->min;
 660                 max = tmp->max;
 661
 662                 if (sval_cmp_t(type, max, sval_type_min(type)) < 0)
 663                         continue;
 664                 if (sval_cmp_t(type, min, sval_type_max(type)) > 0)
 665                         continue;
 666                 if (sval_cmp_val(min, 0) < 0 && type_unsigned(type))
 667                         min.value = 0;
 668                 new = alloc_range(sval_cast(type, min), sval_cast(type, max));
 669                 add_ptr_list(&ret, new);
 670         } END_FOR_EACH_PTR(tmp);
 671
 672         if (!ret)
 673                 return whole_range_list(type);
 674
 675         if (set_min) {
 676                 tmp = first_ptr_list((struct ptr_list *)ret);
 677                 tmp->min = sval_type_min(type);
 678         }
 679         if (set_max) {
 680                 tmp = last_ptr_list((struct ptr_list *)ret);
 681                 tmp->max = sval_type_max(type);
 682         }
 683
 684         return ret;
 685 }
 686
 687 void free_range_list(struct range_list **rlist)
 688 {
 689         __free_ptr_list((struct ptr_list **)rlist);
 690 }
 691
 692 static void free_single_dinfo(struct data_info *dinfo)
 693 {
 694         if (dinfo->type == DATA_RANGE)
 695                 free_range_list(&dinfo->value_ranges);
 696 }
 697
 698 static void free_dinfos(struct allocation_blob *blob)
 699 {
 700         unsigned int size = sizeof(struct data_info);
 701         unsigned int offset = 0;
 702
 703         while (offset < blob->offset) {
 704                 free_single_dinfo((struct data_info *)(blob->data + offset));
 705                 offset += size;
 706         }
 707 }
 708
 709 void free_data_info_allocs(void)
 710 {
 711         struct allocator_struct *desc = &data_info_allocator;
 712         struct allocation_blob *blob = desc->blobs;
 713
 714         desc->blobs = NULL;
 715         desc->allocations = 0;
 716         desc->total_bytes = 0;
 717         desc->useful_bytes = 0;
 718         desc->freelist = NULL;
 719         while (blob) {
 720                 struct allocation_blob *next = blob->next;
 721                 free_dinfos(blob);
 722                 blob_free(blob, desc->chunking);
 723                 blob = next;
 724         }
 725         clear_data_range_alloc();
 726 }
 727