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

	return 1;
}

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

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

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

1637 1638 1639 1640 1641 1642 1643 1644
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;

1645 1646 1647 1648 1649 1650 1651 1652 1653 1654
	/*
	 * 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.
	 */
1655 1656 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
	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;
}

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

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

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

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

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

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

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

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

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

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

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

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

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

1840
	if (revs->topo_order)
1841 1842
		revs->limited = 1;

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

J
Jeff King 已提交
1857
	compile_grep_patterns(&revs->grep_filter);
1858

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

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

1873 1874
	return left;
}
1875

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

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

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

1931 1932
	st = locate_simplify_state(revs, commit);

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

	/*
	 * Do we know what commit all of our parents should be rewritten to?
	 * Otherwise we are not ready to rewrite this one yet.
	 */
	for (cnt = 0, p = commit->parents; p; p = p->next) {
1954 1955
		pst = locate_simplify_state(revs, p->item);
		if (!pst->simplified) {
1956 1957 1958 1959
			tail = &commit_list_insert(p->item, tail)->next;
			cnt++;
		}
	}
1960 1961
	if (cnt) {
		tail = &commit_list_insert(commit, tail)->next;
1962
		return tail;
1963
	}
1964 1965 1966 1967

	/*
	 * Rewrite our list of parents.
	 */
1968 1969 1970 1971
	for (p = commit->parents; p; p = p->next) {
		pst = locate_simplify_state(revs, p->item);
		p->item = pst->simplified;
	}
1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005
	cnt = remove_duplicate_parents(commit);

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

	/*
	 * A commit simplifies to itself if it is a root, if it is
	 * UNINTERESTING, if it touches the given paths, or if it is a
	 * merge and its parents simplifies to more than one commits
	 * (the first two cases are already handled at the beginning of
	 * this function).
	 *
	 * Otherwise, it simplifies to what its sole parent simplifies to.
	 */
	if (!cnt ||
	    (commit->object.flags & UNINTERESTING) ||
	    !(commit->object.flags & TREESAME) ||
	    (1 < cnt))
2006 2007 2008 2009 2010
		st->simplified = commit;
	else {
		pst = locate_simplify_state(revs, commit->parents->item);
		st->simplified = pst->simplified;
	}
2011 2012 2013 2014 2015 2016 2017 2018
	return tail;
}

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

2019 2020 2021 2022
	if (!revs->topo_order)
		sort_in_topological_order(&revs->commits, revs->lifo);
	if (!revs->prune)
		return;
2023

2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036
	/* feed the list reversed */
	yet_to_do = NULL;
	for (list = revs->commits; list; list = list->next)
		commit_list_insert(list->item, &yet_to_do);
	while (yet_to_do) {
		list = yet_to_do;
		yet_to_do = NULL;
		tail = &yet_to_do;
		while (list) {
			struct commit *commit = list->item;
			struct commit_list *next = list->next;
			free(list);
			list = next;
2037
			tail = simplify_one(revs, commit, tail);
2038 2039 2040 2041 2042 2043 2044 2045 2046 2047
		}
	}

	/* clean up the result, removing the simplified ones */
	list = revs->commits;
	revs->commits = NULL;
	tail = &revs->commits;
	while (list) {
		struct commit *commit = list->item;
		struct commit_list *next = list->next;
2048
		struct merge_simplify_state *st;
2049 2050
		free(list);
		list = next;
2051 2052
		st = locate_simplify_state(revs, commit);
		if (st->simplified == commit)
2053 2054 2055 2056
			tail = &commit_list_insert(commit, tail)->next;
	}
}

2057 2058 2059 2060 2061 2062 2063 2064 2065 2066 2067 2068
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);
	}
}

2069
int prepare_revision_walk(struct rev_info *revs)
2070
{
2071
	int nr = revs->pending.nr;
2072
	struct object_array_entry *e, *list;
2073

2074
	e = list = revs->pending.objects;
2075 2076 2077 2078
	revs->pending.nr = 0;
	revs->pending.alloc = 0;
	revs->pending.objects = NULL;
	while (--nr >= 0) {
2079
		struct commit *commit = handle_commit(revs, e->item, e->name);
2080 2081 2082
		if (commit) {
			if (!(commit->object.flags & SEEN)) {
				commit->object.flags |= SEEN;
2083
				commit_list_insert_by_date(commit, &revs->commits);
2084 2085
			}
		}
2086
		e++;
2087
	}
R
René Scharfe 已提交
2088 2089
	if (!revs->leak_pending)
		free(list);
2090

L
Linus Torvalds 已提交
2091
	if (revs->no_walk)
2092
		return 0;
2093
	if (revs->limited)
2094 2095
		if (limit_list(revs) < 0)
			return -1;
2096
	if (revs->topo_order)
L
Linus Torvalds 已提交
2097
		sort_in_topological_order(&revs->commits, revs->lifo);
2098 2099
	if (revs->simplify_merges)
		simplify_merges(revs);
2100 2101
	if (revs->children.name)
		set_children(revs);
2102
	return 0;
2103 2104
}

