revision.c 66.4 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 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71
static int show_path_component_truncated(FILE *out, const char *name, int len)
{
	int cnt;
	for (cnt = 0; cnt < len; cnt++) {
		int ch = name[cnt];
		if (!ch || ch == '\n')
			return -1;
		fputc(ch, out);
	}
	return len;
}

static int show_path_truncated(FILE *out, const struct name_path *path)
{
	int emitted, ours;

	if (!path)
		return 0;
	emitted = show_path_truncated(out, path->up);
	if (emitted < 0)
		return emitted;
	if (emitted)
		fputc('/', out);
	ours = show_path_component_truncated(out, path->elem, path->elem_len);
	if (ours < 0)
		return ours;
	return ours || emitted;
}

72 73
void show_object_with_name(FILE *out, struct object *obj, const struct name_path *path, const char *component)
{
74 75 76 77
	struct name_path leaf;
	leaf.up = (struct name_path *)path;
	leaf.elem = component;
	leaf.elem_len = strlen(component);
78

79 80 81
	fprintf(out, "%s ", sha1_to_hex(obj->sha1));
	show_path_truncated(out, &leaf);
	fputc('\n', out);
82 83
}

84 85 86 87
void add_object(struct object *obj,
		struct object_array *p,
		struct name_path *path,
		const char *name)
88
{
89
	add_object_array(obj, path_name(path, name), p);
90 91 92 93
}

static void mark_blob_uninteresting(struct blob *blob)
{
94 95
	if (!blob)
		return;
96 97 98 99 100 101 102
	if (blob->object.flags & UNINTERESTING)
		return;
	blob->object.flags |= UNINTERESTING;
}

void mark_tree_uninteresting(struct tree *tree)
{
103
	struct tree_desc desc;
104
	struct name_entry entry;
105 106
	struct object *obj = &tree->object;

107 108
	if (!tree)
		return;
109 110 111 112 113 114 115
	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));
116

117
	init_tree_desc(&desc, tree->buffer, tree->size);
118
	while (tree_entry(&desc, &entry)) {
119 120
		switch (object_type(entry.mode)) {
		case OBJ_TREE:
121
			mark_tree_uninteresting(lookup_tree(entry.sha1));
122 123
			break;
		case OBJ_BLOB:
124
			mark_blob_uninteresting(lookup_blob(entry.sha1));
125 126 127 128 129
			break;
		default:
			/* Subproject commit - not in this repository */
			break;
		}
130
	}
131 132 133 134 135 136 137

	/*
	 * We don't care about the tree any more
	 * after it has been marked uninteresting.
	 */
	free(tree->buffer);
	tree->buffer = NULL;
138 139 140 141
}

void mark_parents_uninteresting(struct commit *commit)
{
142 143 144 145
	struct commit_list *parents = NULL, *l;

	for (l = commit->parents; l; l = l->next)
		commit_list_insert(l->item, &parents);
146 147 148

	while (parents) {
		struct commit *commit = parents->item;
149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167
		l = parents;
		parents = parents->next;
		free(l);

		while (commit) {
			/*
			 * 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;

			if (commit->object.flags & UNINTERESTING)
				break;

168
			commit->object.flags |= UNINTERESTING;
169

170 171 172 173 174 175 176 177
			/*
			 * 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..
			 */
178 179
			if (!commit->parents)
				break;
180

181 182 183 184
			for (l = commit->parents->next; l; l = l->next)
				commit_list_insert(l->item, &parents);
			commit = commit->parents->item;
		}
185 186 187
	}
}

J
Junio C Hamano 已提交
188
static void add_pending_object_with_mode(struct rev_info *revs, struct object *obj, const char *name, unsigned mode)
189
{
J
Junio C Hamano 已提交
190 191
	if (!obj)
		return;
L
Linus Torvalds 已提交
192
	if (revs->no_walk && (obj->flags & UNINTERESTING))
L
Linus Torvalds 已提交
193
		revs->no_walk = 0;
J
Junio C Hamano 已提交
194 195 196 197 198 199 200 201 202 203 204 205 206 207
	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;
	}
208
	add_object_array_with_mode(obj, name, &revs->pending, mode);
209 210
}

J
Junio C Hamano 已提交
211 212 213 214 215
void add_pending_object(struct rev_info *revs, struct object *obj, const char *name)
{
	add_pending_object_with_mode(revs, obj, name, S_IFINVALID);
}

216 217 218 219 220 221 222 223 224 225 226 227
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");
}

228
static struct object *get_reference(struct rev_info *revs, const char *name, const unsigned char *sha1, unsigned int flags)
229 230 231 232
{
	struct object *object;

	object = parse_object(sha1);
J
Junio C Hamano 已提交
233 234 235
	if (!object) {
		if (revs->ignore_missing)
			return object;
236
		die("bad object %s", name);
J
Junio C Hamano 已提交
237
	}
238 239 240 241
	object->flags |= flags;
	return object;
}

242 243 244 245 246 247 248
void add_pending_sha1(struct rev_info *revs, const char *name,
		      const unsigned char *sha1, unsigned int flags)
{
	struct object *object = get_reference(revs, name, sha1, flags);
	add_pending_object(revs, object, name);
}

249 250 251
static struct commit *handle_commit(struct rev_info *revs, struct object *object, const char *name)
{
	unsigned long flags = object->flags;
252 253 254 255

	/*
	 * Tag object? Look what it points to..
	 */
256
	while (object->type == OBJ_TAG) {
257
		struct tag *tag = (struct tag *) object;
258
		if (revs->tag_objects && !(flags & UNINTERESTING))
259
			add_pending_object(revs, object, tag->tag);
260 261
		if (!tag->tagged)
			die("bad tag");
262
		object = parse_object(tag->tagged->sha1);
263 264 265
		if (!object) {
			if (flags & UNINTERESTING)
				return NULL;
266
			die("bad object %s", sha1_to_hex(tag->tagged->sha1));
267
		}
268 269 270 271 272 273
	}

	/*
	 * Commit object? Just return it, we'll do all the complex
	 * reachability crud.
	 */
274
	if (object->type == OBJ_COMMIT) {
275 276 277
		struct commit *commit = (struct commit *)object;
		if (parse_commit(commit) < 0)
			die("unable to parse commit %s", name);
278
		if (flags & UNINTERESTING) {
279
			commit->object.flags |= UNINTERESTING;
280
			mark_parents_uninteresting(commit);
281 282
			revs->limited = 1;
		}
283 284
		if (revs->show_source && !commit->util)
			commit->util = (void *) name;
285 286 287 288
		return commit;
	}

	/*
M
Mike Ralphson 已提交
289
	 * Tree object? Either mark it uninteresting, or add it
290 291
	 * to the list of objects to look at later..
	 */
292
	if (object->type == OBJ_TREE) {
293 294 295 296 297 298 299 300 301 302 303 304 305 306
		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..
	 */
307
	if (object->type == OBJ_BLOB) {
308 309 310 311 312 313 314 315 316 317 318 319 320
		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);
}

321 322 323 324 325 326 327 328 329 330 331 332 333
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;
}

334 335
/*
 * The goal is to get REV_TREE_NEW as the result only if the
336 337 338 339 340 341
 * 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.
342
 */
343
static int tree_difference = REV_TREE_SAME;
344 345 346 347

static void file_add_remove(struct diff_options *options,
		    int addremove, unsigned mode,
		    const unsigned char *sha1,
348
		    int sha1_valid,
349
		    const char *fullpath, unsigned dirty_submodule)
350
{
351
	int diff = addremove == '+' ? REV_TREE_NEW : REV_TREE_OLD;
352

353
	tree_difference |= diff;
354
	if (tree_difference == REV_TREE_DIFFERENT)
355
		DIFF_OPT_SET(options, HAS_CHANGES);
356 357 358 359 360 361
}

static void file_change(struct diff_options *options,
		 unsigned old_mode, unsigned new_mode,
		 const unsigned char *old_sha1,
		 const unsigned char *new_sha1,
362
		 int old_sha1_valid, int new_sha1_valid,
363 364
		 const char *fullpath,
		 unsigned old_dirty_submodule, unsigned new_dirty_submodule)
