diff.con commit Update git-diff-* to use C-style quoting for funny pathnames. (cf9dfc6)
   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}