mirror of
https://github.com/git/git
synced 2024-09-19 08:21:36 +00:00
c9e3a4e76d
This fixes a bug introduced indfb7a1b4d0(patch-ids: stop using a hand-rolled hashmap implementation, 2016-07-29) in which git rev-list --cherry-pick A...B will fail to suppress commits reachable from A even if a commit with matching patch-id appears in B. Around the time of that commit, the algorithm for "--cherry-pick" looked something like this: 0. Traverse all of the commits, marking them as being on the left or right side of the symmetric difference. 1. Iterate over the left-hand commits, inserting a patch-id struct for each into a hashmap, and pointing commit->util to the patch-id struct. 2. Iterate over the right-hand commits, checking which are present in the hashmap. If so, we exclude the commit from the output _and_ we mark the patch-id as "seen". 3. Iterate again over the left-hand commits, checking whether commit->util->seen is set; if so, exclude them from the output. At the end, we'll have eliminated commits from both sides that have a matching patch-id on the other side. But there's a subtle assumption here: for any given patch-id, we must have exactly one struct representing it. If two commits from A both have the same patch-id and we allow duplicates in the hashmap, then we run into a problem: a. In step 1, we insert two patch-id structs into the hashmap. b. In step 2, our lookups will find only one of these structs, so only one "seen" flag is marked. c. In step 3, one of the commits in A will have its commit->util->seen set, but the other will not. We'll erroneously output the latter. Prior todfb7a1b4d0, our hashmap did not allow duplicates. Afterwards, it used hashmap_add(), which explicitly does allow duplicates. At that point, the solution would have been easy: when we are about to add a duplicate, skip doing so and return the existing entry which matches. But it gets more complicated. In683f17ec44(patch-ids: replace the seen indicator with a commit pointer, 2016-07-29), our step 3 goes away entirely. Instead, in step 2, when the right-hand side finds a matching patch_id from the left-hand side, we can directly mark the left-hand patch_id->commit to be omitted. Solving that would be easy, too; there's a one-to-many relationship of patch-ids to commits, so we just need to keep a list. But there's more. Commitb3dfeebb92(rebase: avoid computing unnecessary patch IDs, 2016-07-29) built on that by lazily computing the full patch-ids. So we don't even know when adding to the hashmap whether two commits truly have the same id. We'd have to tentatively assign them a list, and then possibly split them apart (possibly into N new structs) at the moment we compute the real patch-ids. This could work, but it's complicated and error-prone. Instead, let's accept that we may store duplicates, and teach the lookup side to be more clever. Rather than asking for a single matching patch-id, it will need to iterate over all matching patch-ids. This does mean examining every entry in a single hash bucket, but the worst-case for a hash lookup was already doing that. We'll keep the hashmap details out of the caller by providing a simple iteration interface. We can retain the simple has_commit_patch_id() interface for the other callers, but we'll simplify its return value into an integer, rather than returning the patch_id struct. That way they won't be tempted to look at the "commit" field of the return value without iterating. Reported-by: Arnaud Morin <arnaud.morin@gmail.com> Signed-off-by: Jeff King <peff@peff.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>
282 lines
6.6 KiB
Bash
Executable file
282 lines
6.6 KiB
Bash
Executable file
#!/bin/sh
|
|
|
|
test_description='test git rev-list --cherry-pick -- file'
|
|
|
|
. ./test-lib.sh
|
|
|
|
# A---B---D---F
|
|
# \
|
|
# \
|
|
# C---E
|
|
#
|
|
# B changes a file foo.c, adding a line of text. C changes foo.c as
|
|
# well as bar.c, but the change in foo.c was identical to change B.
|
|
# D and C change bar in the same way, E and F differently.
|
|
|
|
test_expect_success setup '
|
|
echo Hallo > foo &&
|
|
git add foo &&
|
|
test_tick &&
|
|
git commit -m "A" &&
|
|
git tag A &&
|
|
git checkout -b branch &&
|
|
echo Bello > foo &&
|
|
echo Cello > bar &&
|
|
git add foo bar &&
|
|
test_tick &&
|
|
git commit -m "C" &&
|
|
git tag C &&
|
|
echo Dello > bar &&
|
|
git add bar &&
|
|
test_tick &&
|
|
git commit -m "E" &&
|
|
git tag E &&
|
|
git checkout master &&
|
|
git checkout branch foo &&
|
|
test_tick &&
|
|
git commit -m "B" &&
|
|
git tag B &&
|
|
echo Cello > bar &&
|
|
git add bar &&
|
|
test_tick &&
|
|
git commit -m "D" &&
|
|
git tag D &&
|
|
echo Nello > bar &&
|
|
git add bar &&
|
|
test_tick &&
|
|
git commit -m "F" &&
|
|
git tag F
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
<tags/B
|
|
>tags/C
|
|
EOF
|
|
|
|
test_expect_success '--left-right' '
|
|
git rev-list --left-right B...C > actual &&
|
|
git name-rev --stdin --name-only --refs="*tags/*" \
|
|
< actual > actual.named &&
|
|
test_cmp expect actual.named
|
|
'
|
|
|
|
test_expect_success '--count' '
|
|
git rev-list --count B...C > actual &&
|
|
test "$(cat actual)" = 2
|
|
'
|
|
|
|
test_expect_success '--cherry-pick foo comes up empty' '
|
|
test -z "$(git rev-list --left-right --cherry-pick B...C -- foo)"
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
>tags/C
|
|
EOF
|
|
|
|
test_expect_success '--cherry-pick bar does not come up empty' '
|
|
git rev-list --left-right --cherry-pick B...C -- bar > actual &&
|
|
git name-rev --stdin --name-only --refs="*tags/*" \
|
|
< actual > actual.named &&
|
|
test_cmp expect actual.named
|
|
'
|
|
|
|
test_expect_success 'bar does not come up empty' '
|
|
git rev-list --left-right B...C -- bar > actual &&
|
|
git name-rev --stdin --name-only --refs="*tags/*" \
|
|
< actual > actual.named &&
|
|
test_cmp expect actual.named
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
<tags/F
|
|
>tags/E
|
|
EOF
|
|
|
|
test_expect_success '--cherry-pick bar does not come up empty (II)' '
|
|
git rev-list --left-right --cherry-pick F...E -- bar > actual &&
|
|
git name-rev --stdin --name-only --refs="*tags/*" \
|
|
< actual > actual.named &&
|
|
test_cmp expect actual.named
|
|
'
|
|
|
|
test_expect_success 'name-rev multiple --refs combine inclusive' '
|
|
git rev-list --left-right --cherry-pick F...E -- bar >actual &&
|
|
git name-rev --stdin --name-only --refs="*tags/F" --refs="*tags/E" \
|
|
<actual >actual.named &&
|
|
test_cmp expect actual.named
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
<tags/F
|
|
EOF
|
|
|
|
test_expect_success 'name-rev --refs excludes non-matched patterns' '
|
|
git rev-list --left-right --right-only --cherry-pick F...E -- bar >>expect &&
|
|
git rev-list --left-right --cherry-pick F...E -- bar >actual &&
|
|
git name-rev --stdin --name-only --refs="*tags/F" \
|
|
<actual >actual.named &&
|
|
test_cmp expect actual.named
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
<tags/F
|
|
EOF
|
|
|
|
test_expect_success 'name-rev --exclude excludes matched patterns' '
|
|
git rev-list --left-right --right-only --cherry-pick F...E -- bar >>expect &&
|
|
git rev-list --left-right --cherry-pick F...E -- bar >actual &&
|
|
git name-rev --stdin --name-only --refs="*tags/*" --exclude="*E" \
|
|
<actual >actual.named &&
|
|
test_cmp expect actual.named
|
|
'
|
|
|
|
test_expect_success 'name-rev --no-refs clears the refs list' '
|
|
git rev-list --left-right --cherry-pick F...E -- bar >expect &&
|
|
git name-rev --stdin --name-only --refs="*tags/F" --refs="*tags/E" --no-refs --refs="*tags/G" \
|
|
<expect >actual &&
|
|
test_cmp expect actual
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
+tags/F
|
|
=tags/D
|
|
+tags/E
|
|
=tags/C
|
|
EOF
|
|
|
|
test_expect_success '--cherry-mark' '
|
|
git rev-list --cherry-mark F...E -- bar > actual &&
|
|
git name-rev --stdin --name-only --refs="*tags/*" \
|
|
< actual > actual.named &&
|
|
test_cmp expect actual.named
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
<tags/F
|
|
=tags/D
|
|
>tags/E
|
|
=tags/C
|
|
EOF
|
|
|
|
test_expect_success '--cherry-mark --left-right' '
|
|
git rev-list --cherry-mark --left-right F...E -- bar > actual &&
|
|
git name-rev --stdin --name-only --refs="*tags/*" \
|
|
< actual > actual.named &&
|
|
test_cmp expect actual.named
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
tags/E
|
|
EOF
|
|
|
|
test_expect_success '--cherry-pick --right-only' '
|
|
git rev-list --cherry-pick --right-only F...E -- bar > actual &&
|
|
git name-rev --stdin --name-only --refs="*tags/*" \
|
|
< actual > actual.named &&
|
|
test_cmp expect actual.named
|
|
'
|
|
|
|
test_expect_success '--cherry-pick --left-only' '
|
|
git rev-list --cherry-pick --left-only E...F -- bar > actual &&
|
|
git name-rev --stdin --name-only --refs="*tags/*" \
|
|
< actual > actual.named &&
|
|
test_cmp expect actual.named
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
+tags/E
|
|
=tags/C
|
|
EOF
|
|
|
|
test_expect_success '--cherry' '
|
|
git rev-list --cherry F...E -- bar > actual &&
|
|
git name-rev --stdin --name-only --refs="*tags/*" \
|
|
< actual > actual.named &&
|
|
test_cmp expect actual.named
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
1 1
|
|
EOF
|
|
|
|
test_expect_success '--cherry --count' '
|
|
git rev-list --cherry --count F...E -- bar > actual &&
|
|
test_cmp expect actual
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
2 2
|
|
EOF
|
|
|
|
test_expect_success '--cherry-mark --count' '
|
|
git rev-list --cherry-mark --count F...E -- bar > actual &&
|
|
test_cmp expect actual
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
1 1 2
|
|
EOF
|
|
|
|
test_expect_success '--cherry-mark --left-right --count' '
|
|
git rev-list --cherry-mark --left-right --count F...E -- bar > actual &&
|
|
test_cmp expect actual
|
|
'
|
|
|
|
test_expect_success '--cherry-pick with independent, but identical branches' '
|
|
git symbolic-ref HEAD refs/heads/independent &&
|
|
rm .git/index &&
|
|
echo Hallo > foo &&
|
|
git add foo &&
|
|
test_tick &&
|
|
git commit -m "independent" &&
|
|
echo Bello > foo &&
|
|
test_tick &&
|
|
git commit -m "independent, too" foo &&
|
|
test -z "$(git rev-list --left-right --cherry-pick \
|
|
HEAD...master -- foo)"
|
|
'
|
|
|
|
cat >expect <<EOF
|
|
1 2
|
|
EOF
|
|
|
|
test_expect_success '--count --left-right' '
|
|
git rev-list --count --left-right C...D > actual &&
|
|
test_cmp expect actual
|
|
'
|
|
|
|
test_expect_success '--cherry-pick with duplicates on each side' '
|
|
git checkout -b dup-orig &&
|
|
test_commit dup-base &&
|
|
git revert dup-base &&
|
|
git cherry-pick dup-base &&
|
|
git checkout -b dup-side HEAD~3 &&
|
|
test_tick &&
|
|
git cherry-pick -3 dup-orig &&
|
|
git rev-list --cherry-pick dup-orig...dup-side >actual &&
|
|
test_must_be_empty actual
|
|
'
|
|
|
|
# Corrupt the object store deliberately to make sure
|
|
# the object is not even checked for its existence.
|
|
remove_loose_object () {
|
|
sha1="$(git rev-parse "$1")" &&
|
|
remainder=${sha1#??} &&
|
|
firsttwo=${sha1%$remainder} &&
|
|
rm .git/objects/$firsttwo/$remainder
|
|
}
|
|
|
|
test_expect_success '--cherry-pick avoids looking at full diffs' '
|
|
git checkout -b shy-diff &&
|
|
test_commit dont-look-at-me &&
|
|
echo Hello >dont-look-at-me.t &&
|
|
test_tick &&
|
|
git commit -m tip dont-look-at-me.t &&
|
|
git checkout -b mainline HEAD^ &&
|
|
test_commit to-cherry-pick &&
|
|
remove_loose_object shy-diff^:dont-look-at-me.t &&
|
|
git rev-list --cherry-pick ...shy-diff
|
|
'
|
|
|
|
test_done
|