203                                       CostInterval* const interval) {  in CostIntervalAddToFreeList()  argument
204   interval->next_ = manager->free_intervals_;  in CostIntervalAddToFreeList()
205   manager->free_intervals_ = interval;  in CostIntervalAddToFreeList()
209                                     const CostInterval* const interval) {  in CostIntervalIsInFreeList()  argument
210   return (interval >= &manager->intervals_[0] &&  in CostIntervalIsInFreeList()
211           interval <= &manager->intervals_[COST_MANAGER_MAX_FREE_LIST - 1]);  in CostIntervalIsInFreeList()
223                                const CostInterval* interval) {  in DeleteIntervalList()  argument
224   while (interval != NULL) {  in DeleteIntervalList()
225     const CostInterval* const next = interval->next_;  in DeleteIntervalList()
226     if (!CostIntervalIsInFreeList(manager, interval)) {  in DeleteIntervalList()
227       WebPSafeFree((void*)interval);  in DeleteIntervalList()
229     interval = next;  in DeleteIntervalList()
356                                     CostInterval* const interval) {  in PopInterval()  argument
357   if (interval == NULL) return;  in PopInterval()
359   ConnectIntervals(manager, interval->previous_, interval->next_);  in PopInterval()
360   if (CostIntervalIsInFreeList(manager, interval)) {  in PopInterval()
361     CostIntervalAddToFreeList(manager, interval);  in PopInterval()
363     interval->next_ = manager->recycled_intervals_;  in PopInterval()
364     manager->recycled_intervals_ = interval;  in PopInterval()
463   CostInterval* interval = manager->head_;  in PushInterval()  local
497     for (; interval != NULL && interval->start_ < end;  in PushInterval()
498          interval = interval_next) {  in PushInterval()
499       interval_next = interval->next_;  in PushInterval()
502       if (start >= interval->end_) continue;  in PushInterval()
504       if (cost >= interval->cost_) {  in PushInterval()
512         const int start_new = interval->end_;  in PushInterval()
513         InsertInterval(manager, interval, cost, position, start,  in PushInterval()
514                        interval->start_);  in PushInterval()
520       if (start <= interval->start_) {  in PushInterval()
521         if (interval->end_ <= end) {  in PushInterval()
527           PopInterval(manager, interval);  in PushInterval()
533           interval->start_ = end;  in PushInterval()
537         if (end < interval->end_) {  in PushInterval()
543           const int end_original = interval->end_;  in PushInterval()
544           interval->end_ = start;  in PushInterval()
545           InsertInterval(manager, interval, interval->cost_, interval->index_,  in PushInterval()
547           interval = interval->next_;  in PushInterval()
554           interval->end_ = start;  in PushInterval()
559     InsertInterval(manager, interval, cost, position, start, end);  in PushInterval()