revision.c 58.8 KB
Newer Older
1 2 3 4 5
#include "cache.h"
#include "tag.h"
#include "blob.h"
#include "tree.h"
#include "commit.h"
6
#include "diff.h"
7 8
#include "refs.h"
#include "revision.h"
9
#include "graph.h"
10
#include "grep.h"
11
#include "reflog-walk.h"
J
Junio C Hamano 已提交
12
#include "patch-ids.h"
13
#include "decorate.h"
14
#include "log-tree.h"
15
#include "string-list.h"
16

17 18
volatile show_early_output_fn_t show_early_output;

19
char *path_name(const struct name_path *path, const char *name)
20
{
21
	const struct name_path *p;
22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42
	char *n, *m;
	int nlen = strlen(name);
	int len = nlen + 1;

	for (p = path; p; p = p->up) {
		if (p->elem_len)
			len += p->elem_len + 1;
	}
	n = xmalloc(len);
	m = n + len - (nlen + 1);
	strcpy(m, name);
	for (p = path; p; p = p->up) {
		if (p->elem_len) {
			m -= p->elem_len + 1;
			memcpy(m, p->elem, p->elem_len);
			m[p->elem_len] = '/';
		}
	}
	return n;
}

43 44 45 46
void add_object(struct object *obj,
		struct object_array *p,
		struct name_path *path,
		const char *name)
47
{
48
	add_object_array(obj, path_name(path, name), p);
49 50 51 52
}

static void mark_blob_uninteresting(struct blob *blob)
{
53 54
	if (!blob)
		return;
55 56 57 58 59 60 61
	if (blob->object.flags & UNINTERESTING)
		return;
	blob->object.flags |= UNINTERESTING;
}

void mark_tree_uninteresting(struct tree *tree)
{
62
	struct tree_desc desc;
63
	struct name_entry entry;
64 65
	struct object *obj = &tree->object;

66 67
	if (!tree)
		return;
68 69 70 71 72 73 74
	if (obj->flags & UNINTERESTING)
		return;
	obj->flags |= UNINTERESTING;
	if (!has_sha1_file(obj->sha1))
		return;
	if (parse_tree(tree) < 0)
		die("bad tree %s", sha1_to_hex(obj->sha1));
75

76
	init_tree_desc(&desc, tree->buffer, tree->size);
77
	while (tree_entry(&desc, &entry)) {
78 79
		switch (object_type(entry.mode)) {
		case OBJ_TREE:
80
			mark_tree_uninteresting(lookup_tree(entry.sha1));
81 82
			break;
		case OBJ_BLOB:
83
			mark_blob_uninteresting(lookup_blob(entry.sha1));
84 85 86 87 88
			break;
		default:
			/* Subproject commit - not in this repository */
			break;
		}
89
	}
90 91 92 93 94 95 96

	/*
	 * We don't care about the tree any more
	 * after it has been marked uninteresting.
	 */
	free(tree->buffer);
	tree->buffer = NULL;
97 98 99 100 101 102 103 104
}

void mark_parents_uninteresting(struct commit *commit)
{
	struct commit_list *parents = commit->parents;

	while (parents) {
		struct commit *commit = parents->item;
105 106
		if (!(commit->object.flags & UNINTERESTING)) {
			commit->object.flags |= UNINTERESTING;
107

108 109 110 111 112 113 114 115 116 117 118
			/*
			 * 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->parents)
				mark_parents_uninteresting(commit);
		}
119 120 121 122 123 124 125 126 127 128 129 130 131 132 133

		/*
		 * A missing commit is ok iff its parent is marked
		 * uninteresting.
		 *
		 * We just mark such a thing parsed, so that when
		 * it is popped next time around, we won't be trying
		 * to parse it and get an error.
		 */
		if (!has_sha1_file(commit->object.sha1))
			commit->object.parsed = 1;
		parents = parents->next;
	}
}

J
Junio C Hamano 已提交
134
static void add_pending_object_with_mode(struct rev_info *revs, struct object *obj, const char *name, unsigned mode)
135
{
L
Linus Torvalds 已提交
136
	if (revs->no_walk && (obj->flags & UNINTERESTING))
L
Linus Torvalds 已提交
137
		revs->no_walk = 0;
J
Junio C Hamano 已提交
138 139 140 141 142 143 144 145 146 147 148 149 150 151
	if (revs->reflog_info && obj->type == OBJ_COMMIT) {
		struct strbuf buf = STRBUF_INIT;
		int len = interpret_branch_name(name, &buf);
		int st;

		if (0 < len && name[len] && buf.len)
			strbuf_addstr(&buf, name + len);
		st = add_reflog_for_walk(revs->reflog_info,
					 (struct commit *)obj,
					 buf.buf[0] ? buf.buf: name);
		strbuf_release(&buf);
		if (st)
			return;
	}
152
	add_object_array_with_mode(obj, name, &revs->pending, mode);
153 154
}

J
Junio C Hamano 已提交
155 156 157 158 159
void add_pending_object(struct rev_info *revs, struct object *obj, const char *name)
{
	add_pending_object_with_mode(revs, obj, name, S_IFINVALID);
}

160 161 162 163 164 165 166 167 168 169 170 171
void add_head_to_pending(struct rev_info *revs)
{
	unsigned char sha1[20];
	struct object *obj;
	if (get_sha1("HEAD", sha1))
		return;
	obj = parse_object(sha1);
	if (!obj)
		return;
	add_pending_object(revs, obj, "HEAD");
}

172
static struct object *get_reference(struct rev_info *revs, const char *name, const unsigned char *sha1, unsigned int flags)
173 174 175 176 177 178
{
	struct object *object;

	object = parse_object(sha1);
	if (!object)
		die("bad object %s", name);
179 180 181 182 183 184 185
	object->flags |= flags;
	return object;
}

static struct commit *handle_commit(struct rev_info *revs, struct object *object, const char *name)
{
	unsigned long flags = object->flags;
186 187 188 189

	/*
	 * Tag object? Look what it points to..
	 */
190
	while (object->type == OBJ_TAG) {
191
		struct tag *tag = (struct tag *) object;
192
		if (revs->tag_objects && !(flags & UNINTERESTING))
193
			add_pending_object(revs, object, tag->tag);
194 195
		if (!tag->tagged)
			die("bad tag");
196
		object = parse_object(tag->tagged->sha1);
197 198 199
		if (!object) {
			if (flags & UNINTERESTING)
				return NULL;
200
			die("bad object %s", sha1_to_hex(tag->tagged->sha1));
201
		}
202 203 204 205 206 207
	}

	/*
	 * Commit object? Just return it, we'll do all the complex
	 * reachability crud.
	 */
208
	if (object->type == OBJ_COMMIT) {
209 210 211
		struct commit *commit = (struct commit *)object;
		if (parse_commit(commit) < 0)
			die("unable to parse commit %s", name);
212
		if (flags & UNINTERESTING) {
213
			commit->object.flags |= UNINTERESTING;
214
			mark_parents_uninteresting(commit);
215 216
			revs->limited = 1;
		}
217 218
		if (revs->show_source && !commit->util)
			commit->util = (void *) name;
219 220 221 222
		return commit;
	}

	/*
M
Mike Ralphson 已提交
223
	 * Tree object? Either mark it uninteresting, or add it
224 225
	 * to the list of objects to look at later..
	 */
226
	if (object->type == OBJ_TREE) {
227 228 229 230 231 232 233 234 235 236 237 238 239 240
		struct tree *tree = (struct tree *)object;
		if (!revs->tree_objects)
			return NULL;
		if (flags & UNINTERESTING) {
			mark_tree_uninteresting(tree);
			return NULL;
		}
		add_pending_object(revs, object, "");
		return NULL;
	}

	/*
	 * Blob object? You know the drill by now..
	 */
241
	if (object->type == OBJ_BLOB) {
242 243 244 245 246 247 248 249 250 251 252 253 254
		struct blob *blob = (struct blob *)object;
		if (!revs->blob_objects)
			return NULL;
		if (flags & UNINTERESTING) {
			mark_blob_uninteresting(blob);
			return NULL;
		}
		add_pending_object(revs, object, "");
		return NULL;
	}
	die("%s is unknown object", name);
}

255 256 257 258 259 260 261 262 263 264 265 266 267
static int everybody_uninteresting(struct commit_list *orig)
{
	struct commit_list *list = orig;
	while (list) {
		struct commit *commit = list->item;
		list = list->next;
		if (commit->object.flags & UNINTERESTING)
			continue;
		return 0;
	}
	return 1;
}

268 269
/*
 * The goal is to get REV_TREE_NEW as the result only if the
270 271 272 273 274 275
 * 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).
 * That means that once we get to REV_TREE_DIFFERENT, we do not
 * have to look any further.
276
 */
277
static int tree_difference = REV_TREE_SAME;
278 279 280 281

static void file_add_remove(struct diff_options *options,
		    int addremove, unsigned mode,
		    const unsigned char *sha1,
282
		    const char *fullpath, unsigned dirty_submodule)
283
{
284
	int diff = addremove == '+' ? REV_TREE_NEW : REV_TREE_OLD;
285

286
	tree_difference |= diff;
287
	if (tree_difference == REV_TREE_DIFFERENT)
288
		DIFF_OPT_SET(options, HAS_CHANGES);
289 290 291 292 293 294
}

static void file_change(struct diff_options *options,
		 unsigned old_mode, unsigned new_mode,
		 const unsigned char *old_sha1,
		 const unsigned char *new_sha1,
295 296
		 const char *fullpath,
		 unsigned old_dirty_submodule, unsigned new_dirty_submodule)
297
{
298
	tree_difference = REV_TREE_DIFFERENT;
299
	DIFF_OPT_SET(options, HAS_CHANGES);
300 301
}

302
static int rev_compare_tree(struct rev_info *revs, struct commit *parent, struct commit *commit)
303
{
304 305 306
	struct tree *t1 = parent->tree;
	struct tree *t2 = commit->tree;

307
	if (!t1)
308
		return REV_TREE_NEW;
309 310
	if (!t2)
		return REV_TREE_OLD;
311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328

	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.
		 */
		if (lookup_decoration(&name_decoration, &commit->object))
			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.
		 */
		if (!revs->prune_data)
			return REV_TREE_SAME;
	}
329

330
	tree_difference = REV_TREE_SAME;
331
	DIFF_OPT_CLR(&revs->pruning, HAS_CHANGES);
332
	if (diff_tree_sha1(t1->object.sha1, t2->object.sha1, "",
333
			   &revs->pruning) < 0)
334
		return REV_TREE_DIFFERENT;
335 336 337
	return tree_difference;
}

