revision.c 106.4 KB
Newer Older
1
#include "cache.h"
2
#include "object-store.h"
3 4 5 6
#include "tag.h"
#include "blob.h"
#include "tree.h"
#include "commit.h"
7
#include "diff.h"
8 9
#include "refs.h"
#include "revision.h"
10
#include "repository.h"
11
#include "graph.h"
12
#include "grep.h"
13
#include "reflog-walk.h"
J
Junio C Hamano 已提交
14
#include "patch-ids.h"
15
#include "decorate.h"
16
#include "log-tree.h"
17
#include "string-list.h"
18
#include "line-log.h"
19
#include "mailmap.h"
20
#include "commit-slab.h"
21
#include "dir.h"
J
Jeff King 已提交
22
#include "cache-tree.h"
23
#include "bisect.h"
J
Jonathan Tan 已提交
24
#include "packfile.h"
25
#include "worktree.h"
26
#include "argv-array.h"
27
#include "commit-reach.h"
28
#include "commit-graph.h"
29
#include "prio-queue.h"
30
#include "hashmap.h"
31

32 33
volatile show_early_output_fn_t show_early_output;

34 35 36
static const char *term_bad;
static const char *term_good;

37 38
implement_shared_commit_slab(revision_sources, char *);

39
void show_object_with_name(FILE *out, struct object *obj, const char *name)
40
{
41
	const char *p;
42

43
	fprintf(out, "%s ", oid_to_hex(&obj->oid));
44 45
	for (p = name; *p && *p != '\n'; p++)
		fputc(*p, out);
46
	fputc('\n', out);
47 48
}

49 50
static void mark_blob_uninteresting(struct blob *blob)
{
51 52
	if (!blob)
		return;
53 54 55 56 57
	if (blob->object.flags & UNINTERESTING)
		return;
	blob->object.flags |= UNINTERESTING;
}

58 59
static void mark_tree_contents_uninteresting(struct repository *r,
					     struct tree *tree)
60
{
61
	struct tree_desc desc;
62
	struct name_entry entry;
63

64
	if (parse_tree_gently(tree, 1) < 0)
65
		return;
66

67
	init_tree_desc(&desc, tree->buffer, tree->size);
68
	while (tree_entry(&desc, &entry)) {
69 70
		switch (object_type(entry.mode)) {
		case OBJ_TREE:
71
			mark_tree_uninteresting(r, lookup_tree(r, &entry.oid));
72 73
			break;
		case OBJ_BLOB:
74
			mark_blob_uninteresting(lookup_blob(r, &entry.oid));
75 76 77 78 79
			break;
		default:
			/* Subproject commit - not in this repository */
			break;
		}
80
	}
81 82 83 84 85

	/*
	 * We don't care about the tree any more
	 * after it has been marked uninteresting.
	 */
86
	free_tree_buffer(tree);
87 88
}

89
void mark_tree_uninteresting(struct repository *r, struct tree *tree)
90
{
91
	struct object *obj;
92 93 94

	if (!tree)
		return;
95 96

	obj = &tree->object;
97 98 99
	if (obj->flags & UNINTERESTING)
		return;
	obj->flags |= UNINTERESTING;
100
	mark_tree_contents_uninteresting(r, tree);
101 102
}

103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177
struct path_and_oids_entry {
	struct hashmap_entry ent;
	char *path;
	struct oidset trees;
};

static int path_and_oids_cmp(const void *hashmap_cmp_fn_data,
			     const struct path_and_oids_entry *e1,
			     const struct path_and_oids_entry *e2,
			     const void *keydata)
{
	return strcmp(e1->path, e2->path);
}

static void paths_and_oids_init(struct hashmap *map)
{
	hashmap_init(map, (hashmap_cmp_fn) path_and_oids_cmp, NULL, 0);
}

static void paths_and_oids_clear(struct hashmap *map)
{
	struct hashmap_iter iter;
	struct path_and_oids_entry *entry;
	hashmap_iter_init(map, &iter);

	while ((entry = (struct path_and_oids_entry *)hashmap_iter_next(&iter))) {
		oidset_clear(&entry->trees);
		free(entry->path);
	}

	hashmap_free(map, 1);
}

static void paths_and_oids_insert(struct hashmap *map,
				  const char *path,
				  const struct object_id *oid)
{
	int hash = strhash(path);
	struct path_and_oids_entry key;
	struct path_and_oids_entry *entry;

	hashmap_entry_init(&key, hash);

	/* use a shallow copy for the lookup */
	key.path = (char *)path;
	oidset_init(&key.trees, 0);

	if (!(entry = (struct path_and_oids_entry *)hashmap_get(map, &key, NULL))) {
		entry = xcalloc(1, sizeof(struct path_and_oids_entry));
		hashmap_entry_init(entry, hash);
		entry->path = xstrdup(key.path);
		oidset_init(&entry->trees, 16);
		hashmap_put(map, entry);
	}

	oidset_insert(&entry->trees, oid);
}

static void add_children_by_path(struct repository *r,
				 struct tree *tree,
				 struct hashmap *map)
{
	struct tree_desc desc;
	struct name_entry entry;

	if (!tree)
		return;

	if (parse_tree_gently(tree, 1) < 0)
		return;

	init_tree_desc(&desc, tree->buffer, tree->size);
	while (tree_entry(&desc, &entry)) {
		switch (object_type(entry.mode)) {
		case OBJ_TREE:
178
			paths_and_oids_insert(map, entry.path, &entry.oid);
179 180

			if (tree->object.flags & UNINTERESTING) {
181
				struct tree *child = lookup_tree(r, &entry.oid);
182 183 184 185 186 187
				if (child)
					child->object.flags |= UNINTERESTING;
			}
			break;
		case OBJ_BLOB:
			if (tree->object.flags & UNINTERESTING) {
188
				struct blob *child = lookup_blob(r, &entry.oid);
189 190 191 192 193 194 195 196 197 198 199 200 201
				if (child)
					child->object.flags |= UNINTERESTING;
			}
			break;
		default:
			/* Subproject commit - not in this repository */
			break;
		}
	}

	free_tree_buffer(tree);
}

202 203 204
void mark_trees_uninteresting_sparse(struct repository *r,
				     struct oidset *trees)
{
205 206 207 208
	unsigned has_interesting = 0, has_uninteresting = 0;
	struct hashmap map;
	struct hashmap_iter map_iter;
	struct path_and_oids_entry *entry;
209 210 211 212
	struct object_id *oid;
	struct oidset_iter iter;

	oidset_iter_init(trees, &iter);
213 214
	while ((!has_interesting || !has_uninteresting) &&
	       (oid = oidset_iter_next(&iter))) {
215 216 217 218 219
		struct tree *tree = lookup_tree(r, oid);

		if (!tree)
			continue;

220 221 222 223
		if (tree->object.flags & UNINTERESTING)
			has_uninteresting = 1;
		else
			has_interesting = 1;
224
	}
225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242

	/* Do not walk unless we have both types of trees. */
	if (!has_uninteresting || !has_interesting)
		return;

	paths_and_oids_init(&map);

	oidset_iter_init(trees, &iter);
	while ((oid = oidset_iter_next(&iter))) {
		struct tree *tree = lookup_tree(r, oid);
		add_children_by_path(r, tree, &map);
	}

	hashmap_iter_init(&map, &map_iter);
	while ((entry = hashmap_iter_next(&map_iter)))
		mark_trees_uninteresting_sparse(r, &entry->trees);

	paths_and_oids_clear(&map);
243 244
}

245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267
struct commit_stack {
	struct commit **items;
	size_t nr, alloc;
};
#define COMMIT_STACK_INIT { NULL, 0, 0 }

static void commit_stack_push(struct commit_stack *stack, struct commit *commit)
{
	ALLOC_GROW(stack->items, stack->nr + 1, stack->alloc);
	stack->items[stack->nr++] = commit;
}

static struct commit *commit_stack_pop(struct commit_stack *stack)
{
	return stack->nr ? stack->items[--stack->nr] : NULL;
}

static void commit_stack_clear(struct commit_stack *stack)
{
	FREE_AND_NULL(stack->items);
	stack->nr = stack->alloc = 0;
}

268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288
static void mark_one_parent_uninteresting(struct commit *commit,
					  struct commit_stack *pending)
{
	struct commit_list *l;

	if (commit->object.flags & UNINTERESTING)
		return;
	commit->object.flags |= UNINTERESTING;

	/*
	 * Normally we haven't parsed the parent
	 * yet, so we won't have a parent of a parent
	 * here. However, it may turn out that we've
	 * reached this commit some other way (where it
	 * wasn't uninteresting), in which case we need
	 * to mark its parents recursively too..
	 */
	for (l = commit->parents; l; l = l->next)
		commit_stack_push(pending, l->item);
}

289 290
void mark_parents_uninteresting(struct commit *commit)
{
291 292
	struct commit_stack pending = COMMIT_STACK_INIT;
	struct commit_list *l;
293 294

	for (l = commit->parents; l; l = l->next)
295 296 297 298 299
		mark_one_parent_uninteresting(l->item, &pending);

	while (pending.nr > 0)
		mark_one_parent_uninteresting(commit_stack_pop(&pending),
					      &pending);
300 301

	commit_stack_clear(&pending);
302 303
}

304
static void add_pending_object_with_path(struct rev_info *revs,
305
					 struct object *obj,
306 307
					 const char *name, unsigned mode,
					 const char *path)
308
{
J
Junio C Hamano 已提交
309 310
	if (!obj)
		return;
L
Linus Torvalds 已提交
311
	if (revs->no_walk && (obj->flags & UNINTERESTING))
L
Linus Torvalds 已提交
312
		revs->no_walk = 0;
J
Junio C Hamano 已提交
313 314
	if (revs->reflog_info && obj->type == OBJ_COMMIT) {
		struct strbuf buf = STRBUF_INIT;
315
		int len = interpret_branch_name(name, 0, &buf, 0);
J
Junio C Hamano 已提交
316 317 318

		if (0 < len && name[len] && buf.len)
			strbuf_addstr(&buf, name + len);
J
Jeff King 已提交
319 320 321
		add_reflog_for_walk(revs->reflog_info,
				    (struct commit *)obj,
				    buf.buf[0] ? buf.buf: name);
J
Junio C Hamano 已提交
322
		strbuf_release(&buf);
J
Jeff King 已提交
323
		return; /* do not add the commit itself */
J
Junio C Hamano 已提交
324
	}
325 326 327 328 329 330 331 332
	add_object_array_with_path(obj, name, &revs->pending, mode, path);
}

static void add_pending_object_with_mode(struct rev_info *revs,
					 struct object *obj,
					 const char *name, unsigned mode)
{
	add_pending_object_with_path(revs, obj, name, mode, NULL);
333 334
}

335 336
void add_pending_object(struct rev_info *revs,
			struct object *obj, const char *name)
J
Junio C Hamano 已提交
337 338 339 340
{
	add_pending_object_with_mode(revs, obj, name, S_IFINVALID);
}

341 342
void add_head_to_pending(struct rev_info *revs)
{
343
	struct object_id oid;
344
	struct object *obj;
345
	if (get_oid("HEAD", &oid))
346
		return;
347
	obj = parse_object(revs->repo, &oid);
348 349 350 351 352
	if (!obj)
		return;
	add_pending_object(revs, obj, "HEAD");
}

353
static struct object *get_reference(struct rev_info *revs, const char *name,
354
				    const struct object_id *oid,
355
				    unsigned int flags)
356 357 358
{
	struct object *object;

359 360 361 362 363 364 365 366 367 368 369 370 371 372
	/*
	 * If the repository has commit graphs, repo_parse_commit() avoids
	 * reading the object buffer, so use it whenever possible.
	 */
	if (oid_object_info(revs->repo, oid, NULL) == OBJ_COMMIT) {
		struct commit *c = lookup_commit(revs->repo, oid);
		if (!repo_parse_commit(revs->repo, c))
			object = (struct object *) c;
		else
			object = NULL;
	} else {
		object = parse_object(revs->repo, oid);
	}

J
Junio C Hamano 已提交
373 374 375
	if (!object) {
		if (revs->ignore_missing)
			return object;
376 377
		if (revs->exclude_promisor_objects && is_promisor_object(oid))
			return NULL;
378
		die("bad object %s", name);
J
Junio C Hamano 已提交
379
	}
380 381 382 383
	object->flags |= flags;
	return object;
}

384 385
void add_pending_oid(struct rev_info *revs, const char *name,
		      const struct object_id *oid, unsigned int flags)
386
{
387
	struct object *object = get_reference(revs, name, oid, flags);
388 389 390
	add_pending_object(revs, object, name);
}

391
static struct commit *handle_commit(struct rev_info *revs,
392
				    struct object_array_entry *entry)
393
{
394 395 396 397
	struct object *object = entry->item;
	const char *name = entry->name;
	const char *path = entry->path;
	unsigned int mode = entry->mode;
398
	unsigned long flags = object->flags;
399 400 401 402

	/*
	 * Tag object? Look what it points to..
	 */
403
	while (object->type == OBJ_TAG) {
404
		struct tag *tag = (struct tag *) object;
405
		if (revs->tag_objects && !(flags & UNINTERESTING))
406
			add_pending_object(revs, object, tag->tag);
407 408
		if (!tag->tagged)
			die("bad tag");
409
		object = parse_object(revs->repo, &tag->tagged->oid);
410
		if (!object) {
411
			if (revs->ignore_missing_links || (flags & UNINTERESTING))
412
				return NULL;
413 414 415
			if (revs->exclude_promisor_objects &&
			    is_promisor_object(&tag->tagged->oid))
				return NULL;
416
			die("bad object %s", oid_to_hex(&tag->tagged->oid));
417
		}
418
		object->flags |= flags;
419 420 421
		/*
		 * We'll handle the tagged object by looping or dropping
		 * through to the non-tag handlers below. Do not
422
		 * propagate path data from the tag's pending entry.
423 424 425
		 */
		path = NULL;
		mode = 0;
426 427 428 429 430 431
	}

	/*
	 * Commit object? Just return it, we'll do all the complex
	 * reachability crud.
	 */
432
	if (object->type == OBJ_COMMIT) {
433
		struct commit *commit = (struct commit *)object;
434

435 436
		if (parse_commit(commit) < 0)
			die("unable to parse commit %s", name);
437
		if (flags & UNINTERESTING) {
438
			mark_parents_uninteresting(commit);
439 440
			revs->limited = 1;
		}
441 442 443 444 445 446
		if (revs->sources) {
			char **slot = revision_sources_at(revs->sources, commit);

			if (!*slot)
				*slot = xstrdup(name);
		}
447 448 449 450
		return commit;
	}

	/*
M
Mike Ralphson 已提交
451
	 * Tree object? Either mark it uninteresting, or add it
452 453
	 * to the list of objects to look at later..
	 */
454
	if (object->type == OBJ_TREE) {
455 456 457 458
		struct tree *tree = (struct tree *)object;
		if (!revs->tree_objects)
			return NULL;
		if (flags & UNINTERESTING) {
459
			mark_tree_contents_uninteresting(revs->repo, tree);
460 461
			return NULL;
		}
462
		add_pending_object_with_path(revs, object, name, mode, path);
463 464 465 466 467 468
		return NULL;
	}

	/*
	 * Blob object? You know the drill by now..
	 */
469
	if (object->type == OBJ_BLOB) {
470 471
		if (!revs->blob_objects)
			return NULL;
472
		if (flags & UNINTERESTING)
473
			return NULL;
474
		add_pending_object_with_path(revs, object, name, mode, path);
475 476 477 478 479
		return NULL;
	}
	die("%s is unknown object", name);
}

480 481
static int everybody_uninteresting(struct commit_list *orig,
				   struct commit **interesting_cache)
482 483
{
	struct commit_list *list = orig;
484 485 486 487 488 489 490

	if (*interesting_cache) {
		struct commit *commit = *interesting_cache;
		if (!(commit->object.flags & UNINTERESTING))
			return 0;
	}

491 492 493 494 495
	while (list) {
		struct commit *commit = list->item;
		list = list->next;
		if (commit->object.flags & UNINTERESTING)
			continue;
496 497

		*interesting_cache = commit;
498 499 500 501 502
		return 0;
	}
	return 1;
}

503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576
/*
 * A definition of "relevant" commit that we can use to simplify limited graphs
 * by eliminating side branches.
 *
 * A "relevant" commit is one that is !UNINTERESTING (ie we are including it
 * in our list), or that is a specified BOTTOM commit. Then after computing
 * a limited list, during processing we can generally ignore boundary merges
 * coming from outside the graph, (ie from irrelevant parents), and treat
 * those merges as if they were single-parent. TREESAME is defined to consider
 * only relevant parents, if any. If we are TREESAME to our on-graph parents,
 * we don't care if we were !TREESAME to non-graph parents.
 *
 * Treating bottom commits as relevant ensures that a limited graph's
 * connection to the actual bottom commit is not viewed as a side branch, but
 * treated as part of the graph. For example:
 *
 *   ....Z...A---X---o---o---B
 *        .     /
 *         W---Y
 *
 * When computing "A..B", the A-X connection is at least as important as
 * Y-X, despite A being flagged UNINTERESTING.
 *
 * And when computing --ancestry-path "A..B", the A-X connection is more
 * important than Y-X, despite both A and Y being flagged UNINTERESTING.
 */
static inline int relevant_commit(struct commit *commit)
{
	return (commit->object.flags & (UNINTERESTING | BOTTOM)) != UNINTERESTING;
}

/*
 * Return a single relevant commit from a parent list. If we are a TREESAME
 * commit, and this selects one of our parents, then we can safely simplify to
 * that parent.
 */
static struct commit *one_relevant_parent(const struct rev_info *revs,
					  struct commit_list *orig)
{
	struct commit_list *list = orig;
	struct commit *relevant = NULL;

	if (!orig)
		return NULL;

	/*
	 * For 1-parent commits, or if first-parent-only, then return that
	 * first parent (even if not "relevant" by the above definition).
	 * TREESAME will have been set purely on that parent.
	 */
	if (revs->first_parent_only || !orig->next)
		return orig->item;

	/*
	 * For multi-parent commits, identify a sole relevant parent, if any.
	 * If we have only one relevant parent, then TREESAME will be set purely
	 * with regard to that parent, and we can simplify accordingly.
	 *
	 * If we have more than one relevant parent, or no relevant parents
	 * (and multiple irrelevant ones), then we can't select a parent here
	 * and return NULL.
	 */
	while (list) {
		struct commit *commit = list->item;
		list = list->next;
		if (relevant_commit(commit)) {
			if (relevant)
				return NULL;
			relevant = commit;
		}
	}
	return relevant;
}

577 578
/*
 * The goal is to get REV_TREE_NEW as the result only if the
579 580 581 582
 * diff consists of all '+' (and no other changes), REV_TREE_OLD
 * if the whole diff is removal of old data, and otherwise
 * REV_TREE_DIFFERENT (of course if the trees are the same we
 * want REV_TREE_SAME).
583 584 585 586 587 588 589 590 591 592
 *
 * The only time we care about the distinction is when
 * remove_empty_trees is in effect, in which case we care only about
 * whether the whole change is REV_TREE_NEW, or if there's another type
 * of change. Which means we can stop the diff early in either of these
 * cases:
 *
 *   1. We're not using remove_empty_trees at all.
 *
 *   2. We saw anything except REV_TREE_NEW.
593
 */