365
{
366
	tree_difference = REV_TREE_DIFFERENT;
367
	DIFF_OPT_SET(options, HAS_CHANGES);
368 369
}

370
static int rev_compare_tree(struct rev_info *revs, struct commit *parent, struct commit *commit)
371
{
372 373 374
	struct tree *t1 = parent->tree;
	struct tree *t2 = commit->tree;

375
	if (!t1)
376
		return REV_TREE_NEW;
377 378
	if (!t2)
		return REV_TREE_OLD;
379 380 381 382 383 384 385 386 387 388 389 390 391 392 393

	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.
		 */
394
		if (!revs->prune_data.nr)
395 396
			return REV_TREE_SAME;
	}
397

398
	tree_difference = REV_TREE_SAME;
399
	DIFF_OPT_CLR(&revs->pruning, HAS_CHANGES);
400
	if (diff_tree_sha1(t1->object.sha1, t2->object.sha1, "",
401
			   &revs->pruning) < 0)
402
		return REV_TREE_DIFFERENT;
403 404 405
	return tree_difference;
}

406
static int rev_same_tree_as_empty(struct rev_info *revs, struct commit *commit)
407 408 409
{
	int retval;
	void *tree;
410
	unsigned long size;
411
	struct tree_desc empty, real;
412
	struct tree *t1 = commit->tree;
413 414 415 416

	if (!t1)
		return 0;

417
	tree = read_object_with_reference(t1->object.sha1, tree_type, &size, NULL);
418 419
	if (!tree)
		return 0;
420 421
	init_tree_desc(&real, tree, size);
	init_tree_desc(&empty, "", 0);
422

423
	tree_difference = REV_TREE_SAME;
424
	DIFF_OPT_CLR(&revs->pruning, HAS_CHANGES);
425
	retval = diff_tree(&empty, &real, "", &revs->pruning);
426 427
	free(tree);

428
	return retval >= 0 && (tree_difference == REV_TREE_SAME);
429 430 431 432 433
}

static void try_to_simplify_commit(struct rev_info *revs, struct commit *commit)
{
	struct commit_list **pp, *parent;
434
	int tree_changed = 0, tree_same = 0, nth_parent = 0;
435

L
Linus Torvalds 已提交
436 437 438
	/*
	 * If we don't do pruning, everything is interesting
	 */
439
	if (!revs->prune)
L
Linus Torvalds 已提交
440 441
		return;

442 443 444 445
	if (!commit->tree)
		return;

	if (!commit->parents) {
446
		if (rev_same_tree_as_empty(revs, commit))
447
			commit->object.flags |= TREESAME;
448 449 450
		return;
	}

L
Linus Torvalds 已提交
451 452 453 454
	/*
	 * Normal non-merge commit? If we don't want to make the
	 * history dense, we consider it always to be a change..
	 */
455
	if (!revs->dense && !commit->parents->next)
L
Linus Torvalds 已提交
456 457
		return;

458 459 460 461
	pp = &commit->parents;
	while ((parent = *pp) != NULL) {
		struct commit *p = parent->item;

462 463 464 465 466 467 468 469
		/*
		 * 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 && nth_parent++)
			break;
470 471 472 473
		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));
474
		switch (rev_compare_tree(revs, p, commit)) {
475
		case REV_TREE_SAME:
L
Linus Torvalds 已提交
476
			tree_same = 1;
L
Linus Torvalds 已提交
477
			if (!revs->simplify_history || (p->object.flags & UNINTERESTING)) {
478 479 480 481 482 483 484 485 486
				/* 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;
			}
487 488
			parent->next = NULL;
			commit->parents = parent;
489
			commit->object.flags |= TREESAME;
490 491
			return;

492 493
		case REV_TREE_NEW:
			if (revs->remove_empty_trees &&
494
			    rev_same_tree_as_empty(revs, p)) {
495 496 497 498 499 500 501
				/* 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.
502
				 */
503 504 505 506
				if (parse_commit(p) < 0)
					die("cannot simplify commit %s (invalid %s)",
					    sha1_to_hex(commit->object.sha1),
					    sha1_to_hex(p->object.sha1));
507
				p->parents = NULL;
508 509
			}
		/* fallthrough */
510
		case REV_TREE_OLD:
511
		case REV_TREE_DIFFERENT:
512
			tree_changed = 1;
513 514 515 516 517
			pp = &parent->next;
			continue;
		}
		die("bad tree compare for commit %s", sha1_to_hex(commit->object.sha1));
	}
L
Linus Torvalds 已提交
518
	if (tree_changed && !tree_same)
519 520
		return;
	commit->object.flags |= TREESAME;
521 522
}

523
static void commit_list_insert_by_date_cached(struct commit *p, struct commit_list **head,
524 525 526 527 528
		    struct commit_list *cached_base, struct commit_list **cache)
{
	struct commit_list *new_entry;

	if (cached_base && p->date < cached_base->item->date)
529
		new_entry = commit_list_insert_by_date(p, &cached_base->next);
530
	else
531
		new_entry = commit_list_insert_by_date(p, head);
532 533 534 535 536 537 538

	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)
539 540
{
	struct commit_list *parent = commit->parents;
J
Junio C Hamano 已提交
541
	unsigned left_flag;
542
	struct commit_list *cached_base = cache_ptr ? *cache_ptr : NULL;
543

544
	if (commit->object.flags & ADDED)
545
		return 0;
546 547
	commit->object.flags |= ADDED;

548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563
	/*
	 * 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;
564 565
			if (p)
				p->object.flags |= UNINTERESTING;
566
			if (parse_commit(p) < 0)
567
				continue;
568 569 570 571 572
			if (p->parents)
				mark_parents_uninteresting(p);
			if (p->object.flags & SEEN)
				continue;
			p->object.flags |= SEEN;
573
			commit_list_insert_by_date_cached(p, list, cached_base, cache_ptr);
574
		}
575
		return 0;
576 577 578 579 580 581 582
	}

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

L
Linus Torvalds 已提交
585
	if (revs->no_walk)
586
		return 0;
L
Linus Torvalds 已提交
587

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

590
	for (parent = commit->parents; parent; parent = parent->next) {
591 592
		struct commit *p = parent->item;

593 594
		if (parse_commit(p) < 0)
			return -1;
595 596
		if (revs->show_source && !p->util)
			p->util = commit->util;
J
Junio C Hamano 已提交
597
		p->object.flags |= left_flag;
598 599
		if (!(p->object.flags & SEEN)) {
			p->object.flags |= SEEN;
600
			commit_list_insert_by_date_cached(p, list, cached_base, cache_ptr);
601
		}
J
Junio C Hamano 已提交
602
		if (revs->first_parent_only)
603
			break;
604
	}
605
	return 0;
606 607
}

608
static void cherry_pick_list(struct commit_list *list, struct rev_info *revs)
J
Junio C Hamano 已提交
609 610 611 612 613
{
	struct commit_list *p;
	int left_count = 0, right_count = 0;
	int left_first;
	struct patch_ids ids;
614
	unsigned cherry_flag;
J
Junio C Hamano 已提交
615 616 617 618 619 620 621 622 623 624 625 626 627

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

628 629 630
	if (!left_count || !right_count)
		return;

J
Junio C Hamano 已提交
631 632
	left_first = left_count < right_count;
	init_patch_ids(&ids);
633
	ids.diffopts.pathspec = revs->diffopt.pathspec;
J
Junio C Hamano 已提交
634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651

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

652 653 654
	/* either cherry_mark or cherry_pick are true */
	cherry_flag = revs->cherry_mark ? PATCHSAME : SHOWN;

J
Junio C Hamano 已提交
655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676
	/* 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;
677
		commit->object.flags |= cherry_flag;
J
Junio C Hamano 已提交
678 679 680 681 682 683 684 685 686 687 688
	}

	/* 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)
689
			commit->object.flags |= cherry_flag;
J
Junio C Hamano 已提交
690 691 692 693 694 695
		commit->util = NULL;
	}

	free_patch_ids(&ids);
}

696 697 698 699
/* 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)
700
{
701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722
	/*
	 * 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;
723 724
}

J
Junio C Hamano 已提交
725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802
/*
 * "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.
 */
803
static struct commit_list *collect_bottom_commits(struct rev_info *revs)
J
Junio C Hamano 已提交
804
{
805 806 807 808 809 810 811 812
	struct commit_list *bottom = NULL;
	int i;
	for (i = 0; i < revs->cmdline.nr; i++) {
		struct rev_cmdline_entry *elem = &revs->cmdline.rev[i];
		if ((elem->flags & UNINTERESTING) &&
		    elem->item->type == OBJ_COMMIT)
			commit_list_insert((struct commit *)elem->item, &bottom);
	}
J
Junio C Hamano 已提交
813 814 815
	return bottom;
}

816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832
/* 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;
	}
}

833
static int limit_list(struct rev_info *revs)
834
{
835 836
	int slop = SLOP;
	unsigned long date = ~0ul;
837 838 839
	struct commit_list *list = revs->commits;
	struct commit_list *newlist = NULL;
	struct commit_list **p = &newlist;
J
Junio C Hamano 已提交
840 841 842
	struct commit_list *bottom = NULL;

	if (revs->ancestry_path) {
843
		bottom = collect_bottom_commits(revs);
J
Junio C Hamano 已提交
844
		if (!bottom)
845
			die("--ancestry-path given but there are no bottom commits");
J
Junio C Hamano 已提交
846
	}
847 848 849 850 851

	while (list) {
		struct commit_list *entry = list;
		struct commit *commit = list->item;
		struct object *obj = &commit->object;
852
		show_early_output_fn_t show;
853 854 855 856 857 858

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

		if (revs->max_age != -1 && (commit->date < revs->max_age))
			obj->flags |= UNINTERESTING;
859
		if (add_parents_to_list(revs, commit, &list, NULL) < 0)
860
			return -1;
861 862
		if (obj->flags & UNINTERESTING) {
			mark_parents_uninteresting(commit);
863 864 865 866
			if (revs->show_all)
				p = &commit_list_insert(commit, p)->next;
			slop = still_interesting(list, date, slop);
			if (slop)
867
				continue;
868 869 870 871
			/* If showing all, add the whole pending list to the end */
			if (revs->show_all)
				*p = list;
			break;
872 873 874
		}
		if (revs->min_age != -1 && (commit->date > revs->min_age))
			continue;