338
static int rev_same_tree_as_empty(struct rev_info *revs, struct commit *commit)
339 340 341
{
	int retval;
	void *tree;
342
	unsigned long size;
343
	struct tree_desc empty, real;
344
	struct tree *t1 = commit->tree;
345 346 347 348

	if (!t1)
		return 0;

349
	tree = read_object_with_reference(t1->object.sha1, tree_type, &size, NULL);
350 351
	if (!tree)
		return 0;
352 353
	init_tree_desc(&real, tree, size);
	init_tree_desc(&empty, "", 0);
354

355
	tree_difference = REV_TREE_SAME;
356
	DIFF_OPT_CLR(&revs->pruning, HAS_CHANGES);
357
	retval = diff_tree(&empty, &real, "", &revs->pruning);
358 359
	free(tree);

360
	return retval >= 0 && (tree_difference == REV_TREE_SAME);
361 362 363 364 365
}

static void try_to_simplify_commit(struct rev_info *revs, struct commit *commit)
{
	struct commit_list **pp, *parent;
L
Linus Torvalds 已提交
366
	int tree_changed = 0, tree_same = 0;
367

L
Linus Torvalds 已提交
368 369 370
	/*
	 * If we don't do pruning, everything is interesting
	 */
371
	if (!revs->prune)
L
Linus Torvalds 已提交
372 373
		return;

374 375 376 377
	if (!commit->tree)
		return;

	if (!commit->parents) {
378
		if (rev_same_tree_as_empty(revs, commit))
379
			commit->object.flags |= TREESAME;
380 381 382
		return;
	}

L
Linus Torvalds 已提交
383 384 385 386
	/*
	 * Normal non-merge commit? If we don't want to make the
	 * history dense, we consider it always to be a change..
	 */
387
	if (!revs->dense && !commit->parents->next)
L
Linus Torvalds 已提交
388 389
		return;

390 391 392 393
	pp = &commit->parents;
	while ((parent = *pp) != NULL) {
		struct commit *p = parent->item;

394 395 396 397
		if (parse_commit(p) < 0)
			die("cannot simplify commit %s (because of %s)",
			    sha1_to_hex(commit->object.sha1),
			    sha1_to_hex(p->object.sha1));
398
		switch (rev_compare_tree(revs, p, commit)) {
399
		case REV_TREE_SAME:
L
Linus Torvalds 已提交
400
			tree_same = 1;
L
Linus Torvalds 已提交
401
			if (!revs->simplify_history || (p->object.flags & UNINTERESTING)) {
402 403 404 405 406 407 408 409 410
				/* 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.
				 */
				pp = &parent->next;
				continue;
			}
411 412
			parent->next = NULL;
			commit->parents = parent;
413
			commit->object.flags |= TREESAME;
414 415
			return;

416 417
		case REV_TREE_NEW:
			if (revs->remove_empty_trees &&
418
			    rev_same_tree_as_empty(revs, p)) {
419 420 421 422 423 424 425
				/* 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.
426
				 */
427 428 429 430
				if (parse_commit(p) < 0)
					die("cannot simplify commit %s (invalid %s)",
					    sha1_to_hex(commit->object.sha1),
					    sha1_to_hex(p->object.sha1));
431
				p->parents = NULL;
432 433
			}
		/* fallthrough */
434
		case REV_TREE_OLD:
435
		case REV_TREE_DIFFERENT:
436
			tree_changed = 1;
437 438 439 440 441
			pp = &parent->next;
			continue;
		}
		die("bad tree compare for commit %s", sha1_to_hex(commit->object.sha1));
	}
L
Linus Torvalds 已提交
442
	if (tree_changed && !tree_same)
443 444
		return;
	commit->object.flags |= TREESAME;
445 446
}

447
static void commit_list_insert_by_date_cached(struct commit *p, struct commit_list **head,
448 449 450 451 452
		    struct commit_list *cached_base, struct commit_list **cache)
{
	struct commit_list *new_entry;

