revision.c 64.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 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
		    const char *fullpath, unsigned dirty_submodule)
349
{
350
	int diff = addremove == '+' ? REV_TREE_NEW : REV_TREE_OLD;
351

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

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

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

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

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

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

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

	if (!t1)
		return 0;

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

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

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

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

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

440 441 442 443
	if (!commit->tree)
		return;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

626 627 628
	if (!left_count || !right_count)
		return;

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

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

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

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

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

	free_patch_ids(&ids);
}

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

J
Junio C Hamano 已提交
723 724 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
/*
 * "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.
 */
801
static struct commit_list *collect_bottom_commits(struct rev_info *revs)
J
Junio C Hamano 已提交
802
{
803 804 805 806 807 808 809 810
	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 已提交
811 812 813
	return bottom;
}

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

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

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

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

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

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

		show = show_early_output;
		if (!show)
			continue;

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

886 887 888
	if (revs->left_only || revs->right_only)
		limit_left_right(newlist, revs);

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

894
	revs->commits = newlist;
895
	return 0;
896 897
}

898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914
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++;
}

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

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

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

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

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

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

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

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

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

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

1047 1048
	revs->commit_format = CMIT_FMT_DEFAULT;

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

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

	revs->notes_opt.use_default_notes = -1;
1061 1062
}

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

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

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

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

1117
int handle_revision_arg(const char *arg_, struct rev_info *revs,
1118 1119 1120
			int flags,
			int cant_be_filename)
{
1121
	unsigned mode;
1122 1123 1124 1125
	char *dotdot;
	struct object *object;
	unsigned char sha1[20];
	int local_flags;
1126
	const char *arg = arg_;
1127 1128 1129 1130 1131 1132 1133 1134

	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;
1135
		unsigned int a_flags;
1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151

		*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) {
J
Junio C Hamano 已提交
1152 1153
				if (revs->ignore_missing)
					return 0;
1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169
				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);
1170
				a_flags = flags | SYMMETRIC_LEFT;
1171
			} else
1172 1173
				a_flags = flags_exclude;
			a->object.flags |= a_flags;
1174
			b->object.flags |= flags;
1175 1176 1177 1178
			add_rev_cmdline(revs, &a->object, this,
					REV_CMD_LEFT, a_flags);
			add_rev_cmdline(revs, &b->object, next,
					REV_CMD_RIGHT, flags);
1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191
			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 = '^';
	}
1192 1193 1194 1195 1196 1197 1198
	dotdot = strstr(arg, "^!");
	if (dotdot && !dotdot[2]) {
		*dotdot = 0;
		if (!add_parents_only(revs, arg, flags ^ UNINTERESTING))
			*dotdot = '^';
	}

1199 1200 1201 1202 1203
	local_flags = 0;
	if (*arg == '^') {
		local_flags = UNINTERESTING;
		arg++;
	}
1204
	if (get_sha1_with_mode(arg, sha1, &mode))
J
Junio C Hamano 已提交
1205
		return revs->ignore_missing ? 0 : -1;
1206 1207 1208
	if (!cant_be_filename)
		verify_non_filename(revs->prefix, arg);
	object = get_reference(revs, arg, sha1, flags ^ local_flags);
1209
	add_rev_cmdline(revs, object, arg_, REV_CMD_REV, flags ^ local_flags);
1210
	add_pending_object_with_mode(revs, object, arg, mode);
1211 1212 1213
	return 0;
}

1214 1215 1216 1217 1218
struct cmdline_pathspec {
	int alloc;
	int nr;
	const char **path;
};
1219

1220 1221 1222 1223 1224 1225 1226
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++);
	}
}
1227

1228 1229 1230
static void read_pathspec_from_stdin(struct rev_info *revs, struct strbuf *sb,
				     struct cmdline_pathspec *prune)
{
1231 1232 1233 1234
	while (strbuf_getwholeline(sb, stdin, '\n') != EOF) {
		int len = sb->len;
		if (len && sb->buf[len - 1] == '\n')
			sb->buf[--len] = '\0';
1235 1236
		ALLOC_GROW(prune->path, prune->nr+1, prune->alloc);
		prune->path[prune->nr++] = xstrdup(sb->buf);
1237 1238 1239
	}
}

1240 1241
static void read_revisions_from_stdin(struct rev_info *revs,
				      struct cmdline_pathspec *prune)
