t4216: add end to end tests for git log with Bloom filters
[git] / t / t1450-fsck.sh
1 #!/bin/sh
2
3 test_description='git fsck random collection of tests
4
5 * (HEAD) B
6 * (master) A
7 '
8
9 . ./test-lib.sh
10
11 test_expect_success setup '
12         test_oid_init &&
13         git config gc.auto 0 &&
14         git config i18n.commitencoding ISO-8859-1 &&
15         test_commit A fileA one &&
16         git config --unset i18n.commitencoding &&
17         git checkout HEAD^0 &&
18         test_commit B fileB two &&
19         git tag -d A B &&
20         git reflog expire --expire=now --all
21 '
22
23 test_expect_success 'loose objects borrowed from alternate are not missing' '
24         mkdir another &&
25         (
26                 cd another &&
27                 git init &&
28                 echo ../../../.git/objects >.git/objects/info/alternates &&
29                 test_commit C fileC one &&
30                 git fsck --no-dangling >../actual 2>&1
31         ) &&
32         test_must_be_empty actual
33 '
34
35 test_expect_success 'HEAD is part of refs, valid objects appear valid' '
36         git fsck >actual 2>&1 &&
37         test_must_be_empty actual
38 '
39
40 # Corruption tests follow.  Make sure to remove all traces of the
41 # specific corruption you test afterwards, lest a later test trip over
42 # it.
43
44 test_expect_success 'setup: helpers for corruption tests' '
45         sha1_file() {
46                 remainder=${1#??} &&
47                 firsttwo=${1%$remainder} &&
48                 echo ".git/objects/$firsttwo/$remainder"
49         } &&
50
51         remove_object() {
52                 rm "$(sha1_file "$1")"
53         }
54 '
55
56 test_expect_success 'object with bad sha1' '
57         sha=$(echo blob | git hash-object -w --stdin) &&
58         old=$(test_oid_to_path "$sha") &&
59         new=$(dirname $old)/$(test_oid ff_2) &&
60         sha="$(dirname $new)$(basename $new)" &&
61         mv .git/objects/$old .git/objects/$new &&
62         test_when_finished "remove_object $sha" &&
63         git update-index --add --cacheinfo 100644 $sha foo &&
64         test_when_finished "git read-tree -u --reset HEAD" &&
65         tree=$(git write-tree) &&
66         test_when_finished "remove_object $tree" &&
67         cmt=$(echo bogus | git commit-tree $tree) &&
68         test_when_finished "remove_object $cmt" &&
69         git update-ref refs/heads/bogus $cmt &&
70         test_when_finished "git update-ref -d refs/heads/bogus" &&
71
72         test_must_fail git fsck 2>out &&
73         test_i18ngrep "$sha.*corrupt" out
74 '
75
76 test_expect_success 'branch pointing to non-commit' '
77         git rev-parse HEAD^{tree} >.git/refs/heads/invalid &&
78         test_when_finished "git update-ref -d refs/heads/invalid" &&
79         test_must_fail git fsck 2>out &&
80         test_i18ngrep "not a commit" out
81 '
82
83 test_expect_success 'HEAD link pointing at a funny object' '
84         test_when_finished "mv .git/SAVED_HEAD .git/HEAD" &&
85         mv .git/HEAD .git/SAVED_HEAD &&
86         echo $ZERO_OID >.git/HEAD &&
87         # avoid corrupt/broken HEAD from interfering with repo discovery
88         test_must_fail env GIT_DIR=.git git fsck 2>out &&
89         test_i18ngrep "detached HEAD points" out
90 '
91
92 test_expect_success 'HEAD link pointing at a funny place' '
93         test_when_finished "mv .git/SAVED_HEAD .git/HEAD" &&
94         mv .git/HEAD .git/SAVED_HEAD &&
95         echo "ref: refs/funny/place" >.git/HEAD &&
96         # avoid corrupt/broken HEAD from interfering with repo discovery
97         test_must_fail env GIT_DIR=.git git fsck 2>out &&
98         test_i18ngrep "HEAD points to something strange" out
99 '
100
101 test_expect_success 'HEAD link pointing at a funny object (from different wt)' '
102         test_when_finished "mv .git/SAVED_HEAD .git/HEAD" &&
103         test_when_finished "rm -rf .git/worktrees wt" &&
104         git worktree add wt &&
105         mv .git/HEAD .git/SAVED_HEAD &&
106         echo $ZERO_OID >.git/HEAD &&
107         # avoid corrupt/broken HEAD from interfering with repo discovery
108         test_must_fail git -C wt fsck 2>out &&
109         test_i18ngrep "main-worktree/HEAD: detached HEAD points" out
110 '
111
112 test_expect_success 'other worktree HEAD link pointing at a funny object' '
113         test_when_finished "rm -rf .git/worktrees other" &&
114         git worktree add other &&
115         echo $ZERO_OID >.git/worktrees/other/HEAD &&
116         test_must_fail git fsck 2>out &&
117         test_i18ngrep "worktrees/other/HEAD: detached HEAD points" out
118 '
119
120 test_expect_success 'other worktree HEAD link pointing at missing object' '
121         test_when_finished "rm -rf .git/worktrees other" &&
122         git worktree add other &&
123         echo "Contents missing from repo" | git hash-object --stdin >.git/worktrees/other/HEAD &&
124         test_must_fail git fsck 2>out &&
125         test_i18ngrep "worktrees/other/HEAD: invalid sha1 pointer" out
126 '
127
128 test_expect_success 'other worktree HEAD link pointing at a funny place' '
129         test_when_finished "rm -rf .git/worktrees other" &&
130         git worktree add other &&
131         echo "ref: refs/funny/place" >.git/worktrees/other/HEAD &&
132         test_must_fail git fsck 2>out &&
133         test_i18ngrep "worktrees/other/HEAD points to something strange" out
134 '
135
136 test_expect_success 'commit with multiple signatures is okay' '
137         git cat-file commit HEAD >basis &&
138         cat >sigs <<-EOF &&
139         gpgsig -----BEGIN PGP SIGNATURE-----
140           VGhpcyBpcyBub3QgcmVhbGx5IGEgc2lnbmF0dXJlLg==
141           -----END PGP SIGNATURE-----
142         gpgsig-sha256 -----BEGIN PGP SIGNATURE-----
143           VGhpcyBpcyBub3QgcmVhbGx5IGEgc2lnbmF0dXJlLg==
144           -----END PGP SIGNATURE-----
145         EOF
146         sed -e "/^committer/q" basis >okay &&
147         cat sigs >>okay &&
148         echo >>okay &&
149         sed -e "1,/^$/d" basis >>okay &&
150         cat okay &&
151         new=$(git hash-object -t commit -w --stdin <okay) &&
152         test_when_finished "remove_object $new" &&
153         git update-ref refs/heads/bogus "$new" &&
154         test_when_finished "git update-ref -d refs/heads/bogus" &&
155         git fsck 2>out &&
156         cat out &&
157         ! grep "commit $new" out
158 '
159
160 test_expect_success 'email without @ is okay' '
161         git cat-file commit HEAD >basis &&
162         sed "s/@/AT/" basis >okay &&
163         new=$(git hash-object -t commit -w --stdin <okay) &&
164         test_when_finished "remove_object $new" &&
165         git update-ref refs/heads/bogus "$new" &&
166         test_when_finished "git update-ref -d refs/heads/bogus" &&
167         git fsck 2>out &&
168         ! grep "commit $new" out
169 '
170
171 test_expect_success 'email with embedded > is not okay' '
172         git cat-file commit HEAD >basis &&
173         sed "s/@[a-z]/&>/" basis >bad-email &&
174         new=$(git hash-object -t commit -w --stdin <bad-email) &&
175         test_when_finished "remove_object $new" &&
176         git update-ref refs/heads/bogus "$new" &&
177         test_when_finished "git update-ref -d refs/heads/bogus" &&
178         test_must_fail git fsck 2>out &&
179         test_i18ngrep "error in commit $new" out
180 '
181
182 test_expect_success 'missing < email delimiter is reported nicely' '
183         git cat-file commit HEAD >basis &&
184         sed "s/<//" basis >bad-email-2 &&
185         new=$(git hash-object -t commit -w --stdin <bad-email-2) &&
186         test_when_finished "remove_object $new" &&
187         git update-ref refs/heads/bogus "$new" &&
188         test_when_finished "git update-ref -d refs/heads/bogus" &&
189         test_must_fail git fsck 2>out &&
190         test_i18ngrep "error in commit $new.* - bad name" out
191 '
192
193 test_expect_success 'missing email is reported nicely' '
194         git cat-file commit HEAD >basis &&
195         sed "s/[a-z]* <[^>]*>//" basis >bad-email-3 &&
196         new=$(git hash-object -t commit -w --stdin <bad-email-3) &&
197         test_when_finished "remove_object $new" &&
198         git update-ref refs/heads/bogus "$new" &&
199         test_when_finished "git update-ref -d refs/heads/bogus" &&
200         test_must_fail git fsck 2>out &&
201         test_i18ngrep "error in commit $new.* - missing email" out
202 '
203
204 test_expect_success '> in name is reported' '
205         git cat-file commit HEAD >basis &&
206         sed "s/ </> </" basis >bad-email-4 &&
207         new=$(git hash-object -t commit -w --stdin <bad-email-4) &&
208         test_when_finished "remove_object $new" &&
209         git update-ref refs/heads/bogus "$new" &&
210         test_when_finished "git update-ref -d refs/heads/bogus" &&
211         test_must_fail git fsck 2>out &&
212         test_i18ngrep "error in commit $new" out
213 '
214
215 # date is 2^64 + 1
216 test_expect_success 'integer overflow in timestamps is reported' '
217         git cat-file commit HEAD >basis &&
218         sed "s/^\\(author .*>\\) [0-9]*/\\1 18446744073709551617/" \
219                 <basis >bad-timestamp &&
220         new=$(git hash-object -t commit -w --stdin <bad-timestamp) &&
221         test_when_finished "remove_object $new" &&
222         git update-ref refs/heads/bogus "$new" &&
223         test_when_finished "git update-ref -d refs/heads/bogus" &&
224         test_must_fail git fsck 2>out &&
225         test_i18ngrep "error in commit $new.*integer overflow" out
226 '
227
228 test_expect_success 'commit with NUL in header' '
229         git cat-file commit HEAD >basis &&
230         sed "s/author ./author Q/" <basis | q_to_nul >commit-NUL-header &&
231         new=$(git hash-object -t commit -w --stdin <commit-NUL-header) &&
232         test_when_finished "remove_object $new" &&
233         git update-ref refs/heads/bogus "$new" &&
234         test_when_finished "git update-ref -d refs/heads/bogus" &&
235         test_must_fail git fsck 2>out &&
236         test_i18ngrep "error in commit $new.*unterminated header: NUL at offset" out
237 '
238
239 test_expect_success 'tree object with duplicate entries' '
240         test_when_finished "for i in \$T; do remove_object \$i; done" &&
241         T=$(
242                 GIT_INDEX_FILE=test-index &&
243                 export GIT_INDEX_FILE &&
244                 rm -f test-index &&
245                 >x &&
246                 git add x &&
247                 git rev-parse :x &&
248                 T=$(git write-tree) &&
249                 echo $T &&
250                 (
251                         git cat-file tree $T &&
252                         git cat-file tree $T
253                 ) |
254                 git hash-object -w -t tree --stdin
255         ) &&
256         test_must_fail git fsck 2>out &&
257         test_i18ngrep "error in tree .*contains duplicate file entries" out
258 '
259
260 test_expect_success 'unparseable tree object' '
261         test_oid_cache <<-\EOF &&
262         junk sha1:twenty-bytes-of-junk
263         junk sha256:twenty-bytes-of-junk-twelve-more
264         EOF
265
266         test_when_finished "git update-ref -d refs/heads/wrong" &&
267         test_when_finished "remove_object \$tree_sha1" &&
268         test_when_finished "remove_object \$commit_sha1" &&
269         junk=$(test_oid junk) &&
270         tree_sha1=$(printf "100644 \0$junk" | git hash-object -t tree --stdin -w --literally) &&
271         commit_sha1=$(git commit-tree $tree_sha1) &&
272         git update-ref refs/heads/wrong $commit_sha1 &&
273         test_must_fail git fsck 2>out &&
274         test_i18ngrep "error: empty filename in tree entry" out &&
275         test_i18ngrep "$tree_sha1" out &&
276         test_i18ngrep ! "fatal: empty filename in tree entry" out
277 '
278
279 test_expect_success 'tree entry with type mismatch' '
280         test_when_finished "remove_object \$blob" &&
281         test_when_finished "remove_object \$tree" &&
282         test_when_finished "remove_object \$commit" &&
283         test_when_finished "git update-ref -d refs/heads/type_mismatch" &&
284         blob=$(echo blob | git hash-object -w --stdin) &&
285         blob_bin=$(echo $blob | hex2oct) &&
286         tree=$(
287                 printf "40000 dir\0${blob_bin}100644 file\0${blob_bin}" |
288                 git hash-object -t tree --stdin -w --literally
289         ) &&
290         commit=$(git commit-tree $tree) &&
291         git update-ref refs/heads/type_mismatch $commit &&
292         test_must_fail git fsck >out 2>&1 &&
293         test_i18ngrep "is a blob, not a tree" out &&
294         test_i18ngrep ! "dangling blob" out
295 '
296
297 test_expect_success 'tag pointing to nonexistent' '
298         badoid=$(test_oid deadbeef) &&
299         cat >invalid-tag <<-EOF &&
300         object $badoid
301         type commit
302         tag invalid
303         tagger T A Gger <tagger@example.com> 1234567890 -0000
304
305         This is an invalid tag.
306         EOF
307
308         tag=$(git hash-object -t tag -w --stdin <invalid-tag) &&
309         test_when_finished "remove_object $tag" &&
310         echo $tag >.git/refs/tags/invalid &&
311         test_when_finished "git update-ref -d refs/tags/invalid" &&
312         test_must_fail git fsck --tags >out &&
313         test_i18ngrep "broken link" out
314 '
315
316 test_expect_success 'tag pointing to something else than its type' '
317         sha=$(echo blob | git hash-object -w --stdin) &&
318         test_when_finished "remove_object $sha" &&
319         cat >wrong-tag <<-EOF &&
320         object $sha
321         type commit
322         tag wrong
323         tagger T A Gger <tagger@example.com> 1234567890 -0000
324
325         This is an invalid tag.
326         EOF
327
328         tag=$(git hash-object -t tag -w --stdin <wrong-tag) &&
329         test_when_finished "remove_object $tag" &&
330         echo $tag >.git/refs/tags/wrong &&
331         test_when_finished "git update-ref -d refs/tags/wrong" &&
332         test_must_fail git fsck --tags
333 '
334
335 test_expect_success 'tag with incorrect tag name & missing tagger' '
336         sha=$(git rev-parse HEAD) &&
337         cat >wrong-tag <<-EOF &&
338         object $sha
339         type commit
340         tag wrong name format
341
342         This is an invalid tag.
343         EOF
344
345         tag=$(git hash-object -t tag -w --stdin <wrong-tag) &&
346         test_when_finished "remove_object $tag" &&
347         echo $tag >.git/refs/tags/wrong &&
348         test_when_finished "git update-ref -d refs/tags/wrong" &&
349         git fsck --tags 2>out &&
350
351         cat >expect <<-EOF &&
352         warning in tag $tag: badTagName: invalid '\''tag'\'' name: wrong name format
353         warning in tag $tag: missingTaggerEntry: invalid format - expected '\''tagger'\'' line
354         EOF
355         test_i18ncmp expect out
356 '
357
358 test_expect_success 'tag with bad tagger' '
359         sha=$(git rev-parse HEAD) &&
360         cat >wrong-tag <<-EOF &&
361         object $sha
362         type commit
363         tag not-quite-wrong
364         tagger Bad Tagger Name
365
366         This is an invalid tag.
367         EOF
368
369         tag=$(git hash-object --literally -t tag -w --stdin <wrong-tag) &&
370         test_when_finished "remove_object $tag" &&
371         echo $tag >.git/refs/tags/wrong &&
372         test_when_finished "git update-ref -d refs/tags/wrong" &&
373         test_must_fail git fsck --tags 2>out &&
374         test_i18ngrep "error in tag .*: invalid author/committer" out
375 '
376
377 test_expect_success 'tag with NUL in header' '
378         sha=$(git rev-parse HEAD) &&
379         q_to_nul >tag-NUL-header <<-EOF &&
380         object $sha
381         type commit
382         tag contains-Q-in-header
383         tagger T A Gger <tagger@example.com> 1234567890 -0000
384
385         This is an invalid tag.
386         EOF
387
388         tag=$(git hash-object --literally -t tag -w --stdin <tag-NUL-header) &&
389         test_when_finished "remove_object $tag" &&
390         echo $tag >.git/refs/tags/wrong &&
391         test_when_finished "git update-ref -d refs/tags/wrong" &&
392         test_must_fail git fsck --tags 2>out &&
393         test_i18ngrep "error in tag $tag.*unterminated header: NUL at offset" out
394 '
395
396 test_expect_success 'cleaned up' '
397         git fsck >actual 2>&1 &&
398         test_must_be_empty actual
399 '
400
401 test_expect_success 'rev-list --verify-objects' '
402         git rev-list --verify-objects --all >/dev/null 2>out &&
403         test_must_be_empty out
404 '
405
406 test_expect_success 'rev-list --verify-objects with bad sha1' '
407         sha=$(echo blob | git hash-object -w --stdin) &&
408         old=$(test_oid_to_path $sha) &&
409         new=$(dirname $old)/$(test_oid ff_2) &&
410         sha="$(dirname $new)$(basename $new)" &&
411         mv .git/objects/$old .git/objects/$new &&
412         test_when_finished "remove_object $sha" &&
413         git update-index --add --cacheinfo 100644 $sha foo &&
414         test_when_finished "git read-tree -u --reset HEAD" &&
415         tree=$(git write-tree) &&
416         test_when_finished "remove_object $tree" &&
417         cmt=$(echo bogus | git commit-tree $tree) &&
418         test_when_finished "remove_object $cmt" &&
419         git update-ref refs/heads/bogus $cmt &&
420         test_when_finished "git update-ref -d refs/heads/bogus" &&
421
422         test_might_fail git rev-list --verify-objects refs/heads/bogus >/dev/null 2>out &&
423         test_i18ngrep -q "error: hash mismatch $(dirname $new)$(test_oid ff_2)" out
424 '
425
426 test_expect_success 'force fsck to ignore double author' '
427         git cat-file commit HEAD >basis &&
428         sed "s/^author .*/&,&/" <basis | tr , \\n >multiple-authors &&
429         new=$(git hash-object -t commit -w --stdin <multiple-authors) &&
430         test_when_finished "remove_object $new" &&
431         git update-ref refs/heads/bogus "$new" &&
432         test_when_finished "git update-ref -d refs/heads/bogus" &&
433         test_must_fail git fsck &&
434         git -c fsck.multipleAuthors=ignore fsck
435 '
436
437 _bz='\0'
438 _bzoid=$(printf $ZERO_OID | sed -e 's/00/\\0/g')
439
440 test_expect_success 'fsck notices blob entry pointing to null sha1' '
441         (git init null-blob &&
442          cd null-blob &&
443          sha=$(printf "100644 file$_bz$_bzoid" |
444                git hash-object -w --stdin -t tree) &&
445           git fsck 2>out &&
446           test_i18ngrep "warning.*null sha1" out
447         )
448 '
449
450 test_expect_success 'fsck notices submodule entry pointing to null sha1' '
451         (git init null-commit &&
452          cd null-commit &&
453          sha=$(printf "160000 submodule$_bz$_bzoid" |
454                git hash-object -w --stdin -t tree) &&
455           git fsck 2>out &&
456           test_i18ngrep "warning.*null sha1" out
457         )
458 '
459
460 while read name path pretty; do
461         while read mode type; do
462                 : ${pretty:=$path}
463                 test_expect_success "fsck notices $pretty as $type" '
464                 (
465                         git init $name-$type &&
466                         cd $name-$type &&
467                         git config core.protectNTFS false &&
468                         echo content >file &&
469                         git add file &&
470                         git commit -m base &&
471                         blob=$(git rev-parse :file) &&
472                         tree=$(git rev-parse HEAD^{tree}) &&
473                         value=$(eval "echo \$$type") &&
474                         printf "$mode $type %s\t%s" "$value" "$path" >bad &&
475                         bad_tree=$(git mktree <bad) &&
476                         git fsck 2>out &&
477                         test_i18ngrep "warning.*tree $bad_tree" out
478                 )'
479         done <<-\EOF
480         100644 blob
481         040000 tree
482         EOF
483 done <<-EOF
484 dot .
485 dotdot ..
486 dotgit .git
487 dotgit-case .GIT
488 dotgit-unicode .gI${u200c}T .gI{u200c}T
489 dotgit-case2 .Git
490 git-tilde1 git~1
491 dotgitdot .git.
492 dot-backslash-case .\\\\.GIT\\\\foobar
493 dotgit-case-backslash .git\\\\foobar
494 EOF
495
496 test_expect_success 'fsck allows .Ňit' '
497         (
498                 git init not-dotgit &&
499                 cd not-dotgit &&
500                 echo content >file &&
501                 git add file &&
502                 git commit -m base &&
503                 blob=$(git rev-parse :file) &&
504                 printf "100644 blob $blob\t.\\305\\207it" >tree &&
505                 tree=$(git mktree <tree) &&
506                 git fsck 2>err &&
507                 test_line_count = 0 err
508         )
509 '
510
511 test_expect_success 'NUL in commit' '
512         rm -fr nul-in-commit &&
513         git init nul-in-commit &&
514         (
515                 cd nul-in-commit &&
516                 git commit --allow-empty -m "initial commitQNUL after message" &&
517                 git cat-file commit HEAD >original &&
518                 q_to_nul <original >munged &&
519                 git hash-object -w -t commit --stdin <munged >name &&
520                 git branch bad $(cat name) &&
521
522                 test_must_fail git -c fsck.nulInCommit=error fsck 2>warn.1 &&
523                 test_i18ngrep nulInCommit warn.1 &&
524                 git fsck 2>warn.2 &&
525                 test_i18ngrep nulInCommit warn.2
526         )
527 '
528
529 # create a static test repo which is broken by omitting
530 # one particular object ($1, which is looked up via rev-parse
531 # in the new repository).
532 create_repo_missing () {
533         rm -rf missing &&
534         git init missing &&
535         (
536                 cd missing &&
537                 git commit -m one --allow-empty &&
538                 mkdir subdir &&
539                 echo content >subdir/file &&
540                 git add subdir/file &&
541                 git commit -m two &&
542                 unrelated=$(echo unrelated | git hash-object --stdin -w) &&
543                 git tag -m foo tag $unrelated &&
544                 sha1=$(git rev-parse --verify "$1") &&
545                 path=$(echo $sha1 | sed 's|..|&/|') &&
546                 rm .git/objects/$path
547         )
548 }
549
550 test_expect_success 'fsck notices missing blob' '
551         create_repo_missing HEAD:subdir/file &&
552         test_must_fail git -C missing fsck
553 '
554
555 test_expect_success 'fsck notices missing subtree' '
556         create_repo_missing HEAD:subdir &&
557         test_must_fail git -C missing fsck
558 '
559
560 test_expect_success 'fsck notices missing root tree' '
561         create_repo_missing HEAD^{tree} &&
562         test_must_fail git -C missing fsck
563 '
564
565 test_expect_success 'fsck notices missing parent' '
566         create_repo_missing HEAD^ &&
567         test_must_fail git -C missing fsck
568 '
569
570 test_expect_success 'fsck notices missing tagged object' '
571         create_repo_missing tag^{blob} &&
572         test_must_fail git -C missing fsck
573 '
574
575 test_expect_success 'fsck notices ref pointing to missing commit' '
576         create_repo_missing HEAD &&
577         test_must_fail git -C missing fsck
578 '
579
580 test_expect_success 'fsck notices ref pointing to missing tag' '
581         create_repo_missing tag &&
582         test_must_fail git -C missing fsck
583 '
584
585 test_expect_success 'fsck --connectivity-only' '
586         rm -rf connectivity-only &&
587         git init connectivity-only &&
588         (
589                 cd connectivity-only &&
590                 touch empty &&
591                 git add empty &&
592                 test_commit empty &&
593
594                 # Drop the index now; we want to be sure that we
595                 # recursively notice the broken objects
596                 # because they are reachable from refs, not because
597                 # they are in the index.
598                 rm -f .git/index &&
599
600                 # corrupt the blob, but in a way that we can still identify
601                 # its type. That lets us see that --connectivity-only is
602                 # not actually looking at the contents, but leaves it
603                 # free to examine the type if it chooses.
604                 empty=.git/objects/$(test_oid_to_path $EMPTY_BLOB) &&
605                 blob=$(echo unrelated | git hash-object -w --stdin) &&
606                 mv -f $(sha1_file $blob) $empty &&
607
608                 test_must_fail git fsck --strict &&
609                 git fsck --strict --connectivity-only &&
610                 tree=$(git rev-parse HEAD:) &&
611                 suffix=${tree#??} &&
612                 tree=.git/objects/${tree%$suffix}/$suffix &&
613                 rm -f $tree &&
614                 echo invalid >$tree &&
615                 test_must_fail git fsck --strict --connectivity-only
616         )
617 '
618
619 test_expect_success 'fsck --connectivity-only with explicit head' '
620         rm -rf connectivity-only &&
621         git init connectivity-only &&
622         (
623                 cd connectivity-only &&
624                 test_commit foo &&
625                 rm -f .git/index &&
626                 tree=$(git rev-parse HEAD^{tree}) &&
627                 remove_object $(git rev-parse HEAD:foo.t) &&
628                 test_must_fail git fsck --connectivity-only $tree
629         )
630 '
631
632 test_expect_success 'fsck --name-objects' '
633         rm -rf name-objects &&
634         git init name-objects &&
635         (
636                 cd name-objects &&
637                 test_commit julius caesar.t &&
638                 test_commit augustus &&
639                 test_commit caesar &&
640                 remove_object $(git rev-parse julius:caesar.t) &&
641                 test_must_fail git fsck --name-objects >out &&
642                 tree=$(git rev-parse --verify julius:) &&
643                 test_i18ngrep "$tree (refs/tags/julius:" out
644         )
645 '
646
647 test_expect_success 'alternate objects are correctly blamed' '
648         test_when_finished "rm -rf alt.git .git/objects/info/alternates" &&
649         name=$(test_oid numeric) &&
650         path=$(test_oid_to_path "$name") &&
651         git init --bare alt.git &&
652         echo "../../alt.git/objects" >.git/objects/info/alternates &&
653         mkdir alt.git/objects/$(dirname $path) &&
654         >alt.git/objects/$(dirname $path)/$(basename $path) &&
655         test_must_fail git fsck >out 2>&1 &&
656         test_i18ngrep alt.git out
657 '
658
659 test_expect_success 'fsck errors in packed objects' '
660         git cat-file commit HEAD >basis &&
661         sed "s/</one/" basis >one &&
662         sed "s/</foo/" basis >two &&
663         one=$(git hash-object -t commit -w one) &&
664         two=$(git hash-object -t commit -w two) &&
665         pack=$(
666                 {
667                         echo $one &&
668                         echo $two
669                 } | git pack-objects .git/objects/pack/pack
670         ) &&
671         test_when_finished "rm -f .git/objects/pack/pack-$pack.*" &&
672         remove_object $one &&
673         remove_object $two &&
674         test_must_fail git fsck 2>out &&
675         test_i18ngrep "error in commit $one.* - bad name" out &&
676         test_i18ngrep "error in commit $two.* - bad name" out &&
677         ! grep corrupt out
678 '
679
680 test_expect_success 'fsck fails on corrupt packfile' '
681         hsh=$(git commit-tree -m mycommit HEAD^{tree}) &&
682         pack=$(echo $hsh | git pack-objects .git/objects/pack/pack) &&
683
684         # Corrupt the first byte of the first object. (It contains 3 type bits,
685         # at least one of which is not zero, so setting the first byte to 0 is
686         # sufficient.)
687         chmod a+w .git/objects/pack/pack-$pack.pack &&
688         printf '\0' | dd of=.git/objects/pack/pack-$pack.pack bs=1 conv=notrunc seek=12 &&
689
690         test_when_finished "rm -f .git/objects/pack/pack-$pack.*" &&
691         remove_object $hsh &&
692         test_must_fail git fsck 2>out &&
693         test_i18ngrep "checksum mismatch" out
694 '
695
696 test_expect_success 'fsck finds problems in duplicate loose objects' '
697         rm -rf broken-duplicate &&
698         git init broken-duplicate &&
699         (
700                 cd broken-duplicate &&
701                 test_commit duplicate &&
702                 # no "-d" here, so we end up with duplicates
703                 git repack &&
704                 # now corrupt the loose copy
705                 file=$(sha1_file "$(git rev-parse HEAD)") &&
706                 rm "$file" &&
707                 echo broken >"$file" &&
708                 test_must_fail git fsck
709         )
710 '
711
712 test_expect_success 'fsck detects trailing loose garbage (commit)' '
713         git cat-file commit HEAD >basis &&
714         echo bump-commit-sha1 >>basis &&
715         commit=$(git hash-object -w -t commit basis) &&
716         file=$(sha1_file $commit) &&
717         test_when_finished "remove_object $commit" &&
718         chmod +w "$file" &&
719         echo garbage >>"$file" &&
720         test_must_fail git fsck 2>out &&
721         test_i18ngrep "garbage.*$commit" out
722 '
723
724 test_expect_success 'fsck detects trailing loose garbage (large blob)' '
725         blob=$(echo trailing | git hash-object -w --stdin) &&
726         file=$(sha1_file $blob) &&
727         test_when_finished "remove_object $blob" &&
728         chmod +w "$file" &&
729         echo garbage >>"$file" &&
730         test_must_fail git -c core.bigfilethreshold=5 fsck 2>out &&
731         test_i18ngrep "garbage.*$blob" out
732 '
733
734 test_expect_success 'fsck detects truncated loose object' '
735         # make it big enough that we know we will truncate in the data
736         # portion, not the header
737         test-tool genrandom truncate 4096 >file &&
738         blob=$(git hash-object -w file) &&
739         file=$(sha1_file $blob) &&
740         test_when_finished "remove_object $blob" &&
741         test_copy_bytes 1024 <"$file" >tmp &&
742         rm "$file" &&
743         mv -f tmp "$file" &&
744
745         # check both regular and streaming code paths
746         test_must_fail git fsck 2>out &&
747         test_i18ngrep corrupt.*$blob out &&
748
749         test_must_fail git -c core.bigfilethreshold=128 fsck 2>out &&
750         test_i18ngrep corrupt.*$blob out
751 '
752
753 # for each of type, we have one version which is referenced by another object
754 # (and so while unreachable, not dangling), and another variant which really is
755 # dangling.
756 test_expect_success 'create dangling-object repository' '
757         git init dangling &&
758         (
759                 cd dangling &&
760                 blob=$(echo not-dangling | git hash-object -w --stdin) &&
761                 dblob=$(echo dangling | git hash-object -w --stdin) &&
762                 tree=$(printf "100644 blob %s\t%s\n" $blob one | git mktree) &&
763                 dtree=$(printf "100644 blob %s\t%s\n" $blob two | git mktree) &&
764                 commit=$(git commit-tree $tree) &&
765                 dcommit=$(git commit-tree -p $commit $tree) &&
766
767                 cat >expect <<-EOF
768                 dangling blob $dblob
769                 dangling commit $dcommit
770                 dangling tree $dtree
771                 EOF
772         )
773 '
774
775 test_expect_success 'fsck notices dangling objects' '
776         (
777                 cd dangling &&
778                 git fsck >actual &&
779                 # the output order is non-deterministic, as it comes from a hash
780                 sort <actual >actual.sorted &&
781                 test_i18ncmp expect actual.sorted
782         )
783 '
784
785 test_expect_success 'fsck --connectivity-only notices dangling objects' '
786         (
787                 cd dangling &&
788                 git fsck --connectivity-only >actual &&
789                 # the output order is non-deterministic, as it comes from a hash
790                 sort <actual >actual.sorted &&
791                 test_i18ncmp expect actual.sorted
792         )
793 '
794
795 test_expect_success 'fsck $name notices bogus $name' '
796         test_must_fail git fsck bogus &&
797         test_must_fail git fsck $ZERO_OID
798 '
799
800 test_expect_success 'bogus head does not fallback to all heads' '
801         # set up a case that will cause a reachability complaint
802         echo to-be-deleted >foo &&
803         git add foo &&
804         blob=$(git rev-parse :foo) &&
805         test_when_finished "git rm --cached foo" &&
806         remove_object $blob &&
807         test_must_fail git fsck $ZERO_OID >out 2>&1 &&
808         ! grep $blob out
809 '
810
811 # Corrupt the checksum on the index.
812 # Add 1 to the last byte in the SHA.
813 corrupt_index_checksum () {
814     perl -w -e '
815         use Fcntl ":seek";
816         open my $fh, "+<", ".git/index" or die "open: $!";
817         binmode $fh;
818         seek $fh, -1, SEEK_END or die "seek: $!";
819         read $fh, my $in_byte, 1 or die "read: $!";
820
821         $in_value = unpack("C", $in_byte);
822         $out_value = ($in_value + 1) & 255;
823
824         $out_byte = pack("C", $out_value);
825
826         seek $fh, -1, SEEK_END or die "seek: $!";
827         print $fh $out_byte;
828         close $fh or die "close: $!";
829     '
830 }
831
832 # Corrupt the checksum on the index and then
833 # verify that only fsck notices.
834 test_expect_success 'detect corrupt index file in fsck' '
835         cp .git/index .git/index.backup &&
836         test_when_finished "mv .git/index.backup .git/index" &&
837         corrupt_index_checksum &&
838         test_must_fail git fsck --cache 2>errors &&
839         test_i18ngrep "bad index file" errors
840 '
841
842 test_done