	if (cached_base && p->date < cached_base->item->date)
453
		new_entry = commit_list_insert_by_date(p, &cached_base->next);
454
	else
455
		new_entry = commit_list_insert_by_date(p, head);
456 457 458 459 460 461 462

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

static int add_parents_to_list(struct rev_info *revs, struct commit *commit,
		    struct commit_list **list, struct commit_list **cache_ptr)
463 464
{
	struct commit_list *parent = commit->parents;
J
Junio C Hamano 已提交
465
	unsigned left_flag;
466
	struct commit_list *cached_base = cache_ptr ? *cache_ptr : NULL;
467

468
	if (commit->object.flags & ADDED)
469
		return 0;
470 471
	commit->object.flags |= ADDED;

472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487
	/*
	 * 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;
488 489
			if (p)
				p->object.flags |= UNINTERESTING;
490
			if (parse_commit(p) < 0)
491
				continue;
492 493 494 495 496
			if (p->parents)
				mark_parents_uninteresting(p);
			if (p->object.flags & SEEN)
				continue;
			p->object.flags |= SEEN;
497
			commit_list_insert_by_date_cached(p, list, cached_base, cache_ptr);
498
		}
499
		return 0;
500 501 502 503 504 505 506
	}

	/*
	 * 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 已提交
507
	try_to_simplify_commit(revs, commit);
508

L
Linus Torvalds 已提交
509
	if (revs->no_walk)
510
		return 0;
L
Linus Torvalds 已提交
511

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

514
	for (parent = commit->parents; parent; parent = parent->next) {
515 516
		struct commit *p = parent->item;

517 518
		if (parse_commit(p) < 0)
			return -1;
519 520
		if (revs->show_source && !p->util)
			p->util = commit->util;
J
Junio C Hamano 已提交
521
		p->object.flags |= left_flag;
522 523
		if (!(p->object.flags & SEEN)) {
			p->object.flags |= SEEN;
524
			commit_list_insert_by_date_cached(p, list, cached_base, cache_ptr);
525
		}
J
Junio C Hamano 已提交
526
		if (revs->first_parent_only)
527
			break;
528
	}
529
	return 0;
530 531
}

532
static void cherry_pick_list(struct commit_list *list, struct rev_info *revs)
J
Junio C Hamano 已提交
533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550
{
	struct commit_list *p;
	int left_count = 0, right_count = 0;
	int left_first;
	struct patch_ids ids;

	/* 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++;
	}

551 552 553
	if (!left_count || !right_count)
		return;

J
Junio C Hamano 已提交
554 555
	left_first = left_count < right_count;
	init_patch_ids(&ids);
556 557 558 559 560
	if (revs->diffopt.nr_paths) {
		ids.diffopts.nr_paths = revs->diffopt.nr_paths;
		ids.diffopts.paths = revs->diffopt.paths;
		ids.diffopts.pathlens = revs->diffopt.pathlens;
	}
J
Junio C Hamano 已提交
561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619

	/* 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;
		commit->util = add_commit_patch_id(commit, &ids);
	}

	/* 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;
		id->seen = 1;
		commit->object.flags |= SHOWN;
	}

	/* Now check the original side for seen ones */
	for (p = list; p; p = p->next) {
		struct commit *commit = p->item;
		struct patch_id *ent;

		ent = commit->util;
		if (!ent)
			continue;
		if (ent->seen)
			commit->object.flags |= SHOWN;
		commit->util = NULL;
	}

	free_patch_ids(&ids);
}

620 621 622 623
/* How many extra uninteresting commits we want to see.. */
#define SLOP 5

static int still_interesting(struct commit_list *src, unsigned long date, int slop)
624
{
625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646
	/*
	 * 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.
	 */
	if (date < src->item->date)
		return SLOP;

	/*
	 * Does the source list still have interesting commits in
	 * it? Definitely not done..
	 */
	if (!everybody_uninteresting(src))
		return SLOP;

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

J
Junio C Hamano 已提交
649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 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
/*
 * "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.
 */
static struct commit_list *collect_bottom_commits(struct commit_list *list)
{
	struct commit_list *elem, *bottom = NULL;
	for (elem = list; elem; elem = elem->next)
		if (elem->item->object.flags & UNINTERESTING)
			commit_list_insert(elem->item, &bottom);
	return bottom;
}

736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752
/* 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;
	}
}

753
static int limit_list(struct rev_info *revs)
754
{
755 756
	int slop = SLOP;
	unsigned long date = ~0ul;
757 758 759
	struct commit_list *list = revs->commits;
	struct commit_list *newlist = NULL;
	struct commit_list **p = &newlist;
J
Junio C Hamano 已提交
760 761 762 763 764
	struct commit_list *bottom = NULL;

	if (revs->ancestry_path) {
		bottom = collect_bottom_commits(list);
		if (!bottom)
765
			die("--ancestry-path given but there are no bottom commits");
J
Junio C Hamano 已提交
766
	}
767 768 769 770 771

	while (list) {
		struct commit_list *entry = list;
		struct commit *commit = list->item;
		struct object *obj = &commit->object;
772
		show_early_output_fn_t show;
773 774 775 776 777 778

		list = list->next;
		free(entry);

		if (revs->max_age != -1 && (commit->date < revs->max_age))
			obj->flags |= UNINTERESTING;
779
		if (add_parents_to_list(revs, commit, &list, NULL) < 0)
780
			return -1;
781 782
		if (obj->flags & UNINTERESTING) {
			mark_parents_uninteresting(commit);
783 784 785 786
			if (revs->show_all)
				p = &commit_list_insert(commit, p)->next;
			slop = still_interesting(list, date, slop);
			if (slop)
787
				continue;
788 789 790 791
			/* If showing all, add the whole pending list to the end */
			if (revs->show_all)
				*p = list;
			break;
792 793 794
		}
		if (revs->min_age != -1 && (commit->date > revs->min_age))
			continue;
795
		date = commit->date;
796
		p = &commit_list_insert(commit, p)->next;
797 798 799 800 801 802 803

		show = show_early_output;
		if (!show)
			continue;

		show(revs, newlist);
		show_early_output = NULL;
804
	}
J
Junio C Hamano 已提交
805
	if (revs->cherry_pick)
806
		cherry_pick_list(newlist, revs);
J
Junio C Hamano 已提交
807

808 809 810
	if (revs->left_only || revs->right_only)
		limit_left_right(newlist, revs);

J
Junio C Hamano 已提交
811 812 813 814 815
	if (bottom) {
		limit_to_ancestry(bottom, newlist);
		free_commit_list(bottom);
	}

816
	revs->commits = newlist;
817
	return 0;
818 819
}

820 821
struct all_refs_cb {
	int all_flags;
822
	int warned_bad_reflog;
823 824 825
	struct rev_info *all_revs;
	const char *name_for_errormsg;
};
826

827
static int handle_one_ref(const char *path, const unsigned char *sha1, int flag, void *cb_data)
828
{
829 830 831
	struct all_refs_cb *cb = cb_data;
	struct object *object = get_reference(cb->all_revs, path, sha1,
					      cb->all_flags);
832
	add_pending_object(cb->all_revs, object, path);
833 834 835
	return 0;
}

I
Ilari Liusvaara 已提交
836 837 838 839 840 841 842
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;
}

843 844
static void handle_refs(const char *submodule, struct rev_info *revs, unsigned flags,
		int (*for_each)(const char *, each_ref_fn, void *))
845
{
846
	struct all_refs_cb cb;
I
Ilari Liusvaara 已提交
847
	init_all_refs_cb(&cb, revs, flags);
848
	for_each(submodule, handle_one_ref, &cb);
849 850
}

851
static void handle_one_reflog_commit(unsigned char *sha1, void *cb_data)
852 853
{
	struct all_refs_cb *cb = cb_data;
854 855 856 857 858 859 860
	if (!is_null_sha1(sha1)) {
		struct object *o = parse_object(sha1);
		if (o) {
			o->flags |= cb->all_flags;
			add_pending_object(cb->all_revs, o, "");
		}
		else if (!cb->warned_bad_reflog) {
861
			warning("reflog of '%s' references pruned commits",
862 863 864
				cb->name_for_errormsg);
			cb->warned_bad_reflog = 1;
		}
865
	}
866 867
}

868 869 870
static int handle_one_reflog_ent(unsigned char *osha1, unsigned char *nsha1,
		const char *email, unsigned long timestamp, int tz,
		const char *message, void *cb_data)
871 872 873
{
	handle_one_reflog_commit(osha1, cb_data);
	handle_one_reflog_commit(nsha1, cb_data);
874 875 876 877 878 879
	return 0;
}

static int handle_one_reflog(const char *path, const unsigned char *sha1, int flag, void *cb_data)
{
	struct all_refs_cb *cb = cb_data;
880
	cb->warned_bad_reflog = 0;
881 882 883 884 885 886 887 888 889 890
	cb->name_for_errormsg = path;
	for_each_reflog_ent(path, handle_one_reflog_ent, cb_data);
	return 0;
}

static void handle_reflog(struct rev_info *revs, unsigned flags)
{
	struct all_refs_cb cb;
	cb.all_revs = revs;
	cb.all_flags = flags;
891
	for_each_reflog(handle_one_reflog, &cb);
892 893
}

894 895 896 897 898 899 900 901 902 903 904 905 906 907 908
static int add_parents_only(struct rev_info *revs, const char *arg, int flags)
{
	unsigned char sha1[20];
	struct object *it;
	struct commit *commit;
	struct commit_list *parents;

	if (*arg == '^') {
		flags ^= UNINTERESTING;
		arg++;
	}
	if (get_sha1(arg, sha1))
		return 0;
	while (1) {
		it = get_reference(revs, arg, sha1, 0);
909
		if (it->type != OBJ_TAG)
910
			break;
911 912
		if (!((struct tag*)it)->tagged)
			return 0;
913
		hashcpy(sha1, ((struct tag*)it)->tagged->sha1);
914
	}
915
	if (it->type != OBJ_COMMIT)
916 917 918 919 920 921 922 923 924 925
		return 0;
	commit = (struct commit *)it;
	for (parents = commit->parents; parents; parents = parents->next) {
		it = &parents->item->object;
		it->flags |= flags;
		add_pending_object(revs, it, arg);
	}
	return 1;
}

926
void init_revisions(struct rev_info *revs, const char *prefix)
927 928
{
	memset(revs, 0, sizeof(*revs));
929

930
	revs->abbrev = DEFAULT_ABBREV;
931
	revs->ignore_merges = 1;
L
Linus Torvalds 已提交
932
	revs->simplify_history = 1;
933
	DIFF_OPT_SET(&revs->pruning, RECURSIVE);
934
	DIFF_OPT_SET(&revs->pruning, QUICK);
935 936
	revs->pruning.add_remove = file_add_remove;
	revs->pruning.change = file_change;
937 938
	revs->lifo = 1;
	revs->dense = 1;
939
	revs->prefix = prefix;
940 941
	revs->max_age = -1;
	revs->min_age = -1;
J
Junio C Hamano 已提交
942
	revs->skip_count = -1;
943 944
	revs->max_count = -1;

945 946
	revs->commit_format = CMIT_FMT_DEFAULT;

J
Jeff King 已提交
947 948
	revs->grep_filter.status_only = 1;
	revs->grep_filter.pattern_tail = &(revs->grep_filter.pattern_list);
949
	revs->grep_filter.header_tail = &(revs->grep_filter.header_list);
J
Jeff King 已提交
950 951
	revs->grep_filter.regflags = REG_NEWLINE;

952
	diff_setup(&revs->diffopt);
953
	if (prefix && !revs->diffopt.prefix) {
954 955 956
		revs->diffopt.prefix = prefix;
		revs->diffopt.prefix_length = strlen(prefix);
	}
957 958
}