1242
{
1243
	struct strbuf sb;
1244
	int seen_dashdash = 0;
1245

1246 1247 1248 1249 1250
	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';
1251 1252
		if (!len)
			break;
1253 1254 1255 1256 1257
		if (sb.buf[0] == '-') {
			if (len == 2 && sb.buf[1] == '-') {
				seen_dashdash = 1;
				break;
			}
1258
			die("options not supported in --stdin mode");
1259
		}
1260 1261
		if (handle_revision_arg(sb.buf, revs, 0, 1))
			die("bad revision '%s'", sb.buf);
1262
	}
1263 1264
	if (seen_dashdash)
		read_pathspec_from_stdin(revs, &sb, prune);
1265
	strbuf_release(&sb);
1266 1267
}

1268
static void add_grep(struct rev_info *revs, const char *ptn, enum grep_pat_token what)
1269
{
J
Jeff King 已提交
1270
	append_grep_pattern(&revs->grep_filter, ptn, "command line", 0, what);
1271 1272
}

1273
static void add_header_grep(struct rev_info *revs, enum grep_header_field field, const char *pattern)
1274
{
1275
	append_header_grep_pattern(&revs->grep_filter, field, pattern);
1276 1277 1278 1279
}

static void add_message_grep(struct rev_info *revs, const char *pattern)
{
1280
	add_grep(revs, pattern, GREP_PATTERN_BODY);
1281 1282
}

1283 1284
static int handle_revision_opt(struct rev_info *revs, int argc, const char **argv,
			       int *unkc, const char **unkv)
1285 1286
{
	const char *arg = argv[0];
1287 1288
	const char *optarg;
	int argcount;
1289 1290 1291 1292 1293

	/* pseudo revision arguments */
	if (!strcmp(arg, "--all") || !strcmp(arg, "--branches") ||
	    !strcmp(arg, "--tags") || !strcmp(arg, "--remotes") ||
	    !strcmp(arg, "--reflog") || !strcmp(arg, "--not") ||
1294
	    !strcmp(arg, "--no-walk") || !strcmp(arg, "--do-walk") ||
1295 1296 1297
	    !strcmp(arg, "--bisect") || !prefixcmp(arg, "--glob=") ||
	    !prefixcmp(arg, "--branches=") || !prefixcmp(arg, "--tags=") ||
	    !prefixcmp(arg, "--remotes="))
1298 1299
	{
		unkv[(*unkc)++] = arg;
1300
		return 1;
1301 1302
	}

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

	return 1;
}

1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628
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;
}

1629
static int for_each_bad_bisect_ref(const char *submodule, each_ref_fn fn, void *cb_data)
1630
{
1631
	return for_each_ref_in_submodule(submodule, "refs/bisect/bad", fn, cb_data);
1632 1633
}

1634
static int for_each_good_bisect_ref(const char *submodule, each_ref_fn fn, void *cb_data)
1635
{
1636
	return for_each_ref_in_submodule(submodule, "refs/bisect/good", fn, cb_data);
1637 1638
}

1639 1640 1641 1642 1643 1644 1645 1646
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;

1647 1648 1649 1650 1651 1652 1653 1654 1655 1656
	/*
	 * 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.
	 */
1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701
	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")) {
		revs->no_walk = 1;
	} else if (!strcmp(arg, "--do-walk")) {
		revs->no_walk = 0;
	} else {
		return 0;
	}

	return 1;
}

1702 1703 1704 1705
/*
 * Parse revision information, filling in the "rev_info" structure,
 * and removing the used arguments from the argument list.
 *
1706 1707
 * Returns the number of arguments left that weren't recognized
 * (which are also moved to the head of the argument list)
1708
 */
1709
int setup_revisions(int argc, const char **argv, struct rev_info *revs, struct setup_revision_opt *opt)
1710
{
1711
	int i, flags, left, seen_dashdash, read_from_stdin, got_rev_arg = 0;
1712
	struct cmdline_pathspec prune_data;
1713 1714
	const char *submodule = NULL;

1715
	memset(&prune_data, 0, sizeof(prune_data));
1716 1717
	if (opt)
		submodule = opt->submodule;
1718 1719

	/* First, search for "--" */
1720
	if (opt && opt->assume_dashdash) {
1721
		seen_dashdash = 1;
1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734
	} 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;
		}
1735 1736
	}

1737 1738
	/* Second, deal with arguments and options */
	flags = 0;
1739
	read_from_stdin = 0;