875
		date = commit->date;
876
		p = &commit_list_insert(commit, p)->next;
877 878 879 880 881 882 883

		show = show_early_output;
		if (!show)
			continue;

		show(revs, newlist);
		show_early_output = NULL;
884
	}
885
	if (revs->cherry_pick || revs->cherry_mark)
886
		cherry_pick_list(newlist, revs);
J
Junio C Hamano 已提交
887

888 889 890
	if (revs->left_only || revs->right_only)
		limit_left_right(newlist, revs);

J
Junio C Hamano 已提交
891 892 893 894 895
	if (bottom) {
		limit_to_ancestry(bottom, newlist);
		free_commit_list(bottom);
	}

896
	revs->commits = newlist;
897
	return 0;
898 899
}

900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916
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;
	int nr = info->nr;

	ALLOC_GROW(info->rev, nr + 1, info->alloc);
	info->rev[nr].item = item;
	info->rev[nr].name = name;
	info->rev[nr].whence = whence;
	info->rev[nr].flags = flags;
	info->nr++;
}

917 918
struct all_refs_cb {
	int all_flags;
919
	int warned_bad_reflog;
920 921 922
	struct rev_info *all_revs;
	const char *name_for_errormsg;
};
923

924
static int handle_one_ref(const char *path, const unsigned char *sha1, int flag, void *cb_data)
925
{
926 927 928
	struct all_refs_cb *cb = cb_data;
	struct object *object = get_reference(cb->all_revs, path, sha1,
					      cb->all_flags);
929
	add_rev_cmdline(cb->all_revs, object, path, REV_CMD_REF, cb->all_flags);
930
	add_pending_sha1(cb->all_revs, path, sha1, cb->all_flags);
931 932 933
	return 0;
}

I
Ilari Liusvaara 已提交
934 935 936 937 938 939 940
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;
}

941 942
static void handle_refs(const char *submodule, struct rev_info *revs, unsigned flags,
		int (*for_each)(const char *, each_ref_fn, void *))
943
{
944
	struct all_refs_cb cb;
I
Ilari Liusvaara 已提交
945
	init_all_refs_cb(&cb, revs, flags);
946
	for_each(submodule, handle_one_ref, &cb);
947 948
}

949
static void handle_one_reflog_commit(unsigned char *sha1, void *cb_data)
950 951
{
	struct all_refs_cb *cb = cb_data;
952 953 954 955
	if (!is_null_sha1(sha1)) {
		struct object *o = parse_object(sha1);
		if (o) {
			o->flags |= cb->all_flags;
956
			/* ??? CMDLINEFLAGS ??? */
957 958 959
			add_pending_object(cb->all_revs, o, "");
		}
		else if (!cb->warned_bad_reflog) {
960
			warning("reflog of '%s' references pruned commits",
961 962 963
				cb->name_for_errormsg);
			cb->warned_bad_reflog = 1;
		}
964
	}
965 966
}

967 968 969
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)
970 971 972
{
	handle_one_reflog_commit(osha1, cb_data);
	handle_one_reflog_commit(nsha1, cb_data);
973 974 975 976 977 978
	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;
979
	cb->warned_bad_reflog = 0;
980 981 982 983 984 985 986 987 988 989
	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;
990
	for_each_reflog(handle_one_reflog, &cb);
991 992
}

993
static int add_parents_only(struct rev_info *revs, const char *arg_, int flags)
994 995 996 997 998
{
	unsigned char sha1[20];
	struct object *it;
	struct commit *commit;
	struct commit_list *parents;
999
	const char *arg = arg_;
1000 1001 1002 1003 1004

	if (*arg == '^') {
		flags ^= UNINTERESTING;
		arg++;
	}
1005
	if (get_sha1_committish(arg, sha1))
1006 1007 1008
		return 0;
	while (1) {
		it = get_reference(revs, arg, sha1, 0);
J
Junio C Hamano 已提交
1009 1010
		if (!it && revs->ignore_missing)
			return 0;
1011
		if (it->type != OBJ_TAG)
1012
			break;
1013 1014
		if (!((struct tag*)it)->tagged)
			return 0;
1015
		hashcpy(sha1, ((struct tag*)it)->tagged->sha1);
1016
	}
1017
	if (it->type != OBJ_COMMIT)
1018 1019 1020 1021 1022
		return 0;
	commit = (struct commit *)it;
	for (parents = commit->parents; parents; parents = parents->next) {
		it = &parents->item->object;
		it->flags |= flags;
1023
		add_rev_cmdline(revs, it, arg_, REV_CMD_PARENTS_ONLY, flags);
1024 1025 1026 1027 1028
		add_pending_object(revs, it, arg);
	}
	return 1;
}

1029
void init_revisions(struct rev_info *revs, const char *prefix)
1030 1031
{
	memset(revs, 0, sizeof(*revs));
1032

1033
	revs->abbrev = DEFAULT_ABBREV;
1034
	revs->ignore_merges = 1;
L
Linus Torvalds 已提交
1035
	revs->simplify_history = 1;
1036
	DIFF_OPT_SET(&revs->pruning, RECURSIVE);
1037
	DIFF_OPT_SET(&revs->pruning, QUICK);
1038 1039
	revs->pruning.add_remove = file_add_remove;
	revs->pruning.change = file_change;
1040 1041
	revs->lifo = 1;
	revs->dense = 1;
1042
	revs->prefix = prefix;
1043 1044
	revs->max_age = -1;
	revs->min_age = -1;
J
Junio C Hamano 已提交
1045
	revs->skip_count = -1;
1046
	revs->max_count = -1;
1047
	revs->max_parents = -1;
1048

1049 1050
	revs->commit_format = CMIT_FMT_DEFAULT;

J
Jeff King 已提交
1051 1052
	revs->grep_filter.status_only = 1;
	revs->grep_filter.pattern_tail = &(revs->grep_filter.pattern_list);
1053
	revs->grep_filter.header_tail = &(revs->grep_filter.header_list);
J
Jeff King 已提交
1054 1055
	revs->grep_filter.regflags = REG_NEWLINE;

1056
	diff_setup(&revs->diffopt);
1057
	if (prefix && !revs->diffopt.prefix) {
1058 1059 1060
		revs->diffopt.prefix = prefix;
		revs->diffopt.prefix_length = strlen(prefix);
	}
1061 1062

	revs->notes_opt.use_default_notes = -1;
1063 1064
}