594
static int tree_difference = REV_TREE_SAME;
595 596 597

static void file_add_remove(struct diff_options *options,
		    int addremove, unsigned mode,
598 599
		    const struct object_id *oid,
		    int oid_valid,
600
		    const char *fullpath, unsigned dirty_submodule)
601
{
602
	int diff = addremove == '+' ? REV_TREE_NEW : REV_TREE_OLD;
603
	struct rev_info *revs = options->change_fn_data;
604

605
	tree_difference |= diff;
606
	if (!revs->remove_empty_trees || tree_difference != REV_TREE_NEW)
607
		options->flags.has_changes = 1;
608 609 610 611
}

static void file_change(struct diff_options *options,
		 unsigned old_mode, unsigned new_mode,
612 613 614
		 const struct object_id *old_oid,
		 const struct object_id *new_oid,
		 int old_oid_valid, int new_oid_valid,
615 616
		 const char *fullpath,
		 unsigned old_dirty_submodule, unsigned new_dirty_submodule)
617
{
618
	tree_difference = REV_TREE_DIFFERENT;
619
	options->flags.has_changes = 1;
620 621
}

622 623
static int rev_compare_tree(struct rev_info *revs,
			    struct commit *parent, struct commit *commit)
624
{
625 626
	struct tree *t1 = get_commit_tree(parent);
	struct tree *t2 = get_commit_tree(commit);
627

628
	if (!t1)
629
		return REV_TREE_NEW;
630 631
	if (!t2)
		return REV_TREE_OLD;
632 633 634 635 636 637

	if (revs->simplify_by_decoration) {
		/*
		 * If we are simplifying by decoration, then the commit
		 * is worth showing if it has a tag pointing at it.
		 */
638
		if (get_name_decoration(&commit->object))
639 640 641 642 643 644 645 646
			return REV_TREE_DIFFERENT;
		/*
		 * A commit that is not pointed by a tag is uninteresting
		 * if we are not limited by path.  This means that you will
		 * see the usual "commits that touch the paths" plus any
		 * tagged commit by specifying both --simplify-by-decoration
		 * and pathspec.
		 */
647
		if (!revs->prune_data.nr)
648 649
			return REV_TREE_SAME;
	}
650

651
	tree_difference = REV_TREE_SAME;
652
	revs->pruning.flags.has_changes = 0;
653
	if (diff_tree_oid(&t1->object.oid, &t2->object.oid, "",
654
			   &revs->pruning) < 0)
655
		return REV_TREE_DIFFERENT;
656 657 658
	return tree_difference;
}

659
static int rev_same_tree_as_empty(struct rev_info *revs, struct commit *commit)
660 661
{
	int retval;
662
	struct tree *t1 = get_commit_tree(commit);
663 664 665 666

	if (!t1)
		return 0;

667
	tree_difference = REV_TREE_SAME;
668
	revs->pruning.flags.has_changes = 0;
669
	retval = diff_tree_oid(NULL, &t1->object.oid, "", &revs->pruning);
670

671
	return retval >= 0 && (tree_difference == REV_TREE_SAME);
672 673
}

674 675 676 677 678 679 680 681
struct treesame_state {
	unsigned int nparents;
	unsigned char treesame[FLEX_ARRAY];
};

static struct treesame_state *initialise_treesame(struct rev_info *revs, struct commit *commit)
{
	unsigned n = commit_list_count(commit->parents);
682
	struct treesame_state *st = xcalloc(1, st_add(sizeof(*st), n));
683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746
	st->nparents = n;
	add_decoration(&revs->treesame, &commit->object, st);
	return st;
}

/*
 * Must be called immediately after removing the nth_parent from a commit's
 * parent list, if we are maintaining the per-parent treesame[] decoration.
 * This does not recalculate the master TREESAME flag - update_treesame()
 * should be called to update it after a sequence of treesame[] modifications
 * that may have affected it.
 */
static int compact_treesame(struct rev_info *revs, struct commit *commit, unsigned nth_parent)
{
	struct treesame_state *st;
	int old_same;

	if (!commit->parents) {
		/*
		 * Have just removed the only parent from a non-merge.
		 * Different handling, as we lack decoration.
		 */
		if (nth_parent != 0)
			die("compact_treesame %u", nth_parent);
		old_same = !!(commit->object.flags & TREESAME);
		if (rev_same_tree_as_empty(revs, commit))
			commit->object.flags |= TREESAME;
		else
			commit->object.flags &= ~TREESAME;
		return old_same;
	}

	st = lookup_decoration(&revs->treesame, &commit->object);
	if (!st || nth_parent >= st->nparents)
		die("compact_treesame %u", nth_parent);

	old_same = st->treesame[nth_parent];
	memmove(st->treesame + nth_parent,
		st->treesame + nth_parent + 1,
		st->nparents - nth_parent - 1);

	/*
	 * If we've just become a non-merge commit, update TREESAME
	 * immediately, and remove the no-longer-needed decoration.
	 * If still a merge, defer update until update_treesame().
	 */
	if (--st->nparents == 1) {
		if (commit->parents->next)
			die("compact_treesame parents mismatch");
		if (st->treesame[0] && revs->dense)
			commit->object.flags |= TREESAME;
		else
			commit->object.flags &= ~TREESAME;
		free(add_decoration(&revs->treesame, &commit->object, NULL));
	}

	return old_same;
}

static unsigned update_treesame(struct rev_info *revs, struct commit *commit)
{
	if (commit->parents && commit->parents->next) {
		unsigned n;
		struct treesame_state *st;
747 748 749
		struct commit_list *p;
		unsigned relevant_parents;
		unsigned relevant_change, irrelevant_change;
750 751 752

		st = lookup_decoration(&revs->treesame, &commit->object);
		if (!st)
753
			die("update_treesame %s", oid_to_hex(&commit->object.oid));
754 755 756 757 758 759 760 761
		relevant_parents = 0;
		relevant_change = irrelevant_change = 0;
		for (p = commit->parents, n = 0; p; n++, p = p->next) {
			if (relevant_commit(p->item)) {
				relevant_change |= !st->treesame[n];
				relevant_parents++;
			} else
				irrelevant_change |= !st->treesame[n];
762
		}
763 764 765 766
		if (relevant_parents ? relevant_change : irrelevant_change)
			commit->object.flags &= ~TREESAME;
		else
			commit->object.flags |= TREESAME;
767 768 769 770 771
	}

	return commit->object.flags & TREESAME;
}

772 773 774 775 776 777 778 779 780 781 782 783 784 785 786
static inline int limiting_can_increase_treesame(const struct rev_info *revs)
{
	/*
	 * TREESAME is irrelevant unless prune && dense;
	 * if simplify_history is set, we can't have a mixture of TREESAME and
	 *    !TREESAME INTERESTING parents (and we don't have treesame[]
	 *    decoration anyway);
	 * if first_parent_only is set, then the TREESAME flag is locked
	 *    against the first parent (and again we lack treesame[] decoration).
	 */
	return revs->prune && revs->dense &&
	       !revs->simplify_history &&
	       !revs->first_parent_only;
}

787 788 789
static void try_to_simplify_commit(struct rev_info *revs, struct commit *commit)
{
	struct commit_list **pp, *parent;
790
	struct treesame_state *ts = NULL;
791 792
	int relevant_change = 0, irrelevant_change = 0;
	int relevant_parents, nth_parent;
793

L
Linus Torvalds 已提交
794 795 796
	/*
	 * If we don't do pruning, everything is interesting
	 */
797
	if (!revs->prune)
L
Linus Torvalds 已提交
798 799
		return;

800
	if (!get_commit_tree(commit))
801 802 803
		return;

	if (!commit->parents) {
804
		if (rev_same_tree_as_empty(revs, commit))
805
			commit->object.flags |= TREESAME;
806 807 808
		return;
	}

L
Linus Torvalds 已提交
809 810 811 812
	/*
	 * Normal non-merge commit? If we don't want to make the
	 * history dense, we consider it always to be a change..
	 */
813
	if (!revs->dense && !commit->parents->next)
L
Linus Torvalds 已提交
814 815
		return;

816
	for (pp = &commit->parents, nth_parent = 0, relevant_parents = 0;
817 818
	     (parent = *pp) != NULL;
	     pp = &parent->next, nth_parent++) {
819
		struct commit *p = parent->item;
820 821
		if (relevant_commit(p))
			relevant_parents++;
822

823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844
		if (nth_parent == 1) {
			/*
			 * This our second loop iteration - so we now know
			 * we're dealing with a merge.
			 *
			 * Do not compare with later parents when we care only about
			 * the first parent chain, in order to avoid derailing the
			 * traversal to follow a side branch that brought everything
			 * in the path we are limited to by the pathspec.
			 */
			if (revs->first_parent_only)
				break;
			/*
			 * If this will remain a potentially-simplifiable
			 * merge, remember per-parent treesame if needed.
			 * Initialise the array with the comparison from our
			 * first iteration.
			 */
			if (revs->treesame.name &&
			    !revs->simplify_history &&
			    !(commit->object.flags & UNINTERESTING)) {
				ts = initialise_treesame(revs, commit);
845
				if (!(irrelevant_change || relevant_change))
846 847 848
					ts->treesame[0] = 1;
			}
		}
849 850
		if (parse_commit(p) < 0)
			die("cannot simplify commit %s (because of %s)",
851 852
			    oid_to_hex(&commit->object.oid),
			    oid_to_hex(&p->object.oid));
853
		switch (rev_compare_tree(revs, p, commit)) {
854
		case REV_TREE_SAME:
855
			if (!revs->simplify_history || !relevant_commit(p)) {
856 857 858 859 860 861
				/* Even if a merge with an uninteresting
				 * side branch brought the entire change
				 * we are interested in, we do not want
				 * to lose the other branches of this
				 * merge, so we just keep going.
				 */
862 863
				if (ts)
					ts->treesame[nth_parent] = 1;
864 865
				continue;
			}
866 867
			parent->next = NULL;
			commit->parents = parent;
868
			commit->object.flags |= TREESAME;
869 870
			return;

871 872
		case REV_TREE_NEW:
			if (revs->remove_empty_trees &&
873
			    rev_same_tree_as_empty(revs, p)) {
874 875 876 877 878 879 880
				/* We are adding all the specified
				 * paths from this parent, so the
				 * history beyond this parent is not
				 * interesting.  Remove its parents
				 * (they are grandparents for us).
				 * IOW, we pretend this parent is a
				 * "root" commit.
881
				 */
882 883
				if (parse_commit(p) < 0)
					die("cannot simplify commit %s (invalid %s)",
884 885
					    oid_to_hex(&commit->object.oid),
					    oid_to_hex(&p->object.oid));
886
				p->parents = NULL;
887 888
			}
		/* fallthrough */
889
		case REV_TREE_OLD:
890
		case REV_TREE_DIFFERENT:
891 892 893 894
			if (relevant_commit(p))
				relevant_change = 1;
			else
				irrelevant_change = 1;
895 896
			continue;
		}
897
		die("bad tree compare for commit %s", oid_to_hex(&commit->object.oid));
898
	}
899 900 901 902 903 904 905 906 907 908 909 910 911

	/*
	 * TREESAME is straightforward for single-parent commits. For merge
	 * commits, it is most useful to define it so that "irrelevant"
	 * parents cannot make us !TREESAME - if we have any relevant
	 * parents, then we only consider TREESAMEness with respect to them,
	 * allowing irrelevant merges from uninteresting branches to be
	 * simplified away. Only if we have only irrelevant parents do we
	 * base TREESAME on them. Note that this logic is replicated in
	 * update_treesame, which should be kept in sync.
	 */
	if (relevant_parents ? !relevant_change : !irrelevant_change)
		commit->object.flags |= TREESAME;
912 913
}

914
static void commit_list_insert_by_date_cached(struct commit *p, struct commit_list **head,
915 916 917 918 919
		    struct commit_list *cached_base, struct commit_list **cache)
{
	struct commit_list *new_entry;

	if (cached_base && p->date < cached_base->item->date)
920
		new_entry = commit_list_insert_by_date(p, &cached_base->next);
921
	else
922
		new_entry = commit_list_insert_by_date(p, head);
923 924 925 926 927

	if (cache && (!*cache || p->date < (*cache)->item->date))
		*cache = new_entry;
}

928 929
static int process_parents(struct rev_info *revs, struct commit *commit,
			   struct commit_list **list, struct commit_list **cache_ptr)
930 931
{
	struct commit_list *parent = commit->parents;
J
Junio C Hamano 已提交
932
	unsigned left_flag;
933
	struct commit_list *cached_base = cache_ptr ? *cache_ptr : NULL;
934

935
	if (commit->object.flags & ADDED)
936
		return 0;
937 938
	commit->object.flags |= ADDED;

939 940 941 942
	if (revs->include_check &&
	    !revs->include_check(commit, revs->include_check_data))
		return 0;

943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958
	/*
	 * If the commit is uninteresting, don't try to
	 * prune parents - we want the maximal uninteresting
	 * set.
	 *
	 * Normally we haven't parsed the parent
	 * yet, so we won't have a parent of a parent
	 * here. However, it may turn out that we've
	 * reached this commit some other way (where it
	 * wasn't uninteresting), in which case we need
	 * to mark its parents recursively too..
	 */
	if (commit->object.flags & UNINTERESTING) {
		while (parent) {
			struct commit *p = parent->item;
			parent = parent->next;
959 960
			if (p)
				p->object.flags |= UNINTERESTING;
961
			if (parse_commit_gently(p, 1) < 0)
962
				continue;
963 964 965 966 967
			if (p->parents)
				mark_parents_uninteresting(p);
			if (p->object.flags & SEEN)
				continue;
			p->object.flags |= SEEN;
968 969
			if (list)
				commit_list_insert_by_date_cached(p, list, cached_base, cache_ptr);
970
		}
971
		return 0;
972 973 974 975 976 977 978
	}

	/*
	 * Ok, the commit wasn't uninteresting. Try to
	 * simplify the commit history and find the parent
	 * that has no differences in the path set if one exists.
	 */
L
Linus Torvalds 已提交
979
	try_to_simplify_commit(revs, commit);
980

L
Linus Torvalds 已提交
981
	if (revs->no_walk)
982
		return 0;
L
Linus Torvalds 已提交
983

J
Junio C Hamano 已提交
984
	left_flag = (commit->object.flags & SYMMETRIC_LEFT);
985

986
	for (parent = commit->parents; parent; parent = parent->next) {
987
		struct commit *p = parent->item;
988 989 990 991 992 993 994 995 996
		int gently = revs->ignore_missing_links ||
			     revs->exclude_promisor_objects;
		if (parse_commit_gently(p, gently) < 0) {
			if (revs->exclude_promisor_objects &&
			    is_promisor_object(&p->object.oid)) {
				if (revs->first_parent_only)
					break;
				continue;
			}
997
			return -1;
998
		}
999 1000 1001 1002 1003 1004
		if (revs->sources) {
			char **slot = revision_sources_at(revs->sources, p);

			if (!*slot)
				*slot = *revision_sources_at(revs->sources, commit);
		}
J
Junio C Hamano 已提交
1005
		p->object.flags |= left_flag;
1006 1007
		if (!(p->object.flags & SEEN)) {
			p->object.flags |= SEEN;
1008 1009
			if (list)
				commit_list_insert_by_date_cached(p, list, cached_base, cache_ptr);
1010
		}
J
Junio C Hamano 已提交
1011
		if (revs->first_parent_only)
1012
			break;
1013
	}
1014
	return 0;
1015 1016
}

1017
static void cherry_pick_list(struct commit_list *list, struct rev_info *revs)
J
Junio C Hamano 已提交
1018 1019 1020 1021 1022
{
	struct commit_list *p;
	int left_count = 0, right_count = 0;
	int left_first;
	struct patch_ids ids;
1023
	unsigned cherry_flag;
J
Junio C Hamano 已提交
1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036

	/* First count the commits on the left and on the right */
	for (p = list; p; p = p->next) {
		struct commit *commit = p->item;
		unsigned flags = commit->object.flags;
		if (flags & BOUNDARY)
			;
		else if (flags & SYMMETRIC_LEFT)
			left_count++;
		else
			right_count++;
	}

1037 1038 1039
	if (!left_count || !right_count)
		return;

J
Junio C Hamano 已提交
1040
	left_first = left_count < right_count;
1041
	init_patch_ids(revs->repo, &ids);
1042
	ids.diffopts.pathspec = revs->diffopt.pathspec;
J
Junio C Hamano 已提交
1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057

	/* Compute patch-ids for one side */
	for (p = list; p; p = p->next) {
		struct commit *commit = p->item;
		unsigned flags = commit->object.flags;

		if (flags & BOUNDARY)
			continue;
		/*
		 * If we have fewer left, left_first is set and we omit
		 * commits on the right branch in this loop.  If we have
		 * fewer right, we skip the left ones.
		 */
		if (left_first != !!(flags & SYMMETRIC_LEFT))
			continue;
1058
		add_commit_patch_id(commit, &ids);
J
Junio C Hamano 已提交
1059 1060
	}

1061 1062 1063
	/* either cherry_mark or cherry_pick are true */
	cherry_flag = revs->cherry_mark ? PATCHSAME : SHOWN;

J
Junio C Hamano 已提交
1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085
	/* Check the other side */
	for (p = list; p; p = p->next) {
		struct commit *commit = p->item;
		struct patch_id *id;
		unsigned flags = commit->object.flags;

		if (flags & BOUNDARY)
			continue;
		/*
		 * If we have fewer left, left_first is set and we omit
		 * commits on the left branch in this loop.
		 */
		if (left_first == !!(flags & SYMMETRIC_LEFT))
			continue;

		/*
		 * Have we seen the same patch id?
		 */
		id = has_commit_patch_id(commit, &ids);
		if (!id)
			continue;

1086 1087
		commit->object.flags |= cherry_flag;
		id->commit->object.flags |= cherry_flag;
J
Junio C Hamano 已提交
1088 1089 1090 1091 1092
	}

	free_patch_ids(&ids);
}

1093 1094 1095
/* How many extra uninteresting commits we want to see.. */
#define SLOP 5

1096
static int still_interesting(struct commit_list *src, timestamp_t date, int slop,
1097
			     struct commit **interesting_cache)
1098
{
1099 1100 1101 1102 1103 1104 1105 1106 1107 1108
	/*
	 * No source list at all? We're definitely done..
	 */
	if (!src)
		return 0;

	/*
	 * Does the destination list contain entries with a date
	 * before the source list? Definitely _not_ done.
	 */
1109
	if (date <= src->item->date)
1110 1111 1112 1113 1114 1115
		return SLOP;

	/*
	 * Does the source list still have interesting commits in
	 * it? Definitely not done..
	 */
1116
	if (!everybody_uninteresting(src, interesting_cache))
1117 1118 1119 1120
		return SLOP;

	/* Ok, we're closing in.. */
	return slop-1;
1121 1122
}