R
Rene Scharfe 已提交
959 960 961 962 963 964 965 966 967 968 969 970
static void add_pending_commit_list(struct rev_info *revs,
                                    struct commit_list *commit_list,
                                    unsigned int flags)
{
	while (commit_list) {
		struct object *object = &commit_list->item->object;
		object->flags |= flags;
		add_pending_object(revs, object, sha1_to_hex(object->sha1));
		commit_list = commit_list->next;
	}
}

971 972 973 974 975 976 977 978 979 980 981 982 983 984 985
static void prepare_show_merge(struct rev_info *revs)
{
	struct commit_list *bases;
	struct commit *head, *other;
	unsigned char sha1[20];
	const char **prune = NULL;
	int i, prune_num = 1; /* counting terminating NULL */

	if (get_sha1("HEAD", sha1) || !(head = lookup_commit(sha1)))
		die("--merge without HEAD?");
	if (get_sha1("MERGE_HEAD", sha1) || !(other = lookup_commit(sha1)))
		die("--merge without MERGE_HEAD?");
	add_pending_object(revs, &head->object, "HEAD");
	add_pending_object(revs, &other->object, "MERGE_HEAD");
	bases = get_merge_bases(head, other, 1);
986 987 988
	add_pending_commit_list(revs, bases, UNINTERESTING);
	free_commit_list(bases);
	head->object.flags |= SYMMETRIC_LEFT;
989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006

	if (!active_nr)
		read_cache();
	for (i = 0; i < active_nr; i++) {
		struct cache_entry *ce = active_cache[i];
		if (!ce_stage(ce))
			continue;
		if (ce_path_match(ce, revs->prune_data)) {
			prune_num++;
			prune = xrealloc(prune, sizeof(*prune) * prune_num);
			prune[prune_num-2] = ce->name;
			prune[prune_num-1] = NULL;
		}
		while ((i+1 < active_nr) &&
		       ce_same_name(ce, active_cache[i+1]))
			i++;
	}
	revs->prune_data = prune;
1007
	revs->limited = 1;
1008 1009
}

1010 1011 1012 1013
int handle_revision_arg(const char *arg, struct rev_info *revs,
			int flags,
			int cant_be_filename)
{
1014
	unsigned mode;
1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058
	char *dotdot;
	struct object *object;
	unsigned char sha1[20];
	int local_flags;

	dotdot = strstr(arg, "..");
	if (dotdot) {
		unsigned char from_sha1[20];
		const char *next = dotdot + 2;
		const char *this = arg;
		int symmetric = *next == '.';
		unsigned int flags_exclude = flags ^ UNINTERESTING;

		*dotdot = 0;
		next += symmetric;

		if (!*next)
			next = "HEAD";
		if (dotdot == arg)
			this = "HEAD";
		if (!get_sha1(this, from_sha1) &&
		    !get_sha1(next, sha1)) {
			struct commit *a, *b;
			struct commit_list *exclude;

			a = lookup_commit_reference(from_sha1);
			b = lookup_commit_reference(sha1);
			if (!a || !b) {
				die(symmetric ?
				    "Invalid symmetric difference expression %s...%s" :
				    "Invalid revision range %s..%s",
				    arg, next);
			}

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

			if (symmetric) {
				exclude = get_merge_bases(a, b, 1);
				add_pending_commit_list(revs, exclude,
							flags_exclude);
				free_commit_list(exclude);
J
Junio C Hamano 已提交
1059
				a->object.flags |= flags | SYMMETRIC_LEFT;
1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075
			} else
				a->object.flags |= flags_exclude;
			b->object.flags |= flags;
			add_pending_object(revs, &a->object, this);
			add_pending_object(revs, &b->object, next);
			return 0;
		}
		*dotdot = '.';
	}
	dotdot = strstr(arg, "^@");
	if (dotdot && !dotdot[2]) {
		*dotdot = 0;
		if (add_parents_only(revs, arg, flags))
			return 0;
		*dotdot = '^';
	}
1076 1077 1078 1079 1080 1081 1082
	dotdot = strstr(arg, "^!");
	if (dotdot && !dotdot[2]) {
		*dotdot = 0;
		if (!add_parents_only(revs, arg, flags ^ UNINTERESTING))
			*dotdot = '^';
	}

1083 1084 1085 1086 1087
	local_flags = 0;
	if (*arg == '^') {
		local_flags = UNINTERESTING;
		arg++;
	}
1088
	if (get_sha1_with_mode(arg, sha1, &mode))
1089 1090 1091 1092
		return -1;
	if (!cant_be_filename)
		verify_non_filename(revs->prefix, arg);
	object = get_reference(revs, arg, sha1, flags ^ local_flags);
1093
	add_pending_object_with_mode(revs, object, arg, mode);
1094 1095 1096
	return 0;
}

1097
static void read_pathspec_from_stdin(struct rev_info *revs, struct strbuf *sb, const char ***prune_data)
1098
{
1099 1100 1101
	const char **prune = *prune_data;
	int prune_nr;
	int prune_alloc;
1102

1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125
	/* count existing ones */
	if (!prune)
		prune_nr = 0;
	else
		for (prune_nr = 0; prune[prune_nr]; prune_nr++)
			;
	prune_alloc = prune_nr; /* not really, but we do not know */

	while (strbuf_getwholeline(sb, stdin, '\n') != EOF) {
		int len = sb->len;
		if (len && sb->buf[len - 1] == '\n')
			sb->buf[--len] = '\0';
		ALLOC_GROW(prune, prune_nr+1, prune_alloc);
		prune[prune_nr++] = xstrdup(sb->buf);
	}
	if (prune) {
		ALLOC_GROW(prune, prune_nr+1, prune_alloc);
		prune[prune_nr] = NULL;
	}
	*prune_data = prune;
}

static void read_revisions_from_stdin(struct rev_info *revs, const char ***prune)
1126
{
1127
	struct strbuf sb;
1128
	int seen_dashdash = 0;
1129

1130 1131 1132 1133 1134
	strbuf_init(&sb, 1000);
	while (strbuf_getwholeline(&sb, stdin, '\n') != EOF) {
		int len = sb.len;
		if (len && sb.buf[len - 1] == '\n')
			sb.buf[--len] = '\0';
1135 1136
		if (!len)
			break;
1137 1138 1139 1140 1141
		if (sb.buf[0] == '-') {
			if (len == 2 && sb.buf[1] == '-') {
				seen_dashdash = 1;
				break;
			}
1142
			die("options not supported in --stdin mode");
1143
		}
1144 1145
		if (handle_revision_arg(sb.buf, revs, 0, 1))
			die("bad revision '%s'", sb.buf);
1146
	}
1147 1148
	if (seen_dashdash)
		read_pathspec_from_stdin(revs, &sb, prune);
1149
	strbuf_release(&sb);
1150 1151
}

1152
static void add_grep(struct rev_info *revs, const char *ptn, enum grep_pat_token what)
1153
{
J
Jeff King 已提交
1154
	append_grep_pattern(&revs->grep_filter, ptn, "command line", 0, what);
1155 1156
}

1157
static void add_header_grep(struct rev_info *revs, enum grep_header_field field, const char *pattern)
1158
{
1159
	append_header_grep_pattern(&revs->grep_filter, field, pattern);
1160 1161 1162 1163
}

static void add_message_grep(struct rev_info *revs, const char *pattern)
{
1164
	add_grep(revs, pattern, GREP_PATTERN_BODY);
1165 1166
}

1167 1168
static int handle_revision_opt(struct rev_info *revs, int argc, const char **argv,
			       int *unkc, const char **unkv)