1740
	for (left = i = 1; i < argc; i++) {
1741 1742
		const char *arg = argv[i];
		if (*arg == '-') {
1743
			int opts;
1744

1745 1746 1747 1748 1749
			opts = handle_revision_pseudo_opt(submodule,
						revs, argc - i, argv + i,
						&flags);
			if (opts > 0) {
				i += opts - 1;
1750 1751
				continue;
			}
1752

1753 1754 1755 1756 1757 1758 1759
			if (!strcmp(arg, "--stdin")) {
				if (revs->disable_stdin) {
					argv[left++] = arg;
					continue;
				}
				if (read_from_stdin++)
					die("--stdin given twice?");
1760
				read_revisions_from_stdin(revs, &prune_data);
1761 1762
				continue;
			}
1763

1764
			opts = handle_revision_opt(revs, argc - i, argv + i, &left, argv);
1765 1766 1767 1768
			if (opts > 0) {
				i += opts - 1;
				continue;
			}
1769 1770
			if (opts < 0)
				exit(128);
1771 1772 1773
			continue;
		}

1774 1775 1776
		if (handle_revision_arg(arg, revs, flags, seen_dashdash)) {
			int j;
			if (seen_dashdash || *arg == '^')
1777 1778
				die("bad revision '%s'", arg);

1779 1780 1781 1782 1783 1784
			/* 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.
			 */
1785 1786 1787
			for (j = i; j < argc; j++)
				verify_filename(revs->prefix, argv[j]);

1788
			append_prune_data(&prune_data, argv + i);
1789 1790
			break;
		}
1791 1792
		else
			got_rev_arg = 1;
1793
	}
1794

1795
	if (prune_data.nr) {
1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809
		/*
		 * 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.
		 * }
		 */
1810 1811
		ALLOC_GROW(prune_data.path, prune_data.nr+1, prune_data.alloc);
		prune_data.path[prune_data.nr++] = NULL;
1812 1813
		init_pathspec(&revs->prune_data,
			      get_pathspec(revs->prefix, prune_data.path));
1814
	}
1815

1816
	if (revs->def == NULL)
1817
		revs->def = opt ? opt->def : NULL;
J
Junio C Hamano 已提交
1818 1819
	if (opt && opt->tweak)
		opt->tweak(revs, opt);
1820
	if (revs->show_merge)
1821
		prepare_show_merge(revs);
1822
	if (revs->def && !revs->pending.nr && !got_rev_arg) {
1823
		unsigned char sha1[20];
1824
		struct object *object;
1825
		unsigned mode;
1826 1827 1828 1829
		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);
1830
	}
1831

1832 1833 1834 1835
	/* 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 已提交
1836 1837 1838 1839
	/* Pickaxe, diff-filter and rename following need diffs */
	if (revs->diffopt.pickaxe ||
	    revs->diffopt.filter ||
	    DIFF_OPT_TST(&revs->diffopt, FOLLOW_RENAMES))
1840 1841
		revs->diff = 1;

1842
	if (revs->topo_order)
1843 1844
		revs->limited = 1;

1845 1846
	if (revs->prune_data.nr) {
		diff_tree_setup_paths(revs->prune_data.raw, &revs->pruning);
1847
		/* Can't prune commits with rename following: the paths change.. */
1848
		if (!DIFF_OPT_TST(&revs->diffopt, FOLLOW_RENAMES))
L
Linus Torvalds 已提交
1849
			revs->prune = 1;
1850
		if (!revs->full_diff)
1851
			diff_tree_setup_paths(revs->prune_data.raw, &revs->diffopt);
1852
	}
J
Junio C Hamano 已提交
1853
	if (revs->combine_merges)
1854 1855
		revs->ignore_merges = 0;
	revs->diffopt.abbrev = revs->abbrev;
1856 1857
	if (diff_setup_done(&revs->diffopt) < 0)
		die("diff_setup_done failed");
1858

J
Jeff King 已提交
1859
	compile_grep_patterns(&revs->grep_filter);
1860

1861 1862
	if (revs->reverse && revs->reflog_info)
		die("cannot combine --reverse with --walk-reflogs");
1863
	if (revs->rewrite_parents && revs->children.name)
1864
		die("cannot combine --parents and --children");
1865

