midx: fix BUG() when getting preferred pack without a reverse index

The function `midx_preferred_pack()` returns the preferred pack for a
given multi-pack index. To compute the preferred pack we:

  1. Take the first position indexed by the MIDX in pseudo-pack order.

  2. Convert this pseudo-pack position into the MIDX position.

  3. We then look up the pack that corresponds to this MIDX position.

This reliably returns the preferred pack given that all of its contained
objects will be up front in pseudo-pack order.

The second step that turns the pseudo-pack order into MIDX order
requires the reverse index though, which may not exist for example when
the MIDX does not have a bitmap. And in that case one may easily hit a
bug:

    BUG: ../pack-revindex.c:491: pack_pos_to_midx: reverse index not yet loaded

In theory, `midx_preferred_pack()` already knows to handle the case
where no reverse index exists, as it calls `load_midx_revindex()` before
calling into `midx_preferred_pack()`. But we only check for negative
return values there, even though the function returns a positive error
code in case the reverse index does not exist.

Fix the issue by testing for a non-zero return value instead, same as
all the other callers of this function already do. While at it, document
the return value of `load_midx_revindex()`.

Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
Patrick Steinhardt
2025-12-10 13:52:18 +01:00
committed by Junio C Hamano
parent 9a2fb147f2
commit 665d19ec7b
3 changed files with 16 additions and 2 deletions

2
midx.c
View File

@@ -688,7 +688,7 @@ int midx_preferred_pack(struct multi_pack_index *m, uint32_t *pack_int_id)
{
if (m->preferred_pack_idx == -1) {
uint32_t midx_pos;
if (load_midx_revindex(m) < 0) {
if (load_midx_revindex(m)) {
m->preferred_pack_idx = -2;
return -1;
}

View File

@@ -72,7 +72,8 @@ int verify_pack_revindex(struct packed_git *p);
* multi-pack index by mmap-ing it and assigning pointers in the
* multi_pack_index to point at it.
*
* A negative number is returned on error.
* A negative number is returned on error. A positive number is returned in
* case the multi-pack-index does not have a reverse index.
*/
int load_midx_revindex(struct multi_pack_index *m);

View File

@@ -350,7 +350,20 @@ test_expect_success 'preferred pack from existing MIDX without bitmaps' '
# the new MIDX
git multi-pack-index write --preferred-pack=pack-$pack.pack
)
'
test_expect_success 'preferred pack cannot be determined without bitmap' '
test_when_finished "rm -fr preferred-can-be-queried" &&
git init preferred-can-be-queried &&
(
cd preferred-can-be-queried &&
test_commit initial &&
git repack -Adl --write-midx --no-write-bitmap-index &&
test_must_fail test-tool read-midx --preferred-pack .git/objects 2>err &&
test_grep "could not determine MIDX preferred pack" err &&
git repack -Adl --write-midx --write-bitmap-index &&
test-tool read-midx --preferred-pack .git/objects
)
'
test_expect_success 'verify multi-pack-index success' '