11 static int fsck_walk_tree(struct tree *tree, fsck_walk_func walk, void *data)
13 struct tree_desc desc;
14 struct name_entry entry;
20 init_tree_desc(&desc, tree->buffer, tree->size);
21 while (tree_entry(&desc, &entry)) {
24 if (S_ISGITLINK(entry.mode))
26 if (S_ISDIR(entry.mode))
27 result = walk(&lookup_tree(entry.sha1)->object, OBJ_TREE, data);
28 else if (S_ISREG(entry.mode) || S_ISLNK(entry.mode))
29 result = walk(&lookup_blob(entry.sha1)->object, OBJ_BLOB, data);
31 result = error("in tree %s: entry %s has bad mode %.6o",
32 sha1_to_hex(tree->object.sha1), entry.path, entry.mode);
42 static int fsck_walk_commit(struct commit *commit, fsck_walk_func walk, void *data)
44 struct commit_list *parents;
48 if (parse_commit(commit))
51 result = walk((struct object *)commit->tree, OBJ_TREE, data);
56 parents = commit->parents;
58 result = walk((struct object *)parents->item, OBJ_COMMIT, data);
63 parents = parents->next;
68 static int fsck_walk_tag(struct tag *tag, fsck_walk_func walk, void *data)
72 return walk(tag->tagged, OBJ_ANY, data);
75 int fsck_walk(struct object *obj, fsck_walk_func walk, void *data)
83 return fsck_walk_tree((struct tree *)obj, walk, data);
85 return fsck_walk_commit((struct commit *)obj, walk, data);
87 return fsck_walk_tag((struct tag *)obj, walk, data);
89 error("Unknown object type for %s", sha1_to_hex(obj->sha1));
95 * The entries in a tree are ordered in the _path_ order,
96 * which means that a directory entry is ordered by adding
97 * a slash to the end of it.
99 * So a directory called "a" is ordered _after_ a file
100 * called "a.c", because "a/" sorts after "a.c".
102 #define TREE_UNORDERED (-1)
103 #define TREE_HAS_DUPS (-2)
105 static int verify_ordered(unsigned mode1, const char *name1, unsigned mode2, const char *name2)
107 int len1 = strlen(name1);
108 int len2 = strlen(name2);
109 int len = len1 < len2 ? len1 : len2;
110 unsigned char c1, c2;
113 cmp = memcmp(name1, name2, len);
117 return TREE_UNORDERED;
120 * Ok, the first <len> characters are the same.
121 * Now we need to order the next one, but turn
122 * a '\0' into a '/' for a directory entry.
128 * git-write-tree used to write out a nonsense tree that has
129 * entries with the same name, one blob and one tree. Make
130 * sure we do not have duplicate entries.
132 return TREE_HAS_DUPS;
133 if (!c1 && S_ISDIR(mode1))
135 if (!c2 && S_ISDIR(mode2))
137 return c1 < c2 ? 0 : TREE_UNORDERED;
140 static int fsck_tree(struct tree *item, int strict, fsck_error error_func)
143 int has_null_sha1 = 0;
144 int has_full_path = 0;
145 int has_empty_name = 0;
149 int has_zero_pad = 0;
150 int has_bad_modes = 0;
151 int has_dup_entries = 0;
152 int not_properly_sorted = 0;
153 struct tree_desc desc;
157 init_tree_desc(&desc, item->buffer, item->size);
165 const unsigned char *sha1;
167 sha1 = tree_entry_extract(&desc, &name, &mode);
169 has_null_sha1 |= is_null_sha1(sha1);
170 has_full_path |= !!strchr(name, '/');
171 has_empty_name |= !*name;
172 has_dot |= !strcmp(name, ".");
173 has_dotdot |= !strcmp(name, "..");
174 has_dotgit |= (!strcmp(name, ".git") ||
175 is_hfs_dotgit(name) ||
176 is_ntfs_dotgit(name));
177 has_zero_pad |= *(char *)desc.buffer == '0';
178 update_tree_entry(&desc);
191 * This is nonstandard, but we had a few of these
192 * early on when we honored the full set of mode
203 switch (verify_ordered(o_mode, o_name, mode, name)) {
205 not_properly_sorted = 1;
221 retval += error_func(&item->object, FSCK_WARN, "contains entries pointing to null sha1");
223 retval += error_func(&item->object, FSCK_WARN, "contains full pathnames");
225 retval += error_func(&item->object, FSCK_WARN, "contains empty pathname");
227 retval += error_func(&item->object, FSCK_WARN, "contains '.'");
229 retval += error_func(&item->object, FSCK_WARN, "contains '..'");
231 retval += error_func(&item->object, FSCK_WARN, "contains '.git'");
233 retval += error_func(&item->object, FSCK_WARN, "contains zero-padded file modes");
235 retval += error_func(&item->object, FSCK_WARN, "contains bad file modes");
237 retval += error_func(&item->object, FSCK_ERROR, "contains duplicate file entries");
238 if (not_properly_sorted)
239 retval += error_func(&item->object, FSCK_ERROR, "not properly sorted");
243 static int fsck_ident(const char **ident, struct object *obj, fsck_error error_func)
248 return error_func(obj, FSCK_ERROR, "invalid author/committer line - missing space before email");
249 *ident += strcspn(*ident, "<>\n");
251 return error_func(obj, FSCK_ERROR, "invalid author/committer line - bad name");
253 return error_func(obj, FSCK_ERROR, "invalid author/committer line - missing email");
254 if ((*ident)[-1] != ' ')
255 return error_func(obj, FSCK_ERROR, "invalid author/committer line - missing space before email");
257 *ident += strcspn(*ident, "<>\n");
259 return error_func(obj, FSCK_ERROR, "invalid author/committer line - bad email");
262 return error_func(obj, FSCK_ERROR, "invalid author/committer line - missing space before date");
264 if (**ident == '0' && (*ident)[1] != ' ')
265 return error_func(obj, FSCK_ERROR, "invalid author/committer line - zero-padded date");
266 if (date_overflows(strtoul(*ident, &end, 10)))
267 return error_func(obj, FSCK_ERROR, "invalid author/committer line - date causes integer overflow");
268 if (end == *ident || *end != ' ')
269 return error_func(obj, FSCK_ERROR, "invalid author/committer line - bad date");
271 if ((**ident != '+' && **ident != '-') ||
272 !isdigit((*ident)[1]) ||
273 !isdigit((*ident)[2]) ||
274 !isdigit((*ident)[3]) ||
275 !isdigit((*ident)[4]) ||
276 ((*ident)[5] != '\n'))
277 return error_func(obj, FSCK_ERROR, "invalid author/committer line - bad time zone");
282 static int fsck_commit_buffer(struct commit *commit, const char *buffer,
283 fsck_error error_func)
285 unsigned char tree_sha1[20], sha1[20];
286 struct commit_graft *graft;
287 unsigned parent_count, parent_line_count = 0;
290 if (!skip_prefix(buffer, "tree ", &buffer))
291 return error_func(&commit->object, FSCK_ERROR, "invalid format - expected 'tree' line");
292 if (get_sha1_hex(buffer, tree_sha1) || buffer[40] != '\n')
293 return error_func(&commit->object, FSCK_ERROR, "invalid 'tree' line format - bad sha1");
295 while (skip_prefix(buffer, "parent ", &buffer)) {
296 if (get_sha1_hex(buffer, sha1) || buffer[40] != '\n')
297 return error_func(&commit->object, FSCK_ERROR, "invalid 'parent' line format - bad sha1");
301 graft = lookup_commit_graft(commit->object.sha1);
302 parent_count = commit_list_count(commit->parents);
304 if (graft->nr_parent == -1 && !parent_count)
305 ; /* shallow commit */
306 else if (graft->nr_parent != parent_count)
307 return error_func(&commit->object, FSCK_ERROR, "graft objects missing");
309 if (parent_count != parent_line_count)
310 return error_func(&commit->object, FSCK_ERROR, "parent objects missing");
312 if (!skip_prefix(buffer, "author ", &buffer))
313 return error_func(&commit->object, FSCK_ERROR, "invalid format - expected 'author' line");
314 err = fsck_ident(&buffer, &commit->object, error_func);
317 if (!skip_prefix(buffer, "committer ", &buffer))
318 return error_func(&commit->object, FSCK_ERROR, "invalid format - expected 'committer' line");
319 err = fsck_ident(&buffer, &commit->object, error_func);
323 return error_func(&commit->object, FSCK_ERROR, "could not load commit's tree %s", sha1_to_hex(tree_sha1));
328 static int fsck_commit(struct commit *commit, fsck_error error_func)
330 const char *buffer = get_commit_buffer(commit, NULL);
331 int ret = fsck_commit_buffer(commit, buffer, error_func);
332 unuse_commit_buffer(commit, buffer);
336 static int fsck_tag(struct tag *tag, fsck_error error_func)
338 struct object *tagged = tag->tagged;
341 return error_func(&tag->object, FSCK_ERROR, "could not load tagged object");
345 int fsck_object(struct object *obj, int strict, fsck_error error_func)
348 return error_func(obj, FSCK_ERROR, "no valid object to fsck");
350 if (obj->type == OBJ_BLOB)
352 if (obj->type == OBJ_TREE)
353 return fsck_tree((struct tree *) obj, strict, error_func);
354 if (obj->type == OBJ_COMMIT)
355 return fsck_commit((struct commit *) obj, error_func);
356 if (obj->type == OBJ_TAG)
357 return fsck_tag((struct tag *) obj, error_func);
359 return error_func(obj, FSCK_ERROR, "unknown type '%d' (internal fsck error)",
363 int fsck_error_function(struct object *obj, int type, const char *fmt, ...)
366 struct strbuf sb = STRBUF_INIT;
368 strbuf_addf(&sb, "object %s:", sha1_to_hex(obj->sha1));
371 strbuf_vaddf(&sb, fmt, ap);