2105 2106 2107
enum rewrite_result {
	rewrite_one_ok,
	rewrite_one_noparents,
2108
	rewrite_one_error
2109 2110 2111
};

static enum rewrite_result rewrite_one(struct rev_info *revs, struct commit **pp)
2112
{
2113 2114
	struct commit_list *cache = NULL;

2115 2116
	for (;;) {
		struct commit *p = *pp;
2117
		if (!revs->limited)
2118
			if (add_parents_to_list(revs, p, &revs->commits, &cache) < 0)
2119
				return rewrite_one_error;
L
Linus Torvalds 已提交
2120
		if (p->parents && p->parents->next)
2121
			return rewrite_one_ok;
2122 2123 2124
		if (p->object.flags & UNINTERESTING)
			return rewrite_one_ok;
		if (!(p->object.flags & TREESAME))
2125
			return rewrite_one_ok;
2126
		if (!p->parents)
2127
			return rewrite_one_noparents;
2128 2129 2130 2131
		*pp = p->parents->item;
	}
}

2132
static int rewrite_parents(struct rev_info *revs, struct commit *commit)
2133 2134 2135 2136
{
	struct commit_list **pp = &commit->parents;
	while (*pp) {
		struct commit_list *parent = *pp;
2137 2138 2139 2140
		switch (rewrite_one(revs, &parent->item)) {
		case rewrite_one_ok:
			break;
		case rewrite_one_noparents:
2141 2142
			*pp = parent->next;
			continue;
2143 2144
		case rewrite_one_error:
			return -1;
2145 2146 2147
		}
		pp = &parent->next;
	}
2148
	remove_duplicate_parents(commit);
2149
	return 0;
2150 2151
}

2152 2153
static int commit_match(struct commit *commit, struct rev_info *opt)
{
2154
	if (!opt->grep_filter.pattern_list && !opt->grep_filter.header_list)
2155
		return 1;
J
Jeff King 已提交
2156
	return grep_buffer(&opt->grep_filter,
2157
			   commit->buffer, strlen(commit->buffer));
2158 2159
}

2160 2161
static inline int want_ancestry(struct rev_info *revs)
{
2162
	return (revs->rewrite_parents || revs->children.name);
2163 2164
}

2165
enum commit_action get_commit_action(struct rev_info *revs, struct commit *commit)
L
Linus Torvalds 已提交
2166 2167 2168
{
	if (commit->object.flags & SHOWN)
		return commit_ignore;
2169
	if (revs->unpacked && has_sha1_pack(commit->object.sha1))
L
Linus Torvalds 已提交
2170
		return commit_ignore;
2171 2172
	if (revs->show_all)
		return commit_show;
L
Linus Torvalds 已提交
2173 2174 2175 2176
	if (commit->object.flags & UNINTERESTING)
		return commit_ignore;
	if (revs->min_age != -1 && (commit->date > revs->min_age))
		return commit_ignore;
2177 2178 2179 2180 2181 2182 2183 2184 2185
	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 已提交
2186 2187
	if (!commit_match(commit, revs))
		return commit_ignore;
L
Linus Torvalds 已提交
2188
	if (revs->prune && revs->dense) {
L
Linus Torvalds 已提交
2189
		/* Commit without changes? */
2190
		if (commit->object.flags & TREESAME) {
L
Linus Torvalds 已提交
2191
			/* drop merges unless we want parenthood */
2192
			if (!want_ancestry(revs))
L
Linus Torvalds 已提交
2193 2194 2195 2196 2197 2198 2199 2200 2201
				return commit_ignore;
			/* non-merge - always ignore it */
			if (!commit->parents || !commit->parents->next)
				return commit_ignore;
		}
	}
	return commit_show;
}

