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