]> git.ipfire.org Git - thirdparty/git.git/commit
commit-graph: verify swapped zero/non-zero generation cases
authorJeff King <peff@peff.net>
Mon, 21 Aug 2023 21:34:37 +0000 (17:34 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 21 Aug 2023 23:07:33 +0000 (16:07 -0700)
commitcc9c9a00a50dc479ef59c7d2d03d1e3fcc8752a3
tree9e29a39524df801920361a6710dc3209a2cc3fdf
parent868c991155b3392e0b1a6aab8daab89bb93400f4
commit-graph: verify swapped zero/non-zero generation cases

In verify_one_commit_graph(), we have code that complains when a commit
is found with a generation number of zero, and then later with a
non-zero number. It works like this:

  1. When we see an entry with generation zero, we set the
     generation_zero flag to GENERATION_ZERO_EXISTS.

  2. When we later see an entry with a non-zero generation, we complain
     if the flag is GENERATION_ZERO_EXISTS.

There's a matching GENERATION_NUMBER_EXISTS value, which in theory would
be used to find the case that we see the entries in the opposite order:

  1. When we see an entry with a non-zero generation, we set the
     generation_zero flag to GENERATION_NUMBER_EXISTS.

  2. When we later see an entry with a zero generation, we complain if
     the flag is GENERATION_NUMBER_EXISTS.

But that doesn't work; step 2 is implemented, but there is no step 1. We
never use NUMBER_EXISTS at all, and Coverity rightly complains that step
2 is dead code.

We can fix that by implementing that step 1.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Taylor Blau <me@ttaylorr.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
commit-graph.c