2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214
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 已提交
2215
static struct commit *get_revision_1(struct rev_info *revs)
2216
{
J
Junio C Hamano 已提交
2217
	if (!revs->commits)
2218 2219
		return NULL;

2220
	do {
L
Linus Torvalds 已提交
2221 2222
		struct commit_list *entry = revs->commits;
		struct commit *commit = entry->item;
2223

L
Linus Torvalds 已提交
2224 2225
		revs->commits = entry->next;
		free(entry);
2226

2227
		if (revs->reflog_info) {
2228
			fake_reflog_parent(revs->reflog_info, commit);
2229 2230
			commit->object.flags &= ~(ADDED | SEEN | SHOWN);
		}
2231

2232 2233
		/*
		 * If we haven't done the list limiting, we need to look at
2234 2235
		 * the parents here. We also need to do the date-based limiting
		 * that we'd otherwise have done in limit_list().
2236
		 */
2237
		if (!revs->limited) {
2238
			if (revs->max_age != -1 &&
2239 2240
			    (commit->date < revs->max_age))
				continue;
2241
			if (add_parents_to_list(revs, commit, &revs->commits, NULL) < 0)
2242 2243
				die("Failed to traverse parents of commit %s",
				    sha1_to_hex(commit->object.sha1));
2244
		}
2245

L
Linus Torvalds 已提交
2246 2247
		switch (simplify_commit(revs, commit)) {
		case commit_ignore:
2248
			continue;
L
Linus Torvalds 已提交
2249
		case commit_error:
2250 2251
			die("Failed to simplify parents of commit %s",
			    sha1_to_hex(commit->object.sha1));
L
Linus Torvalds 已提交
2252 2253
		default:
			return commit;
J
Junio C Hamano 已提交
2254
		}
2255 2256 2257
	} while (revs->commits);
	return NULL;
}
J
Junio C Hamano 已提交
2258

2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273
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++;
		}
2274
		for (i = j; i < nr; i++)
2275 2276 2277 2278 2279
			objects[i].item = NULL;
		array->nr = j;
	}
}

2280 2281 2282 2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301 2302 2303 2304 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316 2317 2318 2319 2320
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);
}

2321
static struct commit *get_revision_internal(struct rev_info *revs)
J
Junio C Hamano 已提交
2322 2323
{
	struct commit *c = NULL;
2324 2325 2326
	struct commit_list *l;

	if (revs->boundary == 2) {
2327 2328 2329 2330 2331 2332 2333 2334 2335
		/*
		 * 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;
2336 2337 2338
		return c;
	}

2339 2340 2341
	/*
	 * Now pick up what they want to give us
	 */
2342 2343 2344 2345 2346 2347 2348 2349
	c = get_revision_1(revs);
	if (c) {
		while (0 < revs->skip_count) {
			revs->skip_count--;
			c = get_revision_1(revs);
			if (!c)
				break;
		}
2350 2351 2352 2353 2354
	}

	/*
	 * Check the max_count.
	 */
J
Junio C Hamano 已提交
2355 2356 2357 2358
	switch (revs->max_count) {
	case -1:
		break;
	case 0:
2359 2360
		c = NULL;
		break;
J
Junio C Hamano 已提交
2361 2362 2363
	default:
		revs->max_count--;
	}
2364

2365 2366 2367 2368
	if (c)
		c->object.flags |= SHOWN;

	if (!revs->boundary) {
J
Junio C Hamano 已提交
2369
		return c;
2370
	}
2371 2372 2373 2374 2375 2376 2377 2378

	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;
2379 2380 2381 2382 2383 2384 2385

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

2386
		return get_revision_internal(revs);
2387 2388 2389 2390 2391 2392 2393 2394 2395 2396 2397 2398
	}

	/*
	 * 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);
2399
		if (p->flags & (CHILD_SHOWN | SHOWN))
2400 2401 2402 2403 2404 2405 2406
			continue;
		p->flags |= CHILD_SHOWN;
		gc_boundary(&revs->boundary_commits);
		add_object_array(p, NULL, &revs->boundary_commits);
	}

	return c;
J
Junio C Hamano 已提交
2407
}
2408 2409 2410

struct commit *get_revision(struct rev_info *revs)
{
2411 2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423 2424 2425 2426 2427
	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);
2428 2429 2430 2431
	if (c && revs->graph)
		graph_update(revs->graph, c);
	return c;
}
2432 2433 2434 2435 2436 2437 2438

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 "^";
2439 2440
	else if (commit->object.flags & PATCHSAME)
		return "=";
2441 2442 2443 2444 2445 2446 2447
	else if (!revs || revs->left_right) {
		if (commit->object.flags & SYMMETRIC_LEFT)
			return "<";
		else
			return ">";
	} else if (revs->graph)
		return "*";
2448 2449
	else if (revs->cherry_mark)
		return "+";
2450 2451
	return "";
}
2452 2453 2454 2455 2456 2457 2458 2459 2460

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