Coverage Report

Created: 2024-09-08 06:24

/src/git/connected.c
Line
Count
Source (jump to first uncovered line)
1
#define USE_THE_REPOSITORY_VARIABLE
2
3
#include "git-compat-util.h"
4
#include "gettext.h"
5
#include "hex.h"
6
#include "object-store-ll.h"
7
#include "run-command.h"
8
#include "sigchain.h"
9
#include "connected.h"
10
#include "transport.h"
11
#include "packfile.h"
12
#include "promisor-remote.h"
13
14
/*
15
 * If we feed all the commits we want to verify to this command
16
 *
17
 *  $ git rev-list --objects --stdin --not --all
18
 *
19
 * and if it does not error out, that means everything reachable from
20
 * these commits locally exists and is connected to our existing refs.
21
 * Note that this does _not_ validate the individual objects.
22
 *
23
 * Returns 0 if everything is connected, non-zero otherwise.
24
 */
25
int check_connected(oid_iterate_fn fn, void *cb_data,
26
        struct check_connected_options *opt)
27
0
{
28
0
  struct child_process rev_list = CHILD_PROCESS_INIT;
29
0
  FILE *rev_list_in;
30
0
  struct check_connected_options defaults = CHECK_CONNECTED_INIT;
31
0
  const struct object_id *oid;
32
0
  int err = 0;
33
0
  struct packed_git *new_pack = NULL;
34
0
  struct transport *transport;
35
0
  size_t base_len;
36
37
0
  if (!opt)
38
0
    opt = &defaults;
39
0
  transport = opt->transport;
40
41
0
  oid = fn(cb_data);
42
0
  if (!oid) {
43
0
    if (opt->err_fd)
44
0
      close(opt->err_fd);
45
0
    return err;
46
0
  }
47
48
0
  if (transport && transport->smart_options &&
49
0
      transport->smart_options->self_contained_and_connected &&
50
0
      transport->pack_lockfiles.nr == 1 &&
51
0
      strip_suffix(transport->pack_lockfiles.items[0].string,
52
0
       ".keep", &base_len)) {
53
0
    struct strbuf idx_file = STRBUF_INIT;
54
0
    strbuf_add(&idx_file, transport->pack_lockfiles.items[0].string,
55
0
         base_len);
56
0
    strbuf_addstr(&idx_file, ".idx");
57
0
    new_pack = add_packed_git(idx_file.buf, idx_file.len, 1);
58
0
    strbuf_release(&idx_file);
59
0
  }
60
61
0
  if (repo_has_promisor_remote(the_repository)) {
62
    /*
63
     * For partial clones, we don't want to have to do a regular
64
     * connectivity check because we have to enumerate and exclude
65
     * all promisor objects (slow), and then the connectivity check
66
     * itself becomes a no-op because in a partial clone every
67
     * object is a promisor object. Instead, just make sure we
68
     * received, in a promisor packfile, the objects pointed to by
69
     * each wanted ref.
70
     *
71
     * Before checking for promisor packs, be sure we have the
72
     * latest pack-files loaded into memory.
73
     */
74
0
    reprepare_packed_git(the_repository);
75
0
    do {
76
0
      struct packed_git *p;
77
78
0
      for (p = get_all_packs(the_repository); p; p = p->next) {
79
0
        if (!p->pack_promisor)
80
0
          continue;
81
0
        if (find_pack_entry_one(oid->hash, p))
82
0
          goto promisor_pack_found;
83
0
      }
84
      /*
85
       * Fallback to rev-list with oid and the rest of the
86
       * object IDs provided by fn.
87
       */
88
0
      goto no_promisor_pack_found;
89
0
promisor_pack_found:
90
0
      ;
91
0
    } while ((oid = fn(cb_data)) != NULL);
92
0
    free(new_pack);
93
0
    return 0;
94
0
  }
95
96
0
no_promisor_pack_found:
97
0
  if (opt->shallow_file) {
98
0
    strvec_push(&rev_list.args, "--shallow-file");
99
0
    strvec_push(&rev_list.args, opt->shallow_file);
100
0
  }
101
0
  strvec_push(&rev_list.args,"rev-list");
102
0
  strvec_push(&rev_list.args, "--objects");
103
0
  strvec_push(&rev_list.args, "--stdin");
104
0
  if (repo_has_promisor_remote(the_repository))
105
0
    strvec_push(&rev_list.args, "--exclude-promisor-objects");
106
0
  if (!opt->is_deepening_fetch) {
107
0
    strvec_push(&rev_list.args, "--not");
108
0
    if (opt->exclude_hidden_refs_section)
109
0
      strvec_pushf(&rev_list.args, "--exclude-hidden=%s",
110
0
             opt->exclude_hidden_refs_section);
111
0
    strvec_push(&rev_list.args, "--all");
112
0
  }
113
0
  strvec_push(&rev_list.args, "--quiet");
114
0
  strvec_push(&rev_list.args, "--alternate-refs");
115
0
  if (opt->progress)
116
0
    strvec_pushf(&rev_list.args, "--progress=%s",
117
0
           _("Checking connectivity"));
118
119
0
  rev_list.git_cmd = 1;
120
0
  if (opt->env)
121
0
    strvec_pushv(&rev_list.env, opt->env);
122
0
  rev_list.in = -1;
123
0
  rev_list.no_stdout = 1;
124
0
  if (opt->err_fd)
125
0
    rev_list.err = opt->err_fd;
126
0
  else
127
0
    rev_list.no_stderr = opt->quiet;
128
129
0
  if (start_command(&rev_list)) {
130
0
    free(new_pack);
131
0
    return error(_("Could not run 'git rev-list'"));
132
0
  }
133
134
0
  sigchain_push(SIGPIPE, SIG_IGN);
135
136
0
  rev_list_in = xfdopen(rev_list.in, "w");
137
138
0
  do {
139
    /*
140
     * If index-pack already checked that:
141
     * - there are no dangling pointers in the new pack
142
     * - the pack is self contained
143
     * Then if the updated ref is in the new pack, then we
144
     * are sure the ref is good and not sending it to
145
     * rev-list for verification.
146
     */
147
0
    if (new_pack && find_pack_entry_one(oid->hash, new_pack))
148
0
      continue;
149
150
0
    if (fprintf(rev_list_in, "%s\n", oid_to_hex(oid)) < 0)
151
0
      break;
152
0
  } while ((oid = fn(cb_data)) != NULL);
153
154
0
  if (ferror(rev_list_in) || fflush(rev_list_in)) {
155
0
    if (errno != EPIPE && errno != EINVAL)
156
0
      error_errno(_("failed write to rev-list"));
157
0
    err = -1;
158
0
  }
159
160
0
  if (fclose(rev_list_in))
161
0
    err = error_errno(_("failed to close rev-list's stdin"));
162
163
0
  sigchain_pop(SIGPIPE);
164
0
  free(new_pack);
165
0
  return finish_command(&rev_list) || err;
166
0
}