95d3413ae5bfa905deb7c836fe0633cd0a9942df
   1#define NO_THE_INDEX_COMPATIBILITY_MACROS
   2#include "cache.h"
   3#include "dir.h"
   4#include "tree.h"
   5#include "tree-walk.h"
   6#include "cache-tree.h"
   7#include "unpack-trees.h"
   8#include "progress.h"
   9#include "refs.h"
  10
  11static void add_entry(struct unpack_trees_options *o, struct cache_entry *ce,
  12        unsigned int set, unsigned int clear)
  13{
  14        unsigned int size = ce_size(ce);
  15        struct cache_entry *new = xmalloc(size);
  16
  17        clear |= CE_HASHED | CE_UNHASHED;
  18
  19        memcpy(new, ce, size);
  20        new->next = NULL;
  21        new->ce_flags = (new->ce_flags & ~clear) | set;
  22        add_index_entry(&o->result, new, ADD_CACHE_OK_TO_ADD|ADD_CACHE_OK_TO_REPLACE|ADD_CACHE_SKIP_DFCHECK);
  23}
  24
  25/* Unlink the last component and attempt to remove leading
  26 * directories, in case this unlink is the removal of the
  27 * last entry in the directory -- empty directories are removed.
  28 */
  29static void unlink_entry(char *name, char *last_symlink)
  30{
  31        char *cp, *prev;
  32
  33        if (has_symlink_leading_path(name, last_symlink))
  34                return;
  35        if (unlink(name))
  36                return;
  37        prev = NULL;
  38        while (1) {
  39                int status;
  40                cp = strrchr(name, '/');
  41                if (prev)
  42                        *prev = '/';
  43                if (!cp)
  44                        break;
  45
  46                *cp = 0;
  47                status = rmdir(name);
  48                if (status) {
  49                        *cp = '/';
  50                        break;
  51                }
  52                prev = cp;
  53        }
  54}
  55
  56static struct checkout state;
  57static int check_updates(struct unpack_trees_options *o)
  58{
  59        unsigned cnt = 0, total = 0;
  60        struct progress *progress = NULL;
  61        char last_symlink[PATH_MAX];
  62        struct index_state *index = &o->result;
  63        int i;
  64        int errs = 0;
  65
  66        if (o->update && o->verbose_update) {
  67                for (total = cnt = 0; cnt < index->cache_nr; cnt++) {
  68                        struct cache_entry *ce = index->cache[cnt];
  69                        if (ce->ce_flags & (CE_UPDATE | CE_REMOVE))
  70                                total++;
  71                }
  72
  73                progress = start_progress_delay("Checking out files",
  74                                                total, 50, 1);
  75                cnt = 0;
  76        }
  77
  78        *last_symlink = '\0';
  79        for (i = 0; i < index->cache_nr; i++) {
  80                struct cache_entry *ce = index->cache[i];
  81
  82                if (ce->ce_flags & (CE_UPDATE | CE_REMOVE))
  83                        display_progress(progress, ++cnt);
  84                if (ce->ce_flags & CE_REMOVE) {
  85                        if (o->update)
  86                                unlink_entry(ce->name, last_symlink);
  87                        remove_index_entry_at(&o->result, i);
  88                        i--;
  89                        continue;
  90                }
  91                if (ce->ce_flags & CE_UPDATE) {
  92                        ce->ce_flags &= ~CE_UPDATE;
  93                        if (o->update) {
  94                                errs |= checkout_entry(ce, &state, NULL);
  95                                *last_symlink = '\0';
  96                        }
  97                }
  98        }
  99        stop_progress(&progress);
 100        return errs != 0;
 101}
 102
 103static inline int call_unpack_fn(struct cache_entry **src, struct unpack_trees_options *o)
 104{
 105        int ret = o->fn(src, o);
 106        if (ret > 0)
 107                ret = 0;
 108        return ret;
 109}
 110
 111static int unpack_index_entry(struct cache_entry *ce, struct unpack_trees_options *o)
 112{
 113        struct cache_entry *src[5] = { ce, };
 114
 115        o->pos++;
 116        if (ce_stage(ce)) {
 117                if (o->skip_unmerged) {
 118                        add_entry(o, ce, 0, 0);
 119                        return 0;
 120                }
 121        }
 122        return call_unpack_fn(src, o);
 123}
 124
 125int traverse_trees_recursive(int n, unsigned long dirmask, unsigned long df_conflicts, struct name_entry *names, struct traverse_info *info)
 126{
 127        int i;
 128        struct tree_desc t[MAX_UNPACK_TREES];
 129        struct traverse_info newinfo;
 130        struct name_entry *p;
 131
 132        p = names;
 133        while (!p->mode)
 134                p++;
 135
 136        newinfo = *info;
 137        newinfo.prev = info;
 138        newinfo.name = *p;
 139        newinfo.pathlen += tree_entry_len(p->path, p->sha1) + 1;
 140        newinfo.conflicts |= df_conflicts;
 141
 142        for (i = 0; i < n; i++, dirmask >>= 1) {
 143                const unsigned char *sha1 = NULL;
 144                if (dirmask & 1)
 145                        sha1 = names[i].sha1;
 146                fill_tree_descriptor(t+i, sha1);
 147        }
 148        return traverse_trees(n, t, &newinfo);
 149}
 150
 151/*
 152 * Compare the traverse-path to the cache entry without actually
 153 * having to generate the textual representation of the traverse
 154 * path.
 155 *
 156 * NOTE! This *only* compares up to the size of the traverse path
 157 * itself - the caller needs to do the final check for the cache
 158 * entry having more data at the end!
 159 */
 160static int do_compare_entry(const struct cache_entry *ce, const struct traverse_info *info, const struct name_entry *n)
 161{
 162        int len, pathlen, ce_len;
 163        const char *ce_name;
 164
 165        if (info->prev) {
 166                int cmp = do_compare_entry(ce, info->prev, &info->name);
 167                if (cmp)
 168                        return cmp;
 169        }
 170        pathlen = info->pathlen;
 171        ce_len = ce_namelen(ce);
 172
 173        /* If ce_len < pathlen then we must have previously hit "name == directory" entry */
 174        if (ce_len < pathlen)
 175                return -1;
 176
 177        ce_len -= pathlen;
 178        ce_name = ce->name + pathlen;
 179
 180        len = tree_entry_len(n->path, n->sha1);
 181        return df_name_compare(ce_name, ce_len, S_IFREG, n->path, len, n->mode);
 182}
 183
 184static int compare_entry(const struct cache_entry *ce, const struct traverse_info *info, const struct name_entry *n)
 185{
 186        int cmp = do_compare_entry(ce, info, n);
 187        if (cmp)
 188                return cmp;
 189
 190        /*
 191         * Even if the beginning compared identically, the ce should
 192         * compare as bigger than a directory leading up to it!
 193         */
 194        return ce_namelen(ce) > traverse_path_len(info, n);
 195}
 196
 197static struct cache_entry *create_ce_entry(const struct traverse_info *info, const struct name_entry *n, int stage)
 198{
 199        int len = traverse_path_len(info, n);
 200        struct cache_entry *ce = xcalloc(1, cache_entry_size(len));
 201
 202        ce->ce_mode = create_ce_mode(n->mode);
 203        ce->ce_flags = create_ce_flags(len, stage);
 204        hashcpy(ce->sha1, n->sha1);
 205        make_traverse_path(ce->name, info, n);
 206
 207        return ce;
 208}
 209
 210static int unpack_nondirectories(int n, unsigned long mask, unsigned long dirmask, struct cache_entry *src[5],
 211        const struct name_entry *names, const struct traverse_info *info)
 212{
 213        int i;
 214        struct unpack_trees_options *o = info->data;
 215        unsigned long conflicts;
 216
 217        /* Do we have *only* directories? Nothing to do */
 218        if (mask == dirmask && !src[0])
 219                return 0;
 220
 221        conflicts = info->conflicts;
 222        if (o->merge)
 223                conflicts >>= 1;
 224        conflicts |= dirmask;
 225
 226        /*
 227         * Ok, we've filled in up to any potential index entry in src[0],
 228         * now do the rest.
 229         */
 230        for (i = 0; i < n; i++) {
 231                int stage;
 232                unsigned int bit = 1ul << i;
 233                if (conflicts & bit) {
 234                        src[i + o->merge] = o->df_conflict_entry;
 235                        continue;
 236                }
 237                if (!(mask & bit))
 238                        continue;
 239                if (!o->merge)
 240                        stage = 0;
 241                else if (i + 1 < o->head_idx)
 242                        stage = 1;
 243                else if (i + 1 > o->head_idx)
 244                        stage = 3;
 245                else
 246                        stage = 2;
 247                src[i + o->merge] = create_ce_entry(info, names + i, stage);
 248        }
 249
 250        if (o->merge)
 251                return call_unpack_fn(src, o);
 252
 253        n += o->merge;
 254        for (i = 0; i < n; i++)
 255                add_entry(o, src[i], 0, 0);
 256        return 0;
 257}
 258
 259static int unpack_callback(int n, unsigned long mask, unsigned long dirmask, struct name_entry *names, struct traverse_info *info)
 260{
 261        struct cache_entry *src[5] = { NULL, };
 262        struct unpack_trees_options *o = info->data;
 263        const struct name_entry *p = names;
 264
 265        /* Find first entry with a real name (we could use "mask" too) */
 266        while (!p->mode)
 267                p++;
 268
 269        /* Are we supposed to look at the index too? */
 270        if (o->merge) {
 271                while (o->pos < o->src_index->cache_nr) {
 272                        struct cache_entry *ce = o->src_index->cache[o->pos];
 273                        int cmp = compare_entry(ce, info, p);
 274                        if (cmp < 0) {
 275                                if (unpack_index_entry(ce, o) < 0)
 276                                        return -1;
 277                                continue;
 278                        }
 279                        if (!cmp) {
 280                                o->pos++;
 281                                if (ce_stage(ce)) {
 282                                        /*
 283                                         * If we skip unmerged index entries, we'll skip this
 284                                         * entry *and* the tree entries associated with it!
 285                                         */
 286                                        if (o->skip_unmerged) {
 287                                                add_entry(o, ce, 0, 0);
 288                                                return mask;
 289                                        }
 290                                }
 291                                src[0] = ce;
 292                        }
 293                        break;
 294                }
 295        }
 296
 297        if (unpack_nondirectories(n, mask, dirmask, src, names, info) < 0)
 298                return -1;
 299
 300        /* Now handle any directories.. */
 301        if (dirmask) {
 302                unsigned long conflicts = mask & ~dirmask;
 303                if (o->merge) {
 304                        conflicts <<= 1;
 305                        if (src[0])
 306                                conflicts |= 1;
 307                }
 308                if (traverse_trees_recursive(n, dirmask, conflicts,
 309                                             names, info) < 0)
 310                        return -1;
 311                return mask;
 312        }
 313
 314        return mask;
 315}
 316
 317static int unpack_failed(struct unpack_trees_options *o, const char *message)
 318{
 319        discard_index(&o->result);
 320        if (!o->gently) {
 321                if (message)
 322                        return error(message);
 323                return -1;
 324        }
 325        return -1;
 326}
 327
 328int unpack_trees(unsigned len, struct tree_desc *t, struct unpack_trees_options *o)
 329{
 330        static struct cache_entry *dfc;
 331
 332        if (len > MAX_UNPACK_TREES)
 333                die("unpack_trees takes at most %d trees", MAX_UNPACK_TREES);
 334        memset(&state, 0, sizeof(state));
 335        state.base_dir = "";
 336        state.force = 1;
 337        state.quiet = 1;
 338        state.refresh_cache = 1;
 339
 340        memset(&o->result, 0, sizeof(o->result));
 341        if (o->src_index)
 342                o->result.timestamp = o->src_index->timestamp;
 343        o->merge_size = len;
 344
 345        if (!dfc)
 346                dfc = xcalloc(1, sizeof(struct cache_entry) + 1);
 347        o->df_conflict_entry = dfc;
 348
 349        if (len) {
 350                const char *prefix = o->prefix ? o->prefix : "";
 351                struct traverse_info info;
 352
 353                setup_traverse_info(&info, prefix);
 354                info.fn = unpack_callback;
 355                info.data = o;
 356
 357                if (traverse_trees(len, t, &info) < 0)
 358                        return unpack_failed(o, NULL);
 359        }
 360
 361        /* Any left-over entries in the index? */
 362        if (o->merge) {
 363                while (o->pos < o->src_index->cache_nr) {
 364                        struct cache_entry *ce = o->src_index->cache[o->pos];
 365                        if (unpack_index_entry(ce, o) < 0)
 366                                return unpack_failed(o, NULL);
 367                }
 368        }
 369
 370        if (o->trivial_merges_only && o->nontrivial_merge)
 371                return unpack_failed(o, "Merge requires file-level merging");
 372
 373        o->src_index = NULL;
 374        if (check_updates(o))
 375                return -1;
 376        if (o->dst_index)
 377                *o->dst_index = o->result;
 378        return 0;
 379}
 380
 381/* Here come the merge functions */
 382
 383static int reject_merge(struct cache_entry *ce)
 384{
 385        return error("Entry '%s' would be overwritten by merge. Cannot merge.",
 386                     ce->name);
 387}
 388
 389static int same(struct cache_entry *a, struct cache_entry *b)
 390{
 391        if (!!a != !!b)
 392                return 0;
 393        if (!a && !b)
 394                return 1;
 395        return a->ce_mode == b->ce_mode &&
 396               !hashcmp(a->sha1, b->sha1);
 397}
 398
 399
 400/*
 401 * When a CE gets turned into an unmerged entry, we
 402 * want it to be up-to-date
 403 */
 404static int verify_uptodate(struct cache_entry *ce,
 405                struct unpack_trees_options *o)
 406{
 407        struct stat st;
 408
 409        if (o->index_only || o->reset)
 410                return 0;
 411
 412        if (!lstat(ce->name, &st)) {
 413                unsigned changed = ie_match_stat(o->src_index, ce, &st, CE_MATCH_IGNORE_VALID);
 414                if (!changed)
 415                        return 0;
 416                /*
 417                 * NEEDSWORK: the current default policy is to allow
 418                 * submodule to be out of sync wrt the supermodule
 419                 * index.  This needs to be tightened later for
 420                 * submodules that are marked to be automatically
 421                 * checked out.
 422                 */
 423                if (S_ISGITLINK(ce->ce_mode))
 424                        return 0;
 425                errno = 0;
 426        }
 427        if (errno == ENOENT)
 428                return 0;
 429        return o->gently ? -1 :
 430                error("Entry '%s' not uptodate. Cannot merge.", ce->name);
 431}
 432
 433static void invalidate_ce_path(struct cache_entry *ce, struct unpack_trees_options *o)
 434{
 435        if (ce)
 436                cache_tree_invalidate_path(o->src_index->cache_tree, ce->name);
 437}
 438
 439/*
 440 * Check that checking out ce->sha1 in subdir ce->name is not
 441 * going to overwrite any working files.
 442 *
 443 * Currently, git does not checkout subprojects during a superproject
 444 * checkout, so it is not going to overwrite anything.
 445 */
 446static int verify_clean_submodule(struct cache_entry *ce, const char *action,
 447                                      struct unpack_trees_options *o)
 448{
 449        return 0;
 450}
 451
 452static int verify_clean_subdirectory(struct cache_entry *ce, const char *action,
 453                                      struct unpack_trees_options *o)
 454{
 455        /*
 456         * we are about to extract "ce->name"; we would not want to lose
 457         * anything in the existing directory there.
 458         */
 459        int namelen;
 460        int pos, i;
 461        struct dir_struct d;
 462        char *pathbuf;
 463        int cnt = 0;
 464        unsigned char sha1[20];
 465
 466        if (S_ISGITLINK(ce->ce_mode) &&
 467            resolve_gitlink_ref(ce->name, "HEAD", sha1) == 0) {
 468                /* If we are not going to update the submodule, then
 469                 * we don't care.
 470                 */
 471                if (!hashcmp(sha1, ce->sha1))
 472                        return 0;
 473                return verify_clean_submodule(ce, action, o);
 474        }
 475
 476        /*
 477         * First let's make sure we do not have a local modification
 478         * in that directory.
 479         */
 480        namelen = strlen(ce->name);
 481        pos = index_name_pos(o->src_index, ce->name, namelen);
 482        if (0 <= pos)
 483                return cnt; /* we have it as nondirectory */
 484        pos = -pos - 1;
 485        for (i = pos; i < o->src_index->cache_nr; i++) {
 486                struct cache_entry *ce = o->src_index->cache[i];
 487                int len = ce_namelen(ce);
 488                if (len < namelen ||
 489                    strncmp(ce->name, ce->name, namelen) ||
 490                    ce->name[namelen] != '/')
 491                        break;
 492                /*
 493                 * ce->name is an entry in the subdirectory.
 494                 */
 495                if (!ce_stage(ce)) {
 496                        if (verify_uptodate(ce, o))
 497                                return -1;
 498                        add_entry(o, ce, CE_REMOVE, 0);
 499                }
 500                cnt++;
 501        }
 502
 503        /*
 504         * Then we need to make sure that we do not lose a locally
 505         * present file that is not ignored.
 506         */
 507        pathbuf = xmalloc(namelen + 2);
 508        memcpy(pathbuf, ce->name, namelen);
 509        strcpy(pathbuf+namelen, "/");
 510
 511        memset(&d, 0, sizeof(d));
 512        if (o->dir)
 513                d.exclude_per_dir = o->dir->exclude_per_dir;
 514        i = read_directory(&d, ce->name, pathbuf, namelen+1, NULL);
 515        if (i)
 516                return o->gently ? -1 :
 517                        error("Updating '%s' would lose untracked files in it",
 518                              ce->name);
 519        free(pathbuf);
 520        return cnt;
 521}
 522
 523/*
 524 * This gets called when there was no index entry for the tree entry 'dst',
 525 * but we found a file in the working tree that 'lstat()' said was fine,
 526 * and we're on a case-insensitive filesystem.
 527 *
 528 * See if we can find a case-insensitive match in the index that also
 529 * matches the stat information, and assume it's that other file!
 530 */
 531static int icase_exists(struct unpack_trees_options *o, struct cache_entry *dst, struct stat *st)
 532{
 533        struct cache_entry *src;
 534
 535        src = index_name_exists(o->src_index, dst->name, ce_namelen(dst), 1);
 536        return src && !ie_match_stat(o->src_index, src, st, CE_MATCH_IGNORE_VALID);
 537}
 538
 539/*
 540 * We do not want to remove or overwrite a working tree file that
 541 * is not tracked, unless it is ignored.
 542 */
 543static int verify_absent(struct cache_entry *ce, const char *action,
 544                         struct unpack_trees_options *o)
 545{
 546        struct stat st;
 547
 548        if (o->index_only || o->reset || !o->update)
 549                return 0;
 550
 551        if (has_symlink_leading_path(ce->name, NULL))
 552                return 0;
 553
 554        if (!lstat(ce->name, &st)) {
 555                int cnt;
 556                int dtype = ce_to_dtype(ce);
 557                struct cache_entry *result;
 558
 559                /*
 560                 * It may be that the 'lstat()' succeeded even though
 561                 * target 'ce' was absent, because there is an old
 562                 * entry that is different only in case..
 563                 *
 564                 * Ignore that lstat() if it matches.
 565                 */
 566                if (ignore_case && icase_exists(o, ce, &st))
 567                        return 0;
 568
 569                if (o->dir && excluded(o->dir, ce->name, &dtype))
 570                        /*
 571                         * ce->name is explicitly excluded, so it is Ok to
 572                         * overwrite it.
 573                         */
 574                        return 0;
 575                if (S_ISDIR(st.st_mode)) {
 576                        /*
 577                         * We are checking out path "foo" and
 578                         * found "foo/." in the working tree.
 579                         * This is tricky -- if we have modified
 580                         * files that are in "foo/" we would lose
 581                         * it.
 582                         */
 583                        cnt = verify_clean_subdirectory(ce, action, o);
 584
 585                        /*
 586                         * If this removed entries from the index,
 587                         * what that means is:
 588                         *
 589                         * (1) the caller unpack_trees_rec() saw path/foo
 590                         * in the index, and it has not removed it because
 591                         * it thinks it is handling 'path' as blob with
 592                         * D/F conflict;
 593                         * (2) we will return "ok, we placed a merged entry
 594                         * in the index" which would cause o->pos to be
 595                         * incremented by one;
 596                         * (3) however, original o->pos now has 'path/foo'
 597                         * marked with "to be removed".
 598                         *
 599                         * We need to increment it by the number of
 600                         * deleted entries here.
 601                         */
 602                        o->pos += cnt;
 603                        return 0;
 604                }
 605
 606                /*
 607                 * The previous round may already have decided to
 608                 * delete this path, which is in a subdirectory that
 609                 * is being replaced with a blob.
 610                 */
 611                result = index_name_exists(&o->result, ce->name, ce_namelen(ce), 0);
 612                if (result) {
 613                        if (result->ce_flags & CE_REMOVE)
 614                                return 0;
 615                }
 616
 617                return o->gently ? -1 :
 618                        error("Untracked working tree file '%s' "
 619                              "would be %s by merge.", ce->name, action);
 620        }
 621        return 0;
 622}
 623
 624static int merged_entry(struct cache_entry *merge, struct cache_entry *old,
 625                struct unpack_trees_options *o)
 626{
 627        int update = CE_UPDATE;
 628
 629        if (old) {
 630                /*
 631                 * See if we can re-use the old CE directly?
 632                 * That way we get the uptodate stat info.
 633                 *
 634                 * This also removes the UPDATE flag on a match; otherwise
 635                 * we will end up overwriting local changes in the work tree.
 636                 */
 637                if (same(old, merge)) {
 638                        copy_cache_entry(merge, old);
 639                        update = 0;
 640                } else {
 641                        if (verify_uptodate(old, o))
 642                                return -1;
 643                        invalidate_ce_path(old, o);
 644                }
 645        }
 646        else {
 647                if (verify_absent(merge, "overwritten", o))
 648                        return -1;
 649                invalidate_ce_path(merge, o);
 650        }
 651
 652        add_entry(o, merge, update, CE_STAGEMASK);
 653        return 1;
 654}
 655
 656static int deleted_entry(struct cache_entry *ce, struct cache_entry *old,
 657                struct unpack_trees_options *o)
 658{
 659        /* Did it exist in the index? */
 660        if (!old) {
 661                if (verify_absent(ce, "removed", o))
 662                        return -1;
 663                return 0;
 664        }
 665        if (verify_uptodate(old, o))
 666                return -1;
 667        add_entry(o, ce, CE_REMOVE, 0);
 668        invalidate_ce_path(ce, o);
 669        return 1;
 670}
 671
 672static int keep_entry(struct cache_entry *ce, struct unpack_trees_options *o)
 673{
 674        add_entry(o, ce, 0, 0);
 675        return 1;
 676}
 677
 678#if DBRT_DEBUG
 679static void show_stage_entry(FILE *o,
 680                             const char *label, const struct cache_entry *ce)
 681{
 682        if (!ce)
 683                fprintf(o, "%s (missing)\n", label);
 684        else
 685                fprintf(o, "%s%06o %s %d\t%s\n",
 686                        label,
 687                        ce->ce_mode,
 688                        sha1_to_hex(ce->sha1),
 689                        ce_stage(ce),
 690                        ce->name);
 691}
 692#endif
 693
 694int threeway_merge(struct cache_entry **stages, struct unpack_trees_options *o)
 695{
 696        struct cache_entry *index;
 697        struct cache_entry *head;
 698        struct cache_entry *remote = stages[o->head_idx + 1];
 699        int count;
 700        int head_match = 0;
 701        int remote_match = 0;
 702
 703        int df_conflict_head = 0;
 704        int df_conflict_remote = 0;
 705
 706        int any_anc_missing = 0;
 707        int no_anc_exists = 1;
 708        int i;
 709
 710        for (i = 1; i < o->head_idx; i++) {
 711                if (!stages[i] || stages[i] == o->df_conflict_entry)
 712                        any_anc_missing = 1;
 713                else
 714                        no_anc_exists = 0;
 715        }
 716
 717        index = stages[0];
 718        head = stages[o->head_idx];
 719
 720        if (head == o->df_conflict_entry) {
 721                df_conflict_head = 1;
 722                head = NULL;
 723        }
 724
 725        if (remote == o->df_conflict_entry) {
 726                df_conflict_remote = 1;
 727                remote = NULL;
 728        }
 729
 730        /* First, if there's a #16 situation, note that to prevent #13
 731         * and #14.
 732         */
 733        if (!same(remote, head)) {
 734                for (i = 1; i < o->head_idx; i++) {
 735                        if (same(stages[i], head)) {
 736                                head_match = i;
 737                        }
 738                        if (same(stages[i], remote)) {
 739                                remote_match = i;
 740                        }
 741                }
 742        }
 743
 744        /* We start with cases where the index is allowed to match
 745         * something other than the head: #14(ALT) and #2ALT, where it
 746         * is permitted to match the result instead.
 747         */
 748        /* #14, #14ALT, #2ALT */
 749        if (remote && !df_conflict_head && head_match && !remote_match) {
 750                if (index && !same(index, remote) && !same(index, head))
 751                        return o->gently ? -1 : reject_merge(index);
 752                return merged_entry(remote, index, o);
 753        }
 754        /*
 755         * If we have an entry in the index cache, then we want to
 756         * make sure that it matches head.
 757         */
 758        if (index && !same(index, head))
 759                return o->gently ? -1 : reject_merge(index);
 760
 761        if (head) {
 762                /* #5ALT, #15 */
 763                if (same(head, remote))
 764                        return merged_entry(head, index, o);
 765                /* #13, #3ALT */
 766                if (!df_conflict_remote && remote_match && !head_match)
 767                        return merged_entry(head, index, o);
 768        }
 769
 770        /* #1 */
 771        if (!head && !remote && any_anc_missing)
 772                return 0;
 773
 774        /* Under the new "aggressive" rule, we resolve mostly trivial
 775         * cases that we historically had git-merge-one-file resolve.
 776         */
 777        if (o->aggressive) {
 778                int head_deleted = !head && !df_conflict_head;
 779                int remote_deleted = !remote && !df_conflict_remote;
 780                struct cache_entry *ce = NULL;
 781
 782                if (index)
 783                        ce = index;
 784                else if (head)
 785                        ce = head;
 786                else if (remote)
 787                        ce = remote;
 788                else {
 789                        for (i = 1; i < o->head_idx; i++) {
 790                                if (stages[i] && stages[i] != o->df_conflict_entry) {
 791                                        ce = stages[i];
 792                                        break;
 793                                }
 794                        }
 795                }
 796
 797                /*
 798                 * Deleted in both.
 799                 * Deleted in one and unchanged in the other.
 800                 */
 801                if ((head_deleted && remote_deleted) ||
 802                    (head_deleted && remote && remote_match) ||
 803                    (remote_deleted && head && head_match)) {
 804                        if (index)
 805                                return deleted_entry(index, index, o);
 806                        if (ce && !head_deleted) {
 807                                if (verify_absent(ce, "removed", o))
 808                                        return -1;
 809                        }
 810                        return 0;
 811                }
 812                /*
 813                 * Added in both, identically.
 814                 */
 815                if (no_anc_exists && head && remote && same(head, remote))
 816                        return merged_entry(head, index, o);
 817
 818        }
 819
 820        /* Below are "no merge" cases, which require that the index be
 821         * up-to-date to avoid the files getting overwritten with
 822         * conflict resolution files.
 823         */
 824        if (index) {
 825                if (verify_uptodate(index, o))
 826                        return -1;
 827        }
 828
 829        o->nontrivial_merge = 1;
 830
 831        /* #2, #3, #4, #6, #7, #9, #10, #11. */
 832        count = 0;
 833        if (!head_match || !remote_match) {
 834                for (i = 1; i < o->head_idx; i++) {
 835                        if (stages[i] && stages[i] != o->df_conflict_entry) {
 836                                keep_entry(stages[i], o);
 837                                count++;
 838                                break;
 839                        }
 840                }
 841        }
 842#if DBRT_DEBUG
 843        else {
 844                fprintf(stderr, "read-tree: warning #16 detected\n");
 845                show_stage_entry(stderr, "head   ", stages[head_match]);
 846                show_stage_entry(stderr, "remote ", stages[remote_match]);
 847        }
 848#endif
 849        if (head) { count += keep_entry(head, o); }
 850        if (remote) { count += keep_entry(remote, o); }
 851        return count;
 852}
 853
 854/*
 855 * Two-way merge.
 856 *
 857 * The rule is to "carry forward" what is in the index without losing
 858 * information across a "fast forward", favoring a successful merge
 859 * over a merge failure when it makes sense.  For details of the
 860 * "carry forward" rule, please see <Documentation/git-read-tree.txt>.
 861 *
 862 */
 863int twoway_merge(struct cache_entry **src, struct unpack_trees_options *o)
 864{
 865        struct cache_entry *current = src[0];
 866        struct cache_entry *oldtree = src[1];
 867        struct cache_entry *newtree = src[2];
 868
 869        if (o->merge_size != 2)
 870                return error("Cannot do a twoway merge of %d trees",
 871                             o->merge_size);
 872
 873        if (oldtree == o->df_conflict_entry)
 874                oldtree = NULL;
 875        if (newtree == o->df_conflict_entry)
 876                newtree = NULL;
 877
 878        if (current) {
 879                if ((!oldtree && !newtree) || /* 4 and 5 */
 880                    (!oldtree && newtree &&
 881                     same(current, newtree)) || /* 6 and 7 */
 882                    (oldtree && newtree &&
 883                     same(oldtree, newtree)) || /* 14 and 15 */
 884                    (oldtree && newtree &&
 885                     !same(oldtree, newtree) && /* 18 and 19 */
 886                     same(current, newtree))) {
 887                        return keep_entry(current, o);
 888                }
 889                else if (oldtree && !newtree && same(current, oldtree)) {
 890                        /* 10 or 11 */
 891                        return deleted_entry(oldtree, current, o);
 892                }
 893                else if (oldtree && newtree &&
 894                         same(current, oldtree) && !same(current, newtree)) {
 895                        /* 20 or 21 */
 896                        return merged_entry(newtree, current, o);
 897                }
 898                else {
 899                        /* all other failures */
 900                        if (oldtree)
 901                                return o->gently ? -1 : reject_merge(oldtree);
 902                        if (current)
 903                                return o->gently ? -1 : reject_merge(current);
 904                        if (newtree)
 905                                return o->gently ? -1 : reject_merge(newtree);
 906                        return -1;
 907                }
 908        }
 909        else if (newtree)
 910                return merged_entry(newtree, current, o);
 911        return deleted_entry(oldtree, current, o);
 912}
 913
 914/*
 915 * Bind merge.
 916 *
 917 * Keep the index entries at stage0, collapse stage1 but make sure
 918 * stage0 does not have anything there.
 919 */
 920int bind_merge(struct cache_entry **src,
 921                struct unpack_trees_options *o)
 922{
 923        struct cache_entry *old = src[0];
 924        struct cache_entry *a = src[1];
 925
 926        if (o->merge_size != 1)
 927                return error("Cannot do a bind merge of %d trees\n",
 928                             o->merge_size);
 929        if (a && old)
 930                return o->gently ? -1 :
 931                        error("Entry '%s' overlaps with '%s'.  Cannot bind.", a->name, old->name);
 932        if (!a)
 933                return keep_entry(old, o);
 934        else
 935                return merged_entry(a, NULL, o);
 936}
 937
 938/*
 939 * One-way merge.
 940 *
 941 * The rule is:
 942 * - take the stat information from stage0, take the data from stage1
 943 */
 944int oneway_merge(struct cache_entry **src, struct unpack_trees_options *o)
 945{
 946        struct cache_entry *old = src[0];
 947        struct cache_entry *a = src[1];
 948
 949        if (o->merge_size != 1)
 950                return error("Cannot do a oneway merge of %d trees",
 951                             o->merge_size);
 952
 953        if (!a)
 954                return deleted_entry(old, old, o);
 955
 956        if (old && same(old, a)) {
 957                int update = 0;
 958                if (o->reset) {
 959                        struct stat st;
 960                        if (lstat(old->name, &st) ||
 961                            ie_match_stat(o->src_index, old, &st, CE_MATCH_IGNORE_VALID))
 962                                update |= CE_UPDATE;
 963                }
 964                add_entry(o, old, update, 0);
 965                return 0;
 966        }
 967        return merged_entry(a, old, o);
 968}