1169 1170
{
	const char *arg = argv[0];
1171 1172
	const char *optarg;
	int argcount;
1173 1174 1175 1176 1177

	/* pseudo revision arguments */
	if (!strcmp(arg, "--all") || !strcmp(arg, "--branches") ||
	    !strcmp(arg, "--tags") || !strcmp(arg, "--remotes") ||
	    !strcmp(arg, "--reflog") || !strcmp(arg, "--not") ||
1178 1179
	    !strcmp(arg, "--no-walk") || !strcmp(arg, "--do-walk") ||
	    !strcmp(arg, "--bisect"))
1180 1181
	{
		unkv[(*unkc)++] = arg;
1182
		return 1;
1183 1184
	}

1185 1186
	if ((argcount = parse_long_opt("max-count", argv, &optarg))) {
		revs->max_count = atoi(optarg);
1187
		revs->no_walk = 0;
1188 1189 1190 1191
		return argcount;
	} else if ((argcount = parse_long_opt("skip", argv, &optarg))) {
		revs->skip_count = atoi(optarg);
		return argcount;
1192 1193 1194
	} else if ((*arg == '-') && isdigit(arg[1])) {
	/* accept -<digit>, like traditional "head" */
		revs->max_count = atoi(arg + 1);
1195
		revs->no_walk = 0;
1196 1197 1198 1199
	} else if (!strcmp(arg, "-n")) {
		if (argc <= 1)
			return error("-n requires an argument");
		revs->max_count = atoi(argv[1]);
1200
		revs->no_walk = 0;
1201 1202 1203
		return 2;
	} else if (!prefixcmp(arg, "-n")) {
		revs->max_count = atoi(arg + 2);
1204
		revs->no_walk = 0;
1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222
	} 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;
1223 1224
	} else if (!strcmp(arg, "--first-parent")) {
		revs->first_parent_only = 1;
J
Junio C Hamano 已提交
1225 1226
	} else if (!strcmp(arg, "--ancestry-path")) {
		revs->ancestry_path = 1;
1227
		revs->simplify_history = 0;
J
Junio C Hamano 已提交
1228
		revs->limited = 1;
1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240
	} 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")) {
		revs->lifo = 1;
		revs->topo_order = 1;
1241 1242 1243 1244 1245
	} else if (!strcmp(arg, "--simplify-merges")) {
		revs->simplify_merges = 1;
		revs->rewrite_parents = 1;
		revs->simplify_history = 0;
		revs->limited = 1;
1246 1247 1248 1249 1250 1251 1252
	} else if (!strcmp(arg, "--simplify-by-decoration")) {
		revs->simplify_merges = 1;
		revs->rewrite_parents = 1;
		revs->simplify_history = 0;
		revs->simplify_by_decoration = 1;
		revs->limited = 1;
		revs->prune = 1;
1253
		load_ref_decorations(DECORATE_SHORT_REFS);
1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277
	} else if (!strcmp(arg, "--date-order")) {
		revs->lifo = 0;
		revs->topo_order = 1;
	} else if (!prefixcmp(arg, "--early-output")) {
		int count = 100;
		switch (arg[14]) {
		case '=':
			count = atoi(arg+15);
			/* Fallthrough */
		case 0:
			revs->topo_order = 1;
		       revs->early_output = count;
		}
	} 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;
	} else if (!strcmp(arg, "--show-all")) {
		revs->show_all = 1;
	} else if (!strcmp(arg, "--remove-empty")) {
		revs->remove_empty_trees = 1;
1278 1279
	} else if (!strcmp(arg, "--merges")) {
		revs->merges_only = 1;
1280 1281 1282 1283 1284 1285
	} else if (!strcmp(arg, "--no-merges")) {
		revs->no_merges = 1;
	} else if (!strcmp(arg, "--boundary")) {
		revs->boundary = 1;
	} else if (!strcmp(arg, "--left-right")) {
		revs->left_right = 1;
1286
	} else if (!strcmp(arg, "--left-only")) {
1287 1288
		if (revs->right_only)
			die("--left-only is incompatible with --right-only");
1289 1290
		revs->left_only = 1;
	} else if (!strcmp(arg, "--right-only")) {
1291 1292
		if (revs->left_only)
			die("--right-only is incompatible with --left-only");
1293
		revs->right_only = 1;
T
Thomas Rast 已提交
1294 1295
	} else if (!strcmp(arg, "--count")) {
		revs->count = 1;
1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309
	} else if (!strcmp(arg, "--cherry-pick")) {
		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;
	} else if (!strcmp(arg, "--unpacked")) {
		revs->unpacked = 1;
J
Junio C Hamano 已提交
1310 1311
	} else if (!prefixcmp(arg, "--unpacked=")) {
		die("--unpacked=<packfile> no longer supported.");
1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332
	} else if (!strcmp(arg, "-r")) {
		revs->diff = 1;
		DIFF_OPT_SET(&revs->diffopt, RECURSIVE);
	} else if (!strcmp(arg, "-t")) {
		revs->diff = 1;
		DIFF_OPT_SET(&revs->diffopt, RECURSIVE);
		DIFF_OPT_SET(&revs->diffopt, TREE_IN_RECURSIVE);
	} 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;
1333
		revs->pretty_given = 1;
1334
		get_commit_format(arg+8, revs);
1335
	} else if (!prefixcmp(arg, "--pretty=") || !prefixcmp(arg, "--format=")) {
1336 1337 1338 1339
		/*
		 * Detached form ("--pretty X" as opposed to "--pretty=X")
		 * not allowed, since the argument is optional.
		 */
1340
		revs->verbose_header = 1;
1341
		revs->pretty_given = 1;
1342
		get_commit_format(arg+9, revs);
1343 1344 1345
	} else if (!strcmp(arg, "--show-notes")) {
		revs->show_notes = 1;
		revs->show_notes_given = 1;
1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358
	} else if (!prefixcmp(arg, "--show-notes=")) {
		struct strbuf buf = STRBUF_INIT;
		revs->show_notes = 1;
		revs->show_notes_given = 1;
		if (!revs->notes_opt.extra_notes_refs)
			revs->notes_opt.extra_notes_refs = xcalloc(1, sizeof(struct string_list));
		if (!prefixcmp(arg+13, "refs/"))
			/* happy */;
		else if (!prefixcmp(arg+13, "notes/"))
			strbuf_addstr(&buf, "refs/");
		else
			strbuf_addstr(&buf, "refs/notes/");
		strbuf_addstr(&buf, arg+13);
1359 1360
		string_list_append(revs->notes_opt.extra_notes_refs,
				   strbuf_detach(&buf, NULL));
1361 1362 1363
	} else if (!strcmp(arg, "--no-notes")) {
		revs->show_notes = 0;
		revs->show_notes_given = 1;
1364 1365 1366 1367 1368
	} else if (!strcmp(arg, "--standard-notes")) {
		revs->show_notes_given = 1;
		revs->notes_opt.suppress_default_notes = 0;
	} else if (!strcmp(arg, "--no-standard-notes")) {
		revs->notes_opt.suppress_default_notes = 1;
1369 1370 1371
	} else if (!strcmp(arg, "--oneline")) {
		revs->verbose_header = 1;
		get_commit_format("oneline", revs);
1372
		revs->pretty_given = 1;
1373
		revs->abbrev_commit = 1;
1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402
	} 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;
	} else if (!prefixcmp(arg, "--abbrev=")) {
		revs->abbrev = strtoul(arg + 9, NULL, 10);
		if (revs->abbrev < MINIMUM_ABBREV)
			revs->abbrev = MINIMUM_ABBREV;
		else if (revs->abbrev > 40)
			revs->abbrev = 40;
	} else if (!strcmp(arg, "--abbrev-commit")) {
		revs->abbrev_commit = 1;
	} 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")) {
		revs->date_mode = DATE_RELATIVE;
J
Jeff King 已提交
1403
		revs->date_mode_explicit = 1;
1404 1405
	} else if ((argcount = parse_long_opt("date", argv, &optarg))) {
		revs->date_mode = parse_date_format(optarg);
J
Jeff King 已提交
1406
		revs->date_mode_explicit = 1;
1407
		return argcount;
1408 1409 1410 1411 1412 1413
	} else if (!strcmp(arg, "--log-size")) {
		revs->show_log_size = 1;
	}
	/*
	 * Grepping the commit log
	 */
1414 1415 1416 1417 1418 1419 1420 1421 1422
	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;
	} else if ((argcount = parse_long_opt("grep", argv, &optarg))) {
		add_message_grep(revs, optarg);
		return argcount;
1423
	} else if (!strcmp(arg, "--extended-regexp") || !strcmp(arg, "-E")) {
J
Jeff King 已提交
1424
		revs->grep_filter.regflags |= REG_EXTENDED;
1425
	} else if (!strcmp(arg, "--regexp-ignore-case") || !strcmp(arg, "-i")) {
J
Jeff King 已提交
1426
		revs->grep_filter.regflags |= REG_ICASE;
1427
	} else if (!strcmp(arg, "--fixed-strings") || !strcmp(arg, "-F")) {
J
Jeff King 已提交
1428
		revs->grep_filter.fixed = 1;
1429
	} else if (!strcmp(arg, "--all-match")) {
J
Jeff King 已提交
1430
		revs->grep_filter.all_match = 1;
1431 1432 1433
	} else if ((argcount = parse_long_opt("encoding", argv, &optarg))) {
		if (strcmp(optarg, "none"))
			git_log_output_encoding = xstrdup(optarg);
1434 1435
		else
			git_log_output_encoding = "";
1436
		return argcount;
1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451
	} else if (!strcmp(arg, "--reverse")) {
		revs->reverse ^= 1;
	} else if (!strcmp(arg, "--children")) {
		revs->children.name = "children";
		revs->limited = 1;
	} else {
		int opts = diff_opt_parse(&revs->diffopt, argv, argc);
		if (!opts)
			unkv[(*unkc)++] = arg;
		return opts;
	}

	return 1;
}

