(List
  (= scope=<EAssignScope.GLOBAL 1> flags=0 words=[] bindings=[('test_description', {[SQ <LIT_CHARS "pack index with 64-bit offsets and object CRC">]})])
  (Com {[LIT_CHARS .]} {[LIT_CHARS ./test-lib.sh]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS setup>]} {[SQ <LIT_CHARS "rm -rf .git &&\n"> <LIT_CHARS "     git init &&\n"> <LIT_CHARS "     git config pack.threads 1 &&\n"> <LIT_CHARS "     i=1 &&\n"> <LIT_CHARS "     while test $i -le 100\n"> <LIT_CHARS "     do\n"> <LIT_CHARS "         iii=`printf ">] [LIT_OTHER "%"] [LIT_CHARS 03i] [SQ <LIT_CHARS " $i`\n"> <LIT_CHARS "         test-genrandom \"bar\" 200 > wide_delta_$iii &&\n"> <LIT_CHARS "         test-genrandom \"baz $iii\" 50 >> wide_delta_$iii &&\n"> <LIT_CHARS "         test-genrandom \"foo\"$i 100 > deep_delta_$iii &&\n"> <LIT_CHARS "         test-genrandom \"foo\"`expr $i + 1` 100 >> deep_delta_$iii &&\n"> <LIT_CHARS "         test-genrandom \"foo\"`expr $i + 2` 100 >> deep_delta_$iii &&\n"> <LIT_CHARS "         echo $iii >file_$iii &&\n"> <LIT_CHARS "         test-genrandom \"$iii\" 8192 >>file_$iii &&\n"> <LIT_CHARS "         git update-index --add file_$iii deep_delta_$iii wide_delta_$iii &&\n"> <LIT_CHARS "         i=`expr $i + 1` || return 1\n"> <LIT_CHARS "     done &&\n"> <LIT_CHARS "     { echo 101 && test-genrandom 100 8192; } >file_101 &&\n"> <LIT_CHARS "     git update-index --add file_101 &&\n"> <LIT_CHARS "     tree=`git write-tree` &&\n"> <LIT_CHARS "     commit=`git commit-tree $tree </dev/null` && {\n"> <LIT_CHARS "\t echo $tree &&\n"> <LIT_CHARS "\t git ls-tree $tree | sed -e \"s/.* \\\\([0-9a-f]*\\\\)\t.*/\\\\1/\"\n"> <LIT_CHARS "     } >obj-list &&\n"> <LIT_CHARS "     git update-ref HEAD $commit">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "pack-objects with index version 1">]} {[SQ <LIT_CHARS "pack1=$(git pack-objects --index-version=1 test-1 <obj-list) &&\n"> <LIT_CHARS "     git verify-pack -v \"test-1-${pack1}.pack\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "pack-objects with index version 2">]} {[SQ <LIT_CHARS "pack2=$(git pack-objects --index-version=2 test-2 <obj-list) &&\n"> <LIT_CHARS "     git verify-pack -v \"test-2-${pack2}.pack\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "both packs should be identical">]} {[SQ <LIT_CHARS "cmp \"test-1-${pack1}.pack\" \"test-2-${pack2}.pack\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "index v1 and index v2 should be different">]} {[SQ <LIT_CHARS "! cmp \"test-1-${pack1}.idx\" \"test-2-${pack2}.idx\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "index-pack with index version 1">]} {[SQ <LIT_CHARS "git index-pack --index-version=1 -o 1.idx \"test-1-${pack1}.pack\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "index-pack with index version 2">]} {[SQ <LIT_CHARS "git index-pack --index-version=2 -o 2.idx \"test-1-${pack1}.pack\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "index-pack results should match pack-objects ones">]} {[SQ <LIT_CHARS "cmp \"test-1-${pack1}.idx\" \"1.idx\" &&\n"> <LIT_CHARS "     cmp \"test-2-${pack2}.idx\" \"2.idx\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "index-pack --verify on index version 1">]} {[SQ <LIT_CHARS "\n"> <LIT_CHARS "\tgit index-pack --verify \"test-1-${pack1}.pack\"\n">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "index-pack --verify on index version 2">]} {[SQ <LIT_CHARS "\n"> <LIT_CHARS "\tgit index-pack --verify \"test-2-${pack2}.pack\"\n">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "pack-objects --index-version=2, is not accepted">]} {[SQ <LIT_CHARS "test_must_fail git pack-objects --index-version=2, test-3 <obj-list">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "index v2: force some 64-bit offsets with pack-objects">]} {[SQ <LIT_CHARS "pack3=$(git pack-objects --index-version=2,0x40000 test-3 <obj-list)">]}  )
  (If
    (AndOr OP_OR_IF
      (= scope=<EAssignScope.GLOBAL 1> flags=0 words=[] bindings=[('msg', {[ComSub (Com redirects=[(DescriptorRedirectNode target={[LIT_CHARS 1]} <REDIR_GREATAND "2>&"> 2)]{[LIT_CHARS git]} {[LIT_CHARS verify-pack]} {[LIT_CHARS -v]} {[DQ [LIT_CHARS test-3-][VarSub pack3][LIT_CHARS .pack]]})]})])
      (Pipeline!
        (Subshell
          (Pipeline
            (Com {[LIT_CHARS echo]} {[DQ [VarSub msg]]}            )
            (Com {[LIT_CHARS grep]} {[DQ [LIT_CHARS "pack too large .* off_t"]]}            )
          )
        )
      )
    )
    (Com {[LIT_CHARS test_set_prereq]} {[LIT_CHARS OFF64_T]}    )
    (ElseTrue)
    (Com {[LIT_CHARS say]} {[DQ [LIT_CHARS "# skipping tests concerning 64-bit offsets"]]}    )
  )
  (Com {[LIT_CHARS test_expect_success]} {[LIT_CHARS OFF64_T]} {[SQ <LIT_CHARS "index v2: verify a pack with some 64-bit offsets">]} {[SQ <LIT_CHARS "git verify-pack -v \"test-3-${pack3}.pack\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[LIT_CHARS OFF64_T]} {[SQ <LIT_CHARS "64-bit offsets: should be different from previous index v2 results">]} {[SQ <LIT_CHARS "! cmp \"test-2-${pack2}.idx\" \"test-3-${pack3}.idx\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[LIT_CHARS OFF64_T]} {[SQ <LIT_CHARS "index v2: force some 64-bit offsets with index-pack">]} {[SQ <LIT_CHARS "git index-pack --index-version=2,0x40000 -o 3.idx \"test-1-${pack1}.pack\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[LIT_CHARS OFF64_T]} {[SQ <LIT_CHARS "64-bit offsets: index-pack result should match pack-objects one">]} {[SQ <LIT_CHARS "cmp \"test-3-${pack3}.idx\" \"3.idx\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[LIT_CHARS OFF64_T]} {[SQ <LIT_CHARS "index-pack --verify on 64-bit offset v2 (cheat)">]} {[SQ <LIT_CHARS "\n"> <LIT_CHARS "\t# This cheats by knowing which lower offset should still be encoded\n"> <LIT_CHARS "\t# in 64-bit representation.\n"> <LIT_CHARS "\tgit index-pack --verify --index-version=2,0x40000 \"test-3-${pack3}.pack\"\n">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[LIT_CHARS OFF64_T]} {[SQ <LIT_CHARS "index-pack --verify on 64-bit offset v2">]} {[SQ <LIT_CHARS "\n"> <LIT_CHARS "\tgit index-pack --verify \"test-3-${pack3}.pack\"\n">]}  )
  (FunctionDef index_obj_nr []
    (List
      (= scope=<EAssignScope.GLOBAL 1> flags=0 words=[] bindings=[('idx_file', {[VarSub 1]})])
      (= scope=<EAssignScope.GLOBAL 1> flags=0 words=[] bindings=[('object_sha1', {[VarSub 2]})])
      (= scope=<EAssignScope.GLOBAL 1> flags=0 words=[] bindings=[('nr', {[LIT_CHARS 0]})])
      (Pipeline
        (Com {[LIT_CHARS git]} {[LIT_CHARS show-index]}
          <
          (FilenameRedirectNode filename={[VarSub idx_file]} <REDIR_LESS "<"> 0),
          >
        )
        (While
          (Com {[LIT_CHARS read]} {[LIT_CHARS offs]} {[LIT_CHARS sha1]} {[LIT_CHARS extra]}          )
          (List
            (= scope=<EAssignScope.GLOBAL 1> flags=0 words=[] bindings=[('nr', {[ArithSub {A2 AS_OP_PLUS {A Atom NODE_ARITH_WORD {[VarSub nr]}} {A Atom NODE_ARITH_WORD {[AS_NUM_LITERAL 1]}}}]})])
            (AndOr OP_OR_IF
              (Com {[LIT_CHARS test]} {[DQ [VarSub sha1]]} {[LIT_DBRACKET_LIKE "="]} {[DQ [VarSub object_sha1]]}              )
              (Com {[LIT_CHARS continue]}              )
            )
            (Com {[LIT_CHARS echo]} {[DQ [ArithSub {A2 AS_OP_MINUS {A Atom NODE_ARITH_WORD {[VarSub nr]}} {A Atom NODE_ARITH_WORD {[AS_NUM_LITERAL 1]}}}]]}            )
            (Com {[LIT_CHARS break]}            )
          )
        )
      )
    )
  )
  (FunctionDef index_obj_offset []
    (List
      (= scope=<EAssignScope.GLOBAL 1> flags=0 words=[] bindings=[('idx_file', {[VarSub 1]})])
      (= scope=<EAssignScope.GLOBAL 1> flags=0 words=[] bindings=[('object_sha1', {[VarSub 2]})])
      (Pipeline
        (Com {[LIT_CHARS git]} {[LIT_CHARS show-index]}
          <
          (FilenameRedirectNode filename={[VarSub idx_file]} <REDIR_LESS "<"> 0),
          >
        )
        (Com {[LIT_CHARS grep]} {[VarSub object_sha1]}        )
        (Subshell
          (AndOr OP_AND_IF
            (Com {[LIT_CHARS read]} {[LIT_CHARS offs]} {[LIT_CHARS extra]}            )
            (Com {[LIT_CHARS echo]} {[DQ [VarSub offs]]}            )
          )
        )
      )
    )
  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "[index v1] 1) stream pack to repository">]} {[SQ <LIT_CHARS "git index-pack --index-version=1 --stdin < \"test-1-${pack1}.pack\" &&\n"> <LIT_CHARS "     git prune-packed &&\n"> <LIT_CHARS "     git count-objects | ( read nr rest && test \"$nr\" -eq 1 ) &&\n"> <LIT_CHARS "     cmp \"test-1-${pack1}.pack\" \".git/objects/pack/pack-${pack1}.pack\" &&\n"> <LIT_CHARS "     cmp \"test-1-${pack1}.idx\"  \".git/objects/pack/pack-${pack1}.idx\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "[index v1] 2) create a stealth corruption in a delta base reference">]} {[SQ <LIT_CHARS "# This test assumes file_101 is a delta smaller than 16 bytes.\n"> <LIT_CHARS "     # It should be against file_100 but we substitute its base for file_099\n"> <LIT_CHARS "     sha1_101=`git hash-object file_101` &&\n"> <LIT_CHARS "     sha1_099=`git hash-object file_099` &&\n"> <LIT_CHARS "     offs_101=`index_obj_offset 1.idx $sha1_101` &&\n"> <LIT_CHARS "     nr_099=`index_obj_nr 1.idx $sha1_099` &&\n"> <LIT_CHARS "     chmod +w \".git/objects/pack/pack-${pack1}.pack\" &&\n"> <LIT_CHARS "     dd of=\".git/objects/pack/pack-${pack1}.pack\" seek=$(($offs_101 + 1)) \\\n"> <LIT_CHARS "        if=\".git/objects/pack/pack-${pack1}.idx\" \\\n"> <LIT_CHARS "        skip=$((4 + 256 * 4 + $nr_099 * 24)) \\\n"> <LIT_CHARS "        bs=1 count=20 conv=notrunc &&\n"> <LIT_CHARS "     git cat-file blob $sha1_101 > file_101_foo1">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "[index v1] 3) corrupted delta happily returned wrong data">]} {[SQ <LIT_CHARS "test -f file_101_foo1 && ! cmp file_101 file_101_foo1">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "[index v1] 4) confirm that the pack is actually corrupted">]} {[SQ <LIT_CHARS "test_must_fail git fsck --full $commit">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "[index v1] 5) pack-objects happily reuses corrupted data">]} {[SQ <LIT_CHARS "pack4=$(git pack-objects test-4 <obj-list) &&\n"> <LIT_CHARS "     test -f \"test-4-${pack1}.pack\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "[index v1] 6) newly created pack is BAD !">]} {[SQ <LIT_CHARS "test_must_fail git verify-pack -v \"test-4-${pack1}.pack\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "[index v2] 1) stream pack to repository">]} {[SQ <LIT_CHARS "rm -f .git/objects/pack/* &&\n"> <LIT_CHARS "     git index-pack --index-version=2 --stdin < \"test-1-${pack1}.pack\" &&\n"> <LIT_CHARS "     git prune-packed &&\n"> <LIT_CHARS "     git count-objects | ( read nr rest && test \"$nr\" -eq 1 ) &&\n"> <LIT_CHARS "     cmp \"test-1-${pack1}.pack\" \".git/objects/pack/pack-${pack1}.pack\" &&\n"> <LIT_CHARS "     cmp \"test-2-${pack1}.idx\"  \".git/objects/pack/pack-${pack1}.idx\"">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "[index v2] 2) create a stealth corruption in a delta base reference">]} {[SQ <LIT_CHARS "# This test assumes file_101 is a delta smaller than 16 bytes.\n"> <LIT_CHARS "     # It should be against file_100 but we substitute its base for file_099\n"> <LIT_CHARS "     sha1_101=`git hash-object file_101` &&\n"> <LIT_CHARS "     sha1_099=`git hash-object file_099` &&\n"> <LIT_CHARS "     offs_101=`index_obj_offset 1.idx $sha1_101` &&\n"> <LIT_CHARS "     nr_099=`index_obj_nr 1.idx $sha1_099` &&\n"> <LIT_CHARS "     chmod +w \".git/objects/pack/pack-${pack1}.pack\" &&\n"> <LIT_CHARS "     dd of=\".git/objects/pack/pack-${pack1}.pack\" seek=$(($offs_101 + 1)) \\\n"> <LIT_CHARS "        if=\".git/objects/pack/pack-${pack1}.idx\" \\\n"> <LIT_CHARS "        skip=$((8 + 256 * 4 + $nr_099 * 20)) \\\n"> <LIT_CHARS "        bs=1 count=20 conv=notrunc &&\n"> <LIT_CHARS "     git cat-file blob $sha1_101 > file_101_foo2">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "[index v2] 3) corrupted delta happily returned wrong data">]} {[SQ <LIT_CHARS "test -f file_101_foo2 && ! cmp file_101 file_101_foo2">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "[index v2] 4) confirm that the pack is actually corrupted">]} {[SQ <LIT_CHARS "test_must_fail git fsck --full $commit">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "[index v2] 5) pack-objects refuses to reuse corrupted data">]} {[SQ <LIT_CHARS "test_must_fail git pack-objects test-5 <obj-list &&\n"> <LIT_CHARS "     test_must_fail git pack-objects --no-reuse-object test-6 <obj-list">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "[index v2] 6) verify-pack detects CRC mismatch">]} {[SQ <LIT_CHARS "rm -f .git/objects/pack/* &&\n"> <LIT_CHARS "     git index-pack --index-version=2 --stdin < \"test-1-${pack1}.pack\" &&\n"> <LIT_CHARS "     git verify-pack \".git/objects/pack/pack-${pack1}.pack\" &&\n"> <LIT_CHARS "     obj=`git hash-object file_001` &&\n"> <LIT_CHARS "     nr=`index_obj_nr \".git/objects/pack/pack-${pack1}.idx\" $obj` &&\n"> <LIT_CHARS "     chmod +w \".git/objects/pack/pack-${pack1}.idx\" &&\n"> <LIT_CHARS "     printf xxxx | dd of=\".git/objects/pack/pack-${pack1}.idx\" conv=notrunc \\\n"> <LIT_CHARS "        bs=1 count=4 seek=$((8 + 256 * 4 + `wc -l <obj-list` * 20 + $nr * 4)) &&\n"> <LIT_CHARS "     ( while read obj\n"> <LIT_CHARS "       do git cat-file -p $obj >/dev/null || exit 1\n"> <LIT_CHARS "       done <obj-list ) &&\n"> <LIT_CHARS "     test_must_fail git verify-pack \".git/objects/pack/pack-${pack1}.pack\"\n">]}  )
  (Com {[LIT_CHARS test_expect_success]} {[SQ <LIT_CHARS "running index-pack in the object store">]} {[SQ <LIT_CHARS "\n"> <LIT_CHARS "    rm -f .git/objects/pack/* &&\n"> <LIT_CHARS "    cp test-1-${pack1}.pack .git/objects/pack/pack-${pack1}.pack &&\n"> <LIT_CHARS "    (\n"> <LIT_CHARS "\tcd .git/objects/pack\n"> <LIT_CHARS "\tgit index-pack pack-${pack1}.pack\n"> <LIT_CHARS "    ) &&\n"> <LIT_CHARS "    test -f .git/objects/pack/pack-${pack1}.idx\n">]}  )
  (Com {[LIT_CHARS test_done]}  )
)