R
Rene Scharfe 已提交
1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076
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;
	}
}

1077 1078 1079 1080 1081 1082 1083 1084
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 */

1085
	if (get_sha1("HEAD", sha1))
1086
		die("--merge without HEAD?");
1087 1088
	head = lookup_commit_or_die(sha1, "HEAD");
	if (get_sha1("MERGE_HEAD", sha1))
1089
		die("--merge without MERGE_HEAD?");
1090
	other = lookup_commit_or_die(sha1, "MERGE_HEAD");
1091 1092 1093
	add_pending_object(revs, &head->object, "HEAD");
	add_pending_object(revs, &other->object, "MERGE_HEAD");
	bases = get_merge_bases(head, other, 1);
1094 1095 1096
	add_pending_commit_list(revs, bases, UNINTERESTING);
	free_commit_list(bases);
	head->object.flags |= SYMMETRIC_LEFT;
1097 1098 1099 1100 1101 1102 1103

	if (!active_nr)
		read_cache();
	for (i = 0; i < active_nr; i++) {
		struct cache_entry *ce = active_cache[i];
		if (!ce_stage(ce))
			continue;
1104
		if (ce_path_match(ce, &revs->prune_data)) {
1105 1106 1107 1108 1109 1110 1111 1112 1113
			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++;
	}
1114 1115
	free_pathspec(&revs->prune_data);
	init_pathspec(&revs->prune_data, prune);
1116
	revs->limited = 1;
1117 1118
}

1119
int handle_revision_arg(const char *arg_, struct rev_info *revs, int flags, unsigned revarg_opt)
1120
{
1121
	struct object_context oc;
1122 1123 1124 1125
	char *dotdot;
	struct object *object;
	unsigned char sha1[20];
	int local_flags;
1126
	const char *arg = arg_;
1127
	int cant_be_filename = revarg_opt & REVARG_CANNOT_BE_FILENAME;
1128
	unsigned get_sha1_flags = 0;
1129 1130 1131 1132 1133 1134 1135 1136

	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;
1137
		static const char head_by_default[] = "HEAD";
1138
		unsigned int a_flags;
1139 1140 1141 1142 1143

		*dotdot = 0;
		next += symmetric;

		if (!*next)
1144
			next = head_by_default;
1145
		if (dotdot == arg)
1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157
			this = head_by_default;
		if (this == head_by_default && next == head_by_default &&
		    !symmetric) {
			/*
			 * Just ".."?  That is not a range but the
			 * pathspec for the parent directory.
			 */
			if (!cant_be_filename) {
				*dotdot = '.';
				return -1;
			}
		}
1158 1159
		if (!get_sha1_committish(this, from_sha1) &&
		    !get_sha1_committish(next, sha1)) {
1160 1161 1162 1163 1164 1165
			struct commit *a, *b;
			struct commit_list *exclude;

			a = lookup_commit_reference(from_sha1);
			b = lookup_commit_reference(sha1);
			if (!a || !b) {
J
Junio C Hamano 已提交
1166 1167
				if (revs->ignore_missing)
					return 0;
1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183
				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);
1184
				a_flags = flags | SYMMETRIC_LEFT;
1185
			} else
1186 1187
				a_flags = flags_exclude;
			a->object.flags |= a_flags;
1188
			b->object.flags |= flags;
1189 1190 1191 1192
			add_rev_cmdline(revs, &a->object, this,
					REV_CMD_LEFT, a_flags);
			add_rev_cmdline(revs, &b->object, next,
					REV_CMD_RIGHT, flags);
1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205
			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 = '^';
	}
1206 1207 1208 1209 1210 1211 1212
	dotdot = strstr(arg, "^!");
	if (dotdot && !dotdot[2]) {
		*dotdot = 0;
		if (!add_parents_only(revs, arg, flags ^ UNINTERESTING))
			*dotdot = '^';
	}

1213 1214 1215 1216 1217
	local_flags = 0;
	if (*arg == '^') {
		local_flags = UNINTERESTING;
		arg++;
	}
1218 1219 1220 1221 1222

	if (revarg_opt & REVARG_COMMITTISH)
		get_sha1_flags = GET_SHA1_COMMITTISH;

	if (get_sha1_with_context(arg, get_sha1_flags, sha1, &oc))
J
Junio C Hamano 已提交
1223
		return revs->ignore_missing ? 0 : -1;
1224 1225 1226
	if (!cant_be_filename)
		verify_non_filename(revs->prefix, arg);
	object = get_reference(revs, arg, sha1, flags ^ local_flags);
1227
	add_rev_cmdline(revs, object, arg_, REV_CMD_REV, flags ^ local_flags);
1228
	add_pending_object_with_mode(revs, object, arg, oc.mode);
1229 1230 1231
	return 0;
}

1232 1233 1234 1235 1236
struct cmdline_pathspec {
	int alloc;
	int nr;
	const char **path;
};
1237

1238 1239 1240 1241 1242 1243 1244
static void append_prune_data(struct cmdline_pathspec *prune, const char **av)
{
	while (*av) {
		ALLOC_GROW(prune->path, prune->nr+1, prune->alloc);
		prune->path[prune->nr++] = *(av++);
	}
}
1245

1246 1247 1248
static void read_pathspec_from_stdin(struct rev_info *revs, struct strbuf *sb,
				     struct cmdline_pathspec *prune)
{
1249 1250 1251 1252
	while (strbuf_getwholeline(sb, stdin, '\n') != EOF) {
		int len = sb->len;
		if (len && sb->buf[len - 1] == '\n')
			sb->buf[--len] = '\0';
1253 1254
		ALLOC_GROW(prune->path, prune->nr+1, prune->alloc);
		prune->path[prune->nr++] = xstrdup(sb->buf);
1255 1256 1257
	}
}

1258 1259
static void read_revisions_from_stdin(struct rev_info *revs,
				      struct cmdline_pathspec *prune)
1260
{
1261
	struct strbuf sb;
1262
	int seen_dashdash = 0;
1263

1264 1265 1266 1267 1268
	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';
1269 1270
		if (!len)
			break;
1271 1272 1273 1274 1275
		if (sb.buf[0] == '-') {
			if (len == 2 && sb.buf[1] == '-') {
				seen_dashdash = 1;
				break;
			}
1276
			die("options not supported in --stdin mode");
1277
		}
1278 1279
		if (handle_revision_arg(xstrdup(sb.buf), revs, 0,
					REVARG_CANNOT_BE_FILENAME))
1280
			die("bad revision '%s'", sb.buf);
1281
	}
1282 1283
	if (seen_dashdash)
		read_pathspec_from_stdin(revs, &sb, prune);
1284
	strbuf_release(&sb);
1285 1286
}

1287
static void add_grep(struct rev_info *revs, const char *ptn, enum grep_pat_token what)
1288
{
J
Jeff King 已提交
1289
	append_grep_pattern(&revs->grep_filter, ptn, "command line", 0, what);
1290 1291
}

1292
static void add_header_grep(struct rev_info *revs, enum grep_header_field field, const char *pattern)
1293
{
1294
	append_header_grep_pattern(&revs->grep_filter, field, pattern);
1295 1296 1297 1298
}

static void add_message_grep(struct rev_info *revs, const char *pattern)
{
1299
	add_grep(revs, pattern, GREP_PATTERN_BODY);
1300 1301
}

1302 1303
static int handle_revision_opt(struct rev_info *revs, int argc, const char **argv,
			       int *unkc, const char **unkv)