1866 1867 1868 1869 1870 1871 1872 1873 1874
	/*
	 * 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");

1875 1876
	return left;
}
1877

1878 1879 1880 1881 1882 1883 1884 1885
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);
}

1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910
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;
}

1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927
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)
1928 1929
{
	struct commit_list *p;
1930
	struct merge_simplify_state *st, *pst;
1931 1932
	int cnt;

1933 1934
	st = locate_simplify_state(revs, commit);

1935 1936 1937
	/*
	 * Have we handled this one?
	 */
1938
	if (st->simplified)
1939 1940 1941 1942 1943 1944 1945 1946
		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) {
1947
		st->simplified = commit;
1948 1949 1950 1951
		return tail;
	}

	/*
1952 1953 1954
	 * 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.
1955 1956
	 */
	for (cnt = 0, p = commit->parents; p; p = p->next) {
1957 1958
		pst = locate_simplify_state(revs, p->item);
		if (!pst->simplified) {
1959 1960 1961
			tail = &commit_list_insert(p->item, tail)->next;
			cnt++;
		}
1962 1963
		if (revs->first_parent_only)
			break;
1964
	}
1965 1966
	if (cnt) {
		tail = &commit_list_insert(commit, tail)->next;
1967
		return tail;
1968
	}
1969 1970 1971 1972

	/*
	 * Rewrite our list of parents.
	 */
1973 1974 1975
	for (p = commit->parents; p; p = p->next) {
		pst = locate_simplify_state(revs, p->item);
		p->item = pst->simplified;
1976 1977
		if (revs->first_parent_only)
			break;
1978
	}
1979 1980 1981 1982
	if (!revs->first_parent_only)
		cnt = remove_duplicate_parents(commit);
	else
		cnt = 1;
1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015

	/*
	 * 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))
2016 2017 2018 2019 2020
		st->simplified = commit;
	else {
		pst = locate_simplify_state(revs, commit->parents->item);
		st->simplified = pst->simplified;
	}
2021 2022 2023 2024 2025
	return tail;
}

static void simplify_merges(struct rev_info *revs)
{
2026
	struct commit_list *list, *next;
2027
	struct commit_list *yet_to_do, **tail;
2028
	struct commit *commit;
2029

2030 2031
	if (!revs->prune)
		return;
2032

2033 2034
	/* feed the list reversed */
	yet_to_do = NULL;
2035 2036 2037 2038 2039 2040 2041 2042 2043
	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);
	}
2044 2045 2046 2047 2048
	while (yet_to_do) {
		list = yet_to_do;
		yet_to_do = NULL;
		tail = &yet_to_do;
		while (list) {
2049 2050
			commit = list->item;
			next = list->next;
2051 2052
			free(list);
			list = next;
2053
			tail = simplify_one(revs, commit, tail);
2054 2055 2056 2057 2058 2059 2060 2061
		}
	}

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

		commit = list->item;
		next = list->next;
2066 2067
		free(list);
		list = next;
2068 2069
		st = locate_simplify_state(revs, commit);
		if (st->simplified == commit)
2070 2071 2072 2073
			tail = &commit_list_insert(commit, tail)->next;
	}
}

2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085
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);
	}
}

2086 2087 2088 2089 2090
void reset_revision_walk(void)
{
	clear_object_flags(SEEN | ADDED | SHOWN);
}

2091
int prepare_revision_walk(struct rev_info *revs)
2092
{
2093
	int nr = revs->pending.nr;
2094
	struct object_array_entry *e, *list;
2095
	struct commit_list **next = &revs->commits;
2096

2097
	e = list = revs->pending.objects;
2098 2099 2100 2101
	revs->pending.nr = 0;
	revs->pending.alloc = 0;
	revs->pending.objects = NULL;
	while (--nr >= 0) {
2102
		struct commit *commit = handle_commit(revs, e->item, e->name);
2103 2104 2105
		if (commit) {
			if (!(commit->object.flags & SEEN)) {
				commit->object.flags |= SEEN;
2106
				next = commit_list_append(commit, next);
2107 2108
			}
		}
2109
		e++;
2110
	}
2111
	commit_list_sort_by_date(&revs->commits);
R
René Scharfe 已提交
2112 2113
	if (!revs->leak_pending)
		free(list);
2114

L
Linus Torvalds 已提交
2115
	if (revs->no_walk)
2116
		return 0;
2117
	if (revs->limited)
2118 2119
		if (limit_list(revs) < 0)
			return -1;
2120
	if (revs->topo_order)
L
Linus Torvalds 已提交
2121
		sort_in_topological_order(&revs->commits, revs->lifo);
2122 2123
	if (revs->simplify_merges)
		simplify_merges(revs);
2124 2125
	if (revs->children.name)
		set_children(revs);
2126
	return 0;
2127 2128
}

