1/*
2 * Copyright (C) 2005 Junio C Hamano
3 */
4#include <sys/types.h>
5#include <sys/wait.h>
6#include <signal.h>
7#include "cache.h"
8#include "quote.h"
9#include "diff.h"
10#include "diffcore.h"
11
12static const char *diff_opts = "-pu";
13
14static int use_size_cache;
15
16static char *quote_one(const char *str)
17{
18 int needlen;
19 char *xp;
20
21 if (!str)
22 return NULL;
23 needlen = quote_c_style(str, NULL, NULL, 0);
24 if (!needlen)
25 return strdup(str);
26 xp = xmalloc(needlen + 1);
27 quote_c_style(str, xp, NULL, 0);
28 return xp;
29}
30
31static char *quote_two(const char *one, const char *two)
32{
33 int need_one = quote_c_style(one, NULL, NULL, 1);
34 int need_two = quote_c_style(two, NULL, NULL, 1);
35 char *xp;
36
37 if (need_one + need_two) {
38 if (!need_one) need_one = strlen(one);
39 if (!need_two) need_one = strlen(two);
40
41 xp = xmalloc(need_one + need_two + 3);
42 xp[0] = '"';
43 quote_c_style(one, xp + 1, NULL, 1);
44 quote_c_style(two, xp + need_one + 1, NULL, 1);
45 strcpy(xp + need_one + need_two + 1, "\"");
46 return xp;
47 }
48 need_one = strlen(one);
49 need_two = strlen(two);
50 xp = xmalloc(need_one + need_two + 1);
51 strcpy(xp, one);
52 strcpy(xp + need_one, two);
53 return xp;
54}
55
56static const char *external_diff(void)
57{
58 static const char *external_diff_cmd = NULL;
59 static int done_preparing = 0;
60 const char *env_diff_opts;
61
62 if (done_preparing)
63 return external_diff_cmd;
64
65 /*
66 * Default values above are meant to match the
67 * Linux kernel development style. Examples of
68 * alternative styles you can specify via environment
69 * variables are:
70 *
71 * GIT_DIFF_OPTS="-c";
72 */
73 external_diff_cmd = getenv("GIT_EXTERNAL_DIFF");
74
75 /* In case external diff fails... */
76 env_diff_opts = getenv("GIT_DIFF_OPTS");
77 if (env_diff_opts) diff_opts = env_diff_opts;
78
79 done_preparing = 1;
80 return external_diff_cmd;
81}
82
83#define TEMPFILE_PATH_LEN 50
84
85static struct diff_tempfile {
86 const char *name; /* filename external diff should read from */
87 char hex[41];
88 char mode[10];
89 char tmp_path[TEMPFILE_PATH_LEN];
90} diff_temp[2];
91
92static int count_lines(const char *filename)
93{
94 FILE *in;
95 int count, ch, completely_empty = 1, nl_just_seen = 0;
96 in = fopen(filename, "r");
97 count = 0;
98 while ((ch = fgetc(in)) != EOF)
99 if (ch == '\n') {
100 count++;
101 nl_just_seen = 1;
102 completely_empty = 0;
103 }
104 else {
105 nl_just_seen = 0;
106 completely_empty = 0;
107 }
108 fclose(in);
109 if (completely_empty)
110 return 0;
111 if (!nl_just_seen)
112 count++; /* no trailing newline */
113 return count;
114}
115
116static void print_line_count(int count)
117{
118 switch (count) {
119 case 0:
120 printf("0,0");
121 break;
122 case 1:
123 printf("1");
124 break;
125 default:
126 printf("1,%d", count);
127 break;
128 }
129}
130
131static void copy_file(int prefix, const char *filename)
132{
133 FILE *in;
134 int ch, nl_just_seen = 1;
135 in = fopen(filename, "r");
136 while ((ch = fgetc(in)) != EOF) {
137 if (nl_just_seen)
138 putchar(prefix);
139 putchar(ch);
140 if (ch == '\n')
141 nl_just_seen = 1;
142 else
143 nl_just_seen = 0;
144 }
145 fclose(in);
146 if (!nl_just_seen)
147 printf("\n\\ No newline at end of file\n");
148}
149
150static void emit_rewrite_diff(const char *name_a,
151 const char *name_b,
152 struct diff_tempfile *temp)
153{
154 /* Use temp[i].name as input, name_a and name_b as labels */
155 int lc_a, lc_b;
156 lc_a = count_lines(temp[0].name);
157 lc_b = count_lines(temp[1].name);
158 printf("--- %s\n+++ %s\n@@ -", name_a, name_b);
159 print_line_count(lc_a);
160 printf(" +");
161 print_line_count(lc_b);
162 printf(" @@\n");
163 if (lc_a)
164 copy_file('-', temp[0].name);
165 if (lc_b)
166 copy_file('+', temp[1].name);
167}
168
169static void builtin_diff(const char *name_a,
170 const char *name_b,
171 struct diff_tempfile *temp,
172 const char *xfrm_msg,
173 int complete_rewrite)
174{
175 int i, next_at, cmd_size;
176 const char *const diff_cmd = "diff -L%s -L%s";
177 const char *const diff_arg = "%s %s||:"; /* "||:" is to return 0 */
178 const char *input_name_sq[2];
179 const char *label_path[2];
180 char *cmd;
181
182 /* diff_cmd and diff_arg have 4 %s in total which makes
183 * the sum of these strings 8 bytes larger than required.
184 * we use 2 spaces around diff-opts, and we need to count
185 * terminating NUL; we used to subtract 5 here, but we do not
186 * care about small leaks in this subprocess that is about
187 * to exec "diff" anymore.
188 */
189 cmd_size = (strlen(diff_cmd) + strlen(diff_opts) + strlen(diff_arg)
190 + 128);
191
192 for (i = 0; i < 2; i++) {
193 input_name_sq[i] = sq_quote(temp[i].name);
194 if (!strcmp(temp[i].name, "/dev/null"))
195 label_path[i] = "/dev/null";
196 else if (!i)
197 label_path[i] = sq_quote(quote_two("a/", name_a));
198 else
199 label_path[i] = sq_quote(quote_two("b/", name_b));
200 cmd_size += (strlen(label_path[i]) + strlen(input_name_sq[i]));
201 }
202
203 cmd = xmalloc(cmd_size);
204
205 next_at = 0;
206 next_at += snprintf(cmd+next_at, cmd_size-next_at,
207 diff_cmd, label_path[0], label_path[1]);
208 next_at += snprintf(cmd+next_at, cmd_size-next_at,
209 " %s ", diff_opts);
210 next_at += snprintf(cmd+next_at, cmd_size-next_at,
211 diff_arg, input_name_sq[0], input_name_sq[1]);
212
213 printf("diff --git %s %s\n",
214 quote_two("a/", name_a), quote_two("b/", name_b));
215 if (label_path[0][0] == '/') {
216 /* dev/null */
217 printf("new file mode %s\n", temp[1].mode);
218 if (xfrm_msg && xfrm_msg[0])
219 puts(xfrm_msg);
220 }
221 else if (label_path[1][0] == '/') {
222 printf("deleted file mode %s\n", temp[0].mode);
223 if (xfrm_msg && xfrm_msg[0])
224 puts(xfrm_msg);
225 }
226 else {
227 if (strcmp(temp[0].mode, temp[1].mode)) {
228 printf("old mode %s\n", temp[0].mode);
229 printf("new mode %s\n", temp[1].mode);
230 }
231 if (xfrm_msg && xfrm_msg[0])
232 puts(xfrm_msg);
233 if (strncmp(temp[0].mode, temp[1].mode, 3))
234 /* we do not run diff between different kind
235 * of objects.
236 */
237 exit(0);
238 if (complete_rewrite) {
239 fflush(NULL);
240 emit_rewrite_diff(name_a, name_b, temp);
241 exit(0);
242 }
243 }
244 fflush(NULL);
245 execlp("/bin/sh","sh", "-c", cmd, NULL);
246}
247
248struct diff_filespec *alloc_filespec(const char *path)
249{
250 int namelen = strlen(path);
251 struct diff_filespec *spec = xmalloc(sizeof(*spec) + namelen + 1);
252
253 memset(spec, 0, sizeof(*spec));
254 spec->path = (char *)(spec + 1);
255 memcpy(spec->path, path, namelen+1);
256 return spec;
257}
258
259void fill_filespec(struct diff_filespec *spec, const unsigned char *sha1,
260 unsigned short mode)
261{
262 if (mode) {
263 spec->mode = DIFF_FILE_CANON_MODE(mode);
264 memcpy(spec->sha1, sha1, 20);
265 spec->sha1_valid = !!memcmp(sha1, null_sha1, 20);
266 }
267}
268
269/*
270 * Given a name and sha1 pair, if the dircache tells us the file in
271 * the work tree has that object contents, return true, so that
272 * prepare_temp_file() does not have to inflate and extract.
273 */
274static int work_tree_matches(const char *name, const unsigned char *sha1)
275{
276 struct cache_entry *ce;
277 struct stat st;
278 int pos, len;
279
280 /* We do not read the cache ourselves here, because the
281 * benchmark with my previous version that always reads cache
282 * shows that it makes things worse for diff-tree comparing
283 * two linux-2.6 kernel trees in an already checked out work
284 * tree. This is because most diff-tree comparisons deal with
285 * only a small number of files, while reading the cache is
286 * expensive for a large project, and its cost outweighs the
287 * savings we get by not inflating the object to a temporary
288 * file. Practically, this code only helps when we are used
289 * by diff-cache --cached, which does read the cache before
290 * calling us.
291 */
292 if (!active_cache)
293 return 0;
294
295 len = strlen(name);
296 pos = cache_name_pos(name, len);
297 if (pos < 0)
298 return 0;
299 ce = active_cache[pos];
300 if ((lstat(name, &st) < 0) ||
301 !S_ISREG(st.st_mode) || /* careful! */
302 ce_match_stat(ce, &st) ||
303 memcmp(sha1, ce->sha1, 20))
304 return 0;
305 /* we return 1 only when we can stat, it is a regular file,
306 * stat information matches, and sha1 recorded in the cache
307 * matches. I.e. we know the file in the work tree really is
308 * the same as the <name, sha1> pair.
309 */
310 return 1;
311}
312
313static struct sha1_size_cache {
314 unsigned char sha1[20];
315 unsigned long size;
316} **sha1_size_cache;
317static int sha1_size_cache_nr, sha1_size_cache_alloc;
318
319static struct sha1_size_cache *locate_size_cache(unsigned char *sha1,
320 int find_only,
321 unsigned long size)
322{
323 int first, last;
324 struct sha1_size_cache *e;
325
326 first = 0;
327 last = sha1_size_cache_nr;
328 while (last > first) {
329 int cmp, next = (last + first) >> 1;
330 e = sha1_size_cache[next];
331 cmp = memcmp(e->sha1, sha1, 20);
332 if (!cmp)
333 return e;
334 if (cmp < 0) {
335 last = next;
336 continue;
337 }
338 first = next+1;
339 }
340 /* not found */
341 if (find_only)
342 return NULL;
343 /* insert to make it at "first" */
344 if (sha1_size_cache_alloc <= sha1_size_cache_nr) {
345 sha1_size_cache_alloc = alloc_nr(sha1_size_cache_alloc);
346 sha1_size_cache = xrealloc(sha1_size_cache,
347 sha1_size_cache_alloc *
348 sizeof(*sha1_size_cache));
349 }
350 sha1_size_cache_nr++;
351 if (first < sha1_size_cache_nr)
352 memmove(sha1_size_cache + first + 1, sha1_size_cache + first,
353 (sha1_size_cache_nr - first - 1) *
354 sizeof(*sha1_size_cache));
355 e = xmalloc(sizeof(struct sha1_size_cache));
356 sha1_size_cache[first] = e;
357 memcpy(e->sha1, sha1, 20);
358 e->size = size;
359 return e;
360}
361
362/*
363 * While doing rename detection and pickaxe operation, we may need to
364 * grab the data for the blob (or file) for our own in-core comparison.
365 * diff_filespec has data and size fields for this purpose.
366 */
367int diff_populate_filespec(struct diff_filespec *s, int size_only)
368{
369 int err = 0;
370 if (!DIFF_FILE_VALID(s))
371 die("internal error: asking to populate invalid file.");
372 if (S_ISDIR(s->mode))
373 return -1;
374
375 if (!use_size_cache)
376 size_only = 0;
377
378 if (s->data)
379 return err;
380 if (!s->sha1_valid ||
381 work_tree_matches(s->path, s->sha1)) {
382 struct stat st;
383 int fd;
384 if (lstat(s->path, &st) < 0) {
385 if (errno == ENOENT) {
386 err_empty:
387 err = -1;
388 empty:
389 s->data = "";
390 s->size = 0;
391 return err;
392 }
393 }
394 s->size = st.st_size;
395 if (!s->size)
396 goto empty;
397 if (size_only)
398 return 0;
399 if (S_ISLNK(st.st_mode)) {
400 int ret;
401 s->data = xmalloc(s->size);
402 s->should_free = 1;
403 ret = readlink(s->path, s->data, s->size);
404 if (ret < 0) {
405 free(s->data);
406 goto err_empty;
407 }
408 return 0;
409 }
410 fd = open(s->path, O_RDONLY);
411 if (fd < 0)
412 goto err_empty;
413 s->data = mmap(NULL, s->size, PROT_READ, MAP_PRIVATE, fd, 0);
414 close(fd);
415 if (s->data == MAP_FAILED)
416 goto err_empty;
417 s->should_munmap = 1;
418 }
419 else {
420 char type[20];
421 struct sha1_size_cache *e;
422
423 if (size_only) {
424 e = locate_size_cache(s->sha1, 1, 0);
425 if (e) {
426 s->size = e->size;
427 return 0;
428 }
429 if (!sha1_object_info(s->sha1, type, &s->size))
430 locate_size_cache(s->sha1, 0, s->size);
431 }
432 else {
433 s->data = read_sha1_file(s->sha1, type, &s->size);
434 s->should_free = 1;
435 }
436 }
437 return 0;
438}
439
440void diff_free_filespec_data(struct diff_filespec *s)
441{
442 if (s->should_free)
443 free(s->data);
444 else if (s->should_munmap)
445 munmap(s->data, s->size);
446 s->should_free = s->should_munmap = 0;
447 s->data = NULL;
448}
449
450static void prep_temp_blob(struct diff_tempfile *temp,
451 void *blob,
452 unsigned long size,
453 const unsigned char *sha1,
454 int mode)
455{
456 int fd;
457
458 fd = git_mkstemp(temp->tmp_path, TEMPFILE_PATH_LEN, ".diff_XXXXXX");
459 if (fd < 0)
460 die("unable to create temp-file");
461 if (write(fd, blob, size) != size)
462 die("unable to write temp-file");
463 close(fd);
464 temp->name = temp->tmp_path;
465 strcpy(temp->hex, sha1_to_hex(sha1));
466 temp->hex[40] = 0;
467 sprintf(temp->mode, "%06o", mode);
468}
469
470static void prepare_temp_file(const char *name,
471 struct diff_tempfile *temp,
472 struct diff_filespec *one)
473{
474 if (!DIFF_FILE_VALID(one)) {
475 not_a_valid_file:
476 /* A '-' entry produces this for file-2, and
477 * a '+' entry produces this for file-1.
478 */
479 temp->name = "/dev/null";
480 strcpy(temp->hex, ".");
481 strcpy(temp->mode, ".");
482 return;
483 }
484
485 if (!one->sha1_valid ||
486 work_tree_matches(name, one->sha1)) {
487 struct stat st;
488 if (lstat(name, &st) < 0) {
489 if (errno == ENOENT)
490 goto not_a_valid_file;
491 die("stat(%s): %s", name, strerror(errno));
492 }
493 if (S_ISLNK(st.st_mode)) {
494 int ret;
495 char *buf, buf_[1024];
496 buf = ((sizeof(buf_) < st.st_size) ?
497 xmalloc(st.st_size) : buf_);
498 ret = readlink(name, buf, st.st_size);
499 if (ret < 0)
500 die("readlink(%s)", name);
501 prep_temp_blob(temp, buf, st.st_size,
502 (one->sha1_valid ?
503 one->sha1 : null_sha1),
504 (one->sha1_valid ?
505 one->mode : S_IFLNK));
506 }
507 else {
508 /* we can borrow from the file in the work tree */
509 temp->name = name;
510 if (!one->sha1_valid)
511 strcpy(temp->hex, sha1_to_hex(null_sha1));
512 else
513 strcpy(temp->hex, sha1_to_hex(one->sha1));
514 /* Even though we may sometimes borrow the
515 * contents from the work tree, we always want
516 * one->mode. mode is trustworthy even when
517 * !(one->sha1_valid), as long as
518 * DIFF_FILE_VALID(one).
519 */
520 sprintf(temp->mode, "%06o", one->mode);
521 }
522 return;
523 }
524 else {
525 if (diff_populate_filespec(one, 0))
526 die("cannot read data blob for %s", one->path);
527 prep_temp_blob(temp, one->data, one->size,
528 one->sha1, one->mode);
529 }
530}
531
532static void remove_tempfile(void)
533{
534 int i;
535
536 for (i = 0; i < 2; i++)
537 if (diff_temp[i].name == diff_temp[i].tmp_path) {
538 unlink(diff_temp[i].name);
539 diff_temp[i].name = NULL;
540 }
541}
542
543static void remove_tempfile_on_signal(int signo)
544{
545 remove_tempfile();
546}
547
548/* An external diff command takes:
549 *
550 * diff-cmd name infile1 infile1-sha1 infile1-mode \
551 * infile2 infile2-sha1 infile2-mode [ rename-to ]
552 *
553 */
554static void run_external_diff(const char *pgm,
555 const char *name,
556 const char *other,
557 struct diff_filespec *one,
558 struct diff_filespec *two,
559 const char *xfrm_msg,
560 int complete_rewrite)
561{
562 struct diff_tempfile *temp = diff_temp;
563 pid_t pid;
564 int status;
565 static int atexit_asked = 0;
566 const char *othername;
567
568 othername = (other? other : name);
569 if (one && two) {
570 prepare_temp_file(name, &temp[0], one);
571 prepare_temp_file(othername, &temp[1], two);
572 if (! atexit_asked &&
573 (temp[0].name == temp[0].tmp_path ||
574 temp[1].name == temp[1].tmp_path)) {
575 atexit_asked = 1;
576 atexit(remove_tempfile);
577 }
578 signal(SIGINT, remove_tempfile_on_signal);
579 }
580
581 fflush(NULL);
582 pid = fork();
583 if (pid < 0)
584 die("unable to fork");
585 if (!pid) {
586 if (pgm) {
587 if (one && two) {
588 const char *exec_arg[10];
589 const char **arg = &exec_arg[0];
590 *arg++ = pgm;
591 *arg++ = name;
592 *arg++ = temp[0].name;
593 *arg++ = temp[0].hex;
594 *arg++ = temp[0].mode;
595 *arg++ = temp[1].name;
596 *arg++ = temp[1].hex;
597 *arg++ = temp[1].mode;
598 if (other) {
599 *arg++ = other;
600 *arg++ = xfrm_msg;
601 }
602 *arg = NULL;
603 execvp(pgm, (char *const*) exec_arg);
604 }
605 else
606 execlp(pgm, pgm, name, NULL);
607 }
608 /*
609 * otherwise we use the built-in one.
610 */
611 if (one && two)
612 builtin_diff(name, othername, temp, xfrm_msg,
613 complete_rewrite);
614 else
615 printf("* Unmerged path %s\n", name);
616 exit(0);
617 }
618 if (waitpid(pid, &status, 0) < 0 ||
619 !WIFEXITED(status) || WEXITSTATUS(status)) {
620 /* Earlier we did not check the exit status because
621 * diff exits non-zero if files are different, and
622 * we are not interested in knowing that. It was a
623 * mistake which made it harder to quit a diff-*
624 * session that uses the git-apply-patch-script as
625 * the GIT_EXTERNAL_DIFF. A custom GIT_EXTERNAL_DIFF
626 * should also exit non-zero only when it wants to
627 * abort the entire diff-* session.
628 */
629 remove_tempfile();
630 fprintf(stderr, "external diff died, stopping at %s.\n", name);
631 exit(1);
632 }
633 remove_tempfile();
634}
635
636static void diff_fill_sha1_info(struct diff_filespec *one)
637{
638 if (DIFF_FILE_VALID(one)) {
639 if (!one->sha1_valid) {
640 struct stat st;
641 if (stat(one->path, &st) < 0)
642 die("stat %s", one->path);
643 if (index_path(one->sha1, one->path, &st, 0))
644 die("cannot hash %s\n", one->path);
645 }
646 }
647 else
648 memset(one->sha1, 0, 20);
649}
650
651static void run_diff(struct diff_filepair *p)
652{
653 const char *pgm = external_diff();
654 char msg[PATH_MAX*2+300], *xfrm_msg;
655 struct diff_filespec *one;
656 struct diff_filespec *two;
657 const char *name;
658 const char *other;
659 char *name_munged, *other_munged;
660 int complete_rewrite = 0;
661 int len;
662
663 if (DIFF_PAIR_UNMERGED(p)) {
664 /* unmerged */
665 run_external_diff(pgm, p->one->path, NULL, NULL, NULL, NULL,
666 0);
667 return;
668 }
669
670 name = p->one->path;
671 other = (strcmp(name, p->two->path) ? p->two->path : NULL);
672 name_munged = quote_one(name);
673 other_munged = quote_one(other);
674 one = p->one; two = p->two;
675
676 diff_fill_sha1_info(one);
677 diff_fill_sha1_info(two);
678
679 len = 0;
680 switch (p->status) {
681 case DIFF_STATUS_COPIED:
682 len += snprintf(msg + len, sizeof(msg) - len,
683 "similarity index %d%%\n"
684 "copy from %s\n"
685 "copy to %s\n",
686 (int)(0.5 + p->score * 100.0/MAX_SCORE),
687 name_munged, other_munged);
688 break;
689 case DIFF_STATUS_RENAMED:
690 len += snprintf(msg + len, sizeof(msg) - len,
691 "similarity index %d%%\n"
692 "rename from %s\n"
693 "rename to %s\n",
694 (int)(0.5 + p->score * 100.0/MAX_SCORE),
695 name_munged, other_munged);
696 break;
697 case DIFF_STATUS_MODIFIED:
698 if (p->score) {
699 len += snprintf(msg + len, sizeof(msg) - len,
700 "dissimilarity index %d%%\n",
701 (int)(0.5 + p->score *
702 100.0/MAX_SCORE));
703 complete_rewrite = 1;
704 break;
705 }
706 /* fallthru */
707 default:
708 /* nothing */
709 ;
710 }
711
712 if (memcmp(one->sha1, two->sha1, 20)) {
713 char one_sha1[41];
714 memcpy(one_sha1, sha1_to_hex(one->sha1), 41);
715
716 len += snprintf(msg + len, sizeof(msg) - len,
717 "index %.7s..%.7s", one_sha1,
718 sha1_to_hex(two->sha1));
719 if (one->mode == two->mode)
720 len += snprintf(msg + len, sizeof(msg) - len,
721 " %06o", one->mode);
722 len += snprintf(msg + len, sizeof(msg) - len, "\n");
723 }
724
725 if (len)
726 msg[--len] = 0;
727 xfrm_msg = len ? msg : NULL;
728
729 if (!pgm &&
730 DIFF_FILE_VALID(one) && DIFF_FILE_VALID(two) &&
731 (S_IFMT & one->mode) != (S_IFMT & two->mode)) {
732 /* a filepair that changes between file and symlink
733 * needs to be split into deletion and creation.
734 */
735 struct diff_filespec *null = alloc_filespec(two->path);
736 run_external_diff(NULL, name, other, one, null, xfrm_msg, 0);
737 free(null);
738 null = alloc_filespec(one->path);
739 run_external_diff(NULL, name, other, null, two, xfrm_msg, 0);
740 free(null);
741 }
742 else
743 run_external_diff(pgm, name, other, one, two, xfrm_msg,
744 complete_rewrite);
745
746 free(name_munged);
747 free(other_munged);
748}
749
750void diff_setup(struct diff_options *options)
751{
752 memset(options, 0, sizeof(*options));
753 options->output_format = DIFF_FORMAT_RAW;
754 options->line_termination = '\n';
755 options->break_opt = -1;
756 options->rename_limit = -1;
757}
758
759int diff_setup_done(struct diff_options *options)
760{
761 if ((options->find_copies_harder || 0 <= options->rename_limit) &&
762 options->detect_rename != DIFF_DETECT_COPY)
763 return -1;
764 if (options->setup & DIFF_SETUP_USE_CACHE) {
765 if (!active_cache)
766 /* read-cache does not die even when it fails
767 * so it is safe for us to do this here. Also
768 * it does not smudge active_cache or active_nr
769 * when it fails, so we do not have to worry about
770 * cleaning it up oufselves either.
771 */
772 read_cache();
773 }
774 if (options->setup & DIFF_SETUP_USE_SIZE_CACHE)
775 use_size_cache = 1;
776
777 return 0;
778}
779
780int diff_opt_parse(struct diff_options *options, const char **av, int ac)
781{
782 const char *arg = av[0];
783 if (!strcmp(arg, "-p") || !strcmp(arg, "-u"))
784 options->output_format = DIFF_FORMAT_PATCH;
785 else if (!strcmp(arg, "-z"))
786 options->line_termination = 0;
787 else if (!strncmp(arg, "-l", 2))
788 options->rename_limit = strtoul(arg+2, NULL, 10);
789 else if (!strcmp(arg, "--name-only"))
790 options->output_format = DIFF_FORMAT_NAME;
791 else if (!strcmp(arg, "--name-status"))
792 options->output_format = DIFF_FORMAT_NAME_STATUS;
793 else if (!strcmp(arg, "-R"))
794 options->reverse_diff = 1;
795 else if (!strncmp(arg, "-S", 2))
796 options->pickaxe = arg + 2;
797 else if (!strcmp(arg, "-s"))
798 options->output_format = DIFF_FORMAT_NO_OUTPUT;
799 else if (!strncmp(arg, "-O", 2))
800 options->orderfile = arg + 2;
801 else if (!strncmp(arg, "--diff-filter=", 14))
802 options->filter = arg + 14;
803 else if (!strcmp(arg, "--pickaxe-all"))
804 options->pickaxe_opts = DIFF_PICKAXE_ALL;
805 else if (!strncmp(arg, "-B", 2)) {
806 if ((options->break_opt =
807 diff_scoreopt_parse(arg)) == -1)
808 return -1;
809 }
810 else if (!strncmp(arg, "-M", 2)) {
811 if ((options->rename_score =
812 diff_scoreopt_parse(arg)) == -1)
813 return -1;
814 options->detect_rename = DIFF_DETECT_RENAME;
815 }
816 else if (!strncmp(arg, "-C", 2)) {
817 if ((options->rename_score =
818 diff_scoreopt_parse(arg)) == -1)
819 return -1;
820 options->detect_rename = DIFF_DETECT_COPY;
821 }
822 else if (!strcmp(arg, "--find-copies-harder"))
823 options->find_copies_harder = 1;
824 else
825 return 0;
826 return 1;
827}
828
829static int parse_num(const char **cp_p)
830{
831 int num, scale, ch, cnt;
832 const char *cp = *cp_p;
833
834 cnt = num = 0;
835 scale = 1;
836 while ('0' <= (ch = *cp) && ch <= '9') {
837 if (cnt++ < 5) {
838 /* We simply ignore more than 5 digits precision. */
839 scale *= 10;
840 num = num * 10 + ch - '0';
841 }
842 cp++;
843 }
844 *cp_p = cp;
845
846 /* user says num divided by scale and we say internally that
847 * is MAX_SCORE * num / scale.
848 */
849 return (MAX_SCORE * num / scale);
850}
851
852int diff_scoreopt_parse(const char *opt)
853{
854 int opt1, opt2, cmd;
855
856 if (*opt++ != '-')
857 return -1;
858 cmd = *opt++;
859 if (cmd != 'M' && cmd != 'C' && cmd != 'B')
860 return -1; /* that is not a -M, -C nor -B option */
861
862 opt1 = parse_num(&opt);
863 if (cmd != 'B')
864 opt2 = 0;
865 else {
866 if (*opt == 0)
867 opt2 = 0;
868 else if (*opt != '/')
869 return -1; /* we expect -B80/99 or -B80 */
870 else {
871 opt++;
872 opt2 = parse_num(&opt);
873 }
874 }
875 if (*opt != 0)
876 return -1;
877 return opt1 | (opt2 << 16);
878}
879
880struct diff_queue_struct diff_queued_diff;
881
882void diff_q(struct diff_queue_struct *queue, struct diff_filepair *dp)
883{
884 if (queue->alloc <= queue->nr) {
885 queue->alloc = alloc_nr(queue->alloc);
886 queue->queue = xrealloc(queue->queue,
887 sizeof(dp) * queue->alloc);
888 }
889 queue->queue[queue->nr++] = dp;
890}
891
892struct diff_filepair *diff_queue(struct diff_queue_struct *queue,
893 struct diff_filespec *one,
894 struct diff_filespec *two)
895{
896 struct diff_filepair *dp = xmalloc(sizeof(*dp));
897 dp->one = one;
898 dp->two = two;
899 dp->score = 0;
900 dp->status = 0;
901 dp->source_stays = 0;
902 dp->broken_pair = 0;
903 if (queue)
904 diff_q(queue, dp);
905 return dp;
906}
907
908void diff_free_filepair(struct diff_filepair *p)
909{
910 diff_free_filespec_data(p->one);
911 diff_free_filespec_data(p->two);
912 free(p->one);
913 free(p->two);
914 free(p);
915}
916
917static void diff_flush_raw(struct diff_filepair *p,
918 int line_termination,
919 int inter_name_termination,
920 int output_format)
921{
922 int two_paths;
923 char status[10];
924 const char *path_one, *path_two;
925
926 path_one = p->one->path;
927 path_two = p->two->path;
928 if (line_termination) {
929 path_one = quote_one(path_one);
930 path_two = quote_one(path_two);
931 }
932
933 if (p->score)
934 sprintf(status, "%c%03d", p->status,
935 (int)(0.5 + p->score * 100.0/MAX_SCORE));
936 else {
937 status[0] = p->status;
938 status[1] = 0;
939 }
940 switch (p->status) {
941 case DIFF_STATUS_COPIED:
942 case DIFF_STATUS_RENAMED:
943 two_paths = 1;
944 break;
945 case DIFF_STATUS_ADDED:
946 case DIFF_STATUS_DELETED:
947 two_paths = 0;
948 break;
949 default:
950 two_paths = 0;
951 break;
952 }
953 if (output_format != DIFF_FORMAT_NAME_STATUS) {
954 printf(":%06o %06o %s ",
955 p->one->mode, p->two->mode, sha1_to_hex(p->one->sha1));
956 printf("%s ", sha1_to_hex(p->two->sha1));
957 }
958 printf("%s%c%s", status, inter_name_termination, path_one);
959 if (two_paths)
960 printf("%c%s", inter_name_termination, path_two);
961 putchar(line_termination);
962 if (path_one != p->one->path)
963 free((void*)path_one);
964 if (path_two != p->two->path)
965 free((void*)path_two);
966}
967
968static void diff_flush_name(struct diff_filepair *p,
969 int inter_name_termination,
970 int line_termination)
971{
972 char *path = p->two->path;
973
974 if (line_termination)
975 path = quote_one(p->two->path);
976 else
977 path = p->two->path;
978 printf("%s%c", path, line_termination);
979 if (p->two->path != path)
980 free(path);
981}
982
983int diff_unmodified_pair(struct diff_filepair *p)
984{
985 /* This function is written stricter than necessary to support
986 * the currently implemented transformers, but the idea is to
987 * let transformers to produce diff_filepairs any way they want,
988 * and filter and clean them up here before producing the output.
989 */
990 struct diff_filespec *one, *two;
991
992 if (DIFF_PAIR_UNMERGED(p))
993 return 0; /* unmerged is interesting */
994
995 one = p->one;
996 two = p->two;
997
998 /* deletion, addition, mode or type change
999 * and rename are all interesting.
1000 */
1001 if (DIFF_FILE_VALID(one) != DIFF_FILE_VALID(two) ||
1002 DIFF_PAIR_MODE_CHANGED(p) ||
1003 strcmp(one->path, two->path))
1004 return 0;
1005
1006 /* both are valid and point at the same path. that is, we are
1007 * dealing with a change.
1008 */
1009 if (one->sha1_valid && two->sha1_valid &&
1010 !memcmp(one->sha1, two->sha1, sizeof(one->sha1)))
1011 return 1; /* no change */
1012 if (!one->sha1_valid && !two->sha1_valid)
1013 return 1; /* both look at the same file on the filesystem. */
1014 return 0;
1015}
1016
1017static void diff_flush_patch(struct diff_filepair *p)
1018{
1019 if (diff_unmodified_pair(p))
1020 return;
1021
1022 if ((DIFF_FILE_VALID(p->one) && S_ISDIR(p->one->mode)) ||
1023 (DIFF_FILE_VALID(p->two) && S_ISDIR(p->two->mode)))
1024 return; /* no tree diffs in patch format */
1025
1026 run_diff(p);
1027}
1028
1029int diff_queue_is_empty(void)
1030{
1031 struct diff_queue_struct *q = &diff_queued_diff;
1032 int i;
1033 for (i = 0; i < q->nr; i++)
1034 if (!diff_unmodified_pair(q->queue[i]))
1035 return 0;
1036 return 1;
1037}
1038
1039#if DIFF_DEBUG
1040void diff_debug_filespec(struct diff_filespec *s, int x, const char *one)
1041{
1042 fprintf(stderr, "queue[%d] %s (%s) %s %06o %s\n",
1043 x, one ? one : "",
1044 s->path,
1045 DIFF_FILE_VALID(s) ? "valid" : "invalid",
1046 s->mode,
1047 s->sha1_valid ? sha1_to_hex(s->sha1) : "");
1048 fprintf(stderr, "queue[%d] %s size %lu flags %d\n",
1049 x, one ? one : "",
1050 s->size, s->xfrm_flags);
1051}
1052
1053void diff_debug_filepair(const struct diff_filepair *p, int i)
1054{
1055 diff_debug_filespec(p->one, i, "one");
1056 diff_debug_filespec(p->two, i, "two");
1057 fprintf(stderr, "score %d, status %c stays %d broken %d\n",
1058 p->score, p->status ? p->status : '?',
1059 p->source_stays, p->broken_pair);
1060}
1061
1062void diff_debug_queue(const char *msg, struct diff_queue_struct *q)
1063{
1064 int i;
1065 if (msg)
1066 fprintf(stderr, "%s\n", msg);
1067 fprintf(stderr, "q->nr = %d\n", q->nr);
1068 for (i = 0; i < q->nr; i++) {
1069 struct diff_filepair *p = q->queue[i];
1070 diff_debug_filepair(p, i);
1071 }
1072}
1073#endif
1074
1075static void diff_resolve_rename_copy(void)
1076{
1077 int i, j;
1078 struct diff_filepair *p, *pp;
1079 struct diff_queue_struct *q = &diff_queued_diff;
1080
1081 diff_debug_queue("resolve-rename-copy", q);
1082
1083 for (i = 0; i < q->nr; i++) {
1084 p = q->queue[i];
1085 p->status = 0; /* undecided */
1086 if (DIFF_PAIR_UNMERGED(p))
1087 p->status = DIFF_STATUS_UNMERGED;
1088 else if (!DIFF_FILE_VALID(p->one))
1089 p->status = DIFF_STATUS_ADDED;
1090 else if (!DIFF_FILE_VALID(p->two))
1091 p->status = DIFF_STATUS_DELETED;
1092 else if (DIFF_PAIR_TYPE_CHANGED(p))
1093 p->status = DIFF_STATUS_TYPE_CHANGED;
1094
1095 /* from this point on, we are dealing with a pair
1096 * whose both sides are valid and of the same type, i.e.
1097 * either in-place edit or rename/copy edit.
1098 */
1099 else if (DIFF_PAIR_RENAME(p)) {
1100 if (p->source_stays) {
1101 p->status = DIFF_STATUS_COPIED;
1102 continue;
1103 }
1104 /* See if there is some other filepair that
1105 * copies from the same source as us. If so
1106 * we are a copy. Otherwise we are either a
1107 * copy if the path stays, or a rename if it
1108 * does not, but we already handled "stays" case.
1109 */
1110 for (j = i + 1; j < q->nr; j++) {
1111 pp = q->queue[j];
1112 if (strcmp(pp->one->path, p->one->path))
1113 continue; /* not us */
1114 if (!DIFF_PAIR_RENAME(pp))
1115 continue; /* not a rename/copy */
1116 /* pp is a rename/copy from the same source */
1117 p->status = DIFF_STATUS_COPIED;
1118 break;
1119 }
1120 if (!p->status)
1121 p->status = DIFF_STATUS_RENAMED;
1122 }
1123 else if (memcmp(p->one->sha1, p->two->sha1, 20) ||
1124 p->one->mode != p->two->mode)
1125 p->status = DIFF_STATUS_MODIFIED;
1126 else {
1127 /* This is a "no-change" entry and should not
1128 * happen anymore, but prepare for broken callers.
1129 */
1130 error("feeding unmodified %s to diffcore",
1131 p->one->path);
1132 p->status = DIFF_STATUS_UNKNOWN;
1133 }
1134 }
1135 diff_debug_queue("resolve-rename-copy done", q);
1136}
1137
1138void diff_flush(struct diff_options *options)
1139{
1140 struct diff_queue_struct *q = &diff_queued_diff;
1141 int i;
1142 int inter_name_termination = '\t';
1143 int diff_output_format = options->output_format;
1144 int line_termination = options->line_termination;
1145
1146 if (!line_termination)
1147 inter_name_termination = 0;
1148
1149 for (i = 0; i < q->nr; i++) {
1150 struct diff_filepair *p = q->queue[i];
1151 if ((diff_output_format == DIFF_FORMAT_NO_OUTPUT) ||
1152 (p->status == DIFF_STATUS_UNKNOWN))
1153 continue;
1154 if (p->status == 0)
1155 die("internal error in diff-resolve-rename-copy");
1156 switch (diff_output_format) {
1157 case DIFF_FORMAT_PATCH:
1158 diff_flush_patch(p);
1159 break;
1160 case DIFF_FORMAT_RAW:
1161 case DIFF_FORMAT_NAME_STATUS:
1162 diff_flush_raw(p, line_termination,
1163 inter_name_termination,
1164 diff_output_format);
1165 break;
1166 case DIFF_FORMAT_NAME:
1167 diff_flush_name(p,
1168 inter_name_termination,
1169 line_termination);
1170 break;
1171 }
1172 diff_free_filepair(q->queue[i]);
1173 }
1174 free(q->queue);
1175 q->queue = NULL;
1176 q->nr = q->alloc = 0;
1177}
1178
1179static void diffcore_apply_filter(const char *filter)
1180{
1181 int i;
1182 struct diff_queue_struct *q = &diff_queued_diff;
1183 struct diff_queue_struct outq;
1184 outq.queue = NULL;
1185 outq.nr = outq.alloc = 0;
1186
1187 if (!filter)
1188 return;
1189
1190 if (strchr(filter, DIFF_STATUS_FILTER_AON)) {
1191 int found;
1192 for (i = found = 0; !found && i < q->nr; i++) {
1193 struct diff_filepair *p = q->queue[i];
1194 if (((p->status == DIFF_STATUS_MODIFIED) &&
1195 ((p->score &&
1196 strchr(filter, DIFF_STATUS_FILTER_BROKEN)) ||
1197 (!p->score &&
1198 strchr(filter, DIFF_STATUS_MODIFIED)))) ||
1199 ((p->status != DIFF_STATUS_MODIFIED) &&
1200 strchr(filter, p->status)))
1201 found++;
1202 }
1203 if (found)
1204 return;
1205
1206 /* otherwise we will clear the whole queue
1207 * by copying the empty outq at the end of this
1208 * function, but first clear the current entries
1209 * in the queue.
1210 */
1211 for (i = 0; i < q->nr; i++)
1212 diff_free_filepair(q->queue[i]);
1213 }
1214 else {
1215 /* Only the matching ones */
1216 for (i = 0; i < q->nr; i++) {
1217 struct diff_filepair *p = q->queue[i];
1218
1219 if (((p->status == DIFF_STATUS_MODIFIED) &&
1220 ((p->score &&
1221 strchr(filter, DIFF_STATUS_FILTER_BROKEN)) ||
1222 (!p->score &&
1223 strchr(filter, DIFF_STATUS_MODIFIED)))) ||
1224 ((p->status != DIFF_STATUS_MODIFIED) &&
1225 strchr(filter, p->status)))
1226 diff_q(&outq, p);
1227 else
1228 diff_free_filepair(p);
1229 }
1230 }
1231 free(q->queue);
1232 *q = outq;
1233}
1234
1235void diffcore_std(struct diff_options *options)
1236{
1237 if (options->paths && options->paths[0])
1238 diffcore_pathspec(options->paths);
1239 if (options->break_opt != -1)
1240 diffcore_break(options->break_opt);
1241 if (options->detect_rename)
1242 diffcore_rename(options);
1243 if (options->break_opt != -1)
1244 diffcore_merge_broken();
1245 if (options->pickaxe)
1246 diffcore_pickaxe(options->pickaxe, options->pickaxe_opts);
1247 if (options->orderfile)
1248 diffcore_order(options->orderfile);
1249 diff_resolve_rename_copy();
1250 diffcore_apply_filter(options->filter);
1251}
1252
1253
1254void diffcore_std_no_resolve(struct diff_options *options)
1255{
1256 if (options->pickaxe)
1257 diffcore_pickaxe(options->pickaxe, options->pickaxe_opts);
1258 if (options->orderfile)
1259 diffcore_order(options->orderfile);
1260 diffcore_apply_filter(options->filter);
1261}
1262
1263void diff_addremove(struct diff_options *options,
1264 int addremove, unsigned mode,
1265 const unsigned char *sha1,
1266 const char *base, const char *path)
1267{
1268 char concatpath[PATH_MAX];
1269 struct diff_filespec *one, *two;
1270
1271 /* This may look odd, but it is a preparation for
1272 * feeding "there are unchanged files which should
1273 * not produce diffs, but when you are doing copy
1274 * detection you would need them, so here they are"
1275 * entries to the diff-core. They will be prefixed
1276 * with something like '=' or '*' (I haven't decided
1277 * which but should not make any difference).
1278 * Feeding the same new and old to diff_change()
1279 * also has the same effect.
1280 * Before the final output happens, they are pruned after
1281 * merged into rename/copy pairs as appropriate.
1282 */
1283 if (options->reverse_diff)
1284 addremove = (addremove == '+' ? '-' :
1285 addremove == '-' ? '+' : addremove);
1286
1287 if (!path) path = "";
1288 sprintf(concatpath, "%s%s", base, path);
1289 one = alloc_filespec(concatpath);
1290 two = alloc_filespec(concatpath);
1291
1292 if (addremove != '+')
1293 fill_filespec(one, sha1, mode);
1294 if (addremove != '-')
1295 fill_filespec(two, sha1, mode);
1296
1297 diff_queue(&diff_queued_diff, one, two);
1298}
1299
1300void diff_change(struct diff_options *options,
1301 unsigned old_mode, unsigned new_mode,
1302 const unsigned char *old_sha1,
1303 const unsigned char *new_sha1,
1304 const char *base, const char *path)
1305{
1306 char concatpath[PATH_MAX];
1307 struct diff_filespec *one, *two;
1308
1309 if (options->reverse_diff) {
1310 unsigned tmp;
1311 const unsigned char *tmp_c;
1312 tmp = old_mode; old_mode = new_mode; new_mode = tmp;
1313 tmp_c = old_sha1; old_sha1 = new_sha1; new_sha1 = tmp_c;
1314 }
1315 if (!path) path = "";
1316 sprintf(concatpath, "%s%s", base, path);
1317 one = alloc_filespec(concatpath);
1318 two = alloc_filespec(concatpath);
1319 fill_filespec(one, old_sha1, old_mode);
1320 fill_filespec(two, new_sha1, new_mode);
1321
1322 diff_queue(&diff_queued_diff, one, two);
1323}
1324
1325void diff_unmerge(struct diff_options *options,
1326 const char *path)
1327{
1328 struct diff_filespec *one, *two;
1329 one = alloc_filespec(path);
1330 two = alloc_filespec(path);
1331 diff_queue(&diff_queued_diff, one, two);
1332}