J
Junio C Hamano 已提交
1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200
/*
 * "rev-list --ancestry-path A..B" computes commits that are ancestors
 * of B but not ancestors of A but further limits the result to those
 * that are descendants of A.  This takes the list of bottom commits and
 * the result of "A..B" without --ancestry-path, and limits the latter
 * further to the ones that can reach one of the commits in "bottom".
 */
static void limit_to_ancestry(struct commit_list *bottom, struct commit_list *list)
{
	struct commit_list *p;
	struct commit_list *rlist = NULL;
	int made_progress;

	/*
	 * Reverse the list so that it will be likely that we would
	 * process parents before children.
	 */
	for (p = list; p; p = p->next)
		commit_list_insert(p->item, &rlist);

	for (p = bottom; p; p = p->next)
		p->item->object.flags |= TMP_MARK;

	/*
	 * Mark the ones that can reach bottom commits in "list",
	 * in a bottom-up fashion.
	 */
	do {
		made_progress = 0;
		for (p = rlist; p; p = p->next) {
			struct commit *c = p->item;
			struct commit_list *parents;
			if (c->object.flags & (TMP_MARK | UNINTERESTING))
				continue;
			for (parents = c->parents;
			     parents;
			     parents = parents->next) {
				if (!(parents->item->object.flags & TMP_MARK))
					continue;
				c->object.flags |= TMP_MARK;
				made_progress = 1;
				break;
			}
		}
	} while (made_progress);

	/*
	 * NEEDSWORK: decide if we want to remove parents that are
	 * not marked with TMP_MARK from commit->parents for commits
	 * in the resulting list.  We may not want to do that, though.
	 */

	/*
	 * The ones that are not marked with TMP_MARK are uninteresting
	 */
	for (p = list; p; p = p->next) {
		struct commit *c = p->item;
		if (c->object.flags & TMP_MARK)
			continue;
		c->object.flags |= UNINTERESTING;
	}

	/* We are done with the TMP_MARK */
	for (p = list; p; p = p->next)
		p->item->object.flags &= ~TMP_MARK;
	for (p = bottom; p; p = p->next)
		p->item->object.flags &= ~TMP_MARK;
	free_commit_list(rlist);
}

/*
 * Before walking the history, keep the set of "negative" refs the
 * caller has asked to exclude.
 *
 * This is used to compute "rev-list --ancestry-path A..B", as we need
 * to filter the result of "A..B" further to the ones that can actually
 * reach A.
 */
1201
static struct commit_list *collect_bottom_commits(struct commit_list *list)
J
Junio C Hamano 已提交
1202
{
1203 1204 1205 1206
	struct commit_list *elem, *bottom = NULL;
	for (elem = list; elem; elem = elem->next)
		if (elem->item->object.flags & BOTTOM)
			commit_list_insert(elem->item, &bottom);
J
Junio C Hamano 已提交
1207 1208 1209
	return bottom;
}

1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226
/* Assumes either left_only or right_only is set */
static void limit_left_right(struct commit_list *list, struct rev_info *revs)
{
	struct commit_list *p;

	for (p = list; p; p = p->next) {
		struct commit *commit = p->item;

		if (revs->right_only) {
			if (commit->object.flags & SYMMETRIC_LEFT)
				commit->object.flags |= SHOWN;
		} else	/* revs->left_only is set */
			if (!(commit->object.flags & SYMMETRIC_LEFT))
				commit->object.flags |= SHOWN;
	}
}

1227
static int limit_list(struct rev_info *revs)
1228
{
1229
	int slop = SLOP;
1230
	timestamp_t date = TIME_MAX;
1231 1232 1233
	struct commit_list *list = revs->commits;
	struct commit_list *newlist = NULL;
	struct commit_list **p = &newlist;
J
Junio C Hamano 已提交
1234
	struct commit_list *bottom = NULL;
1235
	struct commit *interesting_cache = NULL;
J
Junio C Hamano 已提交
1236 1237

	if (revs->ancestry_path) {
1238
		bottom = collect_bottom_commits(list);
J
Junio C Hamano 已提交
1239
		if (!bottom)
1240
			die("--ancestry-path given but there are no bottom commits");
J
Junio C Hamano 已提交
1241
	}
1242 1243

	while (list) {
1244
		struct commit *commit = pop_commit(&list);
1245
		struct object *obj = &commit->object;
1246
		show_early_output_fn_t show;
1247

1248 1249 1250
		if (commit == interesting_cache)
			interesting_cache = NULL;

1251 1252
		if (revs->max_age != -1 && (commit->date < revs->max_age))
			obj->flags |= UNINTERESTING;
1253
		if (process_parents(revs, commit, &list, NULL) < 0)
1254
			return -1;
1255 1256
		if (obj->flags & UNINTERESTING) {
			mark_parents_uninteresting(commit);
1257
			slop = still_interesting(list, date, slop, &interesting_cache);
1258
			if (slop)
1259
				continue;
1260
			break;
1261 1262 1263
		}
		if (revs->min_age != -1 && (commit->date > revs->min_age))
			continue;
1264
		date = commit->date;
1265
		p = &commit_list_insert(commit, p)->next;
1266 1267 1268 1269 1270 1271 1272

		show = show_early_output;
		if (!show)
			continue;

		show(revs, newlist);
		show_early_output = NULL;
1273
	}
1274
	if (revs->cherry_pick || revs->cherry_mark)
1275
		cherry_pick_list(newlist, revs);
J
Junio C Hamano 已提交
1276

1277 1278 1279
	if (revs->left_only || revs->right_only)
		limit_left_right(newlist, revs);

J
Junio C Hamano 已提交
1280 1281 1282 1283 1284
	if (bottom) {
		limit_to_ancestry(bottom, newlist);
		free_commit_list(bottom);
	}

1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296
	/*
	 * Check if any commits have become TREESAME by some of their parents
	 * becoming UNINTERESTING.
	 */
	if (limiting_can_increase_treesame(revs))
		for (list = newlist; list; list = list->next) {
			struct commit *c = list->item;
			if (c->object.flags & (UNINTERESTING | TREESAME))
				continue;
			update_treesame(revs, c);
		}

1297
	revs->commits = newlist;
1298
	return 0;
1299 1300
}

1301 1302 1303 1304
/*
 * Add an entry to refs->cmdline with the specified information.
 * *name is copied.
 */
1305 1306 1307 1308 1309 1310 1311
static void add_rev_cmdline(struct rev_info *revs,
			    struct object *item,
			    const char *name,
			    int whence,
			    unsigned flags)
{
	struct rev_cmdline_info *info = &revs->cmdline;
1312
	unsigned int nr = info->nr;
1313 1314 1315

	ALLOC_GROW(info->rev, nr + 1, info->alloc);
	info->rev[nr].item = item;
1316
	info->rev[nr].name = xstrdup(name);
1317 1318 1319 1320 1321
	info->rev[nr].whence = whence;
	info->rev[nr].flags = flags;
	info->nr++;
}

1322 1323 1324 1325 1326 1327 1328
static void add_rev_cmdline_list(struct rev_info *revs,
				 struct commit_list *commit_list,
				 int whence,
				 unsigned flags)
{
	while (commit_list) {
		struct object *object = &commit_list->item->object;
1329
		add_rev_cmdline(revs, object, oid_to_hex(&object->oid),
1330 1331 1332 1333 1334
				whence, flags);
		commit_list = commit_list->next;
	}
}

1335 1336
struct all_refs_cb {
	int all_flags;
1337
	int warned_bad_reflog;
1338 1339
	struct rev_info *all_revs;
	const char *name_for_errormsg;
1340
	struct worktree *wt;
1341
};
1342

1343
int ref_excluded(struct string_list *ref_excludes, const char *path)
1344 1345 1346
{
	struct string_list_item *item;

1347
	if (!ref_excludes)
1348
		return 0;
1349
	for_each_string_list_item(item, ref_excludes) {
1350
		if (!wildmatch(item->string, path, 0))
1351 1352 1353 1354 1355
			return 1;
	}
	return 0;
}

1356 1357
static int handle_one_ref(const char *path, const struct object_id *oid,
			  int flag, void *cb_data)
1358
{
1359
	struct all_refs_cb *cb = cb_data;
1360 1361
	struct object *object;

1362
	if (ref_excluded(cb->all_revs->ref_excludes, path))
1363 1364
	    return 0;

1365
	object = get_reference(cb->all_revs, path, oid, cb->all_flags);
1366
	add_rev_cmdline(cb->all_revs, object, path, REV_CMD_REF, cb->all_flags);
1367
	add_pending_oid(cb->all_revs, path, oid, cb->all_flags);
1368 1369 1370
	return 0;
}

I
Ilari Liusvaara 已提交
1371 1372 1373 1374 1375
static void init_all_refs_cb(struct all_refs_cb *cb, struct rev_info *revs,
	unsigned flags)
{
	cb->all_revs = revs;
	cb->all_flags = flags;
J
Jeff King 已提交
1376
	revs->rev_input_given = 1;
1377
	cb->wt = NULL;
I
Ilari Liusvaara 已提交
1378 1379
}

1380
void clear_ref_exclusion(struct string_list **ref_excludes_p)
1381
{
1382 1383 1384
	if (*ref_excludes_p) {
		string_list_clear(*ref_excludes_p, 0);
		free(*ref_excludes_p);
1385
	}
1386
	*ref_excludes_p = NULL;
1387 1388
}

1389
void add_ref_exclusion(struct string_list **ref_excludes_p, const char *exclude)
1390
{
1391 1392 1393
	if (!*ref_excludes_p) {
		*ref_excludes_p = xcalloc(1, sizeof(**ref_excludes_p));
		(*ref_excludes_p)->strdup_strings = 1;
1394
	}
1395
	string_list_append(*ref_excludes_p, exclude);
1396 1397
}

1398 1399 1400
static void handle_refs(struct ref_store *refs,
			struct rev_info *revs, unsigned flags,
			int (*for_each)(struct ref_store *, each_ref_fn, void *))
1401
{
1402
	struct all_refs_cb cb;
1403 1404 1405 1406 1407 1408

	if (!refs) {
		/* this could happen with uninitialized submodules */
		return;
	}

I
Ilari Liusvaara 已提交
1409
	init_all_refs_cb(&cb, revs, flags);
1410
	for_each(refs, handle_one_ref, &cb);
1411 1412
}

1413
static void handle_one_reflog_commit(struct object_id *oid, void *cb_data)
1414 1415
{
	struct all_refs_cb *cb = cb_data;
1416
	if (!is_null_oid(oid)) {
1417
		struct object *o = parse_object(cb->all_revs->repo, oid);
1418 1419
		if (o) {
			o->flags |= cb->all_flags;
1420
			/* ??? CMDLINEFLAGS ??? */
1421 1422 1423
			add_pending_object(cb->all_revs, o, "");
		}
		else if (!cb->warned_bad_reflog) {
1424
			warning("reflog of '%s' references pruned commits",
1425 1426 1427
				cb->name_for_errormsg);
			cb->warned_bad_reflog = 1;
		}
1428
	}
1429 1430
}

1431
static int handle_one_reflog_ent(struct object_id *ooid, struct object_id *noid,
1432
		const char *email, timestamp_t timestamp, int tz,
1433
		const char *message, void *cb_data)
1434
{
1435 1436
	handle_one_reflog_commit(ooid, cb_data);
	handle_one_reflog_commit(noid, cb_data);
1437 1438 1439
	return 0;
}

1440
static int handle_one_reflog(const char *refname_in_wt,
1441
			     const struct object_id *oid,
1442
			     int flag, void *cb_data)
1443 1444
{
	struct all_refs_cb *cb = cb_data;
1445 1446
	struct strbuf refname = STRBUF_INIT;

1447
	cb->warned_bad_reflog = 0;
1448 1449 1450 1451
	strbuf_worktree_ref(cb->wt, &refname, refname_in_wt);
	cb->name_for_errormsg = refname.buf;
	refs_for_each_reflog_ent(get_main_ref_store(the_repository),
				 refname.buf,
1452
				 handle_one_reflog_ent, cb_data);
1453
	strbuf_release(&refname);
1454 1455 1456
	return 0;
}

1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467
static void add_other_reflogs_to_pending(struct all_refs_cb *cb)
{
	struct worktree **worktrees, **p;

	worktrees = get_worktrees(0);
	for (p = worktrees; *p; p++) {
		struct worktree *wt = *p;

		if (wt->is_current)
			continue;

1468 1469
		cb->wt = wt;
		refs_for_each_reflog(get_worktree_ref_store(wt),
1470 1471 1472 1473 1474 1475
				     handle_one_reflog,
				     cb);
	}
	free_worktrees(worktrees);
}

1476
void add_reflogs_to_pending(struct rev_info *revs, unsigned flags)
1477 1478
{
	struct all_refs_cb cb;
1479

1480 1481
	cb.all_revs = revs;
	cb.all_flags = flags;
1482
	cb.wt = NULL;
1483
	for_each_reflog(handle_one_reflog, &cb);
1484 1485 1486

	if (!revs->single_worktree)
		add_other_reflogs_to_pending(&cb);
1487 1488
}

J
Jeff King 已提交
1489
static void add_cache_tree(struct cache_tree *it, struct rev_info *revs,
1490
			   struct strbuf *path, unsigned int flags)
J
Jeff King 已提交
1491 1492 1493 1494 1495
{
	size_t baselen = path->len;
	int i;

	if (it->entry_count >= 0) {
1496
		struct tree *tree = lookup_tree(revs->repo, &it->oid);
1497
		tree->object.flags |= flags;
J
Jeff King 已提交
1498 1499 1500 1501 1502 1503 1504
		add_pending_object_with_path(revs, &tree->object, "",
					     040000, path->buf);
	}

	for (i = 0; i < it->subtree_nr; i++) {
		struct cache_tree_sub *sub = it->down[i];
		strbuf_addf(path, "%s%s", baselen ? "/" : "", sub->name);
1505
		add_cache_tree(sub->cache_tree, revs, path, flags);
J
Jeff King 已提交
1506 1507 1508 1509 1510
		strbuf_setlen(path, baselen);
	}

}

1511
static void do_add_index_objects_to_pending(struct rev_info *revs,
1512 1513
					    struct index_state *istate,
					    unsigned int flags)
J
Jeff King 已提交
1514 1515 1516
{
	int i;

1517 1518
	for (i = 0; i < istate->cache_nr; i++) {
		struct cache_entry *ce = istate->cache[i];
J
Jeff King 已提交
1519 1520 1521 1522 1523
		struct blob *blob;

		if (S_ISGITLINK(ce->ce_mode))
			continue;

1524
		blob = lookup_blob(revs->repo, &ce->oid);
J
Jeff King 已提交
1525 1526
		if (!blob)
			die("unable to add index blob to traversal");
1527
		blob->object.flags |= flags;
J
Jeff King 已提交
1528 1529 1530 1531
		add_pending_object_with_path(revs, &blob->object, "",
					     ce->ce_mode, ce->name);
	}

1532
	if (istate->cache_tree) {
J
Jeff King 已提交
1533
		struct strbuf path = STRBUF_INIT;
1534
		add_cache_tree(istate->cache_tree, revs, &path, flags);
J
Jeff King 已提交
1535 1536 1537 1538
		strbuf_release(&path);
	}
}

1539 1540
void add_index_objects_to_pending(struct rev_info *revs, unsigned int flags)
{
1541 1542
	struct worktree **worktrees, **p;

1543
	repo_read_index(revs->repo);
1544
	do_add_index_objects_to_pending(revs, revs->repo->index, flags);
1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557

	if (revs->single_worktree)
		return;

	worktrees = get_worktrees(0);
	for (p = worktrees; *p; p++) {
		struct worktree *wt = *p;
		struct index_state istate = { NULL };

		if (wt->is_current)
			continue; /* current index already taken care of */

		if (read_index_from(&istate,
1558 1559
				    worktree_git_path(wt, "index"),
				    get_worktree_git_dir(wt)) > 0)
1560
			do_add_index_objects_to_pending(revs, &istate, flags);
1561 1562 1563
		discard_index(&istate);
	}
	free_worktrees(worktrees);
1564 1565
}

1566 1567
static int add_parents_only(struct rev_info *revs, const char *arg_, int flags,
			    int exclude_parent)
1568
{
1569
	struct object_id oid;
1570 1571 1572
	struct object *it;
	struct commit *commit;
	struct commit_list *parents;
1573
	int parent_number;
1574
	const char *arg = arg_;
1575 1576

	if (*arg == '^') {
1577
		flags ^= UNINTERESTING | BOTTOM;
1578 1579
		arg++;
	}
1580
	if (get_oid_committish(arg, &oid))
1581 1582
		return 0;
	while (1) {
1583
		it = get_reference(revs, arg, &oid, 0);
J
Junio C Hamano 已提交
1584 1585
		if (!it && revs->ignore_missing)
			return 0;
1586
		if (it->type != OBJ_TAG)
1587
			break;
1588 1589
		if (!((struct tag*)it)->tagged)
			return 0;
1590
		oidcpy(&oid, &((struct tag*)it)->tagged->oid);
1591
	}
1592
	if (it->type != OBJ_COMMIT)
1593 1594
		return 0;
	commit = (struct commit *)it;
1595 1596 1597 1598 1599 1600 1601 1602 1603
	if (exclude_parent &&
	    exclude_parent > commit_list_count(commit->parents))
		return 0;
	for (parents = commit->parents, parent_number = 1;
	     parents;
	     parents = parents->next, parent_number++) {
		if (exclude_parent && parent_number != exclude_parent)
			continue;

1604 1605
		it = &parents->item->object;
		it->flags |= flags;
1606
		add_rev_cmdline(revs, it, arg_, REV_CMD_PARENTS_ONLY, flags);
1607 1608 1609 1610 1611
		add_pending_object(revs, it, arg);
	}
	return 1;
}

1612 1613 1614
void repo_init_revisions(struct repository *r,
			 struct rev_info *revs,
			 const char *prefix)
