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 if (is_null_sha1(sha1
))
171 if (strchr(name
, '/'))
175 if (!strcmp(name
, "."))
177 if (!strcmp(name
, ".."))
179 if (!strcasecmp(name
, ".git") || is_hfs_dotgit(name
))
181 has_zero_pad
|= *(char *)desc
.buffer
== '0';
182 update_tree_entry(&desc
);
195 * This is nonstandard, but we had a few of these
196 * early on when we honored the full set of mode
207 switch (verify_ordered(o_mode
, o_name
, mode
, name
)) {
209 not_properly_sorted
= 1;
225 retval
+= error_func(&item
->object
, FSCK_WARN
, "contains entries pointing to null sha1");
227 retval
+= error_func(&item
->object
, FSCK_WARN
, "contains full pathnames");
229 retval
+= error_func(&item
->object
, FSCK_WARN
, "contains empty pathname");
231 retval
+= error_func(&item
->object
, FSCK_WARN
, "contains '.'");
233 retval
+= error_func(&item
->object
, FSCK_WARN
, "contains '..'");
235 retval
+= error_func(&item
->object
, FSCK_WARN
, "contains '.git'");
237 retval
+= error_func(&item
->object
, FSCK_WARN
, "contains zero-padded file modes");
239 retval
+= error_func(&item
->object
, FSCK_WARN
, "contains bad file modes");
241 retval
+= error_func(&item
->object
, FSCK_ERROR
, "contains duplicate file entries");
242 if (not_properly_sorted
)
243 retval
+= error_func(&item
->object
, FSCK_ERROR
, "not properly sorted");
247 static int fsck_ident(char **ident
, struct object
*obj
, fsck_error error_func
)
250 return error_func(obj
, FSCK_ERROR
, "invalid author/committer line - missing space before email");
251 *ident
+= strcspn(*ident
, "<>\n");
253 return error_func(obj
, FSCK_ERROR
, "invalid author/committer line - bad name");
255 return error_func(obj
, FSCK_ERROR
, "invalid author/committer line - missing email");
256 if ((*ident
)[-1] != ' ')
257 return error_func(obj
, FSCK_ERROR
, "invalid author/committer line - missing space before email");
259 *ident
+= strcspn(*ident
, "<>\n");
261 return error_func(obj
, FSCK_ERROR
, "invalid author/committer line - bad email");
264 return error_func(obj
, FSCK_ERROR
, "invalid author/committer line - missing space before date");
266 if (**ident
== '0' && (*ident
)[1] != ' ')
267 return error_func(obj
, FSCK_ERROR
, "invalid author/committer line - zero-padded date");
268 *ident
+= strspn(*ident
, "0123456789");
270 return error_func(obj
, FSCK_ERROR
, "invalid author/committer line - bad date");
272 if ((**ident
!= '+' && **ident
!= '-') ||
273 !isdigit((*ident
)[1]) ||
274 !isdigit((*ident
)[2]) ||
275 !isdigit((*ident
)[3]) ||
276 !isdigit((*ident
)[4]) ||
277 ((*ident
)[5] != '\n'))
278 return error_func(obj
, FSCK_ERROR
, "invalid author/committer line - bad time zone");
283 static int fsck_commit(struct commit
*commit
, fsck_error error_func
)
285 char *buffer
= commit
->buffer
;
286 unsigned char tree_sha1
[20], sha1
[20];
287 struct commit_graft
*graft
;
291 if (commit
->date
== ULONG_MAX
)
292 return error_func(&commit
->object
, FSCK_ERROR
, "invalid author/committer line");
294 if (memcmp(buffer
, "tree ", 5))
295 return error_func(&commit
->object
, FSCK_ERROR
, "invalid format - expected 'tree' line");
296 if (get_sha1_hex(buffer
+5, tree_sha1
) || buffer
[45] != '\n')
297 return error_func(&commit
->object
, FSCK_ERROR
, "invalid 'tree' line format - bad sha1");
299 while (!memcmp(buffer
, "parent ", 7)) {
300 if (get_sha1_hex(buffer
+7, sha1
) || buffer
[47] != '\n')
301 return error_func(&commit
->object
, FSCK_ERROR
, "invalid 'parent' line format - bad sha1");
305 graft
= lookup_commit_graft(commit
->object
.sha1
);
307 struct commit_list
*p
= commit
->parents
;
313 if (graft
->nr_parent
== -1 && !parents
)
314 ; /* shallow commit */
315 else if (graft
->nr_parent
!= parents
)
316 return error_func(&commit
->object
, FSCK_ERROR
, "graft objects missing");
318 struct commit_list
*p
= commit
->parents
;
319 while (p
&& parents
) {
324 return error_func(&commit
->object
, FSCK_ERROR
, "parent objects missing");
326 if (memcmp(buffer
, "author ", 7))
327 return error_func(&commit
->object
, FSCK_ERROR
, "invalid format - expected 'author' line");
329 err
= fsck_ident(&buffer
, &commit
->object
, error_func
);
332 if (memcmp(buffer
, "committer ", strlen("committer ")))
333 return error_func(&commit
->object
, FSCK_ERROR
, "invalid format - expected 'committer' line");
334 buffer
+= strlen("committer ");
335 err
= fsck_ident(&buffer
, &commit
->object
, error_func
);
339 return error_func(&commit
->object
, FSCK_ERROR
, "could not load commit's tree %s", sha1_to_hex(tree_sha1
));
344 static int fsck_tag(struct tag
*tag
, fsck_error error_func
)
346 struct object
*tagged
= tag
->tagged
;
349 return error_func(&tag
->object
, FSCK_ERROR
, "could not load tagged object");
353 int fsck_object(struct object
*obj
, int strict
, fsck_error error_func
)
356 return error_func(obj
, FSCK_ERROR
, "no valid object to fsck");
358 if (obj
->type
== OBJ_BLOB
)
360 if (obj
->type
== OBJ_TREE
)
361 return fsck_tree((struct tree
*) obj
, strict
, error_func
);
362 if (obj
->type
== OBJ_COMMIT
)
363 return fsck_commit((struct commit
*) obj
, error_func
);
364 if (obj
->type
== OBJ_TAG
)
365 return fsck_tag((struct tag
*) obj
, error_func
);
367 return error_func(obj
, FSCK_ERROR
, "unknown type '%d' (internal fsck error)",
371 int fsck_error_function(struct object
*obj
, int type
, const char *fmt
, ...)
374 struct strbuf sb
= STRBUF_INIT
;
376 strbuf_addf(&sb
, "object %s:", sha1_to_hex(obj
->sha1
));
379 strbuf_vaddf(&sb
, fmt
, ap
);