1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465
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,
				    &ctx->cpidx, ctx->out);
	if (n <= 0) {
		error("unknown option `%s'", ctx->argv[0]);
		usage_with_options(usagestr, options);
	}
	ctx->argv += n;
	ctx->argc -= n;
}

1466
static int for_each_bad_bisect_ref(const char *submodule, each_ref_fn fn, void *cb_data)
1467
{
1468
	return for_each_ref_in_submodule(submodule, "refs/bisect/bad", fn, cb_data);
1469 1470
}

1471
static int for_each_good_bisect_ref(const char *submodule, each_ref_fn fn, void *cb_data)
1472
{
1473
	return for_each_ref_in_submodule(submodule, "refs/bisect/good", fn, cb_data);
1474 1475
}

1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503
static void append_prune_data(const char ***prune_data, const char **av)
{
	const char **prune = *prune_data;
	int prune_nr;
	int prune_alloc;

	if (!prune) {
		*prune_data = av;
		return;
	}

	/* count existing ones */
	for (prune_nr = 0; prune[prune_nr]; prune_nr++)
		;
	prune_alloc = prune_nr; /* not really, but we do not know */

	while (*av) {
		ALLOC_GROW(prune, prune_nr+1, prune_alloc);
		prune[prune_nr++] = *av;
		av++;
	}
	if (prune) {
		ALLOC_GROW(prune, prune_nr+1, prune_alloc);
		prune[prune_nr] = NULL;
	}
	*prune_data = prune;
}

1504 1505 1506 1507
/*
 * Parse revision information, filling in the "rev_info" structure,
 * and removing the used arguments from the argument list.
 *
1508 1509
 * Returns the number of arguments left that weren't recognized
 * (which are also moved to the head of the argument list)
1510
 */
1511
int setup_revisions(int argc, const char **argv, struct rev_info *revs, struct setup_revision_opt *opt)
1512
{
1513
	int i, flags, left, seen_dashdash, read_from_stdin, got_rev_arg = 0;
1514
	const char **prune_data = NULL;
1515
	const char *submodule = NULL;
1516 1517
	const char *optarg;
	int argcount;
1518 1519 1520

	if (opt)
		submodule = opt->submodule;
1521 1522 1523 1524 1525 1526 1527 1528 1529

	/* First, search for "--" */
	seen_dashdash = 0;
	for (i = 1; i < argc; i++) {
		const char *arg = argv[i];
		if (strcmp(arg, "--"))
			continue;
		argv[i] = NULL;
		argc = i;
1530
		if (argv[i + 1])
1531
			prune_data = argv + i + 1;
1532 1533 1534 1535
		seen_dashdash = 1;
		break;
	}

1536 1537
	/* Second, deal with arguments and options */
	flags = 0;
1538
	read_from_stdin = 0;
1539
	for (left = i = 1; i < argc; i++) {
1540 1541
		const char *arg = argv[i];
		if (*arg == '-') {
1542
			int opts;
1543

1544
			if (!strcmp(arg, "--all")) {
1545 1546
				handle_refs(submodule, revs, flags, for_each_ref_submodule);
				handle_refs(submodule, revs, flags, head_ref_submodule);
1547 1548 1549
				continue;
			}
			if (!strcmp(arg, "--branches")) {
1550
				handle_refs(submodule, revs, flags, for_each_branch_ref_submodule);
1551 1552
				continue;
			}
1553
			if (!strcmp(arg, "--bisect")) {
1554 1555
				handle_refs(submodule, revs, flags, for_each_bad_bisect_ref);
				handle_refs(submodule, revs, flags ^ UNINTERESTING, for_each_good_bisect_ref);
1556 1557 1558
				revs->bisect = 1;
				continue;
			}
1559
			if (!strcmp(arg, "--tags")) {
1560
				handle_refs(submodule, revs, flags, for_each_tag_ref_submodule);
1561 1562 1563
				continue;
			}
			if (!strcmp(arg, "--remotes")) {
1564
				handle_refs(submodule, revs, flags, for_each_remote_ref_submodule);
1565 1566
				continue;
			}
1567
			if ((argcount = parse_long_opt("glob", argv + i, &optarg))) {
I
Ilari Liusvaara 已提交
1568
				struct all_refs_cb cb;
1569
				i += argcount - 1;
I
Ilari Liusvaara 已提交
1570
				init_all_refs_cb(&cb, revs, flags);
1571
				for_each_glob_ref(handle_one_ref, optarg, &cb);
I
Ilari Liusvaara 已提交
1572 1573
				continue;
			}
1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591
			if (!prefixcmp(arg, "--branches=")) {
				struct all_refs_cb cb;
				init_all_refs_cb(&cb, revs, flags);
				for_each_glob_ref_in(handle_one_ref, arg + 11, "refs/heads/", &cb);
				continue;
			}
			if (!prefixcmp(arg, "--tags=")) {
				struct all_refs_cb cb;
				init_all_refs_cb(&cb, revs, flags);
				for_each_glob_ref_in(handle_one_ref, arg + 7, "refs/tags/", &cb);
				continue;
			}
			if (!prefixcmp(arg, "--remotes=")) {
				struct all_refs_cb cb;
				init_all_refs_cb(&cb, revs, flags);
				for_each_glob_ref_in(handle_one_ref, arg + 10, "refs/remotes/", &cb);
				continue;
			}
1592 1593 1594 1595
			if (!strcmp(arg, "--reflog")) {
				handle_reflog(revs, flags);
				continue;
			}
1596 1597 1598 1599
			if (!strcmp(arg, "--not")) {
				flags ^= UNINTERESTING;
				continue;
			}
1600 1601 1602 1603 1604 1605 1606 1607
			if (!strcmp(arg, "--no-walk")) {
				revs->no_walk = 1;
				continue;
			}
			if (!strcmp(arg, "--do-walk")) {
				revs->no_walk = 0;
				continue;
			}
1608 1609 1610 1611 1612 1613 1614
			if (!strcmp(arg, "--stdin")) {
				if (revs->disable_stdin) {
					argv[left++] = arg;
					continue;
				}
				if (read_from_stdin++)
					die("--stdin given twice?");
1615
				read_revisions_from_stdin(revs, &prune_data);
1616 1617
				continue;
			}
1618

1619
			opts = handle_revision_opt(revs, argc - i, argv + i, &left, argv);
1620 1621 1622 1623
			if (opts > 0) {
				i += opts - 1;
				continue;
			}
1624 1625
			if (opts < 0)
				exit(128);
1626 1627 1628
			continue;
		}

1629 1630 1631
		if (handle_revision_arg(arg, revs, flags, seen_dashdash)) {
			int j;
			if (seen_dashdash || *arg == '^')
1632 1633
				die("bad revision '%s'", arg);

1634 1635 1636 1637 1638 1639
			/* 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.
			 */
1640 1641 1642
			for (j = i; j < argc; j++)
				verify_filename(revs->prefix, argv[j]);

1643
			append_prune_data(&prune_data, argv + i);
1644 1645
			break;
		}
1646 1647
		else
			got_rev_arg = 1;
1648
	}
1649

1650 1651 1652
	if (prune_data)
		revs->prune_data = get_pathspec(revs->prefix, prune_data);

1653
	if (revs->def == NULL)
1654
		revs->def = opt ? opt->def : NULL;
J
Junio C Hamano 已提交
1655 1656
	if (opt && opt->tweak)
		opt->tweak(revs, opt);
1657
	if (revs->show_merge)
1658
		prepare_show_merge(revs);
1659
	if (revs->def && !revs->pending.nr && !got_rev_arg) {
1660
		unsigned char sha1[20];
1661
		struct object *object;
1662
		unsigned mode;
1663 1664 1665 1666
		if (get_sha1_with_mode(revs->def, sha1, &mode))
			die("bad default revision '%s'", revs->def);
		object = get_reference(revs, revs->def, sha1, 0);
		add_pending_object_with_mode(revs, object, revs->def, mode);
1667
	}
1668

1669 1670 1671 1672
	/* 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 已提交
1673 1674 1675 1676
	/* Pickaxe, diff-filter and rename following need diffs */
	if (revs->diffopt.pickaxe ||
	    revs->diffopt.filter ||
	    DIFF_OPT_TST(&revs->diffopt, FOLLOW_RENAMES))
1677 1678
		revs->diff = 1;

1679
	if (revs->topo_order)
1680 1681
		revs->limited = 1;

1682
	if (revs->prune_data) {
1683
		diff_tree_setup_paths(revs->prune_data, &revs->pruning);
1684
		/* Can't prune commits with rename following: the paths change.. */
1685
		if (!DIFF_OPT_TST(&revs->diffopt, FOLLOW_RENAMES))
L
Linus Torvalds 已提交
1686
			revs->prune = 1;
1687 1688
		if (!revs->full_diff)
			diff_tree_setup_paths(revs->prune_data, &revs->diffopt);
1689
	}
J
Junio C Hamano 已提交
1690
	if (revs->combine_merges)
1691 1692
		revs->ignore_merges = 0;
	revs->diffopt.abbrev = revs->abbrev;
1693 1694
	if (diff_setup_done(&revs->diffopt) < 0)
		die("diff_setup_done failed");
1695

J
Jeff King 已提交
1696
	compile_grep_patterns(&revs->grep_filter);
1697

1698 1699
	if (revs->reverse && revs->reflog_info)
		die("cannot combine --reverse with --walk-reflogs");
1700
	if (revs->rewrite_parents && revs->children.name)
1701
		die("cannot combine --parents and --children");
1702

1703 1704 1705 1706 1707 1708 1709 1710 1711
	/*
	 * 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");

1712 1713
	return left;
}
1714

1715 1716 1717 1718 1719 1720 1721 1722
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);
}

1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747
static int remove_duplicate_parents(struct commit *commit)
{
	struct commit_list **pp, *p;
	int surviving_parents;

	/* Examine existing parents while marking ones we have seen... */
	pp = &commit->parents;
	while ((p = *pp) != NULL) {
		struct commit *parent = p->item;
		if (parent->object.flags & TMP_MARK) {
			*pp = p->next;
			continue;
		}
		parent->object.flags |= TMP_MARK;
		pp = &p->next;
	}
	/* count them while clearing the temporary mark */
	surviving_parents = 0;
	for (p = commit->parents; p; p = p->next) {
		p->item->object.flags &= ~TMP_MARK;
		surviving_parents++;
	}
	return surviving_parents;
}