1304 1305
{
	const char *arg = argv[0];
1306 1307
	const char *optarg;
	int argcount;
1308 1309 1310 1311 1312

	/* pseudo revision arguments */
	if (!strcmp(arg, "--all") || !strcmp(arg, "--branches") ||
	    !strcmp(arg, "--tags") || !strcmp(arg, "--remotes") ||
	    !strcmp(arg, "--reflog") || !strcmp(arg, "--not") ||
1313
	    !strcmp(arg, "--no-walk") || !strcmp(arg, "--do-walk") ||
1314 1315
	    !strcmp(arg, "--bisect") || !prefixcmp(arg, "--glob=") ||
	    !prefixcmp(arg, "--branches=") || !prefixcmp(arg, "--tags=") ||
1316
	    !prefixcmp(arg, "--remotes=") || !prefixcmp(arg, "--no-walk="))
1317 1318
	{
		unkv[(*unkc)++] = arg;
1319
		return 1;
1320 1321
	}

1322 1323
	if ((argcount = parse_long_opt("max-count", argv, &optarg))) {
		revs->max_count = atoi(optarg);
1324
		revs->no_walk = 0;
1325 1326 1327 1328
		return argcount;
	} else if ((argcount = parse_long_opt("skip", argv, &optarg))) {
		revs->skip_count = atoi(optarg);
		return argcount;
1329 1330 1331
	} else if ((*arg == '-') && isdigit(arg[1])) {
	/* accept -<digit>, like traditional "head" */
		revs->max_count = atoi(arg + 1);
1332
		revs->no_walk = 0;
1333 1334 1335 1336
	} else if (!strcmp(arg, "-n")) {
		if (argc <= 1)
			return error("-n requires an argument");
		revs->max_count = atoi(argv[1]);
1337
		revs->no_walk = 0;
1338 1339 1340
		return 2;
	} else if (!prefixcmp(arg, "-n")) {
		revs->max_count = atoi(arg + 2);
1341
		revs->no_walk = 0;
1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359
	} 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;
1360 1361
	} else if (!strcmp(arg, "--first-parent")) {
		revs->first_parent_only = 1;
J
Junio C Hamano 已提交
1362 1363
	} else if (!strcmp(arg, "--ancestry-path")) {
		revs->ancestry_path = 1;
1364
		revs->simplify_history = 0;
J
Junio C Hamano 已提交
1365
		revs->limited = 1;
1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377
	} 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;
1378 1379
	} else if (!strcmp(arg, "--simplify-merges")) {
		revs->simplify_merges = 1;
1380
		revs->topo_order = 1;
1381 1382 1383
		revs->rewrite_parents = 1;
		revs->simplify_history = 0;
		revs->limited = 1;
1384 1385
	} else if (!strcmp(arg, "--simplify-by-decoration")) {
		revs->simplify_merges = 1;
1386
		revs->topo_order = 1;
1387 1388 1389 1390 1391
		revs->rewrite_parents = 1;
		revs->simplify_history = 0;
		revs->simplify_by_decoration = 1;
		revs->limited = 1;
		revs->prune = 1;
1392
		load_ref_decorations(DECORATE_SHORT_REFS);
1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416
	} 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;
1417
	} else if (!strcmp(arg, "--merges")) {
1418
		revs->min_parents = 2;
1419
	} else if (!strcmp(arg, "--no-merges")) {
1420 1421 1422 1423 1424 1425 1426 1427 1428
		revs->max_parents = 1;
	} else if (!prefixcmp(arg, "--min-parents=")) {
		revs->min_parents = atoi(arg+14);
	} else if (!prefixcmp(arg, "--no-min-parents")) {
		revs->min_parents = 0;
	} else if (!prefixcmp(arg, "--max-parents=")) {
		revs->max_parents = atoi(arg+14);
	} else if (!prefixcmp(arg, "--no-max-parents")) {
		revs->max_parents = -1;
1429 1430 1431 1432
	} else if (!strcmp(arg, "--boundary")) {
		revs->boundary = 1;
	} else if (!strcmp(arg, "--left-right")) {
		revs->left_right = 1;
1433
	} else if (!strcmp(arg, "--left-only")) {
1434
		if (revs->right_only)
M
Michael J Gruber 已提交
1435 1436
			die("--left-only is incompatible with --right-only"
			    " or --cherry");
1437 1438
		revs->left_only = 1;
	} else if (!strcmp(arg, "--right-only")) {
1439 1440
		if (revs->left_only)
			die("--right-only is incompatible with --left-only");
1441
		revs->right_only = 1;
M
Michael J Gruber 已提交
1442 1443 1444 1445 1446
	} else if (!strcmp(arg, "--cherry")) {
		if (revs->left_only)
			die("--cherry is incompatible with --left-only");
		revs->cherry_mark = 1;
		revs->right_only = 1;
1447
		revs->max_parents = 1;
M
Michael J Gruber 已提交
1448
		revs->limited = 1;
T
Thomas Rast 已提交
1449 1450
	} else if (!strcmp(arg, "--count")) {
		revs->count = 1;
1451 1452 1453 1454 1455
	} 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() */
1456
	} else if (!strcmp(arg, "--cherry-pick")) {
1457 1458
		if (revs->cherry_mark)
			die("--cherry-pick is incompatible with --cherry-mark");
1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469
		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;
J
Junio C Hamano 已提交
1470 1471 1472 1473 1474
	} else if (!strcmp(arg, "--verify-objects")) {
		revs->tag_objects = 1;
		revs->tree_objects = 1;
		revs->blob_objects = 1;
		revs->verify_objects = 1;
1475 1476
	} else if (!strcmp(arg, "--unpacked")) {
		revs->unpacked = 1;
J
Junio C Hamano 已提交
1477 1478
	} else if (!prefixcmp(arg, "--unpacked=")) {
		die("--unpacked=<packfile> no longer supported.");
1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499
	} 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;
1500
		revs->pretty_given = 1;
1501
		get_commit_format(arg+8, revs);
1502
	} else if (!prefixcmp(arg, "--pretty=") || !prefixcmp(arg, "--format=")) {
1503 1504 1505 1506
		/*
		 * Detached form ("--pretty X" as opposed to "--pretty=X")
		 * not allowed, since the argument is optional.
		 */
1507
		revs->verbose_header = 1;
1508
		revs->pretty_given = 1;
1509
		get_commit_format(arg+9, revs);
1510
	} else if (!strcmp(arg, "--show-notes") || !strcmp(arg, "--notes")) {
1511 1512
		revs->show_notes = 1;
		revs->show_notes_given = 1;
1513
		revs->notes_opt.use_default_notes = 1;
J
Junio C Hamano 已提交
1514 1515
	} else if (!strcmp(arg, "--show-signature")) {
		revs->show_signature = 1;
1516 1517
	} else if (!prefixcmp(arg, "--show-notes=") ||
		   !prefixcmp(arg, "--notes=")) {
1518 1519 1520
		struct strbuf buf = STRBUF_INIT;
		revs->show_notes = 1;
		revs->show_notes_given = 1;
1521 1522 1523 1524 1525 1526 1527
		if (!prefixcmp(arg, "--show-notes")) {
			if (revs->notes_opt.use_default_notes < 0)
				revs->notes_opt.use_default_notes = 1;
			strbuf_addstr(&buf, arg+13);
		}
		else
			strbuf_addstr(&buf, arg+8);
1528
		expand_notes_ref(&buf);
1529
		string_list_append(&revs->notes_opt.extra_notes_refs,
1530
				   strbuf_detach(&buf, NULL));
1531 1532 1533
	} else if (!strcmp(arg, "--no-notes")) {
		revs->show_notes = 0;
		revs->show_notes_given = 1;
1534 1535 1536 1537 1538 1539
		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;
1540 1541
	} else if (!strcmp(arg, "--standard-notes")) {
		revs->show_notes_given = 1;
1542
		revs->notes_opt.use_default_notes = 1;
1543
	} else if (!strcmp(arg, "--no-standard-notes")) {
1544
		revs->notes_opt.use_default_notes = 0;
1545 1546 1547
	} else if (!strcmp(arg, "--oneline")) {
		revs->verbose_header = 1;
		get_commit_format("oneline", revs);
1548
		revs->pretty_given = 1;
1549
		revs->abbrev_commit = 1;
1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571
	} 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;
1572 1573 1574
		revs->abbrev_commit_given = 1;
	} else if (!strcmp(arg, "--no-abbrev-commit")) {
		revs->abbrev_commit = 0;
1575 1576 1577 1578 1579 1580 1581
	} 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 已提交
1582
		revs->date_mode_explicit = 1;