2129 2130 2131
enum rewrite_result {
	rewrite_one_ok,
	rewrite_one_noparents,
2132
	rewrite_one_error
2133 2134 2135
};

static enum rewrite_result rewrite_one(struct rev_info *revs, struct commit **pp)
2136
{
2137 2138
	struct commit_list *cache = NULL;

2139 2140
	for (;;) {
		struct commit *p = *pp;
2141
		if (!revs->limited)
2142
			if (add_parents_to_list(revs, p, &revs->commits, &cache) < 0)
2143
				return rewrite_one_error;
L
Linus Torvalds 已提交
2144
		if (p->parents && p->parents->next)
2145
			return rewrite_one_ok;
2146 2147 2148
		if (p->object.flags & UNINTERESTING)
			return rewrite_one_ok;
		if (!(p->object.flags & TREESAME))
2149
			return rewrite_one_ok;
2150
		if (!p->parents)
2151
			return rewrite_one_noparents;
2152 2153 2154 2155
		*pp = p->parents->item;
	}
}

2156
static int rewrite_parents(struct rev_info *revs, struct commit *commit)
2157 2158 2159 2160
{
	struct commit_list **pp = &commit->parents;
	while (*pp) {
		struct commit_list *parent = *pp;
2161 2162 2163 2164
		switch (rewrite_one(revs, &parent->item)) {
		case rewrite_one_ok:
			break;
		case rewrite_one_noparents:
2165 2166
			*pp = parent->next;
			continue;
2167 2168
		case rewrite_one_error:
			return -1;
2169 2170 2171
		}
		pp = &parent->next;
	}
2172
	remove_duplicate_parents(commit);
2173
	return 0;
2174 2175
}

2176 2177
static int commit_match(struct commit *commit, struct rev_info *opt)
{
2178
	if (!opt->grep_filter.pattern_list && !opt->grep_filter.header_list)
2179
		return 1;
J
Jeff King 已提交
2180
	return grep_buffer(&opt->grep_filter,
2181
			   commit->buffer, strlen(commit->buffer));
2182 2183
}

2184 2185
static inline int want_ancestry(struct rev_info *revs)
{
2186
	return (revs->rewrite_parents || revs->children.name);
2187 2188
}

2189
enum commit_action get_commit_action(struct rev_info *revs, struct commit *commit)
L
Linus Torvalds 已提交
2190 2191 2192
{
	if (commit->object.flags & SHOWN)
		return commit_ignore;
2193
	if (revs->unpacked && has_sha1_pack(commit->object.sha1))
L
Linus Torvalds 已提交
2194
		return commit_ignore;
2195 2196
	if (revs->show_all)
		return commit_show;
L
Linus Torvalds 已提交
2197 2198 2199 2200
	if (commit->object.flags & UNINTERESTING)
		return commit_ignore;
	if (revs->min_age != -1 && (commit->date > revs->min_age))
		return commit_ignore;
2201 2202 2203 2204 2205 2206 2207 2208 2209
	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 已提交
2210 2211
	if (!commit_match(commit, revs))
		return commit_ignore;
L
Linus Torvalds 已提交
2212
	if (revs->prune && revs->dense) {
L
Linus Torvalds 已提交
2213
		/* Commit without changes? */
2214
		if (commit->object.flags & TREESAME) {
L
Linus Torvalds 已提交
2215
			/* drop merges unless we want parenthood */
2216
			if (!want_ancestry(revs))
L
Linus Torvalds 已提交
2217 2218 2219 2220 2221 2222 2223 2224 2225
				return commit_ignore;
			/* non-merge - always ignore it */
			if (!commit->parents || !commit->parents->next)
				return commit_ignore;
		}
	}
	return commit_show;
}