1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764
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;
}

static struct commit_list **simplify_one(struct rev_info *revs, struct commit *commit, struct commit_list **tail)
1765 1766
{
	struct commit_list *p;
1767
	struct merge_simplify_state *st, *pst;
1768 1769
	int cnt;

1770 1771
	st = locate_simplify_state(revs, commit);

1772 1773 1774
	/*
	 * Have we handled this one?
	 */
1775
	if (st->simplified)
1776 1777 1778 1779 1780 1781 1782 1783
		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) {
1784
		st->simplified = commit;
1785 1786 1787 1788 1789 1790 1791 1792
		return tail;
	}

	/*
	 * Do we know what commit all of our parents should be rewritten to?
	 * Otherwise we are not ready to rewrite this one yet.
	 */
	for (cnt = 0, p = commit->parents; p; p = p->next) {
1793 1794
		pst = locate_simplify_state(revs, p->item);
		if (!pst->simplified) {
1795 1796 1797 1798
			tail = &commit_list_insert(p->item, tail)->next;
			cnt++;
		}
	}
1799 1800
	if (cnt) {
		tail = &commit_list_insert(commit, tail)->next;
1801
		return tail;
1802
	}
1803 1804 1805 1806

	/*
	 * Rewrite our list of parents.
	 */
1807 1808 1809 1810
	for (p = commit->parents; p; p = p->next) {
		pst = locate_simplify_state(revs, p->item);
		p->item = pst->simplified;
	}
1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844
	cnt = remove_duplicate_parents(commit);

	/*
	 * It is possible that we are a merge and one side branch
	 * does not have any commit that touches the given paths;
	 * in such a case, the immediate parents will be rewritten
	 * to different commits.
	 *
	 *      o----X		X: the commit we are looking at;
	 *     /    /		o: a commit that touches the paths;
	 * ---o----'
	 *
	 * Further reduce the parents by removing redundant parents.
	 */
	if (1 < cnt) {
		struct commit_list *h = reduce_heads(commit->parents);
		cnt = commit_list_count(h);
		free_commit_list(commit->parents);
		commit->parents = h;
	}

	/*
	 * 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
	 * merge and its parents simplifies to more than one commits
	 * (the first two cases are already handled at the beginning of
	 * this function).
	 *
	 * Otherwise, it simplifies to what its sole parent simplifies to.
	 */
	if (!cnt ||
	    (commit->object.flags & UNINTERESTING) ||
	    !(commit->object.flags & TREESAME) ||
	    (1 < cnt))
1845 1846 1847 1848 1849
		st->simplified = commit;
	else {
		pst = locate_simplify_state(revs, commit->parents->item);
		st->simplified = pst->simplified;
	}
1850 1851 1852 1853 1854 1855 1856 1857
	return tail;
}

static void simplify_merges(struct rev_info *revs)
{
	struct commit_list *list;
	struct commit_list *yet_to_do, **tail;

1858 1859 1860 1861
	if (!revs->topo_order)
		sort_in_topological_order(&revs->commits, revs->lifo);
	if (!revs->prune)
		return;
1862

1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875
	/* feed the list reversed */
	yet_to_do = NULL;
	for (list = revs->commits; list; list = list->next)
		commit_list_insert(list->item, &yet_to_do);
	while (yet_to_do) {
		list = yet_to_do;
		yet_to_do = NULL;
		tail = &yet_to_do;
		while (list) {
			struct commit *commit = list->item;
			struct commit_list *next = list->next;
			free(list);
			list = next;
1876
			tail = simplify_one(revs, commit, tail);
1877 1878 1879 1880 1881 1882 1883 1884 1885 1886
		}
	}

	/* clean up the result, removing the simplified ones */
	list = revs->commits;
	revs->commits = NULL;
	tail = &revs->commits;
	while (list) {
		struct commit *commit = list->item;
		struct commit_list *next = list->next;
1887
		struct merge_simplify_state *st;
1888 1889
		free(list);
		list = next;
1890 1891
		st = locate_simplify_state(revs, commit);
		if (st->simplified == commit)
1892 1893 1894 1895
			tail = &commit_list_insert(commit, tail)->next;
	}
}

1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907
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);
	}
}

1908
int prepare_revision_walk(struct rev_info *revs)
1909
{
1910
	int nr = revs->pending.nr;
1911
	struct object_array_entry *e, *list;
1912

1913
	e = list = revs->pending.objects;
1914 1915 1916 1917
	revs->pending.nr = 0;
	revs->pending.alloc = 0;
	revs->pending.objects = NULL;
	while (--nr >= 0) {
1918
		struct commit *commit = handle_commit(revs, e->item, e->name);
1919 1920 1921
		if (commit) {
			if (!(commit->object.flags & SEEN)) {
				commit->object.flags |= SEEN;
1922
				commit_list_insert_by_date(commit, &revs->commits);
1923 1924
			}
		}
1925
		e++;
1926
	}
1927
	free(list);
1928

L
Linus Torvalds 已提交
1929
	if (revs->no_walk)
1930
		return 0;
1931
	if (revs->limited)
1932 1933
		if (limit_list(revs) < 0)
			return -1;
1934
	if (revs->topo_order)
L
Linus Torvalds 已提交
1935
		sort_in_topological_order(&revs->commits, revs->lifo);
1936 1937
	if (revs->simplify_merges)
		simplify_merges(revs);
1938 1939
	if (revs->children.name)
		set_children(revs);
1940
	return 0;
1941 1942
}

1943 1944 1945
enum rewrite_result {
	rewrite_one_ok,
	rewrite_one_noparents,
1946
	rewrite_one_error
1947 1948 1949
};

static enum rewrite_result rewrite_one(struct rev_info *revs, struct commit **pp)
1950
{
1951 1952
	struct commit_list *cache = NULL;

1953 1954
	for (;;) {
		struct commit *p = *pp;
1955
		if (!revs->limited)
1956
			if (add_parents_to_list(revs, p, &revs->commits, &cache) < 0)
1957
				return rewrite_one_error;
L
Linus Torvalds 已提交
1958
		if (p->parents && p->parents->next)
1959
			return rewrite_one_ok;
1960 1961 1962
		if (p->object.flags & UNINTERESTING)
			return rewrite_one_ok;
		if (!(p->object.flags & TREESAME))
1963
			return rewrite_one_ok;
1964
		if (!p->parents)
1965
			return rewrite_one_noparents;
1966 1967 1968 1969
		*pp = p->parents->item;
	}
}

