ulib/region-alloc/region-alloc.cpp

29     ZX_DEBUG_ASSERT(allocated_regions_by_base_.is_empty());
33     ZX_DEBUG_ASSERT(avail_regions_by_base_.size() == avail_regions_by_size_.size());
37     ZX_DEBUG_ASSERT((region_pool_ != nullptr) ||
50     ZX_DEBUG_ASSERT((region_pool_ != nullptr) || avail_regions_by_base_.is_empty());
58     ZX_DEBUG_ASSERT(avail_regions_by_base_.is_empty());
59     ZX_DEBUG_ASSERT(avail_regions_by_size_.is_empty());
136                 ZX_DEBUG_ASSERT(region_pool_ != nullptr);
170                 ZX_DEBUG_ASSERT(region_end < before_end);
182             ZX_DEBUG_ASSERT(region.base != before->base);
183             ZX_DEBUG_ASSERT(region_end == before_end);
207         ZX_DEBUG_ASSERT(region.base >= before->base);
208         ZX_DEBUG_ASSERT(region_end  >  before_end);
219                 ZX_DEBUG_ASSERT(region_pool_ != nullptr);
230             ZX_DEBUG_ASSERT(region.size > 0);
243         ZX_DEBUG_ASSERT(after->base > region.base);
271         ZX_DEBUG_ASSERT(region_pool_ != nullptr);
281     ZX_DEBUG_ASSERT(avail_regions_by_base_.size() == avail_regions_by_size_.size());
312         ZX_DEBUG_ASSERT(iter->size >= size);
369     ZX_DEBUG_ASSERT(iter->size > 0);
370     ZX_DEBUG_ASSERT(iter->base <= base);
405     ZX_DEBUG_ASSERT(region != nullptr);
411     ZX_DEBUG_ASSERT(region->ns_tree_sort_by_base_.InContainer());
412     ZX_DEBUG_ASSERT(!region->ns_tree_sort_by_size_.InContainer());
422     ZX_DEBUG_ASSERT(out_region == nullptr);
423     ZX_DEBUG_ASSERT(source.IsValid());
424     ZX_DEBUG_ASSERT(base >= source->base);
425     ZX_DEBUG_ASSERT(size <= source->size);
428     ZX_DEBUG_ASSERT(overhead < source->size);
431     ZX_DEBUG_ASSERT(leftover >= overhead);
495             ZX_DEBUG_ASSERT(region_pool_ != nullptr);
521     ZX_DEBUG_ASSERT(!region->ns_tree_sort_by_base_.InContainer());
522     ZX_DEBUG_ASSERT(!region->ns_tree_sort_by_size_.InContainer());
523     ZX_DEBUG_ASSERT(!IntersectsLocked(allocated_regions_by_base_, *region));
524     ZX_DEBUG_ASSERT(allow_overlap || !IntersectsLocked(avail_regions_by_base_, *region));
534         ZX_DEBUG_ASSERT(before->base <= region->base);
543             ZX_DEBUG_ASSERT(region_pool_ != nullptr);
551         ZX_DEBUG_ASSERT(region->base < after->base);
562         ZX_DEBUG_ASSERT(region_pool_ != nullptr);