1615 1616
{
	memset(revs, 0, sizeof(*revs));
1617

1618
	revs->repo = r;
1619
	revs->abbrev = DEFAULT_ABBREV;
1620
	revs->ignore_merges = 1;
L
Linus Torvalds 已提交
1621
	revs->simplify_history = 1;
1622
	revs->pruning.repo = r;
1623 1624
	revs->pruning.flags.recursive = 1;
	revs->pruning.flags.quick = 1;
1625 1626
	revs->pruning.add_remove = file_add_remove;
	revs->pruning.change = file_change;
1627
	revs->pruning.change_fn_data = revs;
J
Junio C Hamano 已提交
1628
	revs->sort_order = REV_SORT_IN_GRAPH_ORDER;
1629
	revs->dense = 1;
1630
	revs->prefix = prefix;
1631 1632
	revs->max_age = -1;
	revs->min_age = -1;
J
Junio C Hamano 已提交
1633
	revs->skip_count = -1;
1634
	revs->max_count = -1;
1635
	revs->max_parents = -1;
1636
	revs->expand_tabs_in_log = -1;
1637

1638
	revs->commit_format = CMIT_FMT_DEFAULT;
1639
	revs->expand_tabs_in_log_default = 8;
1640

1641 1642
	init_grep_defaults(revs->repo);
	grep_init(&revs->grep_filter, revs->repo, prefix);
J
Jeff King 已提交
1643 1644
	revs->grep_filter.status_only = 1;

1645
	repo_diff_setup(revs->repo, &revs->diffopt);
1646
	if (prefix && !revs->diffopt.prefix) {
1647 1648 1649
		revs->diffopt.prefix = prefix;
		revs->diffopt.prefix_length = strlen(prefix);
	}
1650 1651

	revs->notes_opt.use_default_notes = -1;
1652 1653
}

R
Rene Scharfe 已提交
1654
static void add_pending_commit_list(struct rev_info *revs,
N
Nguyễn Thái Ngọc Duy 已提交
1655 1656
				    struct commit_list *commit_list,
				    unsigned int flags)
R
Rene Scharfe 已提交
1657 1658 1659 1660
{
	while (commit_list) {
		struct object *object = &commit_list->item->object;
		object->flags |= flags;
1661
		add_pending_object(revs, object, oid_to_hex(&object->oid));
R
Rene Scharfe 已提交
1662 1663 1664 1665
		commit_list = commit_list->next;
	}
}

1666 1667 1668 1669
static void prepare_show_merge(struct rev_info *revs)
{
	struct commit_list *bases;
	struct commit *head, *other;
1670
	struct object_id oid;
1671 1672
	const char **prune = NULL;
	int i, prune_num = 1; /* counting terminating NULL */
1673
	struct index_state *istate = revs->repo->index;
1674

1675
	if (get_oid("HEAD", &oid))
1676
		die("--merge without HEAD?");
1677
	head = lookup_commit_or_die(&oid, "HEAD");
1678
	if (get_oid("MERGE_HEAD", &oid))
1679
		die("--merge without MERGE_HEAD?");
1680
	other = lookup_commit_or_die(&oid, "MERGE_HEAD");
1681 1682
	add_pending_object(revs, &head->object, "HEAD");
	add_pending_object(revs, &other->object, "MERGE_HEAD");
1683
	bases = get_merge_bases(head, other);
1684 1685
	add_rev_cmdline_list(revs, bases, REV_CMD_MERGE_BASE, UNINTERESTING | BOTTOM);
	add_pending_commit_list(revs, bases, UNINTERESTING | BOTTOM);
1686 1687
	free_commit_list(bases);
	head->object.flags |= SYMMETRIC_LEFT;
1688

1689
	if (!istate->cache_nr)
1690
		repo_read_index(revs->repo);
1691 1692
	for (i = 0; i < istate->cache_nr; i++) {
		const struct cache_entry *ce = istate->cache[i];
1693 1694
		if (!ce_stage(ce))
			continue;
1695
		if (ce_path_match(istate, ce, &revs->prune_data, NULL)) {
1696
			prune_num++;
1697
			REALLOC_ARRAY(prune, prune_num);
1698 1699 1700
			prune[prune_num-2] = ce->name;
			prune[prune_num-1] = NULL;
		}
1701 1702
		while ((i+1 < istate->cache_nr) &&
		       ce_same_name(ce, istate->cache[i+1]))
1703 1704
			i++;
	}
1705
	clear_pathspec(&revs->prune_data);
1706
	parse_pathspec(&revs->prune_data, PATHSPEC_ALL_MAGIC & ~PATHSPEC_LITERAL,
1707
		       PATHSPEC_PREFER_FULL | PATHSPEC_LITERAL_PATH, "", prune);
1708
	revs->limited = 1;
1709 1710
}

1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724
static int dotdot_missing(const char *arg, char *dotdot,
			  struct rev_info *revs, int symmetric)
{
	if (revs->ignore_missing)
		return 0;
	/* de-munge so we report the full argument */
	*dotdot = '.';
	die(symmetric
	    ? "Invalid symmetric difference expression %s"
	    : "Invalid revision range %s", arg);
}

static int handle_dotdot_1(const char *arg, char *dotdot,
			   struct rev_info *revs, int flags,
1725 1726 1727
			   int cant_be_filename,
			   struct object_context *a_oc,
			   struct object_context *b_oc)
1728 1729 1730 1731 1732 1733 1734
{
	const char *a_name, *b_name;
	struct object_id a_oid, b_oid;
	struct object *a_obj, *b_obj;
	unsigned int a_flags, b_flags;
	int symmetric = 0;
	unsigned int flags_exclude = flags ^ (UNINTERESTING | BOTTOM);
1735
	unsigned int oc_flags = GET_OID_COMMITTISH | GET_OID_RECORD_PATH;
1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748

	a_name = arg;
	if (!*a_name)
		a_name = "HEAD";

	b_name = dotdot + 2;
	if (*b_name == '.') {
		symmetric = 1;
		b_name++;
	}
	if (!*b_name)
		b_name = "HEAD";

1749 1750
	if (get_oid_with_context(revs->repo, a_name, oc_flags, &a_oid, a_oc) ||
	    get_oid_with_context(revs->repo, b_name, oc_flags, &b_oid, b_oc))
1751 1752 1753 1754 1755 1756 1757 1758
		return -1;

	if (!cant_be_filename) {
		*dotdot = '.';
		verify_non_filename(revs->prefix, arg);
		*dotdot = '\0';
	}

1759 1760
	a_obj = parse_object(revs->repo, &a_oid);
	b_obj = parse_object(revs->repo, &b_oid);
1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772
	if (!a_obj || !b_obj)
		return dotdot_missing(arg, dotdot, revs, symmetric);

	if (!symmetric) {
		/* just A..B */
		b_flags = flags;
		a_flags = flags_exclude;
	} else {
		/* A...B -- find merge bases between the two */
		struct commit *a, *b;
		struct commit_list *exclude;

1773 1774
		a = lookup_commit_reference(revs->repo, &a_obj->oid);
		b = lookup_commit_reference(revs->repo, &b_obj->oid);
1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791
		if (!a || !b)
			return dotdot_missing(arg, dotdot, revs, symmetric);

		exclude = get_merge_bases(a, b);
		add_rev_cmdline_list(revs, exclude, REV_CMD_MERGE_BASE,
				     flags_exclude);
		add_pending_commit_list(revs, exclude, flags_exclude);
		free_commit_list(exclude);

		b_flags = flags;
		a_flags = flags | SYMMETRIC_LEFT;
	}

	a_obj->flags |= a_flags;
	b_obj->flags |= b_flags;
	add_rev_cmdline(revs, a_obj, a_name, REV_CMD_LEFT, a_flags);
	add_rev_cmdline(revs, b_obj, b_name, REV_CMD_RIGHT, b_flags);
1792 1793
	add_pending_object_with_path(revs, a_obj, a_name, a_oc->mode, a_oc->path);
	add_pending_object_with_path(revs, b_obj, b_name, b_oc->mode, b_oc->path);
1794 1795 1796 1797 1798 1799 1800
	return 0;
}

static int handle_dotdot(const char *arg,
			 struct rev_info *revs, int flags,
			 int cant_be_filename)
{
1801
	struct object_context a_oc, b_oc;
1802 1803 1804 1805 1806 1807
	char *dotdot = strstr(arg, "..");
	int ret;

	if (!dotdot)
		return -1;

1808 1809 1810
	memset(&a_oc, 0, sizeof(a_oc));
	memset(&b_oc, 0, sizeof(b_oc));

1811
	*dotdot = '\0';
1812 1813
	ret = handle_dotdot_1(arg, dotdot, revs, flags, cant_be_filename,
			      &a_oc, &b_oc);
1814 1815
	*dotdot = '.';

1816 1817 1818
	free(a_oc.path);
	free(b_oc.path);

1819 1820 1821
	return ret;
}

1822
int handle_revision_arg(const char *arg_, struct rev_info *revs, int flags, unsigned revarg_opt)
1823
{
1824
	struct object_context oc;
1825
	char *mark;
1826
	struct object *object;
1827
	struct object_id oid;
1828
	int local_flags;
1829
	const char *arg = arg_;
1830
	int cant_be_filename = revarg_opt & REVARG_CANNOT_BE_FILENAME;
1831
	unsigned get_sha1_flags = GET_OID_RECORD_PATH;
1832

1833 1834
	flags = flags & UNINTERESTING ? flags | BOTTOM : flags & ~BOTTOM;

1835 1836 1837 1838 1839 1840
	if (!cant_be_filename && !strcmp(arg, "..")) {
		/*
		 * Just ".."?  That is not a range but the
		 * pathspec for the parent directory.
		 */
		return -1;
1841
	}
1842

1843 1844
	if (!handle_dotdot(arg, revs, flags, revarg_opt))
		return 0;
1845

1846 1847 1848
	mark = strstr(arg, "^@");
	if (mark && !mark[2]) {
		*mark = 0;
1849
		if (add_parents_only(revs, arg, flags, 0))
1850
			return 0;
1851
		*mark = '^';
1852
	}
1853 1854 1855
	mark = strstr(arg, "^!");
	if (mark && !mark[2]) {
		*mark = 0;
1856
		if (!add_parents_only(revs, arg, flags ^ (UNINTERESTING | BOTTOM), 0))
1857
			*mark = '^';
1858
	}
1859 1860
	mark = strstr(arg, "^-");
	if (mark) {
1861 1862
		int exclude_parent = 1;

1863
		if (mark[2]) {
1864
			char *end;
1865
			exclude_parent = strtoul(mark + 2, &end, 10);
1866 1867 1868 1869
			if (*end != '\0' || !exclude_parent)
				return -1;
		}

1870
		*mark = 0;
1871
		if (!add_parents_only(revs, arg, flags ^ (UNINTERESTING | BOTTOM), exclude_parent))
1872
			*mark = '^';
1873 1874
	}

1875 1876
	local_flags = 0;
	if (*arg == '^') {
1877
		local_flags = UNINTERESTING | BOTTOM;
1878 1879
		arg++;
	}
1880 1881

	if (revarg_opt & REVARG_COMMITTISH)
1882
		get_sha1_flags |= GET_OID_COMMITTISH;
1883

1884
	if (get_oid_with_context(revs->repo, arg, get_sha1_flags, &oid, &oc))
J
Junio C Hamano 已提交
1885
		return revs->ignore_missing ? 0 : -1;
1886 1887
	if (!cant_be_filename)
		verify_non_filename(revs->prefix, arg);
1888
	object = get_reference(revs, arg, &oid, flags ^ local_flags);
1889 1890
	if (!object)
		return revs->ignore_missing ? 0 : -1;
1891
	add_rev_cmdline(revs, object, arg_, REV_CMD_REV, flags ^ local_flags);
1892 1893
	add_pending_object_with_path(revs, object, arg, oc.mode, oc.path);
	free(oc.path);
1894 1895 1896
	return 0;
}

1897
static void read_pathspec_from_stdin(struct rev_info *revs, struct strbuf *sb,
1898
				     struct argv_array *prune)
1899
{
1900 1901
	while (strbuf_getline(sb, stdin) != EOF)
		argv_array_push(prune, sb->buf);
1902 1903
}

1904
static void read_revisions_from_stdin(struct rev_info *revs,
1905
				      struct argv_array *prune)
1906
{
1907
	struct strbuf sb;
1908
	int seen_dashdash = 0;
1909 1910 1911 1912
	int save_warning;

	save_warning = warn_on_object_refname_ambiguity;
	warn_on_object_refname_ambiguity = 0;
1913

1914
	strbuf_init(&sb, 1000);
1915
	while (strbuf_getline(&sb, stdin) != EOF) {
1916
		int len = sb.len;
1917 1918
		if (!len)
			break;
1919 1920 1921 1922 1923
		if (sb.buf[0] == '-') {
			if (len == 2 && sb.buf[1] == '-') {
				seen_dashdash = 1;
				break;
			}
1924
			die("options not supported in --stdin mode");
1925
		}
1926
		if (handle_revision_arg(sb.buf, revs, 0,
1927
					REVARG_CANNOT_BE_FILENAME))
1928
			die("bad revision '%s'", sb.buf);
1929
	}
1930 1931
	if (seen_dashdash)
		read_pathspec_from_stdin(revs, &sb, prune);
1932

1933
	strbuf_release(&sb);
1934
	warn_on_object_refname_ambiguity = save_warning;
1935 1936
}

1937
static void add_grep(struct rev_info *revs, const char *ptn, enum grep_pat_token what)
1938
{
J
Jeff King 已提交
1939
	append_grep_pattern(&revs->grep_filter, ptn, "command line", 0, what);
1940 1941
}

1942
static void add_header_grep(struct rev_info *revs, enum grep_header_field field, const char *pattern)
1943
{
1944
	append_header_grep_pattern(&revs->grep_filter, field, pattern);
1945 1946 1947 1948
}

static void add_message_grep(struct rev_info *revs, const char *pattern)
{
1949
	add_grep(revs, pattern, GREP_PATTERN_BODY);
1950 1951
}

1952
static int handle_revision_opt(struct rev_info *revs, int argc, const char **argv,
1953 1954
			       int *unkc, const char **unkv,
			       const struct setup_revision_opt* opt)