1583 1584
	} else if ((argcount = parse_long_opt("date", argv, &optarg))) {
		revs->date_mode = parse_date_format(optarg);
J
Jeff King 已提交
1585
		revs->date_mode_explicit = 1;
1586
		return argcount;
1587 1588 1589 1590 1591 1592
	} else if (!strcmp(arg, "--log-size")) {
		revs->show_log_size = 1;
	}
	/*
	 * Grepping the commit log
	 */
1593 1594 1595 1596 1597 1598 1599 1600 1601
	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;
1602 1603
	} else if (!strcmp(arg, "--grep-debug")) {
		revs->grep_filter.debug = 1;
1604
	} else if (!strcmp(arg, "--extended-regexp") || !strcmp(arg, "-E")) {
J
Jeff King 已提交
1605
		revs->grep_filter.regflags |= REG_EXTENDED;
1606
	} else if (!strcmp(arg, "--regexp-ignore-case") || !strcmp(arg, "-i")) {
J
Jeff King 已提交
1607
		revs->grep_filter.regflags |= REG_ICASE;
1608
		DIFF_OPT_SET(&revs->diffopt, PICKAXE_IGNORE_CASE);
1609
	} else if (!strcmp(arg, "--fixed-strings") || !strcmp(arg, "-F")) {
J
Jeff King 已提交
1610
		revs->grep_filter.fixed = 1;
1611
	} else if (!strcmp(arg, "--all-match")) {
J
Jeff King 已提交
1612
		revs->grep_filter.all_match = 1;
1613 1614 1615
	} else if ((argcount = parse_long_opt("encoding", argv, &optarg))) {
		if (strcmp(optarg, "none"))
			git_log_output_encoding = xstrdup(optarg);
1616 1617
		else
			git_log_output_encoding = "";
1618
		return argcount;
1619 1620 1621 1622 1623
	} else if (!strcmp(arg, "--reverse")) {
		revs->reverse ^= 1;
	} else if (!strcmp(arg, "--children")) {
		revs->children.name = "children";
		revs->limited = 1;
J
Junio C Hamano 已提交
1624 1625
	} else if (!strcmp(arg, "--ignore-missing")) {
		revs->ignore_missing = 1;
1626 1627 1628 1629 1630 1631 1632 1633 1634 1635
	} else {
		int opts = diff_opt_parse(&revs->diffopt, argv, argc);
		if (!opts)
			unkv[(*unkc)++] = arg;
		return opts;
	}

	return 1;
}

1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649
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;
}

1650
static int for_each_bad_bisect_ref(const char *submodule, each_ref_fn fn, void *cb_data)
1651
{
1652
	return for_each_ref_in_submodule(submodule, "refs/bisect/bad", fn, cb_data);
1653 1654
}

1655
static int for_each_good_bisect_ref(const char *submodule, each_ref_fn fn, void *cb_data)
1656
{
1657
	return for_each_ref_in_submodule(submodule, "refs/bisect/good", fn, cb_data);
1658 1659
}

1660 1661 1662 1663 1664 1665 1666 1667
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;
	int argcount;

1668 1669 1670 1671 1672 1673 1674 1675 1676 1677
	/*
	 * 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.
	 */
1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712
	if (!strcmp(arg, "--all")) {
		handle_refs(submodule, revs, *flags, for_each_ref_submodule);
		handle_refs(submodule, revs, *flags, head_ref_submodule);
	} else if (!strcmp(arg, "--branches")) {
		handle_refs(submodule, revs, *flags, for_each_branch_ref_submodule);
	} else if (!strcmp(arg, "--bisect")) {
		handle_refs(submodule, revs, *flags, for_each_bad_bisect_ref);
		handle_refs(submodule, revs, *flags ^ UNINTERESTING, for_each_good_bisect_ref);
		revs->bisect = 1;
	} else if (!strcmp(arg, "--tags")) {
		handle_refs(submodule, revs, *flags, for_each_tag_ref_submodule);
	} else if (!strcmp(arg, "--remotes")) {
		handle_refs(submodule, revs, *flags, for_each_remote_ref_submodule);
	} else if ((argcount = parse_long_opt("glob", argv, &optarg))) {
		struct all_refs_cb cb;
		init_all_refs_cb(&cb, revs, *flags);
		for_each_glob_ref(handle_one_ref, optarg, &cb);
		return argcount;
	} else 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);
	} else 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);
	} else 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);
	} else if (!strcmp(arg, "--reflog")) {
		handle_reflog(revs, *flags);
	} else if (!strcmp(arg, "--not")) {
		*flags ^= UNINTERESTING;
	} else if (!strcmp(arg, "--no-walk")) {
1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724
		revs->no_walk = REVISION_WALK_NO_WALK_SORTED;
	} else if (!prefixcmp(arg, "--no-walk=")) {
		/*
		 * Detached form ("--no-walk X" as opposed to "--no-walk=X")
		 * not allowed, since the argument is optional.
		 */
		if (!strcmp(arg + 10, "sorted"))
			revs->no_walk = REVISION_WALK_NO_WALK_SORTED;
		else if (!strcmp(arg + 10, "unsorted"))
			revs->no_walk = REVISION_WALK_NO_WALK_UNSORTED;
		else
			return error("invalid argument to --no-walk");
1725 1726 1727 1728 1729 1730 1731 1732 1733
	} else if (!strcmp(arg, "--do-walk")) {
		revs->no_walk = 0;
	} else {
		return 0;
	}

	return 1;
}

1734 1735 1736 1737
/*
 * Parse revision information, filling in the "rev_info" structure,
 * and removing the used arguments from the argument list.
 *
1738 1739
 * Returns the number of arguments left that weren't recognized
 * (which are also moved to the head of the argument list)
1740
 */
1741
int setup_revisions(int argc, const char **argv, struct rev_info *revs, struct setup_revision_opt *opt)
1742
{
1743
	int i, flags, left, seen_dashdash, read_from_stdin, got_rev_arg = 0, revarg_opt;
1744
	struct cmdline_pathspec prune_data;
1745 1746
	const char *submodule = NULL;

1747
	memset(&prune_data, 0, sizeof(prune_data));
1748 1749
	if (opt)
		submodule = opt->submodule;
1750 1751

	/* First, search for "--" */
1752
	if (opt && opt->assume_dashdash) {
1753
		seen_dashdash = 1;
1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766
	} 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])
				append_prune_data(&prune_data, argv + i + 1);
			seen_dashdash = 1;
			break;
		}
1767 1768
	}

1769 1770
	/* Second, deal with arguments and options */
	flags = 0;
1771 1772 1773
	revarg_opt = opt ? opt->revarg_opt : 0;
	if (seen_dashdash)
		revarg_opt |= REVARG_CANNOT_BE_FILENAME;
1774
	read_from_stdin = 0;
1775
	for (left = i = 1; i < argc; i++) {
1776 1777
		const char *arg = argv[i];
		if (*arg == '-') {
1778
			int opts;
1779

1780 1781 1782 1783 1784
			opts = handle_revision_pseudo_opt(submodule,
						revs, argc - i, argv + i,
						&flags);
			if (opts > 0) {
				i += opts - 1;
1785 1786
				continue;
			}
1787

1788 1789 1790 1791 1792 1793 1794
			if (!strcmp(arg, "--stdin")) {
				if (revs->disable_stdin) {
					argv[left++] = arg;
					continue;
				}
				if (read_from_stdin++)
					die("--stdin given twice?");
1795
				read_revisions_from_stdin(revs, &prune_data);
1796 1797
				continue;
			}
1798

1799
			opts = handle_revision_opt(revs, argc - i, argv + i, &left, argv);
1800 1801 1802 1803
			if (opts > 0) {
				i += opts - 1;
				continue;
			}
1804 1805
			if (opts < 0)
				exit(128);
1806 1807 1808
			continue;
		}

1809 1810

		if (handle_revision_arg(arg, revs, flags, revarg_opt)) {
1811 1812
			int j;
			if (seen_dashdash || *arg == '^')
1813 1814
				die("bad revision '%s'", arg);

1815 1816 1817 1818 1819 1820
			/* 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.
			 */
1821
			for (j = i; j < argc; j++)
1822
				verify_filename(revs->prefix, argv[j], j == i);
1823

1824
			append_prune_data(&prune_data, argv + i);
1825 1826
			break;
		}
1827 1828
		else
			got_rev_arg = 1;
1829
	}
