2 * Copyright (C) 2005 Junio C Hamano
5 #define USE_THE_REPOSITORY_VARIABLE
6 #define DISABLE_SIGN_COMPARE_WARNINGS
8 #include "git-compat-util.h"
15 #include "object-name.h"
16 #include "read-cache.h"
18 #include "cache-tree.h"
19 #include "unpack-trees.h"
21 #include "repository.h"
22 #include "submodule.h"
26 #include "fsmonitor.h"
27 #include "commit-reach.h"
34 * Has the work tree entity been removed?
36 * Return 1 if it was removed from the work tree, 0 if an entity to be
37 * compared with the cache entry ce still exists (the latter includes
38 * the case where a directory that is not a submodule repository
39 * exists for ce that is a submodule -- it is a submodule that is not
40 * checked out). Return negative for an error.
42 static int check_removed(const struct cache_entry
*ce
, struct stat
*st
)
46 if (!(ce
->ce_flags
& CE_FSMONITOR_VALID
))
47 stat_err
= lstat(ce
->name
, st
);
49 stat_err
= fake_lstat(ce
, st
);
51 if (!is_missing_file_error(errno
))
56 if (has_symlink_leading_path(ce
->name
, ce_namelen(ce
)))
58 if (S_ISDIR(st
->st_mode
)) {
62 * If ce is already a gitlink, we can have a plain
63 * directory (i.e. the submodule is not checked out),
64 * or a checked out submodule. Either case this is not
65 * a case where something was removed from the work tree,
66 * so we will return 0.
68 * Otherwise, if the directory is not a submodule
69 * repository, that means ce which was a blob turned into
70 * a directory --- the blob was removed!
72 if (!S_ISGITLINK(ce
->ce_mode
) &&
73 repo_resolve_gitlink_ref(the_repository
, ce
->name
,
81 * Has a file changed or has a submodule new commits or a dirty work tree?
83 * Return 1 when changes are detected, 0 otherwise. If the DIRTY_SUBMODULES
84 * option is set, the caller does not only want to know if a submodule is
85 * modified at all but wants to know all the conditions that are met (new
86 * commits, untracked content and/or modified content).
88 static int match_stat_with_submodule(struct diff_options
*diffopt
,
89 const struct cache_entry
*ce
,
90 struct stat
*st
, unsigned ce_option
,
91 unsigned *dirty_submodule
)
93 int changed
= ie_match_stat(diffopt
->repo
->index
, ce
, st
, ce_option
);
94 if (S_ISGITLINK(ce
->ce_mode
)) {
95 struct diff_flags orig_flags
= diffopt
->flags
;
96 if (!diffopt
->flags
.override_submodule_config
)
97 set_diffopt_flags_from_submodule_config(diffopt
, ce
->name
);
98 if (diffopt
->flags
.ignore_submodules
)
100 else if (!diffopt
->flags
.ignore_dirty_submodules
&&
101 (!changed
|| diffopt
->flags
.dirty_submodules
))
102 *dirty_submodule
= is_submodule_modified(ce
->name
,
103 diffopt
->flags
.ignore_untracked_in_submodules
);
104 diffopt
->flags
= orig_flags
;
109 void run_diff_files(struct rev_info
*revs
, unsigned int option
)
112 int diff_unmerged_stage
= revs
->max_count
;
113 unsigned ce_option
= ((option
& DIFF_RACY_IS_MODIFIED
)
114 ? CE_MATCH_RACY_IS_DIRTY
: 0);
115 uint64_t start
= getnanotime();
116 struct index_state
*istate
= revs
->diffopt
.repo
->index
;
118 if (revs
->diffopt
.max_depth_valid
)
119 die(_("max-depth is not supported for worktree diffs"));
121 diff_set_mnemonic_prefix(&revs
->diffopt
, "i/", "w/");
123 refresh_fsmonitor(istate
);
125 if (diff_unmerged_stage
< 0)
126 diff_unmerged_stage
= 2;
127 entries
= istate
->cache_nr
;
128 for (i
= 0; i
< entries
; i
++) {
129 unsigned int oldmode
, newmode
;
130 struct cache_entry
*ce
= istate
->cache
[i
];
132 unsigned dirty_submodule
= 0;
133 const struct object_id
*old_oid
, *new_oid
;
135 if (diff_can_quit_early(&revs
->diffopt
))
140 * Here we filter with pathspec but the result is further
141 * filtered out when --relative is in effect. To end-users,
142 * a pathspec element that matched only to paths outside the
143 * current directory is like not matching anything at all;
144 * the handling of ps_matched[] here may become problematic
145 * if/when we add the "--error-unmatch" option to "git diff".
147 if (!ce_path_match(istate
, ce
, &revs
->prune_data
, revs
->ps_matched
))
150 if (revs
->diffopt
.prefix
&&
151 strncmp(ce
->name
, revs
->diffopt
.prefix
, revs
->diffopt
.prefix_length
))
155 struct combine_diff_path
*dpath
;
156 struct diff_filepair
*pair
;
157 unsigned int wt_mode
= 0;
158 int num_compare_stages
= 0;
161 changed
= check_removed(ce
, &st
);
163 wt_mode
= ce_mode_from_stat(ce
, st
.st_mode
);
173 * Allocate space for two parents, which will come from
174 * index stages #2 and #3, if present. Below we'll fill
175 * these from (stage - 2).
177 dpath
= combine_diff_path_new(ce
->name
, ce_namelen(ce
),
178 wt_mode
, null_oid(the_hash_algo
), 2);
180 while (i
< entries
) {
181 struct cache_entry
*nce
= istate
->cache
[i
];
184 if (strcmp(ce
->name
, nce
->name
))
187 /* Stage #2 (ours) is the first parent,
188 * stage #3 (theirs) is the second.
190 stage
= ce_stage(nce
);
192 int mode
= nce
->ce_mode
;
193 num_compare_stages
++;
194 oidcpy(&dpath
->parent
[stage
- 2].oid
,
196 dpath
->parent
[stage
-2].mode
= ce_mode_from_stat(nce
, mode
);
197 dpath
->parent
[stage
-2].status
=
198 DIFF_STATUS_MODIFIED
;
201 /* diff against the proper unmerged stage */
202 if (stage
== diff_unmerged_stage
)
207 * Compensate for loop update
211 if (revs
->combine_merges
&& num_compare_stages
== 2) {
212 show_combined_diff(dpath
, 2, revs
);
216 FREE_AND_NULL(dpath
);
219 * Show the diff for the 'ce' if we found the one
220 * from the desired stage.
222 pair
= diff_unmerge(&revs
->diffopt
, ce
->name
);
224 pair
->two
->mode
= wt_mode
;
225 if (ce_stage(ce
) != diff_unmerged_stage
)
229 if (ce_uptodate(ce
) || ce_skip_worktree(ce
)) {
230 if (revs
->diffopt
.flags
.find_copies_harder
)
231 diff_same(&revs
->diffopt
, ce
->ce_mode
,
237 * When CE_VALID is set (via "update-index --assume-unchanged"
238 * or via adding paths while core.ignorestat is set to true),
239 * the user has promised that the working tree file for that
240 * path will not be modified. When CE_FSMONITOR_VALID is true,
241 * the fsmonitor knows that the path hasn't been modified since
242 * we refreshed the cached stat information. In either case,
243 * we do not have to stat to see if the path has been removed
246 if (ce
->ce_flags
& (CE_VALID
| CE_FSMONITOR_VALID
)) {
248 newmode
= ce
->ce_mode
;
252 changed
= check_removed(ce
, &st
);
258 diff_addremove(&revs
->diffopt
, '-', ce
->ce_mode
,
260 !is_null_oid(&ce
->oid
),
263 } else if (revs
->diffopt
.ita_invisible_in_index
&&
264 ce_intent_to_add(ce
)) {
265 newmode
= ce_mode_from_stat(ce
, st
.st_mode
);
266 diff_addremove(&revs
->diffopt
, '+', newmode
,
267 null_oid(the_hash_algo
), 0, ce
->name
, 0);
271 changed
= match_stat_with_submodule(&revs
->diffopt
, ce
, &st
,
272 ce_option
, &dirty_submodule
);
273 newmode
= ce_mode_from_stat(ce
, st
.st_mode
);
276 if (!changed
&& !dirty_submodule
) {
277 ce_mark_uptodate(ce
);
278 mark_fsmonitor_valid(istate
, ce
);
279 if (revs
->diffopt
.flags
.find_copies_harder
)
280 diff_same(&revs
->diffopt
, newmode
,
284 oldmode
= ce
->ce_mode
;
286 new_oid
= changed
? null_oid(the_hash_algo
) : &ce
->oid
;
287 diff_change(&revs
->diffopt
, oldmode
, newmode
,
289 !is_null_oid(old_oid
),
290 !is_null_oid(new_oid
),
291 ce
->name
, 0, dirty_submodule
);
294 diffcore_std(&revs
->diffopt
);
295 diff_flush(&revs
->diffopt
);
296 trace_performance_since(start
, "diff-files");
303 /* A file entry went away or appeared */
304 static void diff_index_show_file(struct rev_info
*revs
,
306 const struct cache_entry
*ce
,
307 const struct object_id
*oid
, int oid_valid
,
309 unsigned dirty_submodule
)
311 diff_addremove(&revs
->diffopt
, prefix
[0], mode
,
312 oid
, oid_valid
, ce
->name
, dirty_submodule
);
315 static int get_stat_data(const struct cache_entry
*ce
,
316 const struct object_id
**oidp
,
318 int cached
, int match_missing
,
319 unsigned *dirty_submodule
, struct diff_options
*diffopt
)
321 const struct object_id
*oid
= &ce
->oid
;
322 unsigned int mode
= ce
->ce_mode
;
324 if (!cached
&& !ce_uptodate(ce
)) {
327 changed
= check_removed(ce
, &st
);
338 changed
= match_stat_with_submodule(diffopt
, ce
, &st
,
341 mode
= ce_mode_from_stat(ce
, st
.st_mode
);
342 oid
= null_oid(the_hash_algo
);
351 static void show_new_file(struct rev_info
*revs
,
352 const struct cache_entry
*new_file
,
353 int cached
, int match_missing
)
355 const struct object_id
*oid
;
357 unsigned dirty_submodule
= 0;
359 if (new_file
&& S_ISSPARSEDIR(new_file
->ce_mode
)) {
360 diff_tree_oid(NULL
, &new_file
->oid
, new_file
->name
, &revs
->diffopt
);
365 * New file in the index: it might actually be different in
368 if (get_stat_data(new_file
, &oid
, &mode
, cached
, match_missing
,
369 &dirty_submodule
, &revs
->diffopt
) < 0)
372 diff_index_show_file(revs
, "+", new_file
, oid
, !is_null_oid(oid
), mode
, dirty_submodule
);
375 static int show_modified(struct rev_info
*revs
,
376 const struct cache_entry
*old_entry
,
377 const struct cache_entry
*new_entry
,
379 int cached
, int match_missing
)
381 unsigned int mode
, oldmode
;
382 const struct object_id
*oid
;
383 unsigned dirty_submodule
= 0;
385 assert(S_ISSPARSEDIR(old_entry
->ce_mode
) ==
386 S_ISSPARSEDIR(new_entry
->ce_mode
));
389 * If both are sparse directory entries, then expand the
390 * modifications to the file level. If only one was a sparse
391 * directory, then they appear as an add and delete instead of
394 if (S_ISSPARSEDIR(new_entry
->ce_mode
)) {
395 diff_tree_oid(&old_entry
->oid
, &new_entry
->oid
, new_entry
->name
, &revs
->diffopt
);
399 if (get_stat_data(new_entry
, &oid
, &mode
, cached
, match_missing
,
400 &dirty_submodule
, &revs
->diffopt
) < 0) {
402 diff_index_show_file(revs
, "-", old_entry
,
403 &old_entry
->oid
, 1, old_entry
->ce_mode
,
408 if (revs
->combine_merges
&& !cached
&&
409 (!oideq(oid
, &old_entry
->oid
) || !oideq(&old_entry
->oid
, &new_entry
->oid
))) {
410 struct combine_diff_path
*p
;
412 p
= combine_diff_path_new(new_entry
->name
,
413 ce_namelen(new_entry
),
414 mode
, null_oid(the_hash_algo
), 2);
415 p
->parent
[0].status
= DIFF_STATUS_MODIFIED
;
416 p
->parent
[0].mode
= new_entry
->ce_mode
;
417 oidcpy(&p
->parent
[0].oid
, &new_entry
->oid
);
418 p
->parent
[1].status
= DIFF_STATUS_MODIFIED
;
419 p
->parent
[1].mode
= old_entry
->ce_mode
;
420 oidcpy(&p
->parent
[1].oid
, &old_entry
->oid
);
421 show_combined_diff(p
, 2, revs
);
426 oldmode
= old_entry
->ce_mode
;
427 if (mode
!= oldmode
|| !oideq(oid
, &old_entry
->oid
) || dirty_submodule
)
428 diff_change(&revs
->diffopt
, oldmode
, mode
,
429 &old_entry
->oid
, oid
, 1, !is_null_oid(oid
),
430 old_entry
->name
, 0, dirty_submodule
);
431 else if (revs
->diffopt
.flags
.find_copies_harder
)
432 diff_same(&revs
->diffopt
, mode
, oid
, old_entry
->name
);
437 * This gets a mix of an existing index and a tree, one pathname entry
438 * at a time. The index entry may be a single stage-0 one, but it could
439 * also be multiple unmerged entries (in which case idx_pos/idx_nr will
440 * give you the position and number of entries in the index).
442 static void do_oneway_diff(struct unpack_trees_options
*o
,
443 const struct cache_entry
*idx
,
444 const struct cache_entry
*tree
)
446 struct rev_info
*revs
= o
->unpack_data
;
447 int match_missing
, cached
;
450 * i-t-a entries do not actually exist in the index (if we're
451 * looking at its content)
454 revs
->diffopt
.ita_invisible_in_index
&&
455 idx
&& ce_intent_to_add(idx
)) {
458 return; /* nothing to diff.. */
461 /* if the entry is not checked out, don't examine work tree */
462 cached
= o
->index_only
||
463 (idx
&& ((idx
->ce_flags
& CE_VALID
) || ce_skip_worktree(idx
)));
465 match_missing
= revs
->match_missing
;
467 if (cached
&& idx
&& ce_stage(idx
)) {
468 struct diff_filepair
*pair
;
469 pair
= diff_unmerge(&revs
->diffopt
, idx
->name
);
471 fill_filespec(pair
->one
, &tree
->oid
, 1,
477 * Something added to the tree?
480 show_new_file(revs
, idx
, cached
, match_missing
);
485 * Something removed from the tree?
488 if (S_ISSPARSEDIR(tree
->ce_mode
)) {
489 diff_tree_oid(&tree
->oid
, NULL
, tree
->name
, &revs
->diffopt
);
493 diff_index_show_file(revs
, "-", tree
, &tree
->oid
, 1,
498 /* Show difference between old and new */
499 show_modified(revs
, tree
, idx
, 1, cached
, match_missing
);
503 * The unpack_trees() interface is designed for merging, so
504 * the different source entries are designed primarily for
505 * the source trees, with the old index being really mainly
506 * used for being replaced by the result.
508 * For diffing, the index is more important, and we only have a
511 * We're supposed to advance o->pos to skip what we have already processed.
513 * This wrapper makes it all more readable, and takes care of all
514 * the fairly complex unpack_trees() semantic requirements, including
515 * the skipping, the path matching, the type conflict cases etc.
517 static int oneway_diff(const struct cache_entry
* const *src
,
518 struct unpack_trees_options
*o
)
520 const struct cache_entry
*idx
= src
[0];
521 const struct cache_entry
*tree
= src
[1];
522 struct rev_info
*revs
= o
->unpack_data
;
525 * Unpack-trees generates a DF/conflict entry if
526 * there was a directory in the index and a tree
527 * in the tree. From a diff standpoint, that's a
528 * delete of the tree and a create of the file.
530 if (tree
== o
->df_conflict_entry
)
533 if (ce_path_match(revs
->diffopt
.repo
->index
,
535 &revs
->prune_data
, NULL
)) {
536 do_oneway_diff(o
, idx
, tree
);
537 if (diff_can_quit_early(&revs
->diffopt
)) {
538 o
->exiting_early
= 1;
546 static int diff_cache(struct rev_info
*revs
,
547 const struct object_id
*tree_oid
,
548 const char *tree_name
,
553 struct unpack_trees_options opts
;
555 tree
= repo_parse_tree_indirect(the_repository
, tree_oid
);
557 return error("bad tree object %s",
558 tree_name
? tree_name
: oid_to_hex(tree_oid
));
559 memset(&opts
, 0, sizeof(opts
));
561 opts
.index_only
= cached
;
562 opts
.diff_index_cached
= (cached
&&
563 !revs
->diffopt
.flags
.find_copies_harder
);
565 opts
.fn
= oneway_diff
;
566 opts
.unpack_data
= revs
;
567 opts
.src_index
= revs
->diffopt
.repo
->index
;
568 opts
.dst_index
= NULL
;
569 opts
.pathspec
= &revs
->diffopt
.pathspec
;
570 opts
.pathspec
->recursive
= 1;
571 if (revs
->diffopt
.max_depth_valid
)
572 die(_("max-depth is not supported for index diffs"));
574 init_tree_desc(&t
, &tree
->object
.oid
, tree
->buffer
, tree
->size
);
575 return unpack_trees(1, &t
, &opts
);
578 void diff_get_merge_base(const struct rev_info
*revs
, struct object_id
*mb
)
581 struct commit
*mb_child
[2] = {0};
582 struct commit_list
*merge_bases
= NULL
;
584 for (i
= 0; i
< revs
->pending
.nr
; i
++) {
585 struct object
*obj
= revs
->pending
.objects
[i
].item
;
587 die(_("--merge-base does not work with ranges"));
591 * This check must go after the for loop above because A...B
592 * ranges produce three pending commits, resulting in a
593 * misleading error message.
595 if (revs
->pending
.nr
< 1 || revs
->pending
.nr
> 2)
596 BUG("unexpected revs->pending.nr: %d", revs
->pending
.nr
);
598 for (i
= 0; i
< revs
->pending
.nr
; i
++)
599 mb_child
[i
] = lookup_commit_reference(the_repository
, &revs
->pending
.objects
[i
].item
->oid
);
600 if (revs
->pending
.nr
== 1) {
601 struct object_id oid
;
603 if (repo_get_oid(the_repository
, "HEAD", &oid
))
604 die(_("unable to get HEAD"));
606 mb_child
[1] = lookup_commit_reference(the_repository
, &oid
);
609 if (repo_get_merge_bases(the_repository
, mb_child
[0], mb_child
[1], &merge_bases
) < 0)
612 die(_("no merge base found"));
613 if (merge_bases
->next
)
614 die(_("multiple merge bases found"));
616 oidcpy(mb
, &merge_bases
->item
->object
.oid
);
618 commit_list_free(merge_bases
);
621 void run_diff_index(struct rev_info
*revs
, unsigned int option
)
623 struct object_array_entry
*ent
;
624 int cached
= !!(option
& DIFF_INDEX_CACHED
);
625 int merge_base
= !!(option
& DIFF_INDEX_MERGE_BASE
);
626 struct object_id oid
;
628 char merge_base_hex
[GIT_MAX_HEXSZ
+ 1];
629 struct index_state
*istate
= revs
->diffopt
.repo
->index
;
631 if (revs
->pending
.nr
!= 1)
632 BUG("run_diff_index must be passed exactly one tree");
634 trace_performance_enter();
635 ent
= revs
->pending
.objects
;
637 refresh_fsmonitor(istate
);
640 diff_get_merge_base(revs
, &oid
);
641 name
= oid_to_hex_r(merge_base_hex
, &oid
);
643 oidcpy(&oid
, &ent
->item
->oid
);
647 if (diff_cache(revs
, &oid
, name
, cached
))
650 diff_set_mnemonic_prefix(&revs
->diffopt
, "c/", cached
? "i/" : "w/");
651 diffcore_fix_diff_index();
652 diffcore_std(&revs
->diffopt
);
653 diff_flush(&revs
->diffopt
);
654 trace_performance_leave("diff-index");
657 int do_diff_cache(const struct object_id
*tree_oid
, struct diff_options
*opt
)
659 struct rev_info revs
;
661 repo_init_revisions(opt
->repo
, &revs
, NULL
);
662 copy_pathspec(&revs
.prune_data
, &opt
->pathspec
);
663 diff_free(&revs
.diffopt
);
665 revs
.diffopt
.no_free
= 1;
667 if (diff_cache(&revs
, tree_oid
, NULL
, 1))
670 release_revisions(&revs
);
674 int index_differs_from(struct repository
*r
,
675 const char *def
, const struct diff_flags
*flags
,
676 int ita_invisible_in_index
)
679 struct setup_revision_opt opt
;
680 unsigned has_changes
;
682 repo_init_revisions(r
, &rev
, NULL
);
683 memset(&opt
, 0, sizeof(opt
));
685 setup_revisions(0, NULL
, &rev
, &opt
);
686 rev
.diffopt
.flags
.quick
= 1;
687 rev
.diffopt
.flags
.exit_with_status
= 1;
689 diff_flags_or(&rev
.diffopt
.flags
, flags
);
691 * Now that flags are merged, honor override_submodule_config
692 * and ignore_submodules from passed flags.
694 if (flags
->override_submodule_config
)
695 rev
.diffopt
.flags
.ignore_submodules
= flags
->ignore_submodules
;
697 rev
.diffopt
.ita_invisible_in_index
= ita_invisible_in_index
;
698 run_diff_index(&rev
, DIFF_INDEX_CACHED
);
699 has_changes
= rev
.diffopt
.flags
.has_changes
;
700 release_revisions(&rev
);
701 return (has_changes
!= 0);
704 static const char *idiff_prefix_cb(struct diff_options
*opt UNUSED
, void *data
)
709 void show_interdiff(const struct object_id
*oid1
, const struct object_id
*oid2
,
710 int indent
, struct diff_options
*diffopt
)
712 struct diff_options opts
;
713 struct strbuf prefix
= STRBUF_INIT
;
715 memcpy(&opts
, diffopt
, sizeof(opts
));
716 opts
.output_format
= DIFF_FORMAT_PATCH
;
717 opts
.output_prefix
= idiff_prefix_cb
;
718 strbuf_addchars(&prefix
, ' ', indent
);
719 opts
.output_prefix_data
= prefix
.buf
;
720 diff_setup_done(&opts
);
722 diff_tree_oid(oid1
, oid2
, "", &opts
);
726 strbuf_release(&prefix
);