1955 1956
{
	const char *arg = argv[0];
1957 1958
	const char *optarg;
	int argcount;
1959
	const unsigned hexsz = the_hash_algo->hexsz;
1960 1961 1962 1963 1964

	/* pseudo revision arguments */
	if (!strcmp(arg, "--all") || !strcmp(arg, "--branches") ||
	    !strcmp(arg, "--tags") || !strcmp(arg, "--remotes") ||
	    !strcmp(arg, "--reflog") || !strcmp(arg, "--not") ||
1965
	    !strcmp(arg, "--no-walk") || !strcmp(arg, "--do-walk") ||
1966
	    !strcmp(arg, "--bisect") || starts_with(arg, "--glob=") ||
J
Jeff King 已提交
1967
	    !strcmp(arg, "--indexed-objects") ||
1968
	    starts_with(arg, "--exclude=") ||
1969 1970
	    starts_with(arg, "--branches=") || starts_with(arg, "--tags=") ||
	    starts_with(arg, "--remotes=") || starts_with(arg, "--no-walk="))
1971 1972
	{
		unkv[(*unkc)++] = arg;
1973
		return 1;
1974 1975
	}

1976 1977
	if ((argcount = parse_long_opt("max-count", argv, &optarg))) {
		revs->max_count = atoi(optarg);
1978
		revs->no_walk = 0;
1979 1980 1981 1982
		return argcount;
	} else if ((argcount = parse_long_opt("skip", argv, &optarg))) {
		revs->skip_count = atoi(optarg);
		return argcount;
1983
	} else if ((*arg == '-') && isdigit(arg[1])) {
1984 1985 1986 1987
		/* accept -<digit>, like traditional "head" */
		if (strtol_i(arg + 1, 10, &revs->max_count) < 0 ||
		    revs->max_count < 0)
			die("'%s': not a non-negative integer", arg + 1);
1988
		revs->no_walk = 0;
1989 1990 1991 1992
	} else if (!strcmp(arg, "-n")) {
		if (argc <= 1)
			return error("-n requires an argument");
		revs->max_count = atoi(argv[1]);
1993
		revs->no_walk = 0;
1994
		return 2;
1995 1996
	} else if (skip_prefix(arg, "-n", &optarg)) {
		revs->max_count = atoi(optarg);
1997
		revs->no_walk = 0;
1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015
	} else if ((argcount = parse_long_opt("max-age", argv, &optarg))) {
		revs->max_age = atoi(optarg);
		return argcount;
	} else if ((argcount = parse_long_opt("since", argv, &optarg))) {
		revs->max_age = approxidate(optarg);
		return argcount;
	} else if ((argcount = parse_long_opt("after", argv, &optarg))) {
		revs->max_age = approxidate(optarg);
		return argcount;
	} else if ((argcount = parse_long_opt("min-age", argv, &optarg))) {
		revs->min_age = atoi(optarg);
		return argcount;
	} else if ((argcount = parse_long_opt("before", argv, &optarg))) {
		revs->min_age = approxidate(optarg);
		return argcount;
	} else if ((argcount = parse_long_opt("until", argv, &optarg))) {
		revs->min_age = approxidate(optarg);
		return argcount;
2016 2017
	} else if (!strcmp(arg, "--first-parent")) {
		revs->first_parent_only = 1;
J
Junio C Hamano 已提交
2018 2019
	} else if (!strcmp(arg, "--ancestry-path")) {
		revs->ancestry_path = 1;
2020
		revs->simplify_history = 0;
J
Junio C Hamano 已提交
2021
		revs->limited = 1;
2022 2023 2024 2025 2026 2027 2028 2029 2030 2031
	} else if (!strcmp(arg, "-g") || !strcmp(arg, "--walk-reflogs")) {
		init_reflog_walk(&revs->reflog_info);
	} else if (!strcmp(arg, "--default")) {
		if (argc <= 1)
			return error("bad --default argument");
		revs->def = argv[1];
		return 2;
	} else if (!strcmp(arg, "--merge")) {
		revs->show_merge = 1;
	} else if (!strcmp(arg, "--topo-order")) {
J
Junio C Hamano 已提交
2032
		revs->sort_order = REV_SORT_IN_GRAPH_ORDER;
2033
		revs->topo_order = 1;
2034 2035
	} else if (!strcmp(arg, "--simplify-merges")) {
		revs->simplify_merges = 1;
2036
		revs->topo_order = 1;
2037 2038 2039
		revs->rewrite_parents = 1;
		revs->simplify_history = 0;
		revs->limited = 1;
2040 2041
	} else if (!strcmp(arg, "--simplify-by-decoration")) {
		revs->simplify_merges = 1;
2042
		revs->topo_order = 1;
2043 2044 2045 2046 2047
		revs->rewrite_parents = 1;
		revs->simplify_history = 0;
		revs->simplify_by_decoration = 1;
		revs->limited = 1;
		revs->prune = 1;
2048
		load_ref_decorations(NULL, DECORATE_SHORT_REFS);
2049
	} else if (!strcmp(arg, "--date-order")) {
J
Junio C Hamano 已提交
2050
		revs->sort_order = REV_SORT_BY_COMMIT_DATE;
2051
		revs->topo_order = 1;
J
Junio C Hamano 已提交
2052 2053
	} else if (!strcmp(arg, "--author-date-order")) {
		revs->sort_order = REV_SORT_BY_AUTHOR_DATE;
2054
		revs->topo_order = 1;
2055 2056 2057 2058 2059 2060 2061
	} else if (!strcmp(arg, "--early-output")) {
		revs->early_output = 100;
		revs->topo_order = 1;
	} else if (skip_prefix(arg, "--early-output=", &optarg)) {
		if (strtoul_ui(optarg, 10, &revs->early_output) < 0)
			die("'%s': not a non-negative integer", optarg);
		revs->topo_order = 1;
2062 2063 2064 2065 2066 2067 2068
	} else if (!strcmp(arg, "--parents")) {
		revs->rewrite_parents = 1;
		revs->print_parents = 1;
	} else if (!strcmp(arg, "--dense")) {
		revs->dense = 1;
	} else if (!strcmp(arg, "--sparse")) {
		revs->dense = 0;
2069 2070
	} else if (!strcmp(arg, "--in-commit-order")) {
		revs->tree_blobs_in_commit_order = 1;
2071 2072
	} else if (!strcmp(arg, "--remove-empty")) {
		revs->remove_empty_trees = 1;
2073
	} else if (!strcmp(arg, "--merges")) {
2074
		revs->min_parents = 2;
2075
	} else if (!strcmp(arg, "--no-merges")) {
2076
		revs->max_parents = 1;
2077 2078
	} else if (skip_prefix(arg, "--min-parents=", &optarg)) {
		revs->min_parents = atoi(optarg);
2079
	} else if (!strcmp(arg, "--no-min-parents")) {
2080
		revs->min_parents = 0;
2081 2082
	} else if (skip_prefix(arg, "--max-parents=", &optarg)) {
		revs->max_parents = atoi(optarg);
2083
	} else if (!strcmp(arg, "--no-max-parents")) {
2084
		revs->max_parents = -1;
2085 2086 2087 2088
	} else if (!strcmp(arg, "--boundary")) {
		revs->boundary = 1;
	} else if (!strcmp(arg, "--left-right")) {
		revs->left_right = 1;
2089
	} else if (!strcmp(arg, "--left-only")) {
2090
		if (revs->right_only)
M
Michael J Gruber 已提交
2091 2092
			die("--left-only is incompatible with --right-only"
			    " or --cherry");
2093 2094
		revs->left_only = 1;
	} else if (!strcmp(arg, "--right-only")) {
2095 2096
		if (revs->left_only)
			die("--right-only is incompatible with --left-only");
2097
		revs->right_only = 1;
M
Michael J Gruber 已提交
2098 2099 2100 2101 2102
	} else if (!strcmp(arg, "--cherry")) {
		if (revs->left_only)
			die("--cherry is incompatible with --left-only");
		revs->cherry_mark = 1;
		revs->right_only = 1;
2103
		revs->max_parents = 1;
M
Michael J Gruber 已提交
2104
		revs->limited = 1;
T
Thomas Rast 已提交
2105 2106
	} else if (!strcmp(arg, "--count")) {
		revs->count = 1;
2107 2108 2109 2110 2111
	} else if (!strcmp(arg, "--cherry-mark")) {
		if (revs->cherry_pick)
			die("--cherry-mark is incompatible with --cherry-pick");
		revs->cherry_mark = 1;
		revs->limited = 1; /* needs limit_list() */
2112
	} else if (!strcmp(arg, "--cherry-pick")) {
2113 2114
		if (revs->cherry_mark)
			die("--cherry-pick is incompatible with --cherry-mark");
2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125
		revs->cherry_pick = 1;
		revs->limited = 1;
	} else if (!strcmp(arg, "--objects")) {
		revs->tag_objects = 1;
		revs->tree_objects = 1;
		revs->blob_objects = 1;
	} else if (!strcmp(arg, "--objects-edge")) {
		revs->tag_objects = 1;
		revs->tree_objects = 1;
		revs->blob_objects = 1;
		revs->edge_hint = 1;
2126 2127 2128 2129 2130 2131
	} else if (!strcmp(arg, "--objects-edge-aggressive")) {
		revs->tag_objects = 1;
		revs->tree_objects = 1;
		revs->blob_objects = 1;
		revs->edge_hint = 1;
		revs->edge_hint_aggressive = 1;
J
Junio C Hamano 已提交
2132 2133 2134 2135 2136
	} else if (!strcmp(arg, "--verify-objects")) {
		revs->tag_objects = 1;
		revs->tree_objects = 1;
		revs->blob_objects = 1;
		revs->verify_objects = 1;
2137 2138
	} else if (!strcmp(arg, "--unpacked")) {
		revs->unpacked = 1;
2139
	} else if (starts_with(arg, "--unpacked=")) {
J
Junio C Hamano 已提交
2140
		die("--unpacked=<packfile> no longer supported.");
2141 2142
	} else if (!strcmp(arg, "-r")) {
		revs->diff = 1;
2143
		revs->diffopt.flags.recursive = 1;
2144 2145
	} else if (!strcmp(arg, "-t")) {
		revs->diff = 1;
2146 2147
		revs->diffopt.flags.recursive = 1;
		revs->diffopt.flags.tree_in_recursive = 1;
2148 2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161
	} else if (!strcmp(arg, "-m")) {
		revs->ignore_merges = 0;
	} else if (!strcmp(arg, "-c")) {
		revs->diff = 1;
		revs->dense_combined_merges = 0;
		revs->combine_merges = 1;
	} else if (!strcmp(arg, "--cc")) {
		revs->diff = 1;
		revs->dense_combined_merges = 1;
		revs->combine_merges = 1;
	} else if (!strcmp(arg, "-v")) {
		revs->verbose_header = 1;
	} else if (!strcmp(arg, "--pretty")) {
		revs->verbose_header = 1;
2162
		revs->pretty_given = 1;
2163
		get_commit_format(NULL, revs);
2164 2165
	} else if (skip_prefix(arg, "--pretty=", &optarg) ||
		   skip_prefix(arg, "--format=", &optarg)) {
2166 2167 2168 2169
		/*
		 * Detached form ("--pretty X" as opposed to "--pretty=X")
		 * not allowed, since the argument is optional.
		 */
2170
		revs->verbose_header = 1;
2171
		revs->pretty_given = 1;
2172
		get_commit_format(optarg, revs);
2173
	} else if (!strcmp(arg, "--expand-tabs")) {
2174
		revs->expand_tabs_in_log = 8;
2175 2176
	} else if (!strcmp(arg, "--no-expand-tabs")) {
		revs->expand_tabs_in_log = 0;
2177 2178 2179 2180 2181
	} else if (skip_prefix(arg, "--expand-tabs=", &arg)) {
		int val;
		if (strtol_i(arg, 10, &val) < 0 || val < 0)
			die("'%s': not a non-negative integer", arg);
		revs->expand_tabs_in_log = val;
2182
	} else if (!strcmp(arg, "--show-notes") || !strcmp(arg, "--notes")) {
2183 2184
		revs->show_notes = 1;
		revs->show_notes_given = 1;
2185
		revs->notes_opt.use_default_notes = 1;
J
Junio C Hamano 已提交
2186 2187
	} else if (!strcmp(arg, "--show-signature")) {
		revs->show_signature = 1;
2188 2189
	} else if (!strcmp(arg, "--no-show-signature")) {
		revs->show_signature = 0;
2190 2191
	} else if (!strcmp(arg, "--show-linear-break")) {
		revs->break_bar = "                    ..........";
2192 2193
		revs->track_linear = 1;
		revs->track_first_time = 1;
2194 2195
	} else if (skip_prefix(arg, "--show-linear-break=", &optarg)) {
		revs->break_bar = xstrdup(optarg);
2196 2197
		revs->track_linear = 1;
		revs->track_first_time = 1;
2198 2199
	} else if (skip_prefix(arg, "--show-notes=", &optarg) ||
		   skip_prefix(arg, "--notes=", &optarg)) {
2200 2201 2202
		struct strbuf buf = STRBUF_INIT;
		revs->show_notes = 1;
		revs->show_notes_given = 1;
2203 2204 2205 2206
		if (starts_with(arg, "--show-notes=") &&
		    revs->notes_opt.use_default_notes < 0)
			revs->notes_opt.use_default_notes = 1;
		strbuf_addstr(&buf, optarg);
2207
		expand_notes_ref(&buf);
2208
		string_list_append(&revs->notes_opt.extra_notes_refs,
2209
				   strbuf_detach(&buf, NULL));
2210 2211 2212
	} else if (!strcmp(arg, "--no-notes")) {
		revs->show_notes = 0;
		revs->show_notes_given = 1;
2213 2214 2215 2216 2217 2218
		revs->notes_opt.use_default_notes = -1;
		/* we have been strdup'ing ourselves, so trick
		 * string_list into free()ing strings */
		revs->notes_opt.extra_notes_refs.strdup_strings = 1;
		string_list_clear(&revs->notes_opt.extra_notes_refs, 0);
		revs->notes_opt.extra_notes_refs.strdup_strings = 0;
2219 2220
	} else if (!strcmp(arg, "--standard-notes")) {
		revs->show_notes_given = 1;
2221
		revs->notes_opt.use_default_notes = 1;
2222
	} else if (!strcmp(arg, "--no-standard-notes")) {
2223
		revs->notes_opt.use_default_notes = 0;
2224 2225 2226
	} else if (!strcmp(arg, "--oneline")) {
		revs->verbose_header = 1;
		get_commit_format("oneline", revs);
2227
		revs->pretty_given = 1;
2228
		revs->abbrev_commit = 1;
2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241 2242
	} else if (!strcmp(arg, "--graph")) {
		revs->topo_order = 1;
		revs->rewrite_parents = 1;
		revs->graph = graph_init(revs);
	} else if (!strcmp(arg, "--root")) {
		revs->show_root_diff = 1;
	} else if (!strcmp(arg, "--no-commit-id")) {
		revs->no_commit_id = 1;
	} else if (!strcmp(arg, "--always")) {
		revs->always_show_header = 1;
	} else if (!strcmp(arg, "--no-abbrev")) {
		revs->abbrev = 0;
	} else if (!strcmp(arg, "--abbrev")) {
		revs->abbrev = DEFAULT_ABBREV;
2243 2244
	} else if (skip_prefix(arg, "--abbrev=", &optarg)) {
		revs->abbrev = strtoul(optarg, NULL, 10);
2245 2246
		if (revs->abbrev < MINIMUM_ABBREV)
			revs->abbrev = MINIMUM_ABBREV;
2247 2248
		else if (revs->abbrev > hexsz)
			revs->abbrev = hexsz;
2249 2250
	} else if (!strcmp(arg, "--abbrev-commit")) {
		revs->abbrev_commit = 1;
2251 2252 2253
		revs->abbrev_commit_given = 1;
	} else if (!strcmp(arg, "--no-abbrev-commit")) {
		revs->abbrev_commit = 0;
2254 2255 2256 2257 2258 2259
	} else if (!strcmp(arg, "--full-diff")) {
		revs->diff = 1;
		revs->full_diff = 1;
	} else if (!strcmp(arg, "--full-history")) {
		revs->simplify_history = 0;
	} else if (!strcmp(arg, "--relative-date")) {
2260
		revs->date_mode.type = DATE_RELATIVE;
J
Jeff King 已提交
2261
		revs->date_mode_explicit = 1;
2262
	} else if ((argcount = parse_long_opt("date", argv, &optarg))) {
2263
		parse_date_format(optarg, &revs->date_mode);
J
Jeff King 已提交
2264
		revs->date_mode_explicit = 1;
2265
		return argcount;
2266 2267 2268 2269 2270 2271
	} else if (!strcmp(arg, "--log-size")) {
		revs->show_log_size = 1;
	}
	/*
	 * Grepping the commit log
	 */
2272 2273 2274 2275 2276 2277
	else if ((argcount = parse_long_opt("author", argv, &optarg))) {
		add_header_grep(revs, GREP_HEADER_AUTHOR, optarg);
		return argcount;
	} else if ((argcount = parse_long_opt("committer", argv, &optarg))) {
		add_header_grep(revs, GREP_HEADER_COMMITTER, optarg);
		return argcount;
2278 2279 2280
	} else if ((argcount = parse_long_opt("grep-reflog", argv, &optarg))) {
		add_header_grep(revs, GREP_HEADER_REFLOG, optarg);
		return argcount;
2281 2282 2283
	} else if ((argcount = parse_long_opt("grep", argv, &optarg))) {
		add_message_grep(revs, optarg);
		return argcount;
2284 2285
	} else if (!strcmp(arg, "--grep-debug")) {
		revs->grep_filter.debug = 1;
2286
	} else if (!strcmp(arg, "--basic-regexp")) {
2287
		revs->grep_filter.pattern_type_option = GREP_PATTERN_TYPE_BRE;
2288
	} else if (!strcmp(arg, "--extended-regexp") || !strcmp(arg, "-E")) {
2289
		revs->grep_filter.pattern_type_option = GREP_PATTERN_TYPE_ERE;
2290
	} else if (!strcmp(arg, "--regexp-ignore-case") || !strcmp(arg, "-i")) {
2291
		revs->grep_filter.ignore_case = 1;
2292
		revs->diffopt.pickaxe_opts |= DIFF_PICKAXE_IGNORE_CASE;
2293
	} else if (!strcmp(arg, "--fixed-strings") || !strcmp(arg, "-F")) {
2294
		revs->grep_filter.pattern_type_option = GREP_PATTERN_TYPE_FIXED;
2295
	} else if (!strcmp(arg, "--perl-regexp") || !strcmp(arg, "-P")) {
2296
		revs->grep_filter.pattern_type_option = GREP_PATTERN_TYPE_PCRE;
2297
	} else if (!strcmp(arg, "--all-match")) {
J
Jeff King 已提交
2298
		revs->grep_filter.all_match = 1;
2299 2300
	} else if (!strcmp(arg, "--invert-grep")) {
		revs->invert_grep = 1;
2301 2302 2303
	} else if ((argcount = parse_long_opt("encoding", argv, &optarg))) {
		if (strcmp(optarg, "none"))
			git_log_output_encoding = xstrdup(optarg);
2304 2305
		else
			git_log_output_encoding = "";
2306
		return argcount;
2307 2308 2309 2310 2311
	} else if (!strcmp(arg, "--reverse")) {
		revs->reverse ^= 1;
	} else if (!strcmp(arg, "--children")) {
		revs->children.name = "children";
		revs->limited = 1;
J
Junio C Hamano 已提交
2312 2313
	} else if (!strcmp(arg, "--ignore-missing")) {
		revs->ignore_missing = 1;
2314
	} else if (opt && opt->allow_exclude_promisor_objects &&
2315
		   !strcmp(arg, "--exclude-promisor-objects")) {
2316
		if (fetch_if_missing)
2317
			BUG("exclude_promisor_objects can only be used when fetch_if_missing is 0");
2318
		revs->exclude_promisor_objects = 1;
2319
	} else {
2320
		int opts = diff_opt_parse(&revs->diffopt, argv, argc, revs->prefix);
2321 2322 2323 2324
		if (!opts)
			unkv[(*unkc)++] = arg;
		return opts;
	}
2325 2326
	if (revs->graph && revs->track_linear)
		die("--show-linear-break and --graph are incompatible");
2327 2328 2329 2330

	return 1;
}

2331 2332 2333 2334 2335
void parse_revision_opt(struct rev_info *revs, struct parse_opt_ctx_t *ctx,
			const struct option *options,
			const char * const usagestr[])
{
	int n = handle_revision_opt(revs, ctx->argc, ctx->argv,
2336
				    &ctx->cpidx, ctx->out, NULL);
2337 2338 2339 2340 2341 2342 2343 2344
	if (n <= 0) {
		error("unknown option `%s'", ctx->argv[0]);
		usage_with_options(usagestr, options);
	}
	ctx->argv += n;
	ctx->argc -= n;
}

2345 2346 2347
static int for_each_bisect_ref(struct ref_store *refs, each_ref_fn fn,
			       void *cb_data, const char *term)
{
2348 2349 2350
	struct strbuf bisect_refs = STRBUF_INIT;
	int status;
	strbuf_addf(&bisect_refs, "refs/bisect/%s", term);
2351
	status = refs_for_each_fullref_in(refs, bisect_refs.buf, fn, cb_data, 0);
2352 2353 2354 2355
	strbuf_release(&bisect_refs);
	return status;
}

2356
static int for_each_bad_bisect_ref(struct ref_store *refs, each_ref_fn fn, void *cb_data)
2357
{
2358
	return for_each_bisect_ref(refs, fn, cb_data, term_bad);
2359 2360
}

2361
static int for_each_good_bisect_ref(struct ref_store *refs, each_ref_fn fn, void *cb_data)
2362
{
2363
	return for_each_bisect_ref(refs, fn, cb_data, term_good);
2364 2365
}