1830

1831
	if (prune_data.nr) {
1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845
		/*
		 * 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.
		 * }
		 */
1846 1847
		ALLOC_GROW(prune_data.path, prune_data.nr+1, prune_data.alloc);
		prune_data.path[prune_data.nr++] = NULL;
1848 1849
		init_pathspec(&revs->prune_data,
			      get_pathspec(revs->prefix, prune_data.path));
1850
	}
1851

1852
	if (revs->def == NULL)
1853
		revs->def = opt ? opt->def : NULL;
J
Junio C Hamano 已提交
1854 1855
	if (opt && opt->tweak)
		opt->tweak(revs, opt);
1856
	if (revs->show_merge)
1857
		prepare_show_merge(revs);
1858
	if (revs->def && !revs->pending.nr && !got_rev_arg) {
1859
		unsigned char sha1[20];
1860
		struct object *object;
1861
		struct object_context oc;
1862
		if (get_sha1_with_context(revs->def, 0, sha1, &oc))
1863 1864
			die("bad default revision '%s'", revs->def);
		object = get_reference(revs, revs->def, sha1, 0);
1865
		add_pending_object_with_mode(revs, object, revs->def, oc.mode);
1866
	}
1867

1868 1869 1870 1871
	/* 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 已提交
1872 1873 1874 1875
	/* Pickaxe, diff-filter and rename following need diffs */
	if (revs->diffopt.pickaxe ||
	    revs->diffopt.filter ||
	    DIFF_OPT_TST(&revs->diffopt, FOLLOW_RENAMES))
1876 1877
		revs->diff = 1;

1878
	if (revs->topo_order)
1879 1880
		revs->limited = 1;

1881 1882
	if (revs->prune_data.nr) {
		diff_tree_setup_paths(revs->prune_data.raw, &revs->pruning);
1883
		/* Can't prune commits with rename following: the paths change.. */
1884
		if (!DIFF_OPT_TST(&revs->diffopt, FOLLOW_RENAMES))
L
Linus Torvalds 已提交
1885
			revs->prune = 1;
1886
		if (!revs->full_diff)
1887
			diff_tree_setup_paths(revs->prune_data.raw, &revs->diffopt);
1888
	}
J
Junio C Hamano 已提交
1889
	if (revs->combine_merges)
1890 1891
		revs->ignore_merges = 0;
	revs->diffopt.abbrev = revs->abbrev;
T
Thomas Rast 已提交
1892
	diff_setup_done(&revs->diffopt);
1893

J
Jeff King 已提交
1894
	compile_grep_patterns(&revs->grep_filter);
1895

1896 1897
	if (revs->reverse && revs->reflog_info)
		die("cannot combine --reverse with --walk-reflogs");
1898
	if (revs->rewrite_parents && revs->children.name)
1899
		die("cannot combine --parents and --children");
1900

1901 1902 1903 1904 1905 1906 1907 1908 1909
	/*
	 * 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");

1910 1911
	return left;
}
1912

1913 1914 1915 1916 1917 1918 1919 1920
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);
}

1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945
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;
}

1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962
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)
1963 1964
{
	struct commit_list *p;
1965
	struct merge_simplify_state *st, *pst;
1966 1967
	int cnt;

1968 1969
	st = locate_simplify_state(revs, commit);

1970 1971 1972
	/*
	 * Have we handled this one?
	 */
1973
	if (st->simplified)
1974 1975 1976 1977 1978 1979 1980 1981
		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) {
1982
		st->simplified = commit;
1983 1984 1985 1986
		return tail;
	}

	/*
1987 1988 1989
	 * 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.
1990 1991
	 */
	for (cnt = 0, p = commit->parents; p; p = p->next) {
1992 1993
		pst = locate_simplify_state(revs, p->item);
		if (!pst->simplified) {
1994 1995 1996
			tail = &commit_list_insert(p->item, tail)->next;
			cnt++;
		}
1997 1998
		if (revs->first_parent_only)
			break;
1999
	}
2000 2001
	if (cnt) {
		tail = &commit_list_insert(commit, tail)->next;
2002
		return tail;
2003
	}
2004 2005 2006 2007

	/*
	 * Rewrite our list of parents.
	 */
2008 2009 2010
	for (p = commit->parents; p; p = p->next) {
		pst = locate_simplify_state(revs, p->item);
		p->item = pst->simplified;
2011 2012
		if (revs->first_parent_only)
			break;
2013
	}
2014 2015 2016 2017
	if (!revs->first_parent_only)
		cnt = remove_duplicate_parents(commit);
	else
		cnt = 1;
2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037 2038 2039 2040 2041 2042 2043 2044 2045 2046 2047 2048 2049 2050

	/*
	 * 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))
2051 2052 2053 2054 2055
		st->simplified = commit;
	else {
		pst = locate_simplify_state(revs, commit->parents->item);
		st->simplified = pst->simplified;
	}
2056 2057 2058 2059 2060
	return tail;
}

static void simplify_merges(struct rev_info *revs)
{
2061
	struct commit_list *list, *next;
2062
	struct commit_list *yet_to_do, **tail;
2063
	struct commit *commit;
2064

2065 2066
	if (!revs->prune)
		return;
2067

2068 2069
	/* feed the list reversed */
	yet_to_do = NULL;
2070 2071 2072 2073 2074 2075 2076 2077 2078
	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);
	}
2079 2080 2081 2082 2083
	while (yet_to_do) {
		list = yet_to_do;
		yet_to_do = NULL;
		tail = &yet_to_do;
		while (list) {
2084 2085
			commit = list->item;
			next = list->next;
2086 2087
			free(list);
			list = next;
2088
			tail = simplify_one(revs, commit, tail);
2089 2090 2091 2092 2093 2094 2095 2096
		}
	}

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

		commit = list->item;
		next = list->next;
2101 2102
		free(list);
		list = next;
2103 2104
		st = locate_simplify_state(revs, commit);
		if (st->simplified == commit)
2105 2106 2107 2108
			tail = &commit_list_insert(commit, tail)->next;
	}
}

2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120
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);
	}
}

2121 2122 2123 2124 2125
void reset_revision_walk(void)
{
	clear_object_flags(SEEN | ADDED | SHOWN);
}

2126
int prepare_revision_walk(struct rev_info *revs)
2127
{
2128
	int nr = revs->pending.nr;
2129
	struct object_array_entry *e, *list;
2130
	struct commit_list **next = &revs->commits;
2131

2132
	e = list = revs->pending.objects;
2133 2134 2135 2136
	revs->pending.nr = 0;
	revs->pending.alloc = 0;
	revs->pending.objects = NULL;
	while (--nr >= 0) {
2137
		struct commit *commit = handle_commit(revs, e->item, e->name);
2138 2139 2140
		if (commit) {
			if (!(commit->object.flags & SEEN)) {
				commit->object.flags |= SEEN;
2141
				next = commit_list_append(commit, next);
2142 2143
			}
		}
2144
		e++;
2145
	}
R
René Scharfe 已提交
2146 2147
	if (!revs->leak_pending)
		free(list);
2148

2149 2150
	if (revs->no_walk != REVISION_WALK_NO_WALK_UNSORTED)
		commit_list_sort_by_date(&revs->commits);
L
Linus Torvalds 已提交
2151
	if (revs->no_walk)
2152
		return 0;
2153
	if (revs->limited)
2154 2155
		if (limit_list(revs) < 0)
			return -1;
2156
	if (revs->topo_order)
L
Linus Torvalds 已提交
2157
		sort_in_topological_order(&revs->commits, revs->lifo);
2158 2159
	if (revs->simplify_merges)
		simplify_merges(revs);
2160 2161
	if (revs->children.name)
		set_children(revs);
2162
	return 0;
2163 2164
}

2165 2166 2167
enum rewrite_result {
	rewrite_one_ok,
	rewrite_one_noparents,
2168
	rewrite_one_error
2169 2170 2171
};

