blob: d59d57ea76347c534908d2d7fa851044b1af4801 [file] [log] [blame]
Linus Torvalds20222112005-04-08 15:02:42 -07001#include <sys/types.h>
2#include <dirent.h>
3
Linus Torvalds4b182422005-04-30 09:59:31 -07004#include "cache.h"
Daniel Barkalowff5ebe32005-04-18 11:39:48 -07005#include "commit.h"
6#include "tree.h"
7#include "blob.h"
Daniel Barkalowc418eda2005-04-28 07:46:33 -07008#include "tag.h"
Daniel Barkalowff5ebe32005-04-18 11:39:48 -07009
10#define REACHABLE 0x0001
Linus Torvaldsd9839e02005-04-13 09:57:30 -070011
Linus Torvaldsab7df182005-04-25 16:34:13 -070012static int show_root = 0;
Linus Torvalds889262e2005-04-25 16:31:13 -070013static int show_tags = 0;
Linus Torvaldsd9839e02005-04-13 09:57:30 -070014static int show_unreachable = 0;
Junio C Hamanoae7c0c92005-05-04 01:33:33 -070015static int keep_cache_objects = 0;
Linus Torvaldsd9839e02005-04-13 09:57:30 -070016static unsigned char head_sha1[20];
17
Linus Torvalds8ba0bbb2005-04-10 23:13:09 -070018static void check_connectivity(void)
19{
20 int i;
21
Linus Torvalds8ba0bbb2005-04-10 23:13:09 -070022 /* Look up all the requirements, warn about missing objects.. */
Daniel Barkalowff5ebe32005-04-18 11:39:48 -070023 for (i = 0; i < nr_objs; i++) {
24 struct object *obj = objs[i];
Daniel Barkalowc418eda2005-04-28 07:46:33 -070025 struct object_list *refs;
Linus Torvalds8ba0bbb2005-04-10 23:13:09 -070026
Linus Torvalds3a6a23e2005-04-30 11:22:26 -070027 if (!obj->parsed) {
28 printf("missing %s %s\n", obj->type, sha1_to_hex(obj->sha1));
29 continue;
30 }
31
32 for (refs = obj->refs; refs; refs = refs->next) {
33 if (refs->item->parsed)
34 continue;
35 printf("broken link from %7s %s\n",
36 obj->type, sha1_to_hex(obj->sha1));
37 printf(" to %7s %s\n",
Linus Torvaldsaa034132005-05-02 21:10:54 -070038 refs->item->type, sha1_to_hex(refs->item->sha1));
Linus Torvalds3a6a23e2005-04-30 11:22:26 -070039 }
40
41 /* Don't bother with tag reachability. */
42 if (obj->type == tag_type)
43 continue;
44
Daniel Barkalowff5ebe32005-04-18 11:39:48 -070045 if (show_unreachable && !(obj->flags & REACHABLE)) {
Linus Torvaldsf43b8ab2005-04-18 17:35:31 -070046 printf("unreachable %s %s\n", obj->type, sha1_to_hex(obj->sha1));
Linus Torvalds8ba0bbb2005-04-10 23:13:09 -070047 continue;
Linus Torvaldsd9839e02005-04-13 09:57:30 -070048 }
Linus Torvalds8ba0bbb2005-04-10 23:13:09 -070049
Daniel Barkalowff5ebe32005-04-18 11:39:48 -070050 if (!obj->used) {
51 printf("dangling %s %s\n", obj->type,
52 sha1_to_hex(obj->sha1));
Linus Torvaldsd9839e02005-04-13 09:57:30 -070053 }
Linus Torvalds8ba0bbb2005-04-10 23:13:09 -070054 }
55}
56
Linus Torvalds85003492005-05-02 16:13:18 -070057/*
58 * The entries in a tree are ordered in the _path_ order,
59 * which means that a directory entry is ordered by adding
60 * a slash to the end of it.
61 *
62 * So a directory called "a" is ordered _after_ a file
63 * called "a.c", because "a/" sorts after "a.c".
64 */
65static int verify_ordered(struct tree_entry_list *a, struct tree_entry_list *b)
66{
67 int len1 = strlen(a->name);
68 int len2 = strlen(b->name);
69 int len = len1 < len2 ? len1 : len2;
70 unsigned char c1, c2;
71 int cmp;
72
73 cmp = memcmp(a->name, b->name, len);
74 if (cmp < 0)
75 return 0;
76 if (cmp > 0)
77 return -1;
78
79 /*
80 * Ok, the first <len> characters are the same.
81 * Now we need to order the next one, but turn
82 * a '\0' into a '/' for a directory entry.
83 */
84 c1 = a->name[len];
85 c2 = b->name[len];
86 if (!c1 && a->directory)
87 c1 = '/';
88 if (!c2 && b->directory)
89 c2 = '/';
90 return c1 < c2 ? 0 : -1;
91}
92
Daniel Barkalowc418eda2005-04-28 07:46:33 -070093static int fsck_tree(struct tree *item)
Linus Torvalds1ea34e32005-04-08 17:11:14 -070094{
Linus Torvalds85003492005-05-02 16:13:18 -070095 int has_full_path = 0;
96 struct tree_entry_list *entry, *last;
97
98 last = NULL;
99 for (entry = item->entries; entry; entry = entry->next) {
100 if (strchr(entry->name, '/'))
101 has_full_path = 1;
102
Linus Torvalds42ea9cb2005-05-05 16:18:48 -0700103 switch (entry->mode) {
104 /*
105 * Standard modes..
106 */
107 case S_IFREG | 0755:
108 case S_IFREG | 0644:
109 case S_IFLNK:
110 case S_IFDIR:
111 break;
112 /*
113 * This is nonstandard, but we had a few of these
114 * early on when we honored the full set of mode
115 * bits..
116 */
117 case S_IFREG | 0664:
118 break;
119 default:
120 printf("tree %s has entry %o %s\n",
121 sha1_to_hex(item->object.sha1),
122 entry->mode, entry->name);
123 }
124
Linus Torvalds85003492005-05-02 16:13:18 -0700125 if (last) {
126 if (verify_ordered(last, entry) < 0) {
127 fprintf(stderr, "tree %s not ordered\n",
128 sha1_to_hex(item->object.sha1));
129 return -1;
130 }
131 }
132
133 last = entry;
134 }
135
136 if (has_full_path) {
Daniel Barkalowff5ebe32005-04-18 11:39:48 -0700137 fprintf(stderr, "warning: fsck-cache: tree %s "
Daniel Barkalowc418eda2005-04-28 07:46:33 -0700138 "has full pathnames in it\n",
139 sha1_to_hex(item->object.sha1));
Linus Torvalds1ea34e32005-04-08 17:11:14 -0700140 }
Linus Torvalds85003492005-05-02 16:13:18 -0700141
Linus Torvalds59c1e242005-04-09 00:25:22 -0700142 return 0;
Linus Torvalds1ea34e32005-04-08 17:11:14 -0700143}
144
Daniel Barkalowc418eda2005-04-28 07:46:33 -0700145static int fsck_commit(struct commit *commit)
Linus Torvalds1ea34e32005-04-08 17:11:14 -0700146{
Daniel Barkalowff5ebe32005-04-18 11:39:48 -0700147 if (!commit->tree)
Linus Torvalds1ea34e32005-04-08 17:11:14 -0700148 return -1;
Linus Torvaldsab7df182005-04-25 16:34:13 -0700149 if (!commit->parents && show_root)
Daniel Barkalowc418eda2005-04-28 07:46:33 -0700150 printf("root %s\n", sha1_to_hex(commit->object.sha1));
Linus Torvaldse6948b62005-04-24 16:20:53 -0700151 if (!commit->date)
Daniel Barkalowc418eda2005-04-28 07:46:33 -0700152 printf("bad commit date in %s\n",
153 sha1_to_hex(commit->object.sha1));
Linus Torvalds59c1e242005-04-09 00:25:22 -0700154 return 0;
Linus Torvalds1ea34e32005-04-08 17:11:14 -0700155}
156
Daniel Barkalowc418eda2005-04-28 07:46:33 -0700157static int fsck_tag(struct tag *tag)
Linus Torvalds4728b862005-04-24 14:10:55 -0700158{
Linus Torvalds92d4c852005-05-03 07:57:56 -0700159 struct object *tagged = tag->tagged;
160
161 if (!tagged) {
162 printf("bad object in tag %s\n", sha1_to_hex(tag->object.sha1));
163 return -1;
164 }
Linus Torvalds889262e2005-04-25 16:31:13 -0700165 if (!show_tags)
166 return 0;
167
Linus Torvalds92d4c852005-05-03 07:57:56 -0700168 printf("tagged %s %s", tagged->type, sha1_to_hex(tagged->sha1));
169 printf(" (%s) in %s\n", tag->tag, sha1_to_hex(tag->object.sha1));
Daniel Barkalowff5ebe32005-04-18 11:39:48 -0700170 return 0;
Linus Torvalds20222112005-04-08 15:02:42 -0700171}
172
Linus Torvalds7e8c1742005-05-02 09:06:33 -0700173static int fsck_sha1(unsigned char *sha1)
Linus Torvalds20222112005-04-08 15:02:42 -0700174{
Linus Torvalds7e8c1742005-05-02 09:06:33 -0700175 struct object *obj = parse_object(sha1);
176 if (!obj)
177 return -1;
178 if (obj->type == blob_type)
179 return 0;
180 if (obj->type == tree_type)
181 return fsck_tree((struct tree *) obj);
182 if (obj->type == commit_type)
183 return fsck_commit((struct commit *) obj);
184 if (obj->type == tag_type)
185 return fsck_tag((struct tag *) obj);
Linus Torvalds20222112005-04-08 15:02:42 -0700186 return -1;
187}
188
Linus Torvalds7e8c1742005-05-02 09:06:33 -0700189/*
190 * This is the sorting chunk size: make it reasonably
191 * big so that we can sort well..
192 */
193#define MAX_SHA1_ENTRIES (1024)
194
195struct sha1_entry {
196 unsigned long ino;
197 unsigned char sha1[20];
198};
199
200static struct {
201 unsigned long nr;
202 struct sha1_entry *entry[MAX_SHA1_ENTRIES];
203} sha1_list;
204
205static int ino_compare(const void *_a, const void *_b)
206{
207 const struct sha1_entry *a = _a, *b = _b;
208 unsigned long ino1 = a->ino, ino2 = b->ino;
209 return ino1 < ino2 ? -1 : ino1 > ino2 ? 1 : 0;
210}
211
212static void fsck_sha1_list(void)
213{
214 int i, nr = sha1_list.nr;
215
216 qsort(sha1_list.entry, nr, sizeof(struct sha1_entry *), ino_compare);
217 for (i = 0; i < nr; i++) {
218 struct sha1_entry *entry = sha1_list.entry[i];
219 unsigned char *sha1 = entry->sha1;
220
221 sha1_list.entry[i] = NULL;
222 if (fsck_sha1(sha1) < 0)
223 fprintf(stderr, "bad sha1 entry '%s'\n", sha1_to_hex(sha1));
224 free(entry);
225 }
226 sha1_list.nr = 0;
227}
228
229static void add_sha1_list(unsigned char *sha1, unsigned long ino)
230{
231 struct sha1_entry *entry = xmalloc(sizeof(*entry));
232 int nr;
233
234 entry->ino = ino;
235 memcpy(entry->sha1, sha1, 20);
236 nr = sha1_list.nr;
237 if (nr == MAX_SHA1_ENTRIES) {
238 fsck_sha1_list();
239 nr = 0;
240 }
241 sha1_list.entry[nr] = entry;
242 sha1_list.nr = ++nr;
243}
244
Linus Torvalds20222112005-04-08 15:02:42 -0700245static int fsck_dir(int i, char *path)
246{
247 DIR *dir = opendir(path);
248 struct dirent *de;
249
250 if (!dir) {
Petr Baudis2de381f2005-04-13 02:28:48 -0700251 return error("missing sha1 directory '%s'", path);
Linus Torvalds20222112005-04-08 15:02:42 -0700252 }
253
254 while ((de = readdir(dir)) != NULL) {
255 char name[100];
Linus Torvalds7e8c1742005-05-02 09:06:33 -0700256 unsigned char sha1[20];
Linus Torvalds20222112005-04-08 15:02:42 -0700257 int len = strlen(de->d_name);
258
259 switch (len) {
260 case 2:
261 if (de->d_name[1] != '.')
262 break;
263 case 1:
264 if (de->d_name[0] != '.')
265 break;
266 continue;
267 case 38:
268 sprintf(name, "%02x", i);
269 memcpy(name+2, de->d_name, len+1);
Linus Torvalds7e8c1742005-05-02 09:06:33 -0700270 if (get_sha1_hex(name, sha1) < 0)
271 break;
272 add_sha1_list(sha1, de->d_ino);
273 continue;
Linus Torvalds20222112005-04-08 15:02:42 -0700274 }
275 fprintf(stderr, "bad sha1 file: %s/%s\n", path, de->d_name);
276 }
277 closedir(dir);
278 return 0;
279}
280
281int main(int argc, char **argv)
282{
Linus Torvaldsbcee6fd2005-04-13 16:42:09 -0700283 int i, heads;
Linus Torvalds20222112005-04-08 15:02:42 -0700284 char *sha1_dir;
285
Linus Torvalds889262e2005-04-25 16:31:13 -0700286 for (i = 1; i < argc; i++) {
287 const char *arg = argv[i];
288
289 if (!strcmp(arg, "--unreachable")) {
290 show_unreachable = 1;
291 continue;
292 }
293 if (!strcmp(arg, "--tags")) {
294 show_tags = 1;
295 continue;
296 }
Linus Torvaldsab7df182005-04-25 16:34:13 -0700297 if (!strcmp(arg, "--root")) {
298 show_root = 1;
299 continue;
300 }
Junio C Hamanoae7c0c92005-05-04 01:33:33 -0700301 if (!strcmp(arg, "--cache")) {
302 keep_cache_objects = 1;
303 continue;
304 }
Linus Torvalds889262e2005-04-25 16:31:13 -0700305 if (*arg == '-')
Junio C Hamanoae7c0c92005-05-04 01:33:33 -0700306 usage("fsck-cache [--tags] [[--unreachable] [--cache] <head-sha1>*]");
Linus Torvalds889262e2005-04-25 16:31:13 -0700307 }
308
Junio C Hamanoace15342005-05-07 00:38:04 -0700309 sha1_dir = get_object_directory();
Linus Torvalds20222112005-04-08 15:02:42 -0700310 for (i = 0; i < 256; i++) {
311 static char dir[4096];
312 sprintf(dir, "%s/%02x", sha1_dir, i);
313 fsck_dir(i, dir);
314 }
Linus Torvalds7e8c1742005-05-02 09:06:33 -0700315 fsck_sha1_list();
Linus Torvaldsbcee6fd2005-04-13 16:42:09 -0700316
317 heads = 0;
318 for (i = 1; i < argc; i++) {
Linus Torvalds889262e2005-04-25 16:31:13 -0700319 const char *arg = argv[i];
320
321 if (*arg == '-')
Linus Torvaldsbcee6fd2005-04-13 16:42:09 -0700322 continue;
Linus Torvalds889262e2005-04-25 16:31:13 -0700323
Linus Torvalds3c249c92005-05-01 16:36:56 -0700324 if (!get_sha1(arg, head_sha1)) {
Linus Torvalds770896e2005-05-04 17:03:09 -0700325 struct object *obj = lookup_object(head_sha1);
Jonas Fonsecae1a13882005-04-29 20:00:40 -0700326
Linus Torvalds770896e2005-05-04 17:03:09 -0700327 /* Error is printed by lookup_object(). */
328 if (!obj)
Jonas Fonsecae1a13882005-04-29 20:00:40 -0700329 continue;
330
Daniel Barkalowff5ebe32005-04-18 11:39:48 -0700331 obj->used = 1;
332 mark_reachable(obj, REACHABLE);
Linus Torvaldsbcee6fd2005-04-13 16:42:09 -0700333 heads++;
334 continue;
335 }
Linus Torvalds889262e2005-04-25 16:31:13 -0700336 error("expected sha1, got %s", arg);
Linus Torvaldsbcee6fd2005-04-13 16:42:09 -0700337 }
338
Junio C Hamanoae7c0c92005-05-04 01:33:33 -0700339 if (keep_cache_objects) {
340 int i;
341 read_cache();
342 for (i = 0; i < active_nr; i++) {
343 struct blob *blob = lookup_blob(active_cache[i]->sha1);
344 struct object *obj;
345 if (!blob)
346 continue;
347 obj = &blob->object;
348 obj->used = 1;
349 mark_reachable(obj, REACHABLE);
350 }
351 }
352
353 if (!heads && !keep_cache_objects) {
Linus Torvaldsbcee6fd2005-04-13 16:42:09 -0700354 if (show_unreachable) {
Junio C Hamanoae7c0c92005-05-04 01:33:33 -0700355 fprintf(stderr, "unable to do reachability without a head nor --cache\n");
Linus Torvaldsbcee6fd2005-04-13 16:42:09 -0700356 show_unreachable = 0;
357 }
Junio C Hamanoae7c0c92005-05-04 01:33:33 -0700358 if (!heads)
359 fprintf(stderr, "expect dangling commits - potential heads - due to lack of head information\n");
Linus Torvaldsbcee6fd2005-04-13 16:42:09 -0700360 }
361
Linus Torvalds8ba0bbb2005-04-10 23:13:09 -0700362 check_connectivity();
Linus Torvalds20222112005-04-08 15:02:42 -0700363 return 0;
364}