2366 2367 2368 2369 2370 2371
static int handle_revision_pseudo_opt(const char *submodule,
				struct rev_info *revs,
				int argc, const char **argv, int *flags)
{
	const char *arg = argv[0];
	const char *optarg;
2372
	struct ref_store *refs;
2373 2374
	int argcount;

2375
	if (submodule) {
2376 2377 2378 2379 2380 2381 2382
		/*
		 * We need some something like get_submodule_worktrees()
		 * before we can go through all worktrees of a submodule,
		 * .e.g with adding all HEADs from --all, which is not
		 * supported right now, so stick to single worktree.
		 */
		if (!revs->single_worktree)
2383
			BUG("--single-worktree cannot be used together with submodule");
2384 2385
		refs = get_submodule_ref_store(submodule);
	} else
2386
		refs = get_main_ref_store(revs->repo);
2387

2388 2389 2390 2391 2392 2393 2394 2395 2396 2397
	/*
	 * NOTE!
	 *
	 * Commands like "git shortlog" will not accept the options below
	 * unless parse_revision_opt queues them (as opposed to erroring
	 * out).
	 *
	 * When implementing your new pseudo-option, remember to
	 * register it in the list at the top of handle_revision_opt.
	 */
2398
	if (!strcmp(arg, "--all")) {
2399 2400
		handle_refs(refs, revs, *flags, refs_for_each_ref);
		handle_refs(refs, revs, *flags, refs_head_ref);
2401 2402 2403 2404 2405 2406
		if (!revs->single_worktree) {
			struct all_refs_cb cb;

			init_all_refs_cb(&cb, revs, *flags);
			other_head_refs(handle_one_ref, &cb);
		}
2407
		clear_ref_exclusion(&revs->ref_excludes);
2408
	} else if (!strcmp(arg, "--branches")) {
2409
		handle_refs(refs, revs, *flags, refs_for_each_branch_ref);
2410
		clear_ref_exclusion(&revs->ref_excludes);
2411
	} else if (!strcmp(arg, "--bisect")) {
2412
		read_bisect_terms(&term_bad, &term_good);
2413 2414 2415
		handle_refs(refs, revs, *flags, for_each_bad_bisect_ref);
		handle_refs(refs, revs, *flags ^ (UNINTERESTING | BOTTOM),
			    for_each_good_bisect_ref);
2416 2417
		revs->bisect = 1;
	} else if (!strcmp(arg, "--tags")) {
2418
		handle_refs(refs, revs, *flags, refs_for_each_tag_ref);
2419
		clear_ref_exclusion(&revs->ref_excludes);
2420
	} else if (!strcmp(arg, "--remotes")) {
2421
		handle_refs(refs, revs, *flags, refs_for_each_remote_ref);
2422
		clear_ref_exclusion(&revs->ref_excludes);
2423 2424 2425
	} else if ((argcount = parse_long_opt("glob", argv, &optarg))) {
		struct all_refs_cb cb;
		init_all_refs_cb(&cb, revs, *flags);
2426
		for_each_glob_ref(handle_one_ref, optarg, &cb);
2427
		clear_ref_exclusion(&revs->ref_excludes);
2428 2429
		return argcount;
	} else if ((argcount = parse_long_opt("exclude", argv, &optarg))) {
2430
		add_ref_exclusion(&revs->ref_excludes, optarg);
2431
		return argcount;
2432
	} else if (skip_prefix(arg, "--branches=", &optarg)) {
2433 2434
		struct all_refs_cb cb;
		init_all_refs_cb(&cb, revs, *flags);
2435
		for_each_glob_ref_in(handle_one_ref, optarg, "refs/heads/", &cb);
2436
		clear_ref_exclusion(&revs->ref_excludes);
2437
	} else if (skip_prefix(arg, "--tags=", &optarg)) {
2438 2439
		struct all_refs_cb cb;
		init_all_refs_cb(&cb, revs, *flags);
2440
		for_each_glob_ref_in(handle_one_ref, optarg, "refs/tags/", &cb);
2441
		clear_ref_exclusion(&revs->ref_excludes);
2442
	} else if (skip_prefix(arg, "--remotes=", &optarg)) {
2443 2444
		struct all_refs_cb cb;
		init_all_refs_cb(&cb, revs, *flags);
2445
		for_each_glob_ref_in(handle_one_ref, optarg, "refs/remotes/", &cb);
2446
		clear_ref_exclusion(&revs->ref_excludes);
2447
	} else if (!strcmp(arg, "--reflog")) {
2448
		add_reflogs_to_pending(revs, *flags);
J
Jeff King 已提交
2449 2450
	} else if (!strcmp(arg, "--indexed-objects")) {
		add_index_objects_to_pending(revs, *flags);
2451
	} else if (!strcmp(arg, "--not")) {
2452
		*flags ^= UNINTERESTING | BOTTOM;
2453
	} else if (!strcmp(arg, "--no-walk")) {
2454
		revs->no_walk = REVISION_WALK_NO_WALK_SORTED;
2455
	} else if (skip_prefix(arg, "--no-walk=", &optarg)) {
2456 2457 2458 2459
		/*
		 * Detached form ("--no-walk X" as opposed to "--no-walk=X")
		 * not allowed, since the argument is optional.
		 */
2460
		if (!strcmp(optarg, "sorted"))
2461
			revs->no_walk = REVISION_WALK_NO_WALK_SORTED;
2462
		else if (!strcmp(optarg, "unsorted"))
2463 2464 2465
			revs->no_walk = REVISION_WALK_NO_WALK_UNSORTED;
		else
			return error("invalid argument to --no-walk");
2466 2467
	} else if (!strcmp(arg, "--do-walk")) {
		revs->no_walk = 0;
2468 2469
	} else if (!strcmp(arg, "--single-worktree")) {
		revs->single_worktree = 1;
2470 2471 2472 2473 2474 2475 2476
	} else {
		return 0;
	}

	return 1;
}

2477 2478 2479 2480 2481
static void NORETURN diagnose_missing_default(const char *def)
{
	int flags;
	const char *refname;

2482
	refname = resolve_ref_unsafe(def, 0, NULL, &flags);
2483 2484 2485 2486 2487 2488 2489 2490
	if (!refname || !(flags & REF_ISSYMREF) || (flags & REF_ISBROKEN))
		die(_("your current branch appears to be broken"));

	skip_prefix(refname, "refs/heads/", &refname);
	die(_("your current branch '%s' does not have any commits yet"),
	    refname);
}

2491 2492 2493 2494
/*
 * Parse revision information, filling in the "rev_info" structure,
 * and removing the used arguments from the argument list.
 *
2495 2496
 * Returns the number of arguments left that weren't recognized
 * (which are also moved to the head of the argument list)
2497
 */
2498
int setup_revisions(int argc, const char **argv, struct rev_info *revs, struct setup_revision_opt *opt)
2499
{
2500
	int i, flags, left, seen_dashdash, got_rev_arg = 0, revarg_opt;
2501
	struct argv_array prune_data = ARGV_ARRAY_INIT;
2502 2503 2504 2505
	const char *submodule = NULL;

	if (opt)
		submodule = opt->submodule;
2506 2507

	/* First, search for "--" */
2508
	if (opt && opt->assume_dashdash) {
2509
		seen_dashdash = 1;
2510 2511 2512 2513 2514 2515 2516 2517 2518
	} else {
		seen_dashdash = 0;
		for (i = 1; i < argc; i++) {
			const char *arg = argv[i];
			if (strcmp(arg, "--"))
				continue;
			argv[i] = NULL;
			argc = i;
			if (argv[i + 1])
2519
				argv_array_pushv(&prune_data, argv + i + 1);
2520 2521 2522
			seen_dashdash = 1;
			break;
		}
2523 2524
	}

2525 2526
	/* Second, deal with arguments and options */
	flags = 0;
2527 2528 2529
	revarg_opt = opt ? opt->revarg_opt : 0;
	if (seen_dashdash)
		revarg_opt |= REVARG_CANNOT_BE_FILENAME;
2530
	for (left = i = 1; i < argc; i++) {
2531 2532
		const char *arg = argv[i];
		if (*arg == '-') {
2533
			int opts;
2534

2535 2536 2537 2538 2539
			opts = handle_revision_pseudo_opt(submodule,
						revs, argc - i, argv + i,
						&flags);
			if (opts > 0) {
				i += opts - 1;
2540 2541
				continue;
			}
2542

2543 2544 2545 2546 2547
			if (!strcmp(arg, "--stdin")) {
				if (revs->disable_stdin) {
					argv[left++] = arg;
					continue;
				}
2548
				if (revs->read_from_stdin++)
2549
					die("--stdin given twice?");
2550
				read_revisions_from_stdin(revs, &prune_data);
2551 2552
				continue;
			}
2553

2554 2555
			opts = handle_revision_opt(revs, argc - i, argv + i,
						   &left, argv, opt);
2556 2557 2558 2559
			if (opts > 0) {
				i += opts - 1;
				continue;
			}
2560 2561
			if (opts < 0)
				exit(128);
2562 2563 2564
			continue;
		}

2565 2566

		if (handle_revision_arg(arg, revs, flags, revarg_opt)) {
2567 2568
			int j;
			if (seen_dashdash || *arg == '^')
2569 2570
				die("bad revision '%s'", arg);

2571 2572 2573 2574 2575 2576
			/* If we didn't have a "--":
			 * (1) all filenames must exist;
			 * (2) all rev-args must not be interpretable
			 *     as a valid filename.
			 * but the latter we have checked in the main loop.
			 */
2577
			for (j = i; j < argc; j++)
2578
				verify_filename(revs->prefix, argv[j], j == i);
2579

2580
			argv_array_pushv(&prune_data, argv + i);
2581 2582
			break;
		}
2583 2584
		else
			got_rev_arg = 1;
2585
	}
2586

2587
	if (prune_data.argc) {
2588 2589 2590 2591 2592 2593 2594 2595 2596 2597 2598 2599 2600 2601
		/*
		 * If we need to introduce the magic "a lone ':' means no
		 * pathspec whatsoever", here is the place to do so.
		 *
		 * if (prune_data.nr == 1 && !strcmp(prune_data[0], ":")) {
		 *	prune_data.nr = 0;
		 *	prune_data.alloc = 0;
		 *	free(prune_data.path);
		 *	prune_data.path = NULL;
		 * } else {
		 *	terminate prune_data.alloc with NULL and
		 *	call init_pathspec() to set revs->prune_data here.
		 * }
		 */
2602
		parse_pathspec(&revs->prune_data, 0, 0,
2603
			       revs->prefix, prune_data.argv);
2604
	}
2605
	argv_array_clear(&prune_data);
2606

2607
	if (revs->def == NULL)
2608
		revs->def = opt ? opt->def : NULL;
J
Junio C Hamano 已提交
2609 2610
	if (opt && opt->tweak)
		opt->tweak(revs, opt);
2611
	if (revs->show_merge)
2612
		prepare_show_merge(revs);
2613
	if (revs->def && !revs->pending.nr && !revs->rev_input_given && !got_rev_arg) {
2614
		struct object_id oid;
2615
		struct object *object;
2616
		struct object_context oc;
2617
		if (get_oid_with_context(revs->repo, revs->def, 0, &oid, &oc))
2618
			diagnose_missing_default(revs->def);
2619
		object = get_reference(revs, revs->def, &oid, 0);
2620
		add_pending_object_with_mode(revs, object, revs->def, oc.mode);
2621
	}
2622

2623 2624 2625 2626
	/* Did the user ask for any diff output? Run the diff! */
	if (revs->diffopt.output_format & ~DIFF_FORMAT_NO_OUTPUT)
		revs->diff = 1;

A
Arjen Laarhoven 已提交
2627
	/* Pickaxe, diff-filter and rename following need diffs */
2628
	if ((revs->diffopt.pickaxe_opts & DIFF_PICKAXE_KINDS_MASK) ||
A
Arjen Laarhoven 已提交
2629
	    revs->diffopt.filter ||
2630
	    revs->diffopt.flags.follow_renames)
2631 2632
		revs->diff = 1;

2633 2634 2635
	if (revs->diffopt.objfind)
		revs->simplify_history = 0;

2636
	if (revs->topo_order && !generation_numbers_enabled(the_repository))
2637 2638
		revs->limited = 1;

2639
	if (revs->prune_data.nr) {
2640
		copy_pathspec(&revs->pruning.pathspec, &revs->prune_data);
2641
		/* Can't prune commits with rename following: the paths change.. */
2642
		if (!revs->diffopt.flags.follow_renames)
L
Linus Torvalds 已提交
2643
			revs->prune = 1;
2644
		if (!revs->full_diff)
2645 2646
			copy_pathspec(&revs->diffopt.pathspec,
				      &revs->prune_data);
2647
	}
J
Junio C Hamano 已提交
2648
	if (revs->combine_merges)
2649 2650
		revs->ignore_merges = 0;
	revs->diffopt.abbrev = revs->abbrev;
2651 2652 2653 2654 2655 2656

	if (revs->line_level_traverse) {
		revs->limited = 1;
		revs->topo_order = 1;
	}

T
Thomas Rast 已提交
2657
	diff_setup_done(&revs->diffopt);
2658

2659 2660
	grep_commit_pattern_type(GREP_PATTERN_TYPE_UNSPECIFIED,
				 &revs->grep_filter);
J
Jeff King 已提交
2661
	compile_grep_patterns(&revs->grep_filter);
2662

2663 2664
	if (revs->reverse && revs->reflog_info)
		die("cannot combine --reverse with --walk-reflogs");
2665 2666
	if (revs->reflog_info && revs->limited)
		die("cannot combine --walk-reflogs with history-limiting options");
2667
	if (revs->rewrite_parents && revs->children.name)
2668
		die("cannot combine --parents and --children");
2669

2670 2671 2672 2673 2674 2675 2676 2677
	/*
	 * Limitations on the graph functionality
	 */
	if (revs->reverse && revs->graph)
		die("cannot combine --reverse with --graph");

	if (revs->reflog_info && revs->graph)
		die("cannot combine --walk-reflogs with --graph");
2678 2679
	if (revs->no_walk && revs->graph)
		die("cannot combine --no-walk with --graph");
2680 2681
	if (!revs->reflog_info && revs->grep_filter.use_reflog_filter)
		die("cannot use --grep-reflog without --walk-reflogs");
2682

2683 2684 2685
	if (revs->first_parent_only && revs->bisect)
		die(_("--first-parent is incompatible with --bisect"));

2686 2687 2688
	if (revs->expand_tabs_in_log < 0)
		revs->expand_tabs_in_log = revs->expand_tabs_in_log_default;

2689 2690
	return left;
}
2691

2692 2693 2694 2695 2696 2697 2698 2699
static void add_child(struct rev_info *revs, struct commit *parent, struct commit *child)
{
	struct commit_list *l = xcalloc(1, sizeof(*l));

	l->item = child;
	l->next = add_decoration(&revs->children, &parent->object, l);
}

2700
static int remove_duplicate_parents(struct rev_info *revs, struct commit *commit)
2701
{
2702
	struct treesame_state *ts = lookup_decoration(&revs->treesame, &commit->object);
2703 2704 2705 2706 2707
	struct commit_list **pp, *p;
	int surviving_parents;

	/* Examine existing parents while marking ones we have seen... */
	pp = &commit->parents;
2708
	surviving_parents = 0;
2709 2710 2711 2712
	while ((p = *pp) != NULL) {
		struct commit *parent = p->item;
		if (parent->object.flags & TMP_MARK) {
			*pp = p->next;
2713 2714
			if (ts)
				compact_treesame(revs, commit, surviving_parents);
2715 2716 2717
			continue;
		}
		parent->object.flags |= TMP_MARK;
2718
		surviving_parents++;
2719 2720
		pp = &p->next;
	}
2721
	/* clear the temporary mark */
2722 2723 2724
	for (p = commit->parents; p; p = p->next) {
		p->item->object.flags &= ~TMP_MARK;
	}
2725
	/* no update_treesame() - removing duplicates can't affect TREESAME */
2726 2727 2728
	return surviving_parents;
}

2729 2730 2731 2732 2733 2734 2735 2736 2737 2738 2739 2740 2741 2742 2743 2744
struct merge_simplify_state {
	struct commit *simplified;
};

static struct merge_simplify_state *locate_simplify_state(struct rev_info *revs, struct commit *commit)
{
	struct merge_simplify_state *st;

	st = lookup_decoration(&revs->merge_simplification, &commit->object);
	if (!st) {
		st = xcalloc(1, sizeof(*st));
		add_decoration(&revs->merge_simplification, &commit->object, st);
	}
	return st;
}

2745 2746 2747 2748 2749 2750 2751 2752 2753 2754 2755 2756 2757 2758 2759 2760 2761 2762 2763 2764 2765 2766 2767 2768 2769 2770 2771 2772 2773 2774 2775 2776 2777 2778 2779 2780
static int mark_redundant_parents(struct rev_info *revs, struct commit *commit)
{
	struct commit_list *h = reduce_heads(commit->parents);
	int i = 0, marked = 0;
	struct commit_list *po, *pn;

	/* Want these for sanity-checking only */
	int orig_cnt = commit_list_count(commit->parents);
	int cnt = commit_list_count(h);

	/*
	 * Not ready to remove items yet, just mark them for now, based
	 * on the output of reduce_heads(). reduce_heads outputs the reduced
	 * set in its original order, so this isn't too hard.
	 */
	po = commit->parents;
	pn = h;
	while (po) {
		if (pn && po->item == pn->item) {
			pn = pn->next;
			i++;
		} else {
			po->item->object.flags |= TMP_MARK;
			marked++;
		}
		po=po->next;
	}

	if (i != cnt || cnt+marked != orig_cnt)
		die("mark_redundant_parents %d %d %d %d", orig_cnt, cnt, i, marked);

	free_commit_list(h);

	return marked;
}

2781 2782 2783 2784 2785 2786 2787 2788 2789 2790 2791 2792 2793 2794 2795 2796
static int mark_treesame_root_parents(struct rev_info *revs, struct commit *commit)
{
	struct commit_list *p;
	int marked = 0;

	for (p = commit->parents; p; p = p->next) {
		struct commit *parent = p->item;
		if (!parent->parents && (parent->object.flags & TREESAME)) {
			parent->object.flags |= TMP_MARK;
			marked++;
		}
	}

	return marked;
}

2797 2798 2799 2800 2801 2802 2803 2804 2805 2806 2807 2808 2809 2810 2811 2812 2813 2814 2815 2816 2817 2818 2819 2820 2821 2822 2823 2824 2825 2826 2827 2828 2829 2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840 2841 2842 2843 2844 2845 2846 2847 2848 2849 2850 2851 2852 2853 2854 2855 2856 2857 2858 2859 2860 2861 2862 2863
/*
 * Awkward naming - this means one parent we are TREESAME to.
 * cf mark_treesame_root_parents: root parents that are TREESAME (to an
 * empty tree). Better name suggestions?
 */
static int leave_one_treesame_to_parent(struct rev_info *revs, struct commit *commit)
{
	struct treesame_state *ts = lookup_decoration(&revs->treesame, &commit->object);
	struct commit *unmarked = NULL, *marked = NULL;
	struct commit_list *p;
	unsigned n;

	for (p = commit->parents, n = 0; p; p = p->next, n++) {
		if (ts->treesame[n]) {
			if (p->item->object.flags & TMP_MARK) {
				if (!marked)
					marked = p->item;
			} else {
				if (!unmarked) {
					unmarked = p->item;
					break;
				}
			}
		}
	}

	/*
	 * If we are TREESAME to a marked-for-deletion parent, but not to any
	 * unmarked parents, unmark the first TREESAME parent. This is the
	 * parent that the default simplify_history==1 scan would have followed,
	 * and it doesn't make sense to omit that path when asking for a
	 * simplified full history. Retaining it improves the chances of
	 * understanding odd missed merges that took an old version of a file.
	 *
	 * Example:
	 *
	 *   I--------*X       A modified the file, but mainline merge X used
	 *    \       /        "-s ours", so took the version from I. X is
	 *     `-*A--'         TREESAME to I and !TREESAME to A.
	 *
	 * Default log from X would produce "I". Without this check,
	 * --full-history --simplify-merges would produce "I-A-X", showing
	 * the merge commit X and that it changed A, but not making clear that
	 * it had just taken the I version. With this check, the topology above
	 * is retained.
	 *
	 * Note that it is possible that the simplification chooses a different
	 * TREESAME parent from the default, in which case this test doesn't
	 * activate, and we _do_ drop the default parent. Example:
	 *
	 *   I------X         A modified the file, but it was reverted in B,
	 *    \    /          meaning mainline merge X is TREESAME to both
	 *    *A-*B           parents.
	 *
	 * Default log would produce "I" by following the first parent;
	 * --full-history --simplify-merges will produce "I-A-B". But this is a
	 * reasonable result - it presents a logical full history leading from
	 * I to X, and X is not an important merge.
	 */
	if (!unmarked && marked) {
		marked->object.flags &= ~TMP_MARK;
		return 1;
	}

	return 0;
}

2864 2865 2866 2867 2868 2869 2870 2871 2872 2873 2874 2875 2876 2877 2878 2879 2880 2881 2882 2883 2884 2885 2886 2887 2888 2889 2890 2891
static int remove_marked_parents(struct rev_info *revs, struct commit *commit)
{
	struct commit_list **pp, *p;
	int nth_parent, removed = 0;

	pp = &commit->parents;
	nth_parent = 0;
	while ((p = *pp) != NULL) {
		struct commit *parent = p->item;
		if (parent->object.flags & TMP_MARK) {
			parent->object.flags &= ~TMP_MARK;
			*pp = p->next;
			free(p);
			removed++;
			compact_treesame(revs, commit, nth_parent);
			continue;
		}
		pp = &p->next;
		nth_parent++;
	}

	/* Removing parents can only increase TREESAMEness */
	if (removed && !(commit->object.flags & TREESAME))
		update_treesame(revs, commit);

	return nth_parent;
}