static enum rewrite_result rewrite_one(struct rev_info *revs, struct commit **pp)
2172
{
2173 2174
	struct commit_list *cache = NULL;

2175 2176
	for (;;) {
		struct commit *p = *pp;
2177
		if (!revs->limited)
2178
			if (add_parents_to_list(revs, p, &revs->commits, &cache) < 0)
2179
				return rewrite_one_error;
L
Linus Torvalds 已提交
2180
		if (p->parents && p->parents->next)
2181
			return rewrite_one_ok;
2182 2183 2184
		if (p->object.flags & UNINTERESTING)
			return rewrite_one_ok;
		if (!(p->object.flags & TREESAME))
2185
			return rewrite_one_ok;
2186
		if (!p->parents)
2187
			return rewrite_one_noparents;
2188 2189 2190 2191
		*pp = p->parents->item;
	}
}

2192
static int rewrite_parents(struct rev_info *revs, struct commit *commit)
2193 2194 2195 2196
{
	struct commit_list **pp = &commit->parents;
	while (*pp) {
		struct commit_list *parent = *pp;
2197 2198 2199 2200
		switch (rewrite_one(revs, &parent->item)) {
		case rewrite_one_ok:
			break;
		case rewrite_one_noparents:
2201 2202
			*pp = parent->next;
			continue;
2203 2204
		case rewrite_one_error:
			return -1;
2205 2206 2207
		}
		pp = &parent->next;
	}
2208
	remove_duplicate_parents(commit);
2209
	return 0;
2210 2211
}

2212 2213
static int commit_match(struct commit *commit, struct rev_info *opt)
{
2214
	if (!opt->grep_filter.pattern_list && !opt->grep_filter.header_list)
2215
		return 1;
J
Jeff King 已提交
2216
	return grep_buffer(&opt->grep_filter,
2217
			   commit->buffer, strlen(commit->buffer));
2218 2219
}

2220 2221
static inline int want_ancestry(struct rev_info *revs)
{
2222
	return (revs->rewrite_parents || revs->children.name);
2223 2224
}

2225
enum commit_action get_commit_action(struct rev_info *revs, struct commit *commit)
L
Linus Torvalds 已提交
2226 2227 2228
{
	if (commit->object.flags & SHOWN)
		return commit_ignore;
2229
	if (revs->unpacked && has_sha1_pack(commit->object.sha1))
L
Linus Torvalds 已提交
2230
		return commit_ignore;
2231 2232
	if (revs->show_all)
		return commit_show;
L
Linus Torvalds 已提交
2233 2234 2235 2236
	if (commit->object.flags & UNINTERESTING)
		return commit_ignore;
	if (revs->min_age != -1 && (commit->date > revs->min_age))
		return commit_ignore;
2237 2238 2239 2240 2241 2242 2243 2244 2245
	if (revs->min_parents || (revs->max_parents >= 0)) {
		int n = 0;
		struct commit_list *p;
		for (p = commit->parents; p; p = p->next)
			n++;
		if ((n < revs->min_parents) ||
		    ((revs->max_parents >= 0) && (n > revs->max_parents)))
			return commit_ignore;
	}
L
Linus Torvalds 已提交
2246 2247
	if (!commit_match(commit, revs))
		return commit_ignore;
L
Linus Torvalds 已提交
2248
	if (revs->prune && revs->dense) {
L
Linus Torvalds 已提交
2249
		/* Commit without changes? */
2250
		if (commit->object.flags & TREESAME) {
L
Linus Torvalds 已提交
2251
			/* drop merges unless we want parenthood */
2252
			if (!want_ancestry(revs))
L
Linus Torvalds 已提交
2253 2254 2255 2256 2257 2258 2259 2260 2261
				return commit_ignore;
			/* non-merge - always ignore it */
			if (!commit->parents || !commit->parents->next)
				return commit_ignore;
		}
	}
	return commit_show;
}

2262 2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273 2274
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 已提交
2275
static struct commit *get_revision_1(struct rev_info *revs)
2276
{
J
Junio C Hamano 已提交
2277
	if (!revs->commits)
2278 2279
		return NULL;

2280
	do {
L
Linus Torvalds 已提交
2281 2282
		struct commit_list *entry = revs->commits;
		struct commit *commit = entry->item;
2283

L
Linus Torvalds 已提交
2284 2285
		revs->commits = entry->next;
		free(entry);
2286

2287
		if (revs->reflog_info) {
2288
			fake_reflog_parent(revs->reflog_info, commit);
2289 2290
			commit->object.flags &= ~(ADDED | SEEN | SHOWN);
		}
2291

2292 2293
		/*
		 * If we haven't done the list limiting, we need to look at
2294 2295
		 * the parents here. We also need to do the date-based limiting
		 * that we'd otherwise have done in limit_list().
2296
		 */
2297
		if (!revs->limited) {
2298
			if (revs->max_age != -1 &&
2299 2300
			    (commit->date < revs->max_age))
				continue;
2301
			if (add_parents_to_list(revs, commit, &revs->commits, NULL) < 0)
2302 2303
				die("Failed to traverse parents of commit %s",
				    sha1_to_hex(commit->object.sha1));
2304
		}
2305

L
Linus Torvalds 已提交
2306 2307
		switch (simplify_commit(revs, commit)) {
		case commit_ignore:
2308
			continue;
L
Linus Torvalds 已提交
2309
		case commit_error:
2310 2311
			die("Failed to simplify parents of commit %s",
			    sha1_to_hex(commit->object.sha1));
L
Linus Torvalds 已提交
2312 2313
		default:
			return commit;
J
Junio C Hamano 已提交
2314
		}
2315 2316 2317
	} while (revs->commits);
	return NULL;
}
J
Junio C Hamano 已提交
2318

2319 2320 2321 2322 2323 2324 2325 2326 2327 2328 2329 2330 2331 2332 2333
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++;
		}
2334
		for (i = j; i < nr; i++)
2335 2336 2337 2338 2339
			objects[i].item = NULL;
		array->nr = j;
	}
}

2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375 2376 2377 2378 2379 2380
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);
}

2381
static struct commit *get_revision_internal(struct rev_info *revs)
J
Junio C Hamano 已提交
2382 2383
{
	struct commit *c = NULL;
2384 2385 2386
	struct commit_list *l;

	if (revs->boundary == 2) {
2387 2388 2389 2390 2391 2392 2393 2394 2395
		/*
		 * 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;
2396 2397 2398
		return c;
	}

2399
	/*
2400 2401 2402 2403 2404 2405 2406 2407
	 * 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.
2408
	 */
2409 2410 2411 2412 2413 2414 2415 2416 2417
	if (revs->max_count) {
		c = get_revision_1(revs);
		if (c) {
			while (0 < revs->skip_count) {
				revs->skip_count--;
				c = get_revision_1(revs);
				if (!c)
					break;
			}
2418
		}
2419

2420 2421
		if (revs->max_count > 0)
			revs->max_count--;
J
Junio C Hamano 已提交
2422
	}
2423

2424 2425 2426 2427
	if (c)
		c->object.flags |= SHOWN;

	if (!revs->boundary) {
J
Junio C Hamano 已提交
2428
		return c;
2429
	}
2430 2431 2432 2433 2434 2435 2436 2437

	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;
2438 2439 2440 2441 2442 2443 2444

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

2445
		return get_revision_internal(revs);
2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457
	}

	/*
	 * 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);
2458
		if (p->flags & (CHILD_SHOWN | SHOWN))
2459 2460 2461 2462 2463 2464 2465
			continue;
		p->flags |= CHILD_SHOWN;
		gc_boundary(&revs->boundary_commits);
		add_object_array(p, NULL, &revs->boundary_commits);
	}

	return c;
J
Junio C Hamano 已提交
2466
}
2467 2468 2469

struct commit *get_revision(struct rev_info *revs)
{
2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486
	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);
2487 2488 2489 2490
	if (c && revs->graph)
		graph_update(revs->graph, c);
	return c;
}
2491 2492 2493 2494 2495 2496 2497

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 "^";
2498 2499
	else if (commit->object.flags & PATCHSAME)
		return "=";
2500 2501 2502 2503 2504 2505 2506
	else if (!revs || revs->left_right) {
		if (commit->object.flags & SYMMETRIC_LEFT)
			return "<";
		else
			return ">";
	} else if (revs->graph)
		return "*";
2507 2508
	else if (revs->cherry_mark)
		return "+";
2509 2510
	return "";
}
2511 2512 2513 2514 2515 2516 2517 2518 2519

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(' ');
}