2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 2238
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 已提交
2239
static struct commit *get_revision_1(struct rev_info *revs)
2240
{
J
Junio C Hamano 已提交
2241
	if (!revs->commits)
2242 2243
		return NULL;

2244
	do {
L
Linus Torvalds 已提交
2245 2246
		struct commit_list *entry = revs->commits;
		struct commit *commit = entry->item;
2247

L
Linus Torvalds 已提交
2248 2249
		revs->commits = entry->next;
		free(entry);
2250

2251
		if (revs->reflog_info) {
2252
			fake_reflog_parent(revs->reflog_info, commit);
2253 2254
			commit->object.flags &= ~(ADDED | SEEN | SHOWN);
		}
2255

2256 2257
		/*
		 * If we haven't done the list limiting, we need to look at
2258 2259
		 * the parents here. We also need to do the date-based limiting
		 * that we'd otherwise have done in limit_list().
2260
		 */
2261
		if (!revs->limited) {
2262
			if (revs->max_age != -1 &&
2263 2264
			    (commit->date < revs->max_age))
				continue;
2265
			if (add_parents_to_list(revs, commit, &revs->commits, NULL) < 0)
2266 2267
				die("Failed to traverse parents of commit %s",
				    sha1_to_hex(commit->object.sha1));
2268
		}
2269

L
Linus Torvalds 已提交
2270 2271
		switch (simplify_commit(revs, commit)) {
		case commit_ignore:
2272
			continue;
L
Linus Torvalds 已提交
2273
		case commit_error:
2274 2275
			die("Failed to simplify parents of commit %s",
			    sha1_to_hex(commit->object.sha1));
L
Linus Torvalds 已提交
2276 2277
		default:
			return commit;
J
Junio C Hamano 已提交
2278
		}
2279 2280 2281
	} while (revs->commits);
	return NULL;
}
J
Junio C Hamano 已提交
2282

2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297
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++;
		}
2298
		for (i = j; i < nr; i++)
2299 2300 2301 2302 2303
			objects[i].item = NULL;
		array->nr = j;
	}
}

2304 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316 2317 2318 2319 2320 2321 2322 2323 2324 2325 2326 2327 2328 2329 2330 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344
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);
}

2345
static struct commit *get_revision_internal(struct rev_info *revs)
J
Junio C Hamano 已提交
2346 2347
{
	struct commit *c = NULL;
2348 2349 2350
	struct commit_list *l;

	if (revs->boundary == 2) {
2351 2352 2353 2354 2355 2356 2357 2358 2359
		/*
		 * 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;
2360 2361 2362
		return c;
	}

2363 2364 2365
	/*
	 * Now pick up what they want to give us
	 */
2366 2367 2368 2369 2370 2371 2372 2373
	c = get_revision_1(revs);
	if (c) {
		while (0 < revs->skip_count) {
			revs->skip_count--;
			c = get_revision_1(revs);
			if (!c)
				break;
		}
2374 2375 2376 2377 2378
	}

	/*
	 * Check the max_count.
	 */
J
Junio C Hamano 已提交
2379 2380 2381 2382
	switch (revs->max_count) {
	case -1:
		break;
	case 0:
2383 2384
		c = NULL;
		break;
J
Junio C Hamano 已提交
2385 2386 2387
	default:
		revs->max_count--;
	}
2388

2389 2390 2391 2392
	if (c)
		c->object.flags |= SHOWN;

	if (!revs->boundary) {
J
Junio C Hamano 已提交
2393
		return c;
2394
	}
2395 2396 2397 2398 2399 2400 2401 2402

	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;
2403 2404 2405 2406 2407 2408 2409

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

2410
		return get_revision_internal(revs);
2411 2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422
	}

	/*
	 * 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);
2423
		if (p->flags & (CHILD_SHOWN | SHOWN))
2424 2425 2426 2427 2428 2429 2430
			continue;
		p->flags |= CHILD_SHOWN;
		gc_boundary(&revs->boundary_commits);
		add_object_array(p, NULL, &revs->boundary_commits);
	}

	return c;
J
Junio C Hamano 已提交
2431
}
2432 2433 2434

struct commit *get_revision(struct rev_info *revs)
{
2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448 2449 2450 2451
	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);
2452 2453 2454 2455
	if (c && revs->graph)
		graph_update(revs->graph, c);
	return c;
}
2456 2457 2458 2459 2460 2461 2462

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 "^";
2463 2464
	else if (commit->object.flags & PATCHSAME)
		return "=";
2465 2466 2467 2468 2469 2470 2471
	else if (!revs || revs->left_right) {
		if (commit->object.flags & SYMMETRIC_LEFT)
			return "<";
		else
			return ">";
	} else if (revs->graph)
		return "*";
2472 2473
	else if (revs->cherry_mark)
		return "+";
2474 2475
	return "";
}
2476 2477 2478 2479 2480 2481 2482 2483 2484

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