2892
static struct commit_list **simplify_one(struct rev_info *revs, struct commit *commit, struct commit_list **tail)
2893 2894
{
	struct commit_list *p;
2895
	struct commit *parent;
2896
	struct merge_simplify_state *st, *pst;
2897 2898
	int cnt;

2899 2900
	st = locate_simplify_state(revs, commit);

2901 2902 2903
	/*
	 * Have we handled this one?
	 */
2904
	if (st->simplified)
2905 2906 2907 2908 2909 2910 2911 2912
		return tail;

	/*
	 * An UNINTERESTING commit simplifies to itself, so does a
	 * root commit.  We do not rewrite parents of such commit
	 * anyway.
	 */
	if ((commit->object.flags & UNINTERESTING) || !commit->parents) {
2913
		st->simplified = commit;
2914 2915 2916 2917
		return tail;
	}

	/*
2918 2919 2920
	 * Do we know what commit all of our parents that matter
	 * should be rewritten to?  Otherwise we are not ready to
	 * rewrite this one yet.
2921 2922
	 */
	for (cnt = 0, p = commit->parents; p; p = p->next) {
2923 2924
		pst = locate_simplify_state(revs, p->item);
		if (!pst->simplified) {
2925 2926 2927
			tail = &commit_list_insert(p->item, tail)->next;
			cnt++;
		}
2928 2929
		if (revs->first_parent_only)
			break;
2930
	}
2931 2932
	if (cnt) {
		tail = &commit_list_insert(commit, tail)->next;
2933
		return tail;
2934
	}
2935 2936

	/*
2937 2938 2939
	 * Rewrite our list of parents. Note that this cannot
	 * affect our TREESAME flags in any way - a commit is
	 * always TREESAME to its simplification.
2940
	 */
2941 2942 2943
	for (p = commit->parents; p; p = p->next) {
		pst = locate_simplify_state(revs, p->item);
		p->item = pst->simplified;
2944 2945
		if (revs->first_parent_only)
			break;
2946
	}
2947

2948
	if (revs->first_parent_only)
2949
		cnt = 1;
2950
	else
2951
		cnt = remove_duplicate_parents(revs, commit);
2952 2953 2954 2955

	/*
	 * It is possible that we are a merge and one side branch
	 * does not have any commit that touches the given paths;
2956 2957
	 * in such a case, the immediate parent from that branch
	 * will be rewritten to be the merge base.
2958 2959 2960 2961 2962
	 *
	 *      o----X		X: the commit we are looking at;
	 *     /    /		o: a commit that touches the paths;
	 * ---o----'
	 *
2963 2964 2965 2966 2967 2968 2969 2970
	 * Further, a merge of an independent branch that doesn't
	 * touch the path will reduce to a treesame root parent:
	 *
	 *  ----o----X		X: the commit we are looking at;
	 *          /		o: a commit that touches the paths;
	 *         r		r: a root commit not touching the paths
	 *
	 * Detect and simplify both cases.
2971 2972
	 */
	if (1 < cnt) {
2973
		int marked = mark_redundant_parents(revs, commit);
2974
		marked += mark_treesame_root_parents(revs, commit);
2975 2976
		if (marked)
			marked -= leave_one_treesame_to_parent(revs, commit);
2977 2978
		if (marked)
			cnt = remove_marked_parents(revs, commit);
2979 2980 2981 2982 2983
	}

	/*
	 * A commit simplifies to itself if it is a root, if it is
	 * UNINTERESTING, if it touches the given paths, or if it is a
2984
	 * merge and its parents don't simplify to one relevant commit
2985 2986 2987
	 * (the first two cases are already handled at the beginning of
	 * this function).
	 *
2988 2989
	 * Otherwise, it simplifies to what its sole relevant parent
	 * simplifies to.
2990 2991 2992 2993
	 */
	if (!cnt ||
	    (commit->object.flags & UNINTERESTING) ||
	    !(commit->object.flags & TREESAME) ||
2994
	    (parent = one_relevant_parent(revs, commit->parents)) == NULL)
2995 2996
		st->simplified = commit;
	else {
2997
		pst = locate_simplify_state(revs, parent);
2998 2999
		st->simplified = pst->simplified;
	}
3000 3001 3002 3003 3004
	return tail;
}

static void simplify_merges(struct rev_info *revs)
{
3005
	struct commit_list *list, *next;
3006
	struct commit_list *yet_to_do, **tail;
3007
	struct commit *commit;
3008

3009 3010
	if (!revs->prune)
		return;
3011

3012 3013
	/* feed the list reversed */
	yet_to_do = NULL;
3014 3015 3016 3017 3018 3019 3020 3021 3022
	for (list = revs->commits; list; list = next) {
		commit = list->item;
		next = list->next;
		/*
		 * Do not free(list) here yet; the original list
		 * is used later in this function.
		 */
		commit_list_insert(commit, &yet_to_do);
	}
3023 3024 3025 3026 3027
	while (yet_to_do) {
		list = yet_to_do;
		yet_to_do = NULL;
		tail = &yet_to_do;
		while (list) {
3028
			commit = pop_commit(&list);
3029
			tail = simplify_one(revs, commit, tail);
3030 3031 3032 3033 3034 3035 3036 3037
		}
	}

	/* clean up the result, removing the simplified ones */
	list = revs->commits;
	revs->commits = NULL;
	tail = &revs->commits;
	while (list) {
3038
		struct merge_simplify_state *st;
3039

3040
		commit = pop_commit(&list);
3041 3042
		st = locate_simplify_state(revs, commit);
		if (st->simplified == commit)
3043 3044 3045 3046
			tail = &commit_list_insert(commit, tail)->next;
	}
}

3047 3048 3049 3050 3051 3052 3053 3054 3055 3056 3057 3058
static void set_children(struct rev_info *revs)
{
	struct commit_list *l;
	for (l = revs->commits; l; l = l->next) {
		struct commit *commit = l->item;
		struct commit_list *p;

		for (p = commit->parents; p; p = p->next)
			add_child(revs, p->item, commit);
	}
}

3059 3060 3061 3062 3063
void reset_revision_walk(void)
{
	clear_object_flags(SEEN | ADDED | SHOWN);
}

3064 3065 3066
static int mark_uninteresting(const struct object_id *oid,
			      struct packed_git *pack,
			      uint32_t pos,
3067
			      void *cb)
3068
{
3069 3070
	struct rev_info *revs = cb;
	struct object *o = parse_object(revs->repo, oid);
3071 3072 3073 3074
	o->flags |= UNINTERESTING | SEEN;
	return 0;
}

3075 3076 3077 3078 3079 3080 3081 3082 3083 3084 3085 3086 3087 3088 3089 3090 3091 3092 3093 3094 3095 3096 3097 3098 3099 3100 3101 3102 3103 3104 3105 3106 3107 3108 3109 3110 3111 3112 3113 3114 3115 3116 3117 3118 3119 3120 3121 3122 3123 3124 3125 3126 3127 3128 3129 3130 3131 3132 3133 3134 3135 3136 3137 3138 3139 3140 3141 3142 3143 3144 3145 3146 3147 3148 3149 3150 3151 3152 3153 3154 3155 3156 3157 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172
define_commit_slab(indegree_slab, int);
define_commit_slab(author_date_slab, timestamp_t);

struct topo_walk_info {
	uint32_t min_generation;
	struct prio_queue explore_queue;
	struct prio_queue indegree_queue;
	struct prio_queue topo_queue;
	struct indegree_slab indegree;
	struct author_date_slab author_date;
};

static inline void test_flag_and_insert(struct prio_queue *q, struct commit *c, int flag)
{
	if (c->object.flags & flag)
		return;

	c->object.flags |= flag;
	prio_queue_put(q, c);
}

static void explore_walk_step(struct rev_info *revs)
{
	struct topo_walk_info *info = revs->topo_walk_info;
	struct commit_list *p;
	struct commit *c = prio_queue_get(&info->explore_queue);

	if (!c)
		return;

	if (parse_commit_gently(c, 1) < 0)
		return;

	if (revs->sort_order == REV_SORT_BY_AUTHOR_DATE)
		record_author_date(&info->author_date, c);

	if (revs->max_age != -1 && (c->date < revs->max_age))
		c->object.flags |= UNINTERESTING;

	if (process_parents(revs, c, NULL, NULL) < 0)
		return;

	if (c->object.flags & UNINTERESTING)
		mark_parents_uninteresting(c);

	for (p = c->parents; p; p = p->next)
		test_flag_and_insert(&info->explore_queue, p->item, TOPO_WALK_EXPLORED);
}

static void explore_to_depth(struct rev_info *revs,
			     uint32_t gen_cutoff)
{
	struct topo_walk_info *info = revs->topo_walk_info;
	struct commit *c;
	while ((c = prio_queue_peek(&info->explore_queue)) &&
	       c->generation >= gen_cutoff)
		explore_walk_step(revs);
}

static void indegree_walk_step(struct rev_info *revs)
{
	struct commit_list *p;
	struct topo_walk_info *info = revs->topo_walk_info;
	struct commit *c = prio_queue_get(&info->indegree_queue);

	if (!c)
		return;

	if (parse_commit_gently(c, 1) < 0)
		return;

	explore_to_depth(revs, c->generation);

	for (p = c->parents; p; p = p->next) {
		struct commit *parent = p->item;
		int *pi = indegree_slab_at(&info->indegree, parent);

		if (*pi)
			(*pi)++;
		else
			*pi = 2;

		test_flag_and_insert(&info->indegree_queue, parent, TOPO_WALK_INDEGREE);

		if (revs->first_parent_only)
			return;
	}
}

static void compute_indegrees_to_depth(struct rev_info *revs,
				       uint32_t gen_cutoff)
{
	struct topo_walk_info *info = revs->topo_walk_info;
	struct commit *c;
	while ((c = prio_queue_peek(&info->indegree_queue)) &&
	       c->generation >= gen_cutoff)
		indegree_walk_step(revs);
}
3173 3174 3175 3176

static void init_topo_walk(struct rev_info *revs)
{
	struct topo_walk_info *info;
3177
	struct commit_list *list;
3178 3179 3180 3181
	revs->topo_walk_info = xmalloc(sizeof(struct topo_walk_info));
	info = revs->topo_walk_info;
	memset(info, 0, sizeof(struct topo_walk_info));

3182 3183 3184 3185 3186 3187 3188 3189 3190 3191 3192 3193 3194 3195 3196 3197 3198 3199 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210 3211 3212 3213 3214 3215 3216 3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236
	init_indegree_slab(&info->indegree);
	memset(&info->explore_queue, 0, sizeof(info->explore_queue));
	memset(&info->indegree_queue, 0, sizeof(info->indegree_queue));
	memset(&info->topo_queue, 0, sizeof(info->topo_queue));

	switch (revs->sort_order) {
	default: /* REV_SORT_IN_GRAPH_ORDER */
		info->topo_queue.compare = NULL;
		break;
	case REV_SORT_BY_COMMIT_DATE:
		info->topo_queue.compare = compare_commits_by_commit_date;
		break;
	case REV_SORT_BY_AUTHOR_DATE:
		init_author_date_slab(&info->author_date);
		info->topo_queue.compare = compare_commits_by_author_date;
		info->topo_queue.cb_data = &info->author_date;
		break;
	}

	info->explore_queue.compare = compare_commits_by_gen_then_commit_date;
	info->indegree_queue.compare = compare_commits_by_gen_then_commit_date;

	info->min_generation = GENERATION_NUMBER_INFINITY;
	for (list = revs->commits; list; list = list->next) {
		struct commit *c = list->item;

		if (parse_commit_gently(c, 1))
			continue;

		test_flag_and_insert(&info->explore_queue, c, TOPO_WALK_EXPLORED);
		test_flag_and_insert(&info->indegree_queue, c, TOPO_WALK_INDEGREE);

		if (c->generation < info->min_generation)
			info->min_generation = c->generation;

		*(indegree_slab_at(&info->indegree, c)) = 1;

		if (revs->sort_order == REV_SORT_BY_AUTHOR_DATE)
			record_author_date(&info->author_date, c);
	}
	compute_indegrees_to_depth(revs, info->min_generation);

	for (list = revs->commits; list; list = list->next) {
		struct commit *c = list->item;

		if (*(indegree_slab_at(&info->indegree, c)) == 1)
			prio_queue_put(&info->topo_queue, c);
	}

	/*
	 * This is unfortunate; the initial tips need to be shown
	 * in the order given from the revision traversal machinery.
	 */
	if (revs->sort_order == REV_SORT_IN_GRAPH_ORDER)
		prio_queue_reverse(&info->topo_queue);
3237 3238 3239 3240
}

static struct commit *next_topo_commit(struct rev_info *revs)
{
3241 3242 3243 3244 3245 3246 3247 3248 3249 3250
	struct commit *c;
	struct topo_walk_info *info = revs->topo_walk_info;

	/* pop next off of topo_queue */
	c = prio_queue_get(&info->topo_queue);

	if (c)
		*(indegree_slab_at(&info->indegree, c)) = 0;

	return c;
3251 3252 3253 3254
}

static void expand_topo_walk(struct rev_info *revs, struct commit *commit)
{
3255 3256 3257
	struct commit_list *p;
	struct topo_walk_info *info = revs->topo_walk_info;
	if (process_parents(revs, commit, NULL, NULL) < 0) {
3258 3259 3260 3261
		if (!revs->ignore_missing_links)
			die("Failed to traverse parents of commit %s",
			    oid_to_hex(&commit->object.oid));
	}
3262 3263 3264 3265 3266 3267 3268 3269 3270 3271 3272 3273 3274 3275 3276 3277 3278 3279 3280 3281 3282 3283

	for (p = commit->parents; p; p = p->next) {
		struct commit *parent = p->item;
		int *pi;

		if (parse_commit_gently(parent, 1) < 0)
			continue;

		if (parent->generation < info->min_generation) {
			info->min_generation = parent->generation;
			compute_indegrees_to_depth(revs, info->min_generation);
		}

		pi = indegree_slab_at(&info->indegree, parent);

		(*pi)--;
		if (*pi == 1)
			prio_queue_put(&info->topo_queue, parent);

		if (revs->first_parent_only)
			return;
	}
3284 3285
}

3286
int prepare_revision_walk(struct rev_info *revs)
3287
{
3288 3289
	int i;
	struct object_array old_pending;
3290
	struct commit_list **next = &revs->commits;
3291

3292
	memcpy(&old_pending, &revs->pending, sizeof(old_pending));
3293 3294 3295
	revs->pending.nr = 0;
	revs->pending.alloc = 0;
	revs->pending.objects = NULL;
3296 3297
	for (i = 0; i < old_pending.nr; i++) {
		struct object_array_entry *e = old_pending.objects + i;
3298
		struct commit *commit = handle_commit(revs, e);
3299 3300 3301
		if (commit) {
			if (!(commit->object.flags & SEEN)) {
				commit->object.flags |= SEEN;
3302
				next = commit_list_append(commit, next);
3303 3304 3305
			}
		}
	}
3306
	object_array_clear(&old_pending);
3307

3308
	/* Signal whether we need per-parent treesame decoration */
3309 3310
	if (revs->simplify_merges ||
	    (revs->limited && limiting_can_increase_treesame(revs)))
3311 3312
		revs->treesame.name = "treesame";

3313
	if (revs->exclude_promisor_objects) {
3314
		for_each_packed_object(mark_uninteresting, revs,
3315 3316 3317
				       FOR_EACH_OBJECT_PROMISOR_ONLY);
	}

3318 3319
	if (revs->no_walk != REVISION_WALK_NO_WALK_UNSORTED)
		commit_list_sort_by_date(&revs->commits);
L
Linus Torvalds 已提交
3320
	if (revs->no_walk)
3321
		return 0;
3322
	if (revs->limited) {
3323 3324
		if (limit_list(revs) < 0)
			return -1;
3325 3326 3327 3328
		if (revs->topo_order)
			sort_in_topological_order(&revs->commits, revs->sort_order);
	} else if (revs->topo_order)
		init_topo_walk(revs);
3329 3330
	if (revs->line_level_traverse)
		line_log_filter(revs);
3331 3332
	if (revs->simplify_merges)
		simplify_merges(revs);
3333 3334
	if (revs->children.name)
		set_children(revs);
3335
	return 0;
3336 3337
}

3338
static enum rewrite_result rewrite_one(struct rev_info *revs, struct commit **pp)
3339
{
3340 3341
	struct commit_list *cache = NULL;

3342 3343
	for (;;) {
		struct commit *p = *pp;
3344
		if (!revs->limited)
3345
			if (process_parents(revs, p, &revs->commits, &cache) < 0)
3346
				return rewrite_one_error;
3347 3348 3349
		if (p->object.flags & UNINTERESTING)
			return rewrite_one_ok;
		if (!(p->object.flags & TREESAME))
3350
			return rewrite_one_ok;
3351
		if (!p->parents)
3352
			return rewrite_one_noparents;
3353 3354 3355
		if ((p = one_relevant_parent(revs, p->parents)) == NULL)
			return rewrite_one_ok;
		*pp = p;
3356 3357 3358
	}
}

B
Bo Yang 已提交
3359 3360
int rewrite_parents(struct rev_info *revs, struct commit *commit,
	rewrite_parent_fn_t rewrite_parent)
3361 3362 3363 3364
{
	struct commit_list **pp = &commit->parents;
	while (*pp) {
		struct commit_list *parent = *pp;
B
Bo Yang 已提交
3365
		switch (rewrite_parent(revs, &parent->item)) {
3366 3367 3368
		case rewrite_one_ok:
			break;
		case rewrite_one_noparents:
3369 3370
			*pp = parent->next;
			continue;
3371 3372
		case rewrite_one_error:
			return -1;
3373 3374 3375
		}
		pp = &parent->next;
	}
3376
	remove_duplicate_parents(revs, commit);
3377
	return 0;
3378 3379
}

3380 3381 3382 3383 3384 3385 3386 3387 3388 3389 3390 3391 3392 3393 3394 3395 3396 3397 3398 3399 3400 3401 3402 3403 3404 3405 3406 3407 3408 3409 3410 3411 3412 3413 3414 3415 3416 3417 3418 3419 3420 3421 3422 3423 3424
static int commit_rewrite_person(struct strbuf *buf, const char *what, struct string_list *mailmap)
{
	char *person, *endp;
	size_t len, namelen, maillen;
	const char *name;
	const char *mail;
	struct ident_split ident;

	person = strstr(buf->buf, what);
	if (!person)
		return 0;

	person += strlen(what);
	endp = strchr(person, '\n');
	if (!endp)
		return 0;

	len = endp - person;

	if (split_ident_line(&ident, person, len))
		return 0;

	mail = ident.mail_begin;
	maillen = ident.mail_end - ident.mail_begin;
	name = ident.name_begin;
	namelen = ident.name_end - ident.name_begin;

	if (map_user(mailmap, &mail, &maillen, &name, &namelen)) {
		struct strbuf namemail = STRBUF_INIT;

		strbuf_addf(&namemail, "%.*s <%.*s>",
			    (int)namelen, name, (int)maillen, mail);

		strbuf_splice(buf, ident.name_begin - buf->buf,
			      ident.mail_end - ident.name_begin + 1,
			      namemail.buf, namemail.len);

		strbuf_release(&namemail);

		return 1;
	}

	return 0;
}