1970
static int rewrite_parents(struct rev_info *revs, struct commit *commit)
1971 1972 1973 1974
{
	struct commit_list **pp = &commit->parents;
	while (*pp) {
		struct commit_list *parent = *pp;
1975 1976 1977 1978
		switch (rewrite_one(revs, &parent->item)) {
		case rewrite_one_ok:
			break;
		case rewrite_one_noparents:
1979 1980
			*pp = parent->next;
			continue;
1981 1982
		case rewrite_one_error:
			return -1;
1983 1984 1985
		}
		pp = &parent->next;
	}
1986
	remove_duplicate_parents(commit);
1987
	return 0;
1988 1989
}

1990 1991
static int commit_match(struct commit *commit, struct rev_info *opt)
{
1992
	if (!opt->grep_filter.pattern_list && !opt->grep_filter.header_list)
1993
		return 1;
J
Jeff King 已提交
1994
	return grep_buffer(&opt->grep_filter,
1995 1996
			   NULL, /* we say nothing, not even filename */
			   commit->buffer, strlen(commit->buffer));
1997 1998
}

1999 2000
static inline int want_ancestry(struct rev_info *revs)
{
2001
	return (revs->rewrite_parents || revs->children.name);
2002 2003
}

2004
enum commit_action get_commit_action(struct rev_info *revs, struct commit *commit)
L
Linus Torvalds 已提交
2005 2006 2007
{
	if (commit->object.flags & SHOWN)
		return commit_ignore;
2008
	if (revs->unpacked && has_sha1_pack(commit->object.sha1))
L
Linus Torvalds 已提交
2009
		return commit_ignore;
2010 2011
	if (revs->show_all)
		return commit_show;
L
Linus Torvalds 已提交
2012 2013 2014 2015 2016 2017
	if (commit->object.flags & UNINTERESTING)
		return commit_ignore;
	if (revs->min_age != -1 && (commit->date > revs->min_age))
		return commit_ignore;
	if (revs->no_merges && commit->parents && commit->parents->next)
		return commit_ignore;
2018 2019
	if (revs->merges_only && !(commit->parents && commit->parents->next))
		return commit_ignore;
L
Linus Torvalds 已提交
2020 2021
	if (!commit_match(commit, revs))
		return commit_ignore;
L
Linus Torvalds 已提交
2022
	if (revs->prune && revs->dense) {
L
Linus Torvalds 已提交
2023
		/* Commit without changes? */
2024
		if (commit->object.flags & TREESAME) {
L
Linus Torvalds 已提交
2025
			/* drop merges unless we want parenthood */
2026
			if (!want_ancestry(revs))
L
Linus Torvalds 已提交
2027 2028 2029 2030 2031 2032 2033 2034 2035
				return commit_ignore;
			/* non-merge - always ignore it */
			if (!commit->parents || !commit->parents->next)
				return commit_ignore;
		}
	}
	return commit_show;
}

2036 2037 2038 2039 2040 2041 2042 2043 2044 2045 2046 2047 2048
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->show_all &&
	    revs->prune && revs->dense && want_ancestry(revs)) {
		if (rewrite_parents(revs, commit) < 0)
			return commit_error;
	}
	return action;
}

J
Junio C Hamano 已提交
2049
static struct commit *get_revision_1(struct rev_info *revs)
2050
{
J
Junio C Hamano 已提交
2051
	if (!revs->commits)
2052 2053
		return NULL;

2054
	do {
L
Linus Torvalds 已提交
2055 2056
		struct commit_list *entry = revs->commits;
		struct commit *commit = entry->item;
2057

L
Linus Torvalds 已提交
2058 2059
		revs->commits = entry->next;
		free(entry);
2060

2061
		if (revs->reflog_info) {
2062
			fake_reflog_parent(revs->reflog_info, commit);
2063 2064
			commit->object.flags &= ~(ADDED | SEEN | SHOWN);
		}
2065

2066 2067
		/*
		 * If we haven't done the list limiting, we need to look at
2068 2069
		 * the parents here. We also need to do the date-based limiting
		 * that we'd otherwise have done in limit_list().
2070
		 */
2071
		if (!revs->limited) {
2072
			if (revs->max_age != -1 &&
2073 2074
			    (commit->date < revs->max_age))
				continue;
2075
			if (add_parents_to_list(revs, commit, &revs->commits, NULL) < 0)
2076 2077
				die("Failed to traverse parents of commit %s",
				    sha1_to_hex(commit->object.sha1));
2078
		}
2079

L
Linus Torvalds 已提交
2080 2081
		switch (simplify_commit(revs, commit)) {
		case commit_ignore:
2082
			continue;
L
Linus Torvalds 已提交
2083
		case commit_error:
2084 2085
			die("Failed to simplify parents of commit %s",
			    sha1_to_hex(commit->object.sha1));
L
Linus Torvalds 已提交
2086 2087
		default:
			return commit;
J
Junio C Hamano 已提交
2088
		}
2089 2090 2091
	} while (revs->commits);
	return NULL;
}
J
Junio C Hamano 已提交
2092

2093 2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107
static void gc_boundary(struct object_array *array)
{
	unsigned nr = array->nr;
	unsigned alloc = array->alloc;
	struct object_array_entry *objects = array->objects;

	if (alloc <= nr) {
		unsigned i, j;
		for (i = j = 0; i < nr; i++) {
			if (objects[i].item->flags & SHOWN)
				continue;
			if (i != j)
				objects[j] = objects[i];
			j++;
		}
2108
		for (i = j; i < nr; i++)
2109 2110 2111 2112 2113
			objects[i].item = NULL;
		array->nr = j;
	}
}

2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149 2150 2151 2152 2153 2154
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
	 */
	sort_in_topological_order(&revs->commits, revs->lifo);
}

2155
static struct commit *get_revision_internal(struct rev_info *revs)
J
Junio C Hamano 已提交
2156 2157
{
	struct commit *c = NULL;
2158 2159 2160
	struct commit_list *l;

	if (revs->boundary == 2) {
2161 2162 2163 2164 2165 2166 2167 2168 2169
		/*
		 * 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;
2170 2171 2172
		return c;
	}

2173 2174 2175
	/*
	 * Now pick up what they want to give us
	 */
2176 2177 2178 2179 2180 2181 2182 2183
	c = get_revision_1(revs);
	if (c) {
		while (0 < revs->skip_count) {
			revs->skip_count--;
			c = get_revision_1(revs);
			if (!c)
				break;
		}
2184 2185 2186 2187 2188
	}

	/*
	 * Check the max_count.
	 */
J
Junio C Hamano 已提交
2189 2190 2191 2192
	switch (revs->max_count) {
	case -1:
		break;
	case 0:
2193 2194
		c = NULL;
		break;
J
Junio C Hamano 已提交
2195 2196 2197
	default:
		revs->max_count--;
	}
2198

2199 2200 2201 2202
	if (c)
		c->object.flags |= SHOWN;

	if (!revs->boundary) {
J
Junio C Hamano 已提交
2203
		return c;
2204
	}
2205 2206 2207 2208 2209 2210 2211 2212

	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;
2213 2214 2215 2216 2217 2218 2219

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

2220
		return get_revision_internal(revs);
2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232
	}

	/*
	 * 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);
2233
		if (p->flags & (CHILD_SHOWN | SHOWN))
2234 2235 2236 2237 2238 2239 2240
			continue;
		p->flags |= CHILD_SHOWN;
		gc_boundary(&revs->boundary_commits);
		add_object_array(p, NULL, &revs->boundary_commits);
	}

	return c;
J
Junio C Hamano 已提交
2241
}
2242 2243 2244

struct commit *get_revision(struct rev_info *revs)
{
2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261
	struct commit *c;
	struct commit_list *reversed;

	if (revs->reverse) {
		reversed = NULL;
		while ((c = get_revision_internal(revs))) {
			commit_list_insert(c, &reversed);
		}
		revs->commits = reversed;
		revs->reverse = 0;
		revs->reverse_output_stage = 1;
	}

	if (revs->reverse_output_stage)
		return pop_commit(&revs->commits);

	c = get_revision_internal(revs);
2262 2263 2264 2265
	if (c && revs->graph)
		graph_update(revs->graph, c);
	return c;
}
2266 2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281

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 "^";
	else if (!revs || revs->left_right) {
		if (commit->object.flags & SYMMETRIC_LEFT)
			return "<";
		else
			return ">";
	} else if (revs->graph)
		return "*";
	return "";
}