sparse-index: check index conversion happens
[git] / t / t6111-rev-list-treesame.sh
1 #!/bin/sh
2 #
3 #        ,---E--.   *H----------.             * marks !TREESAME parent paths
4 #       /        \ /             \*
5 # *A--*B---D--*F-*G---------K-*L-*M
6 #   \     /*       \       /
7 #    `-C-'          `-*I-*J
8 #
9 # A creates "file", B and F change it.
10 # Odd merge G takes the old version from B.
11 # I changes it, but J reverts it, so K is TREESAME to both parents.
12 # H and L both change "file", and M merges those changes.
13
14 test_description='TREESAME and limiting'
15
16 GIT_TEST_DEFAULT_INITIAL_BRANCH_NAME=main
17 export GIT_TEST_DEFAULT_INITIAL_BRANCH_NAME
18
19 . ./test-lib.sh
20
21 note () {
22         git tag "$1"
23 }
24
25 unnote () {
26         git name-rev --tags --stdin | sed -e "s|$OID_REGEX (tags/\([^)]*\))\([  ]\)|\1\2|g"
27 }
28
29 test_expect_success setup '
30         test_commit "Initial file" file "Hi there" A &&
31         git branch other-branch &&
32
33         test_commit "file=Hello" file "Hello" B &&
34         git branch third-branch &&
35
36         git checkout other-branch &&
37         test_commit "Added other" other "Hello" C &&
38
39         git checkout main &&
40         test_merge D other-branch &&
41
42         git checkout third-branch &&
43         test_commit "Third file" third "Nothing" E &&
44
45         git checkout main &&
46         test_commit "file=Blah" file "Blah" F &&
47
48         test_tick && git merge --no-commit third-branch &&
49         git checkout third-branch file &&
50         git commit &&
51         note G &&
52         git branch fiddler-branch &&
53
54         git checkout -b part2-branch &&
55         test_commit "file=Part 2" file "Part 2" H &&
56
57         git checkout fiddler-branch &&
58         test_commit "Bad commit" file "Silly" I &&
59
60         test_tick && git revert I && note J &&
61
62         git checkout main &&
63         test_tick && git merge --no-ff fiddler-branch &&
64         note K &&
65
66         test_commit "file=Part 1" file "Part 1" L &&
67
68         test_tick && test_must_fail git merge part2-branch &&
69         test_commit M file "Parts 1+2"
70 '
71
72 check_outcome () {
73         outcome=$1
74         shift
75
76         case "$1" in
77         *"("*)
78                 FMT="%P %H | %s"
79                 munge_actual="
80                         s/^\([^ ]*\)    \([^ ]*\) .*/(\1)\2/
81                         s/ //g
82                         s/()//
83                 "
84                 ;;
85         *)
86                 FMT="%H | %s"
87                 munge_actual="s/^\([^ ]*\) .*/\1/"
88                 ;;
89         esac &&
90         printf "%s\n" $1 >expect &&
91         shift
92
93         param="$*" &&
94         test_expect_$outcome "log $param" '
95                 git log --format="$FMT" $param |
96                 unnote >actual &&
97                 sed -e "$munge_actual" <actual >check &&
98                 test_cmp expect check
99         '
100 }
101
102 check_result () {
103         check_outcome success "$@"
104 }
105
106 # Odd merge G drops a change in F. Important that G is listed in all
107 # except the most basic list. Achieving this means normal merge D will also be
108 # shown in normal full-history, as we can't distinguish unless we do a
109 # simplification pass. After simplification, D is dropped but G remains.
110 # Also, merge simplification of G should not drop the parent B that the default
111 # simple history follows.
112 check_result 'M L K J I H G F E D C B A'
113 check_result '(LH)M (K)L (GJ)K (I)J (G)I (G)H (FE)G (D)F (B)E (BC)D (A)C (A)B A'
114 check_result 'M H L K J I G E F D C B A' --topo-order
115 check_result 'M L H B A' -- file
116 check_result '(LH)M (B)L (B)H (A)B A' --parents -- file
117 check_result 'M L J I H G F D B A' --full-history -- file
118 check_result '(LH)M (K)L (GJ)K (I)J (G)I (G)H (FB)G (D)F (BA)D (A)B A' --full-history --parents -- file
119 check_result '(LH)M (G)H (J)L (I)J (G)I (FB)G (B)F (A)B A' --simplify-merges -- file
120 check_result 'M L K G F D B A' --first-parent
121 check_result 'M L G F B A' --first-parent -- file
122
123 # Check that odd merge G remains shown when F is the bottom.
124 check_result 'M L K J I H G E' F..M
125 check_result 'M H L K J I G E' F..M --topo-order
126 check_result 'M L H' F..M -- file
127 check_result '(LH)M (B)L (B)H' --parents F..M -- file
128 check_result 'M L J I H G' F..M --full-history -- file
129 check_result '(LH)M (K)L (GJ)K (I)J (G)I (G)H (FB)G' F..M --full-history --parents -- file
130 check_result '(LH)M (G)H (J)L (I)J (G)I (FB)G' F..M --simplify-merges -- file
131 check_result 'M L K J I H G' F..M --ancestry-path
132 check_result 'M L J I H G' F..M --ancestry-path -- file
133 check_result '(LH)M (K)L (GJ)K (I)J (G)I (G)H (FE)G' F..M --ancestry-path --parents -- file
134 check_result '(LH)M (G)H (J)L (I)J (G)I (FE)G' F..M --ancestry-path --simplify-merges -- file
135 check_result 'M L K G' F..M --first-parent
136 check_result 'M L G' F..M --first-parent -- file
137
138 # Note that G is pruned when E is the bottom, even if it's the same commit list
139 # If we want history since E, then we're quite happy to ignore G that took E.
140 check_result 'M L K J I H G' E..M --ancestry-path
141 check_result 'M L J I H' E..M --ancestry-path -- file
142 check_result '(LH)M (K)L (EJ)K (I)J (E)I (E)H' E..M --ancestry-path --parents -- file
143 check_result '(LH)M (E)H (J)L (I)J (E)I' E..M --ancestry-path --simplify-merges -- file
144
145 # Should still be able to ignore I-J branch in simple log, despite limiting
146 # to G.
147 check_result 'M L K J I H' G..M
148 check_result 'M H L K J I' G..M --topo-order
149 check_result 'M L H' G..M -- file
150 check_result '(LH)M (G)L (G)H' G..M --parents -- file
151 check_result 'M L J I H' G..M --full-history -- file
152 check_result 'M L K J I H' G..M --full-history --parents -- file
153 check_result 'M H L J I' G..M --simplify-merges -- file
154 check_result 'M L K J I H' G..M --ancestry-path
155 check_result 'M L J I H' G..M --ancestry-path -- file
156 check_result 'M L K J I H' G..M --ancestry-path --parents -- file
157 check_result 'M H L J I' G..M --ancestry-path --simplify-merges -- file
158
159 # B..F should be able to simplify the merge D from irrelevant side branch C.
160 # Default log should also be free to follow B-D, and ignore C.
161 # But --full-history shouldn't drop D on its own - without simplification,
162 # we can't decide if the merge from INTERESTING commit C was sensible.
163 check_result 'F D C' B..F
164 check_result 'F' B..F -- file
165 check_result '(B)F' B..F --parents -- file
166 check_result 'F D' B..F --full-history -- file
167 check_result '(D)F (BA)D' B..F --full-history --parents -- file
168 check_result '(B)F' B..F --simplify-merges -- file
169 check_result 'F D' B..F --ancestry-path
170 check_result 'F' B..F --ancestry-path -- file
171 check_result 'F' B..F --ancestry-path --parents -- file
172 check_result 'F' B..F --ancestry-path --simplify-merges -- file
173 check_result 'F D' B..F --first-parent
174 check_result 'F' B..F --first-parent -- file
175
176 # E...F should be equivalent to E F ^B, and be able to drop D as above.
177 check_result 'F' E F ^B -- file # includes D
178 check_result 'F' E...F -- file # includes D
179
180 # Any sort of full history of C..F should show D, as it's the connection to C,
181 # and it differs from it.
182 check_result 'F D B' C..F
183 check_result 'F B' C..F -- file
184 check_result '(B)F (A)B' C..F --parents -- file
185 check_result 'F D B' C..F --full-history -- file
186 check_result '(D)F (BC)D (A)B' C..F --full-history --parents -- file
187 check_result '(D)F (BC)D (A)B' C..F --simplify-merges -- file
188 check_result 'F D' C..F --ancestry-path
189 check_result 'F D' C..F --ancestry-path -- file
190 check_result 'F D' C..F --ancestry-path --parents -- file
191 check_result 'F D' C..F --ancestry-path --simplify-merges -- file
192 check_result 'F D B' C..F --first-parent
193 check_result 'F B' C..F --first-parent -- file
194
195
196 test_done