3425 3426
static int commit_match(struct commit *commit, struct rev_info *opt)
{
3427
	int retval;
3428
	const char *encoding;
J
Jeff King 已提交
3429
	const char *message;
3430
	struct strbuf buf = STRBUF_INIT;
3431

3432
	if (!opt->grep_filter.pattern_list && !opt->grep_filter.header_list)
3433
		return 1;
3434 3435 3436

	/* Prepend "fake" headers as needed */
	if (opt->grep_filter.use_reflog_filter) {
3437 3438 3439 3440
		strbuf_addstr(&buf, "reflog ");
		get_reflog_message(&buf, opt->reflog_info);
		strbuf_addch(&buf, '\n');
	}
3441

3442 3443 3444 3445 3446 3447 3448 3449
	/*
	 * We grep in the user's output encoding, under the assumption that it
	 * is the encoding they are most likely to write their grep pattern
	 * for. In addition, it means we will match the "notes" encoding below,
	 * so we will not end up with a buffer that has two different encodings
	 * in it.
	 */
	encoding = get_log_output_encoding();
3450
	message = logmsg_reencode(commit, NULL, encoding);
3451

3452 3453
	/* Copy the commit to temporary if we are using "fake" headers */
	if (buf.len)
3454
		strbuf_addstr(&buf, message);
3455

3456
	if (opt->grep_filter.header_list && opt->mailmap) {
3457
		if (!buf.len)
3458
			strbuf_addstr(&buf, message);
3459 3460 3461 3462 3463

		commit_rewrite_person(&buf, "\nauthor ", opt->mailmap);
		commit_rewrite_person(&buf, "\ncommitter ", opt->mailmap);
	}

3464 3465 3466
	/* Append "fake" message parts as needed */
	if (opt->show_notes) {
		if (!buf.len)
3467
			strbuf_addstr(&buf, message);
3468
		format_display_notes(&commit->object.oid, &buf, encoding, 1);
3469 3470
	}

J
Jeff King 已提交
3471 3472 3473 3474 3475 3476 3477 3478
	/*
	 * Find either in the original commit message, or in the temporary.
	 * Note that we cast away the constness of "message" here. It is
	 * const because it may come from the cached commit buffer. That's OK,
	 * because we know that it is modifiable heap memory, and that while
	 * grep_buffer may modify it for speed, it will restore any
	 * changes before returning.
	 */
3479 3480 3481 3482
	if (buf.len)
		retval = grep_buffer(&opt->grep_filter, buf.buf, buf.len);
	else
		retval = grep_buffer(&opt->grep_filter,
J
Jeff King 已提交
3483
				     (char *)message, strlen(message));
3484
	strbuf_release(&buf);
3485
	unuse_commit_buffer(commit, message);
3486
	return opt->invert_grep ? !retval : retval;
3487 3488
}

3489
static inline int want_ancestry(const struct rev_info *revs)
3490
{
3491
	return (revs->rewrite_parents || revs->children.name);
3492 3493
}

3494 3495 3496 3497 3498 3499 3500 3501 3502 3503 3504 3505
/*
 * Return a timestamp to be used for --since/--until comparisons for this
 * commit, based on the revision options.
 */
static timestamp_t comparison_date(const struct rev_info *revs,
				   struct commit *commit)
{
	return revs->reflog_info ?
		get_reflog_timestamp(revs->reflog_info) :
		commit->date;
}

3506
enum commit_action get_commit_action(struct rev_info *revs, struct commit *commit)
L
Linus Torvalds 已提交
3507 3508 3509
{
	if (commit->object.flags & SHOWN)
		return commit_ignore;
3510
	if (revs->unpacked && has_object_pack(&commit->object.oid))
L
Linus Torvalds 已提交
3511 3512 3513
		return commit_ignore;
	if (commit->object.flags & UNINTERESTING)
		return commit_ignore;
3514 3515 3516
	if (revs->min_age != -1 &&
	    comparison_date(revs, commit) > revs->min_age)
			return commit_ignore;
3517
	if (revs->min_parents || (revs->max_parents >= 0)) {
3518
		int n = commit_list_count(commit->parents);
3519 3520 3521 3522
		if ((n < revs->min_parents) ||
		    ((revs->max_parents >= 0) && (n > revs->max_parents)))
			return commit_ignore;
	}
L
Linus Torvalds 已提交
3523 3524
	if (!commit_match(commit, revs))
		return commit_ignore;
L
Linus Torvalds 已提交
3525
	if (revs->prune && revs->dense) {
L
Linus Torvalds 已提交
3526
		/* Commit without changes? */
3527
		if (commit->object.flags & TREESAME) {
3528 3529
			int n;
			struct commit_list *p;
L
Linus Torvalds 已提交
3530
			/* drop merges unless we want parenthood */
3531
			if (!want_ancestry(revs))
L
Linus Torvalds 已提交
3532
				return commit_ignore;
3533 3534 3535 3536 3537 3538 3539 3540 3541 3542 3543 3544
			/*
			 * If we want ancestry, then need to keep any merges
			 * between relevant commits to tie together topology.
			 * For consistency with TREESAME and simplification
			 * use "relevant" here rather than just INTERESTING,
			 * to treat bottom commit(s) as part of the topology.
			 */
			for (n = 0, p = commit->parents; p; p = p->next)
				if (relevant_commit(p->item))
					if (++n >= 2)
						return commit_show;
			return commit_ignore;
L
Linus Torvalds 已提交
3545 3546 3547 3548 3549
		}
	}
	return commit_show;
}

3550 3551 3552 3553 3554 3555 3556 3557 3558 3559 3560 3561 3562 3563 3564 3565 3566 3567 3568 3569 3570 3571 3572 3573 3574 3575 3576 3577 3578 3579 3580 3581 3582 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593 3594 3595 3596 3597 3598 3599 3600 3601 3602 3603 3604
define_commit_slab(saved_parents, struct commit_list *);

#define EMPTY_PARENT_LIST ((struct commit_list *)-1)

/*
 * You may only call save_parents() once per commit (this is checked
 * for non-root commits).
 */
static void save_parents(struct rev_info *revs, struct commit *commit)
{
	struct commit_list **pp;

	if (!revs->saved_parents_slab) {
		revs->saved_parents_slab = xmalloc(sizeof(struct saved_parents));
		init_saved_parents(revs->saved_parents_slab);
	}

	pp = saved_parents_at(revs->saved_parents_slab, commit);

	/*
	 * When walking with reflogs, we may visit the same commit
	 * several times: once for each appearance in the reflog.
	 *
	 * In this case, save_parents() will be called multiple times.
	 * We want to keep only the first set of parents.  We need to
	 * store a sentinel value for an empty (i.e., NULL) parent
	 * list to distinguish it from a not-yet-saved list, however.
	 */
	if (*pp)
		return;
	if (commit->parents)
		*pp = copy_commit_list(commit->parents);
	else
		*pp = EMPTY_PARENT_LIST;
}

static void free_saved_parents(struct rev_info *revs)
{
	if (revs->saved_parents_slab)
		clear_saved_parents(revs->saved_parents_slab);
}

struct commit_list *get_saved_parents(struct rev_info *revs, const struct commit *commit)
{
	struct commit_list *parents;

	if (!revs->saved_parents_slab)
		return commit->parents;

	parents = *saved_parents_at(revs->saved_parents_slab, commit);
	if (parents == EMPTY_PARENT_LIST)
		return NULL;
	return parents;
}

3605 3606 3607 3608 3609 3610
enum commit_action simplify_commit(struct rev_info *revs, struct commit *commit)
{
	enum commit_action action = get_commit_action(revs, commit);

	if (action == commit_show &&
	    revs->prune && revs->dense && want_ancestry(revs)) {
3611 3612 3613 3614 3615 3616 3617 3618
		/*
		 * --full-diff on simplified parents is no good: it
		 * will show spurious changes from the commits that
		 * were elided.  So we save the parents on the side
		 * when --full-diff is in effect.
		 */
		if (revs->full_diff)
			save_parents(revs, commit);
B
Bo Yang 已提交
3619
		if (rewrite_parents(revs, commit, rewrite_one) < 0)
3620 3621 3622 3623 3624
			return commit_error;
	}
	return action;
}

3625 3626 3627 3628 3629 3630 3631 3632 3633
static void track_linear(struct rev_info *revs, struct commit *commit)
{
	if (revs->track_first_time) {
		revs->linear = 1;
		revs->track_first_time = 0;
	} else {
		struct commit_list *p;
		for (p = revs->previous_parents; p; p = p->next)
			if (p->item == NULL || /* first commit */
J
Jeff King 已提交
3634
			    oideq(&p->item->object.oid, &commit->object.oid))
3635 3636 3637 3638 3639 3640 3641 3642 3643 3644 3645
				break;
		revs->linear = p != NULL;
	}
	if (revs->reverse) {
		if (revs->linear)
			commit->object.flags |= TRACK_LINEAR;
	}
	free_commit_list(revs->previous_parents);
	revs->previous_parents = copy_commit_list(commit->parents);
}

J
Junio C Hamano 已提交
3646
static struct commit *get_revision_1(struct rev_info *revs)
3647
{
3648
	while (1) {
J
Jeff King 已提交
3649
		struct commit *commit;
3650

J
Jeff King 已提交
3651 3652
		if (revs->reflog_info)
			commit = next_reflog_entry(revs->reflog_info);
3653 3654
		else if (revs->topo_walk_info)
			commit = next_topo_commit(revs);
J
Jeff King 已提交
3655 3656
		else
			commit = pop_commit(&revs->commits);
3657

3658 3659 3660
		if (!commit)
			return NULL;

J
Jeff King 已提交
3661
		if (revs->reflog_info)
3662
			commit->object.flags &= ~(ADDED | SEEN | SHOWN);
3663

3664 3665
		/*
		 * If we haven't done the list limiting, we need to look at
3666 3667
		 * the parents here. We also need to do the date-based limiting
		 * that we'd otherwise have done in limit_list().
3668
		 */
3669
		if (!revs->limited) {
3670
			if (revs->max_age != -1 &&
3671
			    comparison_date(revs, commit) < revs->max_age)
3672
				continue;
J
Jeff King 已提交
3673 3674 3675

			if (revs->reflog_info)
				try_to_simplify_commit(revs, commit);
3676 3677
			else if (revs->topo_walk_info)
				expand_topo_walk(revs, commit);
3678
			else if (process_parents(revs, commit, &revs->commits, NULL) < 0) {
3679 3680
				if (!revs->ignore_missing_links)
					die("Failed to traverse parents of commit %s",
3681
						oid_to_hex(&commit->object.oid));
3682
			}
3683
		}
3684

L
Linus Torvalds 已提交
3685 3686
		switch (simplify_commit(revs, commit)) {
		case commit_ignore:
3687
			continue;
L
Linus Torvalds 已提交
3688
		case commit_error:
3689
			die("Failed to simplify parents of commit %s",
3690
			    oid_to_hex(&commit->object.oid));
L
Linus Torvalds 已提交
3691
		default:
3692 3693
			if (revs->track_linear)
				track_linear(revs, commit);
L
Linus Torvalds 已提交
3694
			return commit;
J
Junio C Hamano 已提交
3695
		}
3696
	}
3697
}
J
Junio C Hamano 已提交
3698

3699 3700 3701 3702 3703
/*
 * Return true for entries that have not yet been shown.  (This is an
 * object_array_each_func_t.)
 */
static int entry_unshown(struct object_array_entry *entry, void *cb_data_unused)
3704
{
3705 3706
	return !(entry->item->flags & SHOWN);
}
3707

3708 3709 3710 3711 3712 3713 3714 3715
/*
 * If array is on the verge of a realloc, garbage-collect any entries
 * that have already been shown to try to free up some space.
 */
static void gc_boundary(struct object_array *array)
{
	if (array->nr == array->alloc)
		object_array_filter(array, entry_unshown, NULL);
3716 3717
}

3718 3719 3720 3721 3722 3723 3724 3725 3726 3727 3728 3729 3730 3731 3732 3733 3734 3735 3736 3737 3738 3739 3740 3741 3742 3743 3744 3745 3746 3747 3748 3749 3750 3751 3752 3753 3754 3755
static void create_boundary_commit_list(struct rev_info *revs)
{
	unsigned i;
	struct commit *c;
	struct object_array *array = &revs->boundary_commits;
	struct object_array_entry *objects = array->objects;

	/*
	 * If revs->commits is non-NULL at this point, an error occurred in
	 * get_revision_1().  Ignore the error and continue printing the
	 * boundary commits anyway.  (This is what the code has always
	 * done.)
	 */
	if (revs->commits) {
		free_commit_list(revs->commits);
		revs->commits = NULL;
	}

	/*
	 * Put all of the actual boundary commits from revs->boundary_commits
	 * into revs->commits
	 */
	for (i = 0; i < array->nr; i++) {
		c = (struct commit *)(objects[i].item);
		if (!c)
			continue;
		if (!(c->object.flags & CHILD_SHOWN))
			continue;
		if (c->object.flags & (SHOWN | BOUNDARY))
			continue;
		c->object.flags |= BOUNDARY;
		commit_list_insert(c, &revs->commits);
	}

	/*
	 * If revs->topo_order is set, sort the boundary commits
	 * in topological order
	 */
J
Junio C Hamano 已提交
3756
	sort_in_topological_order(&revs->commits, revs->sort_order);
3757 3758
}

3759
static struct commit *get_revision_internal(struct rev_info *revs)
J
Junio C Hamano 已提交
3760 3761
{
	struct commit *c = NULL;
3762 3763 3764
	struct commit_list *l;

	if (revs->boundary == 2) {
3765 3766 3767 3768 3769 3770 3771 3772 3773
		/*
		 * All of the normal commits have already been returned,
		 * and we are now returning boundary commits.
		 * create_boundary_commit_list() has populated
		 * revs->commits with the remaining commits to return.
		 */
		c = pop_commit(&revs->commits);
		if (c)
			c->object.flags |= SHOWN;
3774 3775 3776
		return c;
	}

3777
	/*
3778 3779 3780 3781 3782 3783 3784 3785
	 * If our max_count counter has reached zero, then we are done. We
	 * don't simply return NULL because we still might need to show
	 * boundary commits. But we want to avoid calling get_revision_1, which
	 * might do a considerable amount of work finding the next commit only
	 * for us to throw it away.
	 *
	 * If it is non-zero, then either we don't have a max_count at all
	 * (-1), or it is still counting, in which case we decrement.
3786
	 */
3787 3788 3789
	if (revs->max_count) {
		c = get_revision_1(revs);
		if (c) {
F
Felipe Contreras 已提交
3790
			while (revs->skip_count > 0) {
3791 3792 3793 3794 3795
				revs->skip_count--;
				c = get_revision_1(revs);
				if (!c)
					break;
			}
3796
		}
3797

3798 3799
		if (revs->max_count > 0)
			revs->max_count--;
J
Junio C Hamano 已提交
3800
	}
3801

3802 3803 3804
	if (c)
		c->object.flags |= SHOWN;

F
Felipe Contreras 已提交
3805
	if (!revs->boundary)
J
Junio C Hamano 已提交
3806
		return c;
3807 3808 3809 3810 3811 3812 3813 3814

	if (!c) {
		/*
		 * get_revision_1() runs out the commits, and
		 * we are done computing the boundaries.
		 * switch to boundary commits output mode.
		 */
		revs->boundary = 2;
3815 3816 3817 3818 3819 3820 3821

		/*
		 * Update revs->commits to contain the list of
		 * boundary commits.
		 */
		create_boundary_commit_list(revs);

3822
		return get_revision_internal(revs);
3823 3824 3825 3826 3827 3828 3829 3830 3831 3832 3833 3834
	}

	/*
	 * boundary commits are the commits that are parents of the
	 * ones we got from get_revision_1() but they themselves are
	 * not returned from get_revision_1().  Before returning
	 * 'c', we need to mark its parents that they could be boundaries.
	 */

	for (l = c->parents; l; l = l->next) {
		struct object *p;
		p = &(l->item->object);
3835
		if (p->flags & (CHILD_SHOWN | SHOWN))
3836 3837 3838 3839 3840 3841 3842
			continue;
		p->flags |= CHILD_SHOWN;
		gc_boundary(&revs->boundary_commits);
		add_object_array(p, NULL, &revs->boundary_commits);
	}

	return c;
J
Junio C Hamano 已提交
3843
}
3844 3845 3846

struct commit *get_revision(struct rev_info *revs)
{
3847 3848 3849 3850 3851
	struct commit *c;
	struct commit_list *reversed;

	if (revs->reverse) {
		reversed = NULL;
F
Felipe Contreras 已提交
3852
		while ((c = get_revision_internal(revs)))
3853 3854 3855 3856 3857 3858
			commit_list_insert(c, &reversed);
		revs->commits = reversed;
		revs->reverse = 0;
		revs->reverse_output_stage = 1;
	}

3859 3860 3861 3862 3863 3864
	if (revs->reverse_output_stage) {
		c = pop_commit(&revs->commits);
		if (revs->track_linear)
			revs->linear = !!(c && c->object.flags & TRACK_LINEAR);
		return c;
	}
3865 3866

	c = get_revision_internal(revs);
3867 3868
	if (c && revs->graph)
		graph_update(revs->graph, c);
3869
	if (!c) {
3870
		free_saved_parents(revs);
3871 3872 3873 3874 3875
		if (revs->previous_parents) {
			free_commit_list(revs->previous_parents);
			revs->previous_parents = NULL;
		}
	}
3876 3877
	return c;
}
3878 3879 3880 3881 3882 3883 3884

char *get_revision_mark(const struct rev_info *revs, const struct commit *commit)
{
	if (commit->object.flags & BOUNDARY)
		return "-";
	else if (commit->object.flags & UNINTERESTING)
		return "^";
3885 3886
	else if (commit->object.flags & PATCHSAME)
		return "=";
3887 3888 3889 3890 3891 3892 3893
	else if (!revs || revs->left_right) {
		if (commit->object.flags & SYMMETRIC_LEFT)
			return "<";
		else
			return ">";
	} else if (revs->graph)
		return "*";
3894 3895
	else if (revs->cherry_mark)
		return "+";
3896 3897
	return "";
}
3898 3899 3900 3901 3902 3903 3904 3905 3906

void put_revision_mark(const struct rev_info *revs, const struct commit *commit)
{
	char *mark = get_revision_mark(revs, commit);
	if (!strlen(mark))
		return;
	fputs(mark, stdout);
	putchar(' ');
}