Home | History | Annotate | Line # | Download | only in common
      1 // SPDX-License-Identifier: 0BSD
      2 
      3 ///////////////////////////////////////////////////////////////////////////////
      4 //
      5 /// \file       index.c
      6 /// \brief      Handling of .xz Indexes and some other Stream information
      7 //
      8 //  Author:     Lasse Collin
      9 //
     10 ///////////////////////////////////////////////////////////////////////////////
     11 
     12 #include "common.h"
     13 #include "index.h"
     14 #include "stream_flags_common.h"
     15 
     16 
     17 /// \brief      How many Records to allocate at once
     18 ///
     19 /// This should be big enough to avoid making lots of tiny allocations
     20 /// but small enough to avoid too much unused memory at once.
     21 #define INDEX_GROUP_SIZE 512
     22 
     23 
     24 /// \brief      How many Records can be allocated at once at maximum
     25 #define PREALLOC_MAX ((SIZE_MAX - sizeof(index_group)) / sizeof(index_record))
     26 
     27 
     28 /// \brief      Base structure for index_stream and index_group structures
     29 typedef struct index_tree_node_s index_tree_node;
     30 struct index_tree_node_s {
     31 	/// Uncompressed start offset of this Stream (relative to the
     32 	/// beginning of the file) or Block (relative to the beginning
     33 	/// of the Stream)
     34 	lzma_vli uncompressed_base;
     35 
     36 	/// Compressed start offset of this Stream or Block
     37 	lzma_vli compressed_base;
     38 
     39 	index_tree_node *parent;
     40 	index_tree_node *left;
     41 	index_tree_node *right;
     42 };
     43 
     44 
     45 /// \brief      AVL tree to hold index_stream or index_group structures
     46 typedef struct {
     47 	/// Root node
     48 	index_tree_node *root;
     49 
     50 	/// Leftmost node. Since the tree will be filled sequentially,
     51 	/// this won't change after the first node has been added to
     52 	/// the tree.
     53 	index_tree_node *leftmost;
     54 
     55 	/// The rightmost node in the tree. Since the tree is filled
     56 	/// sequentially, this is always the node where to add the new data.
     57 	index_tree_node *rightmost;
     58 
     59 	/// Number of nodes in the tree
     60 	uint32_t count;
     61 
     62 } index_tree;
     63 
     64 
     65 typedef struct {
     66 	lzma_vli uncompressed_sum;
     67 	lzma_vli unpadded_sum;
     68 } index_record;
     69 
     70 
     71 typedef struct {
     72 	/// Every Record group is part of index_stream.groups tree.
     73 	index_tree_node node;
     74 
     75 	/// Number of Blocks in this Stream before this group.
     76 	lzma_vli number_base;
     77 
     78 	/// Number of Records that can be put in records[].
     79 	size_t allocated;
     80 
     81 	/// Index of the last Record in use.
     82 	size_t last;
     83 
     84 	/// The sizes in this array are stored as cumulative sums relative
     85 	/// to the beginning of the Stream. This makes it possible to
     86 	/// use binary search in lzma_index_locate().
     87 	///
     88 	/// Note that the cumulative summing is done specially for
     89 	/// unpadded_sum: The previous value is rounded up to the next
     90 	/// multiple of four before adding the Unpadded Size of the new
     91 	/// Block. The total encoded size of the Blocks in the Stream
     92 	/// is records[last].unpadded_sum in the last Record group of
     93 	/// the Stream.
     94 	///
     95 	/// For example, if the Unpadded Sizes are 39, 57, and 81, the
     96 	/// stored values are 39, 97 (40 + 57), and 181 (100 + 181).
     97 	/// The total encoded size of these Blocks is 184.
     98 	///
     99 	/// This is a flexible array, because it makes easy to optimize
    100 	/// memory usage in case someone concatenates many Streams that
    101 	/// have only one or few Blocks.
    102 	index_record records[];
    103 
    104 } index_group;
    105 
    106 
    107 typedef struct {
    108 	/// Every index_stream is a node in the tree of Streams.
    109 	index_tree_node node;
    110 
    111 	/// Number of this Stream (first one is 1)
    112 	uint32_t number;
    113 
    114 	/// Total number of Blocks before this Stream
    115 	lzma_vli block_number_base;
    116 
    117 	/// Record groups of this Stream are stored in a tree.
    118 	/// It's a T-tree with AVL-tree balancing. There are
    119 	/// INDEX_GROUP_SIZE Records per node by default.
    120 	/// This keeps the number of memory allocations reasonable
    121 	/// and finding a Record is fast.
    122 	index_tree groups;
    123 
    124 	/// Number of Records in this Stream
    125 	lzma_vli record_count;
    126 
    127 	/// Size of the List of Records field in this Stream. This is used
    128 	/// together with record_count to calculate the size of the Index
    129 	/// field and thus the total size of the Stream.
    130 	lzma_vli index_list_size;
    131 
    132 	/// Stream Flags of this Stream. This is meaningful only if
    133 	/// the Stream Flags have been told us with lzma_index_stream_flags().
    134 	/// Initially stream_flags.version is set to UINT32_MAX to indicate
    135 	/// that the Stream Flags are unknown.
    136 	lzma_stream_flags stream_flags;
    137 
    138 	/// Amount of Stream Padding after this Stream. This defaults to
    139 	/// zero and can be set with lzma_index_stream_padding().
    140 	lzma_vli stream_padding;
    141 
    142 } index_stream;
    143 
    144 
    145 struct lzma_index_s {
    146 	/// AVL-tree containing the Stream(s). Often there is just one
    147 	/// Stream, but using a tree keeps lookups fast even when there
    148 	/// are many concatenated Streams.
    149 	index_tree streams;
    150 
    151 	/// Uncompressed size of all the Blocks in the Stream(s)
    152 	lzma_vli uncompressed_size;
    153 
    154 	/// Total size of all the Blocks in the Stream(s)
    155 	lzma_vli total_size;
    156 
    157 	/// Total number of Records in all Streams in this lzma_index
    158 	lzma_vli record_count;
    159 
    160 	/// Size of the List of Records field if all the Streams in this
    161 	/// lzma_index were packed into a single Stream (makes it simpler to
    162 	/// take many .xz files and combine them into a single Stream).
    163 	///
    164 	/// This value together with record_count is needed to calculate
    165 	/// Backward Size that is stored into Stream Footer.
    166 	lzma_vli index_list_size;
    167 
    168 	/// How many Records to allocate at once in lzma_index_append().
    169 	/// This defaults to INDEX_GROUP_SIZE but can be overridden with
    170 	/// lzma_index_prealloc().
    171 	size_t prealloc;
    172 
    173 	/// Bitmask indicating what integrity check types have been used
    174 	/// as set by lzma_index_stream_flags(). The bit of the last Stream
    175 	/// is not included here, since it is possible to change it by
    176 	/// calling lzma_index_stream_flags() again.
    177 	uint32_t checks;
    178 };
    179 
    180 
    181 static void
    182 index_tree_init(index_tree *tree)
    183 {
    184 	tree->root = NULL;
    185 	tree->leftmost = NULL;
    186 	tree->rightmost = NULL;
    187 	tree->count = 0;
    188 	return;
    189 }
    190 
    191 
    192 /// Helper for index_tree_end()
    193 static void
    194 index_tree_node_end(index_tree_node *node, const lzma_allocator *allocator,
    195 		void (*free_func)(void *node, const lzma_allocator *allocator))
    196 {
    197 	// The tree won't ever be very huge, so recursion should be fine.
    198 	// 20 levels in the tree is likely quite a lot already in practice.
    199 	if (node->left != NULL)
    200 		index_tree_node_end(node->left, allocator, free_func);
    201 
    202 	if (node->right != NULL)
    203 		index_tree_node_end(node->right, allocator, free_func);
    204 
    205 	free_func(node, allocator);
    206 	return;
    207 }
    208 
    209 
    210 /// Free the memory allocated for a tree. Each node is freed using the
    211 /// given free_func which is either &lzma_free or &index_stream_end.
    212 /// The latter is used to free the Record groups from each index_stream
    213 /// before freeing the index_stream itself.
    214 static void
    215 index_tree_end(index_tree *tree, const lzma_allocator *allocator,
    216 		void (*free_func)(void *node, const lzma_allocator *allocator))
    217 {
    218 	assert(free_func != NULL);
    219 
    220 	if (tree->root != NULL)
    221 		index_tree_node_end(tree->root, allocator, free_func);
    222 
    223 	return;
    224 }
    225 
    226 
    227 /// Add a new node to the tree. node->uncompressed_base and
    228 /// node->compressed_base must have been set by the caller already.
    229 static void
    230 index_tree_append(index_tree *tree, index_tree_node *node)
    231 {
    232 	node->parent = tree->rightmost;
    233 	node->left = NULL;
    234 	node->right = NULL;
    235 
    236 	++tree->count;
    237 
    238 	// Handle the special case of adding the first node.
    239 	if (tree->root == NULL) {
    240 		tree->root = node;
    241 		tree->leftmost = node;
    242 		tree->rightmost = node;
    243 		return;
    244 	}
    245 
    246 	// The tree is always filled sequentially.
    247 	assert(tree->rightmost->uncompressed_base <= node->uncompressed_base);
    248 	assert(tree->rightmost->compressed_base < node->compressed_base);
    249 
    250 	// Add the new node after the rightmost node. It's the correct
    251 	// place due to the reason above.
    252 	tree->rightmost->right = node;
    253 	tree->rightmost = node;
    254 
    255 	// Balance the AVL-tree if needed. We don't need to keep the balance
    256 	// factors in nodes, because we always fill the tree sequentially,
    257 	// and thus know the state of the tree just by looking at the node
    258 	// count. From the node count we can calculate how many steps to go
    259 	// up in the tree to find the rotation root.
    260 	uint32_t up = tree->count ^ (UINT32_C(1) << bsr32(tree->count));
    261 	if (up != 0) {
    262 		// Locate the root node for the rotation.
    263 		up = ctz32(tree->count) + 2;
    264 		do {
    265 			node = node->parent;
    266 		} while (--up > 0);
    267 
    268 		// Rotate left using node as the rotation root.
    269 		index_tree_node *pivot = node->right;
    270 
    271 		if (node->parent == NULL) {
    272 			tree->root = pivot;
    273 		} else {
    274 			assert(node->parent->right == node);
    275 			node->parent->right = pivot;
    276 		}
    277 
    278 		pivot->parent = node->parent;
    279 
    280 		node->right = pivot->left;
    281 		if (node->right != NULL)
    282 			node->right->parent = node;
    283 
    284 		pivot->left = node;
    285 		node->parent = pivot;
    286 	}
    287 
    288 	return;
    289 }
    290 
    291 
    292 /// Get the next node in the tree. Return NULL if there are no more nodes.
    293 static void *
    294 index_tree_next(const index_tree_node *node)
    295 {
    296 	if (node->right != NULL) {
    297 		node = node->right;
    298 		while (node->left != NULL)
    299 			node = node->left;
    300 
    301 		return (void *)(node);
    302 	}
    303 
    304 	while (node->parent != NULL && node->parent->right == node)
    305 		node = node->parent;
    306 
    307 	return (void *)(node->parent);
    308 }
    309 
    310 
    311 /// Locate a node that contains the given uncompressed offset. It is
    312 /// caller's job to check that target is not bigger than the uncompressed
    313 /// size of the tree (the last node would be returned in that case still).
    314 static void *
    315 index_tree_locate(const index_tree *tree, lzma_vli target)
    316 {
    317 	const index_tree_node *result = NULL;
    318 	const index_tree_node *node = tree->root;
    319 
    320 	assert(tree->leftmost == NULL
    321 			|| tree->leftmost->uncompressed_base == 0);
    322 
    323 	// Consecutive nodes may have the same uncompressed_base.
    324 	// We must pick the rightmost one.
    325 	while (node != NULL) {
    326 		if (node->uncompressed_base > target) {
    327 			node = node->left;
    328 		} else {
    329 			result = node;
    330 			node = node->right;
    331 		}
    332 	}
    333 
    334 	return (void *)(result);
    335 }
    336 
    337 
    338 /// Allocate and initialize a new Stream using the given base offsets.
    339 static index_stream *
    340 index_stream_init(lzma_vli compressed_base, lzma_vli uncompressed_base,
    341 		uint32_t stream_number, lzma_vli block_number_base,
    342 		const lzma_allocator *allocator)
    343 {
    344 	index_stream *s = lzma_alloc(sizeof(index_stream), allocator);
    345 	if (s == NULL)
    346 		return NULL;
    347 
    348 	s->node.uncompressed_base = uncompressed_base;
    349 	s->node.compressed_base = compressed_base;
    350 	s->node.parent = NULL;
    351 	s->node.left = NULL;
    352 	s->node.right = NULL;
    353 
    354 	s->number = stream_number;
    355 	s->block_number_base = block_number_base;
    356 
    357 	index_tree_init(&s->groups);
    358 
    359 	s->record_count = 0;
    360 	s->index_list_size = 0;
    361 	s->stream_flags.version = UINT32_MAX;
    362 	s->stream_padding = 0;
    363 
    364 	return s;
    365 }
    366 
    367 
    368 /// Free the memory allocated for a Stream and its Record groups.
    369 static void
    370 index_stream_end(void *node, const lzma_allocator *allocator)
    371 {
    372 	index_stream *s = node;
    373 	index_tree_end(&s->groups, allocator, &lzma_free);
    374 	lzma_free(s, allocator);
    375 	return;
    376 }
    377 
    378 
    379 static lzma_index *
    380 index_init_plain(const lzma_allocator *allocator)
    381 {
    382 	lzma_index *i = lzma_alloc(sizeof(lzma_index), allocator);
    383 	if (i != NULL) {
    384 		index_tree_init(&i->streams);
    385 		i->uncompressed_size = 0;
    386 		i->total_size = 0;
    387 		i->record_count = 0;
    388 		i->index_list_size = 0;
    389 		i->prealloc = INDEX_GROUP_SIZE;
    390 		i->checks = 0;
    391 	}
    392 
    393 	return i;
    394 }
    395 
    396 
    397 extern LZMA_API(lzma_index *)
    398 lzma_index_init(const lzma_allocator *allocator)
    399 {
    400 	lzma_index *i = index_init_plain(allocator);
    401 	if (i == NULL)
    402 		return NULL;
    403 
    404 	index_stream *s = index_stream_init(0, 0, 1, 0, allocator);
    405 	if (s == NULL) {
    406 		lzma_free(i, allocator);
    407 		return NULL;
    408 	}
    409 
    410 	index_tree_append(&i->streams, &s->node);
    411 
    412 	return i;
    413 }
    414 
    415 
    416 extern LZMA_API(void)
    417 lzma_index_end(lzma_index *i, const lzma_allocator *allocator)
    418 {
    419 	// NOTE: If you modify this function, check also the bottom
    420 	// of lzma_index_cat().
    421 	if (i != NULL) {
    422 		index_tree_end(&i->streams, allocator, &index_stream_end);
    423 		lzma_free(i, allocator);
    424 	}
    425 
    426 	return;
    427 }
    428 
    429 
    430 extern void
    431 lzma_index_prealloc(lzma_index *i, lzma_vli records)
    432 {
    433 	if (records > PREALLOC_MAX)
    434 		records = PREALLOC_MAX;
    435 
    436 	// If index_decoder.c calls us with records == 0, it's decoding
    437 	// an Index that has no Records. In that case the decoder won't call
    438 	// lzma_index_append() at all, and i->prealloc isn't used during
    439 	// the Index decoding either.
    440 	//
    441 	// Normally the first lzma_index_append() call from the Index decoder
    442 	// would reset i->prealloc to INDEX_GROUP_SIZE. With no Records,
    443 	// lzma_index_append() isn't called and the resetting of prealloc
    444 	// won't occur either. Thus, if records == 0, use the default value
    445 	// INDEX_GROUP_SIZE instead.
    446 	//
    447 	// NOTE: lzma_index_append() assumes i->prealloc > 0. liblzma <= 5.8.2
    448 	// didn't have this check and could set i->prealloc = 0, which would
    449 	// result in a buffer overflow if the application called
    450 	// lzma_index_append() after decoding an empty Index. Appending
    451 	// Records after decoding an Index is a rare thing to do, but
    452 	// it is supposed to work.
    453 	if (records == 0)
    454 		records = INDEX_GROUP_SIZE;
    455 
    456 	i->prealloc = (size_t)(records);
    457 	return;
    458 }
    459 
    460 
    461 extern LZMA_API(uint64_t)
    462 lzma_index_memusage(lzma_vli streams, lzma_vli blocks)
    463 {
    464 	// This calculates an upper bound that is only a little bit
    465 	// bigger than the exact maximum memory usage with the given
    466 	// parameters.
    467 
    468 	// Typical malloc() overhead is 2 * sizeof(void *) but we take
    469 	// a little bit extra just in case. Using LZMA_MEMUSAGE_BASE
    470 	// instead would give too inaccurate estimate.
    471 	const size_t alloc_overhead = 4 * sizeof(void *);
    472 
    473 	// Amount of memory needed for each Stream base structures.
    474 	// We assume that every Stream has at least one Block and
    475 	// thus at least one group.
    476 	const size_t stream_base = sizeof(index_stream)
    477 			+ sizeof(index_group) + 2 * alloc_overhead;
    478 
    479 	// Amount of memory needed per group.
    480 	const size_t group_base = sizeof(index_group)
    481 			+ INDEX_GROUP_SIZE * sizeof(index_record)
    482 			+ alloc_overhead;
    483 
    484 	// Number of groups. There may actually be more, but that overhead
    485 	// has been taken into account in stream_base already.
    486 	const lzma_vli groups
    487 			= (blocks + INDEX_GROUP_SIZE - 1) / INDEX_GROUP_SIZE;
    488 
    489 	// Memory used by index_stream and index_group structures.
    490 	const uint64_t streams_mem = streams * stream_base;
    491 	const uint64_t groups_mem = groups * group_base;
    492 
    493 	// Memory used by the base structure.
    494 	const uint64_t index_base = sizeof(lzma_index) + alloc_overhead;
    495 
    496 	// Validate the arguments and catch integer overflows.
    497 	// Maximum number of Streams is "only" UINT32_MAX, because
    498 	// that limit is used by the tree containing the Streams.
    499 	const uint64_t limit = UINT64_MAX - index_base;
    500 	if (streams == 0 || streams > UINT32_MAX || blocks > LZMA_VLI_MAX
    501 			|| streams > limit / stream_base
    502 			|| groups > limit / group_base
    503 			|| limit - streams_mem < groups_mem)
    504 		return UINT64_MAX;
    505 
    506 	return index_base + streams_mem + groups_mem;
    507 }
    508 
    509 
    510 extern LZMA_API(uint64_t)
    511 lzma_index_memused(const lzma_index *i)
    512 {
    513 	return lzma_index_memusage(i->streams.count, i->record_count);
    514 }
    515 
    516 
    517 extern LZMA_API(lzma_vli)
    518 lzma_index_block_count(const lzma_index *i)
    519 {
    520 	return i->record_count;
    521 }
    522 
    523 
    524 extern LZMA_API(lzma_vli)
    525 lzma_index_stream_count(const lzma_index *i)
    526 {
    527 	return i->streams.count;
    528 }
    529 
    530 
    531 extern LZMA_API(lzma_vli)
    532 lzma_index_size(const lzma_index *i)
    533 {
    534 	return index_size(i->record_count, i->index_list_size);
    535 }
    536 
    537 
    538 extern LZMA_API(lzma_vli)
    539 lzma_index_total_size(const lzma_index *i)
    540 {
    541 	return i->total_size;
    542 }
    543 
    544 
    545 extern LZMA_API(lzma_vli)
    546 lzma_index_stream_size(const lzma_index *i)
    547 {
    548 	// Stream Header + Blocks + Index + Stream Footer
    549 	return LZMA_STREAM_HEADER_SIZE + i->total_size
    550 			+ index_size(i->record_count, i->index_list_size)
    551 			+ LZMA_STREAM_HEADER_SIZE;
    552 }
    553 
    554 
    555 static lzma_vli
    556 index_file_size(lzma_vli compressed_base, lzma_vli unpadded_sum,
    557 		lzma_vli record_count, lzma_vli index_list_size,
    558 		lzma_vli stream_padding)
    559 {
    560 	// Earlier Streams and Stream Paddings + Stream Header
    561 	// + Blocks + Index + Stream Footer + Stream Padding
    562 	//
    563 	// This might go over LZMA_VLI_MAX due to too big unpadded_sum
    564 	// when this function is used in lzma_index_append().
    565 	lzma_vli file_size = compressed_base + 2 * LZMA_STREAM_HEADER_SIZE
    566 			+ stream_padding + vli_ceil4(unpadded_sum);
    567 	if (file_size > LZMA_VLI_MAX)
    568 		return LZMA_VLI_UNKNOWN;
    569 
    570 	// The same applies here.
    571 	file_size += index_size(record_count, index_list_size);
    572 	if (file_size > LZMA_VLI_MAX)
    573 		return LZMA_VLI_UNKNOWN;
    574 
    575 	return file_size;
    576 }
    577 
    578 
    579 extern LZMA_API(lzma_vli)
    580 lzma_index_file_size(const lzma_index *i)
    581 {
    582 	const index_stream *s = (const index_stream *)(i->streams.rightmost);
    583 	const index_group *g = (const index_group *)(s->groups.rightmost);
    584 	return index_file_size(s->node.compressed_base,
    585 			g == NULL ? 0 : g->records[g->last].unpadded_sum,
    586 			s->record_count, s->index_list_size,
    587 			s->stream_padding);
    588 }
    589 
    590 
    591 extern LZMA_API(lzma_vli)
    592 lzma_index_uncompressed_size(const lzma_index *i)
    593 {
    594 	return i->uncompressed_size;
    595 }
    596 
    597 
    598 extern LZMA_API(uint32_t)
    599 lzma_index_checks(const lzma_index *i)
    600 {
    601 	uint32_t checks = i->checks;
    602 
    603 	// Get the type of the Check of the last Stream too.
    604 	const index_stream *s = (const index_stream *)(i->streams.rightmost);
    605 	if (s->stream_flags.version != UINT32_MAX)
    606 		checks |= UINT32_C(1) << s->stream_flags.check;
    607 
    608 	return checks;
    609 }
    610 
    611 
    612 extern uint32_t
    613 lzma_index_padding_size(const lzma_index *i)
    614 {
    615 	return (LZMA_VLI_C(4) - index_size_unpadded(
    616 			i->record_count, i->index_list_size)) & 3;
    617 }
    618 
    619 
    620 extern LZMA_API(lzma_ret)
    621 lzma_index_stream_flags(lzma_index *i, const lzma_stream_flags *stream_flags)
    622 {
    623 	if (i == NULL || stream_flags == NULL)
    624 		return LZMA_PROG_ERROR;
    625 
    626 	// Validate the Stream Flags.
    627 	return_if_error(lzma_stream_flags_compare(
    628 			stream_flags, stream_flags));
    629 
    630 	index_stream *s = (index_stream *)(i->streams.rightmost);
    631 	s->stream_flags = *stream_flags;
    632 
    633 	return LZMA_OK;
    634 }
    635 
    636 
    637 extern LZMA_API(lzma_ret)
    638 lzma_index_stream_padding(lzma_index *i, lzma_vli stream_padding)
    639 {
    640 	if (i == NULL || stream_padding > LZMA_VLI_MAX
    641 			|| (stream_padding & 3) != 0)
    642 		return LZMA_PROG_ERROR;
    643 
    644 	index_stream *s = (index_stream *)(i->streams.rightmost);
    645 
    646 	// Check that the new value won't make the file grow too big.
    647 	const lzma_vli old_stream_padding = s->stream_padding;
    648 	s->stream_padding = 0;
    649 	if (lzma_index_file_size(i) + stream_padding > LZMA_VLI_MAX) {
    650 		s->stream_padding = old_stream_padding;
    651 		return LZMA_DATA_ERROR;
    652 	}
    653 
    654 	s->stream_padding = stream_padding;
    655 	return LZMA_OK;
    656 }
    657 
    658 
    659 extern LZMA_API(lzma_ret)
    660 lzma_index_append(lzma_index *i, const lzma_allocator *allocator,
    661 		lzma_vli unpadded_size, lzma_vli uncompressed_size)
    662 {
    663 	// Validate.
    664 	if (i == NULL || unpadded_size < UNPADDED_SIZE_MIN
    665 			|| unpadded_size > UNPADDED_SIZE_MAX
    666 			|| uncompressed_size > LZMA_VLI_MAX)
    667 		return LZMA_PROG_ERROR;
    668 
    669 	index_stream *s = (index_stream *)(i->streams.rightmost);
    670 	index_group *g = (index_group *)(s->groups.rightmost);
    671 
    672 	const lzma_vli compressed_base = g == NULL ? 0
    673 			: vli_ceil4(g->records[g->last].unpadded_sum);
    674 	const lzma_vli uncompressed_base = g == NULL ? 0
    675 			: g->records[g->last].uncompressed_sum;
    676 	const uint32_t index_list_size_add = lzma_vli_size(unpadded_size)
    677 			+ lzma_vli_size(uncompressed_size);
    678 
    679 	// Check that uncompressed size will not overflow.
    680 	if (uncompressed_base + uncompressed_size > LZMA_VLI_MAX)
    681 		return LZMA_DATA_ERROR;
    682 
    683 	// Check that the new unpadded sum will not overflow. This is
    684 	// checked again in index_file_size(), but the unpadded sum is
    685 	// passed to vli_ceil4() which expects a valid lzma_vli value.
    686 	if (compressed_base + unpadded_size > UNPADDED_SIZE_MAX)
    687 		return LZMA_DATA_ERROR;
    688 
    689 	// Check that the file size will stay within limits.
    690 	if (index_file_size(s->node.compressed_base,
    691 			compressed_base + unpadded_size, s->record_count + 1,
    692 			s->index_list_size + index_list_size_add,
    693 			s->stream_padding) == LZMA_VLI_UNKNOWN)
    694 		return LZMA_DATA_ERROR;
    695 
    696 	// The size of the Index field must not exceed the maximum value
    697 	// that can be stored in the Backward Size field.
    698 	if (index_size(i->record_count + 1,
    699 			i->index_list_size + index_list_size_add)
    700 			> LZMA_BACKWARD_SIZE_MAX)
    701 		return LZMA_DATA_ERROR;
    702 
    703 	if (g != NULL && g->last + 1 < g->allocated) {
    704 		// There is space in the last group at least for one Record.
    705 		++g->last;
    706 	} else {
    707 		// We need to allocate a new group.
    708 		assert(i->prealloc > 0);
    709 		g = lzma_alloc(sizeof(index_group)
    710 				+ i->prealloc * sizeof(index_record),
    711 				allocator);
    712 		if (g == NULL)
    713 			return LZMA_MEM_ERROR;
    714 
    715 		g->last = 0;
    716 		g->allocated = i->prealloc;
    717 
    718 		// Reset prealloc so that if the application happens to
    719 		// add new Records, the allocation size will be sane.
    720 		i->prealloc = INDEX_GROUP_SIZE;
    721 
    722 		// Set the start offsets of this group.
    723 		g->node.uncompressed_base = uncompressed_base;
    724 		g->node.compressed_base = compressed_base;
    725 		g->number_base = s->record_count + 1;
    726 
    727 		// Add the new group to the Stream.
    728 		index_tree_append(&s->groups, &g->node);
    729 	}
    730 
    731 	// Add the new Record to the group.
    732 	g->records[g->last].uncompressed_sum
    733 			= uncompressed_base + uncompressed_size;
    734 	g->records[g->last].unpadded_sum
    735 			= compressed_base + unpadded_size;
    736 
    737 	// Update the totals.
    738 	++s->record_count;
    739 	s->index_list_size += index_list_size_add;
    740 
    741 	i->total_size += vli_ceil4(unpadded_size);
    742 	i->uncompressed_size += uncompressed_size;
    743 	++i->record_count;
    744 	i->index_list_size += index_list_size_add;
    745 
    746 	return LZMA_OK;
    747 }
    748 
    749 
    750 /// Structure to pass info to index_cat_helper()
    751 typedef struct {
    752 	/// Uncompressed size of the destination
    753 	lzma_vli uncompressed_size;
    754 
    755 	/// Compressed file size of the destination
    756 	lzma_vli file_size;
    757 
    758 	/// Same as above but for Block numbers
    759 	lzma_vli block_number_add;
    760 
    761 	/// Number of Streams that were in the destination index before we
    762 	/// started appending new Streams from the source index. This is
    763 	/// used to fix the Stream numbering.
    764 	uint32_t stream_number_add;
    765 
    766 	/// Destination index' Stream tree
    767 	index_tree *streams;
    768 
    769 } index_cat_info;
    770 
    771 
    772 /// Add the Stream nodes from the source index to dest using recursion.
    773 /// Simplest iterative traversal of the source tree wouldn't work, because
    774 /// we update the pointers in nodes when moving them to the destination tree.
    775 static void
    776 index_cat_helper(const index_cat_info *info, index_stream *this)
    777 {
    778 	index_stream *left = (index_stream *)(this->node.left);
    779 	index_stream *right = (index_stream *)(this->node.right);
    780 
    781 	if (left != NULL)
    782 		index_cat_helper(info, left);
    783 
    784 	this->node.uncompressed_base += info->uncompressed_size;
    785 	this->node.compressed_base += info->file_size;
    786 	this->number += info->stream_number_add;
    787 	this->block_number_base += info->block_number_add;
    788 	index_tree_append(info->streams, &this->node);
    789 
    790 	if (right != NULL)
    791 		index_cat_helper(info, right);
    792 
    793 	return;
    794 }
    795 
    796 
    797 extern LZMA_API(lzma_ret)
    798 lzma_index_cat(lzma_index *restrict dest, lzma_index *restrict src,
    799 		const lzma_allocator *allocator)
    800 {
    801 	if (dest == NULL || src == NULL)
    802 		return LZMA_PROG_ERROR;
    803 
    804 	const lzma_vli dest_file_size = lzma_index_file_size(dest);
    805 
    806 	// Check that we don't exceed the file size limits.
    807 	if (dest_file_size + lzma_index_file_size(src) > LZMA_VLI_MAX
    808 			|| dest->uncompressed_size + src->uncompressed_size
    809 				> LZMA_VLI_MAX)
    810 		return LZMA_DATA_ERROR;
    811 
    812 	// Check that the encoded size of the combined lzma_indexes stays
    813 	// within limits. In theory, this should be done only if we know
    814 	// that the user plans to actually combine the Streams and thus
    815 	// construct a single Index (probably rare). However, exceeding
    816 	// this limit is quite theoretical, so we do this check always
    817 	// to simplify things elsewhere.
    818 	{
    819 		const lzma_vli dest_size = index_size_unpadded(
    820 				dest->record_count, dest->index_list_size);
    821 		const lzma_vli src_size = index_size_unpadded(
    822 				src->record_count, src->index_list_size);
    823 		if (vli_ceil4(dest_size + src_size) > LZMA_BACKWARD_SIZE_MAX)
    824 			return LZMA_DATA_ERROR;
    825 	}
    826 
    827 	// Optimize the last group to minimize memory usage. Allocation has
    828 	// to be done before modifying dest or src.
    829 	{
    830 		index_stream *s = (index_stream *)(dest->streams.rightmost);
    831 		index_group *g = (index_group *)(s->groups.rightmost);
    832 		if (g != NULL && g->last + 1 < g->allocated) {
    833 			assert(g->node.left == NULL);
    834 			assert(g->node.right == NULL);
    835 
    836 			index_group *newg = lzma_alloc(sizeof(index_group)
    837 					+ (g->last + 1)
    838 					* sizeof(index_record),
    839 					allocator);
    840 			if (newg == NULL)
    841 				return LZMA_MEM_ERROR;
    842 
    843 			newg->node = g->node;
    844 			newg->allocated = g->last + 1;
    845 			newg->last = g->last;
    846 			newg->number_base = g->number_base;
    847 
    848 			memcpy(newg->records, g->records, newg->allocated
    849 					* sizeof(index_record));
    850 
    851 			if (g->node.parent != NULL) {
    852 				assert(g->node.parent->right == &g->node);
    853 				g->node.parent->right = &newg->node;
    854 			}
    855 
    856 			if (s->groups.leftmost == &g->node) {
    857 				assert(s->groups.root == &g->node);
    858 				s->groups.leftmost = &newg->node;
    859 				s->groups.root = &newg->node;
    860 			}
    861 
    862 			assert(s->groups.rightmost == &g->node);
    863 			s->groups.rightmost = &newg->node;
    864 
    865 			lzma_free(g, allocator);
    866 
    867 			// NOTE: newg isn't leaked here because
    868 			// newg == (void *)&newg->node.
    869 		}
    870 	}
    871 
    872 	// dest->checks includes the check types of all except the last Stream
    873 	// in dest. Set the bit for the check type of the last Stream now so
    874 	// that it won't get lost when Stream(s) from src are appended to dest.
    875 	dest->checks = lzma_index_checks(dest);
    876 
    877 	// Add all the Streams from src to dest. Update the base offsets
    878 	// of each Stream from src.
    879 	const index_cat_info info = {
    880 		.uncompressed_size = dest->uncompressed_size,
    881 		.file_size = dest_file_size,
    882 		.stream_number_add = dest->streams.count,
    883 		.block_number_add = dest->record_count,
    884 		.streams = &dest->streams,
    885 	};
    886 	index_cat_helper(&info, (index_stream *)(src->streams.root));
    887 
    888 	// Update info about all the combined Streams.
    889 	dest->uncompressed_size += src->uncompressed_size;
    890 	dest->total_size += src->total_size;
    891 	dest->record_count += src->record_count;
    892 	dest->index_list_size += src->index_list_size;
    893 	dest->checks |= src->checks;
    894 
    895 	// There's nothing else left in src than the base structure.
    896 	lzma_free(src, allocator);
    897 
    898 	return LZMA_OK;
    899 }
    900 
    901 
    902 /// Duplicate an index_stream.
    903 static index_stream *
    904 index_dup_stream(const index_stream *src, const lzma_allocator *allocator)
    905 {
    906 	// Catch a somewhat theoretical integer overflow.
    907 	if (src->record_count > PREALLOC_MAX)
    908 		return NULL;
    909 
    910 	// Allocate and initialize a new Stream.
    911 	index_stream *dest = index_stream_init(src->node.compressed_base,
    912 			src->node.uncompressed_base, src->number,
    913 			src->block_number_base, allocator);
    914 	if (dest == NULL)
    915 		return NULL;
    916 
    917 	// Copy the overall information.
    918 	dest->record_count = src->record_count;
    919 	dest->index_list_size = src->index_list_size;
    920 	dest->stream_flags = src->stream_flags;
    921 	dest->stream_padding = src->stream_padding;
    922 
    923 	// Return if there are no groups to duplicate.
    924 	if (src->groups.leftmost == NULL)
    925 		return dest;
    926 
    927 	// Allocate memory for the Records. We put all the Records into
    928 	// a single group. It's simplest and also tends to make
    929 	// lzma_index_locate() a little bit faster with very big Indexes.
    930 	index_group *destg = lzma_alloc(sizeof(index_group)
    931 			+ src->record_count * sizeof(index_record),
    932 			allocator);
    933 	if (destg == NULL) {
    934 		index_stream_end(dest, allocator);
    935 		return NULL;
    936 	}
    937 
    938 	// Initialize destg.
    939 	destg->node.uncompressed_base = 0;
    940 	destg->node.compressed_base = 0;
    941 	destg->number_base = 1;
    942 	destg->allocated = src->record_count;
    943 	destg->last = src->record_count - 1;
    944 
    945 	// Go through all the groups in src and copy the Records into destg.
    946 	const index_group *srcg = (const index_group *)(src->groups.leftmost);
    947 	size_t i = 0;
    948 	do {
    949 		memcpy(destg->records + i, srcg->records,
    950 				(srcg->last + 1) * sizeof(index_record));
    951 		i += srcg->last + 1;
    952 		srcg = index_tree_next(&srcg->node);
    953 	} while (srcg != NULL);
    954 
    955 	assert(i == destg->allocated);
    956 
    957 	// Add the group to the new Stream.
    958 	index_tree_append(&dest->groups, &destg->node);
    959 
    960 	return dest;
    961 }
    962 
    963 
    964 extern LZMA_API(lzma_index *)
    965 lzma_index_dup(const lzma_index *src, const lzma_allocator *allocator)
    966 {
    967 	// Allocate the base structure (no initial Stream).
    968 	lzma_index *dest = index_init_plain(allocator);
    969 	if (dest == NULL)
    970 		return NULL;
    971 
    972 	// Copy the totals.
    973 	dest->uncompressed_size = src->uncompressed_size;
    974 	dest->total_size = src->total_size;
    975 	dest->record_count = src->record_count;
    976 	dest->index_list_size = src->index_list_size;
    977 
    978 	// Copy the Streams and the groups in them.
    979 	const index_stream *srcstream
    980 			= (const index_stream *)(src->streams.leftmost);
    981 	do {
    982 		index_stream *deststream = index_dup_stream(
    983 				srcstream, allocator);
    984 		if (deststream == NULL) {
    985 			lzma_index_end(dest, allocator);
    986 			return NULL;
    987 		}
    988 
    989 		index_tree_append(&dest->streams, &deststream->node);
    990 
    991 		srcstream = index_tree_next(&srcstream->node);
    992 	} while (srcstream != NULL);
    993 
    994 	return dest;
    995 }
    996 
    997 
    998 /// Indexing for lzma_index_iter.internal[]
    999 enum {
   1000 	ITER_INDEX,
   1001 	ITER_STREAM,
   1002 	ITER_GROUP,
   1003 	ITER_RECORD,
   1004 	ITER_METHOD,
   1005 };
   1006 
   1007 
   1008 /// Values for lzma_index_iter.internal[ITER_METHOD].s
   1009 enum {
   1010 	ITER_METHOD_NORMAL,
   1011 	ITER_METHOD_NEXT,
   1012 	ITER_METHOD_LEFTMOST,
   1013 };
   1014 
   1015 
   1016 static void
   1017 iter_set_info(lzma_index_iter *iter)
   1018 {
   1019 	const lzma_index *i = iter->internal[ITER_INDEX].p;
   1020 	const index_stream *stream = iter->internal[ITER_STREAM].p;
   1021 	const index_group *group = iter->internal[ITER_GROUP].p;
   1022 	const size_t record = iter->internal[ITER_RECORD].s;
   1023 
   1024 	// lzma_index_iter.internal must not contain a pointer to the last
   1025 	// group in the index, because that may be reallocated by
   1026 	// lzma_index_cat().
   1027 	if (group == NULL) {
   1028 		// There are no groups.
   1029 		assert(stream->groups.root == NULL);
   1030 		iter->internal[ITER_METHOD].s = ITER_METHOD_LEFTMOST;
   1031 
   1032 	} else if (i->streams.rightmost != &stream->node
   1033 			|| stream->groups.rightmost != &group->node) {
   1034 		// The group is not not the last group in the index.
   1035 		iter->internal[ITER_METHOD].s = ITER_METHOD_NORMAL;
   1036 
   1037 	} else if (stream->groups.leftmost != &group->node) {
   1038 		// The group isn't the only group in the Stream, thus we
   1039 		// know that it must have a parent group i.e. it's not
   1040 		// the root node.
   1041 		assert(stream->groups.root != &group->node);
   1042 		assert(group->node.parent->right == &group->node);
   1043 		iter->internal[ITER_METHOD].s = ITER_METHOD_NEXT;
   1044 		iter->internal[ITER_GROUP].p = group->node.parent;
   1045 
   1046 	} else {
   1047 		// The Stream has only one group.
   1048 		assert(stream->groups.root == &group->node);
   1049 		assert(group->node.parent == NULL);
   1050 		iter->internal[ITER_METHOD].s = ITER_METHOD_LEFTMOST;
   1051 		iter->internal[ITER_GROUP].p = NULL;
   1052 	}
   1053 
   1054 	// NOTE: lzma_index_iter.stream.number is lzma_vli but we use uint32_t
   1055 	// internally.
   1056 	iter->stream.number = stream->number;
   1057 	iter->stream.block_count = stream->record_count;
   1058 	iter->stream.compressed_offset = stream->node.compressed_base;
   1059 	iter->stream.uncompressed_offset = stream->node.uncompressed_base;
   1060 
   1061 	// iter->stream.flags will be NULL if the Stream Flags haven't been
   1062 	// set with lzma_index_stream_flags().
   1063 	iter->stream.flags = stream->stream_flags.version == UINT32_MAX
   1064 			? NULL : &stream->stream_flags;
   1065 	iter->stream.padding = stream->stream_padding;
   1066 
   1067 	if (stream->groups.rightmost == NULL) {
   1068 		// Stream has no Blocks.
   1069 		iter->stream.compressed_size = index_size(0, 0)
   1070 				+ 2 * LZMA_STREAM_HEADER_SIZE;
   1071 		iter->stream.uncompressed_size = 0;
   1072 	} else {
   1073 		const index_group *g = (const index_group *)(
   1074 				stream->groups.rightmost);
   1075 
   1076 		// Stream Header + Stream Footer + Index + Blocks
   1077 		iter->stream.compressed_size = 2 * LZMA_STREAM_HEADER_SIZE
   1078 				+ index_size(stream->record_count,
   1079 					stream->index_list_size)
   1080 				+ vli_ceil4(g->records[g->last].unpadded_sum);
   1081 		iter->stream.uncompressed_size
   1082 				= g->records[g->last].uncompressed_sum;
   1083 	}
   1084 
   1085 	if (group != NULL) {
   1086 		iter->block.number_in_stream = group->number_base + record;
   1087 		iter->block.number_in_file = iter->block.number_in_stream
   1088 				+ stream->block_number_base;
   1089 
   1090 		iter->block.compressed_stream_offset
   1091 				= record == 0 ? group->node.compressed_base
   1092 				: vli_ceil4(group->records[
   1093 					record - 1].unpadded_sum);
   1094 		iter->block.uncompressed_stream_offset
   1095 				= record == 0 ? group->node.uncompressed_base
   1096 				: group->records[record - 1].uncompressed_sum;
   1097 
   1098 		iter->block.uncompressed_size
   1099 				= group->records[record].uncompressed_sum
   1100 				- iter->block.uncompressed_stream_offset;
   1101 		iter->block.unpadded_size
   1102 				= group->records[record].unpadded_sum
   1103 				- iter->block.compressed_stream_offset;
   1104 		iter->block.total_size = vli_ceil4(iter->block.unpadded_size);
   1105 
   1106 		iter->block.compressed_stream_offset
   1107 				+= LZMA_STREAM_HEADER_SIZE;
   1108 
   1109 		iter->block.compressed_file_offset
   1110 				= iter->block.compressed_stream_offset
   1111 				+ iter->stream.compressed_offset;
   1112 		iter->block.uncompressed_file_offset
   1113 				= iter->block.uncompressed_stream_offset
   1114 				+ iter->stream.uncompressed_offset;
   1115 	}
   1116 
   1117 	return;
   1118 }
   1119 
   1120 
   1121 extern LZMA_API(void)
   1122 lzma_index_iter_init(lzma_index_iter *iter, const lzma_index *i)
   1123 {
   1124 	iter->internal[ITER_INDEX].p = i;
   1125 	lzma_index_iter_rewind(iter);
   1126 	return;
   1127 }
   1128 
   1129 
   1130 extern LZMA_API(void)
   1131 lzma_index_iter_rewind(lzma_index_iter *iter)
   1132 {
   1133 	iter->internal[ITER_STREAM].p = NULL;
   1134 	iter->internal[ITER_GROUP].p = NULL;
   1135 	iter->internal[ITER_RECORD].s = 0;
   1136 	iter->internal[ITER_METHOD].s = ITER_METHOD_NORMAL;
   1137 	return;
   1138 }
   1139 
   1140 
   1141 extern LZMA_API(lzma_bool)
   1142 lzma_index_iter_next(lzma_index_iter *iter, lzma_index_iter_mode mode)
   1143 {
   1144 	// Catch unsupported mode values.
   1145 	if ((unsigned int)(mode) > LZMA_INDEX_ITER_NONEMPTY_BLOCK)
   1146 		return true;
   1147 
   1148 	const lzma_index *i = iter->internal[ITER_INDEX].p;
   1149 	const index_stream *stream = iter->internal[ITER_STREAM].p;
   1150 	const index_group *group = NULL;
   1151 	size_t record = iter->internal[ITER_RECORD].s;
   1152 
   1153 	// If we are being asked for the next Stream, leave group to NULL
   1154 	// so that the rest of the this function thinks that this Stream
   1155 	// has no groups and will thus go to the next Stream.
   1156 	if (mode != LZMA_INDEX_ITER_STREAM) {
   1157 		// Get the pointer to the current group. See iter_set_inf()
   1158 		// for explanation.
   1159 		switch (iter->internal[ITER_METHOD].s) {
   1160 		case ITER_METHOD_NORMAL:
   1161 			group = iter->internal[ITER_GROUP].p;
   1162 			break;
   1163 
   1164 		case ITER_METHOD_NEXT:
   1165 			group = index_tree_next(iter->internal[ITER_GROUP].p);
   1166 			break;
   1167 
   1168 		case ITER_METHOD_LEFTMOST:
   1169 			group = (const index_group *)(
   1170 					stream->groups.leftmost);
   1171 			break;
   1172 		}
   1173 	}
   1174 
   1175 again:
   1176 	if (stream == NULL) {
   1177 		// We at the beginning of the lzma_index.
   1178 		// Locate the first Stream.
   1179 		stream = (const index_stream *)(i->streams.leftmost);
   1180 		if (mode >= LZMA_INDEX_ITER_BLOCK) {
   1181 			// Since we are being asked to return information
   1182 			// about the first a Block, skip Streams that have
   1183 			// no Blocks.
   1184 			while (stream->groups.leftmost == NULL) {
   1185 				stream = index_tree_next(&stream->node);
   1186 				if (stream == NULL)
   1187 					return true;
   1188 			}
   1189 		}
   1190 
   1191 		// Start from the first Record in the Stream.
   1192 		group = (const index_group *)(stream->groups.leftmost);
   1193 		record = 0;
   1194 
   1195 	} else if (group != NULL && record < group->last) {
   1196 		// The next Record is in the same group.
   1197 		++record;
   1198 
   1199 	} else {
   1200 		// This group has no more Records or this Stream has
   1201 		// no Blocks at all.
   1202 		record = 0;
   1203 
   1204 		// If group is not NULL, this Stream has at least one Block
   1205 		// and thus at least one group. Find the next group.
   1206 		if (group != NULL)
   1207 			group = index_tree_next(&group->node);
   1208 
   1209 		if (group == NULL) {
   1210 			// This Stream has no more Records. Find the next
   1211 			// Stream. If we are being asked to return information
   1212 			// about a Block, we skip empty Streams.
   1213 			do {
   1214 				stream = index_tree_next(&stream->node);
   1215 				if (stream == NULL)
   1216 					return true;
   1217 			} while (mode >= LZMA_INDEX_ITER_BLOCK
   1218 					&& stream->groups.leftmost == NULL);
   1219 
   1220 			group = (const index_group *)(
   1221 					stream->groups.leftmost);
   1222 		}
   1223 	}
   1224 
   1225 	if (mode == LZMA_INDEX_ITER_NONEMPTY_BLOCK) {
   1226 		// We need to look for the next Block again if this Block
   1227 		// is empty.
   1228 		if (record == 0) {
   1229 			if (group->node.uncompressed_base
   1230 					== group->records[0].uncompressed_sum)
   1231 				goto again;
   1232 		} else if (group->records[record - 1].uncompressed_sum
   1233 				== group->records[record].uncompressed_sum) {
   1234 			goto again;
   1235 		}
   1236 	}
   1237 
   1238 	iter->internal[ITER_STREAM].p = stream;
   1239 	iter->internal[ITER_GROUP].p = group;
   1240 	iter->internal[ITER_RECORD].s = record;
   1241 
   1242 	iter_set_info(iter);
   1243 
   1244 	return false;
   1245 }
   1246 
   1247 
   1248 extern LZMA_API(lzma_bool)
   1249 lzma_index_iter_locate(lzma_index_iter *iter, lzma_vli target)
   1250 {
   1251 	const lzma_index *i = iter->internal[ITER_INDEX].p;
   1252 
   1253 	// If the target is past the end of the file, return immediately.
   1254 	if (i->uncompressed_size <= target)
   1255 		return true;
   1256 
   1257 	// Locate the Stream containing the target offset.
   1258 	const index_stream *stream = index_tree_locate(&i->streams, target);
   1259 	assert(stream != NULL);
   1260 	target -= stream->node.uncompressed_base;
   1261 
   1262 	// Locate the group containing the target offset.
   1263 	const index_group *group = index_tree_locate(&stream->groups, target);
   1264 	assert(group != NULL);
   1265 
   1266 	// Use binary search to locate the exact Record. It is the first
   1267 	// Record whose uncompressed_sum is greater than target.
   1268 	// This is because we want the rightmost Record that fulfills the
   1269 	// search criterion. It is possible that there are empty Blocks;
   1270 	// we don't want to return them.
   1271 	size_t left = 0;
   1272 	size_t right = group->last;
   1273 
   1274 	while (left < right) {
   1275 		const size_t pos = left + (right - left) / 2;
   1276 		if (group->records[pos].uncompressed_sum <= target)
   1277 			left = pos + 1;
   1278 		else
   1279 			right = pos;
   1280 	}
   1281 
   1282 	iter->internal[ITER_STREAM].p = stream;
   1283 	iter->internal[ITER_GROUP].p = group;
   1284 	iter->internal[ITER_RECORD].s = left;
   1285 
   1286 	iter_set_info(iter);
   1287 
   1288 	return false;
   1289 }
   1290