4 #include "commit-graph.h"
5 #include "repository.h"
6 #include "object-store.h"
13 #include "gpg-interface.h"
14 #include "mergesort.h"
15 #include "commit-slab.h"
16 #include "prio-queue.h"
17 #include "sha1-lookup.h"
18 #include "wt-status.h"
21 static struct commit_extra_header
*read_commit_extra_header_lines(const char *buf
, size_t len
, const char **);
23 int save_commit_buffer
= 1;
25 const char *commit_type
= "commit";
27 struct commit
*lookup_commit_reference_gently_the_repository(
28 const struct object_id
*oid
, int quiet
)
30 struct object
*obj
= deref_tag(the_repository
,
31 parse_object(the_repository
, oid
),
36 return object_as_type(the_repository
, obj
, OBJ_COMMIT
, quiet
);
39 struct commit
*lookup_commit_reference_the_repository(const struct object_id
*oid
)
41 return lookup_commit_reference_gently(the_repository
, oid
, 0);
44 struct commit
*lookup_commit_or_die(const struct object_id
*oid
, const char *ref_name
)
46 struct commit
*c
= lookup_commit_reference(the_repository
, oid
);
48 die(_("could not parse %s"), ref_name
);
49 if (oidcmp(oid
, &c
->object
.oid
)) {
50 warning(_("%s %s is not a commit!"),
51 ref_name
, oid_to_hex(oid
));
56 struct commit
*lookup_commit(struct repository
*r
, const struct object_id
*oid
)
58 struct object
*obj
= lookup_object(r
, oid
->hash
);
60 return create_object(r
, oid
->hash
,
61 alloc_commit_node(r
));
62 return object_as_type(r
, obj
, OBJ_COMMIT
, 0);
65 struct commit
*lookup_commit_reference_by_name(const char *name
)
68 struct commit
*commit
;
70 if (get_oid_committish(name
, &oid
))
72 commit
= lookup_commit_reference(the_repository
, &oid
);
73 if (parse_commit(commit
))
78 static timestamp_t
parse_commit_date(const char *buf
, const char *tail
)
84 if (memcmp(buf
, "author", 6))
86 while (buf
< tail
&& *buf
++ != '\n')
90 if (memcmp(buf
, "committer", 9))
92 while (buf
< tail
&& *buf
++ != '>')
97 while (buf
< tail
&& *buf
++ != '\n')
101 /* dateptr < buf && buf[-1] == '\n', so parsing will stop at buf-1 */
102 return parse_timestamp(dateptr
, NULL
, 10);
105 static const unsigned char *commit_graft_sha1_access(size_t index
, void *table
)
107 struct commit_graft
**commit_graft_table
= table
;
108 return commit_graft_table
[index
]->oid
.hash
;
111 static int commit_graft_pos(struct repository
*r
, const unsigned char *sha1
)
113 return sha1_pos(sha1
, r
->parsed_objects
->grafts
,
114 r
->parsed_objects
->grafts_nr
,
115 commit_graft_sha1_access
);
118 int register_commit_graft(struct repository
*r
, struct commit_graft
*graft
,
121 int pos
= commit_graft_pos(r
, graft
->oid
.hash
);
127 free(r
->parsed_objects
->grafts
[pos
]);
128 r
->parsed_objects
->grafts
[pos
] = graft
;
133 ALLOC_GROW(r
->parsed_objects
->grafts
,
134 r
->parsed_objects
->grafts_nr
+ 1,
135 r
->parsed_objects
->grafts_alloc
);
136 r
->parsed_objects
->grafts_nr
++;
137 if (pos
< r
->parsed_objects
->grafts_nr
)
138 memmove(r
->parsed_objects
->grafts
+ pos
+ 1,
139 r
->parsed_objects
->grafts
+ pos
,
140 (r
->parsed_objects
->grafts_nr
- pos
- 1) *
141 sizeof(*r
->parsed_objects
->grafts
));
142 r
->parsed_objects
->grafts
[pos
] = graft
;
146 struct commit_graft
*read_graft_line(struct strbuf
*line
)
148 /* The format is just "Commit Parent1 Parent2 ...\n" */
150 const char *tail
= NULL
;
151 struct commit_graft
*graft
= NULL
;
152 struct object_id dummy_oid
, *oid
;
155 if (!line
->len
|| line
->buf
[0] == '#')
158 * phase 0 verifies line, counts hashes in line and allocates graft
159 * phase 1 fills graft
161 for (phase
= 0; phase
< 2; phase
++) {
162 oid
= graft
? &graft
->oid
: &dummy_oid
;
163 if (parse_oid_hex(line
->buf
, oid
, &tail
))
165 for (i
= 0; *tail
!= '\0'; i
++) {
166 oid
= graft
? &graft
->parent
[i
] : &dummy_oid
;
167 if (!isspace(*tail
++) || parse_oid_hex(tail
, oid
, &tail
))
171 graft
= xmalloc(st_add(sizeof(*graft
),
172 st_mult(sizeof(struct object_id
), i
)));
173 graft
->nr_parent
= i
;
179 error("bad graft data: %s", line
->buf
);
184 static int read_graft_file(struct repository
*r
, const char *graft_file
)
186 FILE *fp
= fopen_or_warn(graft_file
, "r");
187 struct strbuf buf
= STRBUF_INIT
;
190 if (advice_graft_file_deprecated
)
191 advise(_("Support for <GIT_DIR>/info/grafts is deprecated\n"
192 "and will be removed in a future Git version.\n"
194 "Please use \"git replace --convert-graft-file\"\n"
195 "to convert the grafts into replace refs.\n"
197 "Turn this message off by running\n"
198 "\"git config advice.graftFileDeprecated false\""));
199 while (!strbuf_getwholeline(&buf
, fp
, '\n')) {
200 /* The format is just "Commit Parent1 Parent2 ...\n" */
201 struct commit_graft
*graft
= read_graft_line(&buf
);
204 if (register_commit_graft(r
, graft
, 1))
205 error("duplicate graft data: %s", buf
.buf
);
208 strbuf_release(&buf
);
212 static void prepare_commit_graft(struct repository
*r
)
216 if (r
->parsed_objects
->commit_graft_prepared
)
218 if (!startup_info
->have_repository
)
221 graft_file
= get_graft_file(r
);
222 read_graft_file(r
, graft_file
);
223 /* make sure shallows are read */
224 is_repository_shallow(r
);
225 r
->parsed_objects
->commit_graft_prepared
= 1;
228 struct commit_graft
*lookup_commit_graft(struct repository
*r
, const struct object_id
*oid
)
231 prepare_commit_graft(r
);
232 pos
= commit_graft_pos(r
, oid
->hash
);
235 return r
->parsed_objects
->grafts
[pos
];
238 int for_each_commit_graft(each_commit_graft_fn fn
, void *cb_data
)
241 for (i
= ret
= 0; i
< the_repository
->parsed_objects
->grafts_nr
&& !ret
; i
++)
242 ret
= fn(the_repository
->parsed_objects
->grafts
[i
], cb_data
);
246 int unregister_shallow(const struct object_id
*oid
)
248 int pos
= commit_graft_pos(the_repository
, oid
->hash
);
251 if (pos
+ 1 < the_repository
->parsed_objects
->grafts_nr
)
252 MOVE_ARRAY(the_repository
->parsed_objects
->grafts
+ pos
,
253 the_repository
->parsed_objects
->grafts
+ pos
+ 1,
254 the_repository
->parsed_objects
->grafts_nr
- pos
- 1);
255 the_repository
->parsed_objects
->grafts_nr
--;
259 struct commit_buffer
{
263 define_commit_slab(buffer_slab
, struct commit_buffer
);
264 static struct buffer_slab buffer_slab
= COMMIT_SLAB_INIT(1, buffer_slab
);
266 void set_commit_buffer_the_repository(struct commit
*commit
, void *buffer
, unsigned long size
)
268 struct commit_buffer
*v
= buffer_slab_at(&buffer_slab
, commit
);
273 const void *get_cached_commit_buffer_the_repository(const struct commit
*commit
, unsigned long *sizep
)
275 struct commit_buffer
*v
= buffer_slab_peek(&buffer_slab
, commit
);
286 const void *get_commit_buffer(const struct commit
*commit
, unsigned long *sizep
)
288 const void *ret
= get_cached_commit_buffer(the_repository
, commit
, sizep
);
290 enum object_type type
;
292 ret
= read_object_file(&commit
->object
.oid
, &type
, &size
);
294 die("cannot read commit object %s",
295 oid_to_hex(&commit
->object
.oid
));
296 if (type
!= OBJ_COMMIT
)
297 die("expected commit for %s, got %s",
298 oid_to_hex(&commit
->object
.oid
), type_name(type
));
305 void unuse_commit_buffer(const struct commit
*commit
, const void *buffer
)
307 struct commit_buffer
*v
= buffer_slab_peek(&buffer_slab
, commit
);
308 if (!(v
&& v
->buffer
== buffer
))
309 free((void *)buffer
);
312 void free_commit_buffer(struct commit
*commit
)
314 struct commit_buffer
*v
= buffer_slab_peek(&buffer_slab
, commit
);
316 FREE_AND_NULL(v
->buffer
);
321 struct tree
*get_commit_tree(const struct commit
*commit
)
323 if (commit
->maybe_tree
|| !commit
->object
.parsed
)
324 return commit
->maybe_tree
;
326 if (commit
->graph_pos
== COMMIT_NOT_FROM_GRAPH
)
327 BUG("commit has NULL tree, but was not loaded from commit-graph");
329 return get_commit_tree_in_graph(commit
);
332 struct object_id
*get_commit_tree_oid(const struct commit
*commit
)
334 return &get_commit_tree(commit
)->object
.oid
;
337 void release_commit_memory(struct commit
*c
)
339 c
->maybe_tree
= NULL
;
341 free_commit_buffer(c
);
342 free_commit_list(c
->parents
);
343 /* TODO: what about commit->util? */
345 c
->object
.parsed
= 0;
348 const void *detach_commit_buffer(struct commit
*commit
, unsigned long *sizep
)
350 struct commit_buffer
*v
= buffer_slab_peek(&buffer_slab
, commit
);
367 int parse_commit_buffer_the_repository(struct commit
*item
, const void *buffer
, unsigned long size
, int check_graph
)
369 const char *tail
= buffer
;
370 const char *bufptr
= buffer
;
371 struct object_id parent
;
372 struct commit_list
**pptr
;
373 struct commit_graft
*graft
;
374 const int tree_entry_len
= GIT_SHA1_HEXSZ
+ 5;
375 const int parent_entry_len
= GIT_SHA1_HEXSZ
+ 7;
377 if (item
->object
.parsed
)
379 item
->object
.parsed
= 1;
381 if (tail
<= bufptr
+ tree_entry_len
+ 1 || memcmp(bufptr
, "tree ", 5) ||
382 bufptr
[tree_entry_len
] != '\n')
383 return error("bogus commit object %s", oid_to_hex(&item
->object
.oid
));
384 if (get_oid_hex(bufptr
+ 5, &parent
) < 0)
385 return error("bad tree pointer in commit %s",
386 oid_to_hex(&item
->object
.oid
));
387 item
->maybe_tree
= lookup_tree(the_repository
, &parent
);
388 bufptr
+= tree_entry_len
+ 1; /* "tree " + "hex sha1" + "\n" */
389 pptr
= &item
->parents
;
391 graft
= lookup_commit_graft(the_repository
, &item
->object
.oid
);
392 while (bufptr
+ parent_entry_len
< tail
&& !memcmp(bufptr
, "parent ", 7)) {
393 struct commit
*new_parent
;
395 if (tail
<= bufptr
+ parent_entry_len
+ 1 ||
396 get_oid_hex(bufptr
+ 7, &parent
) ||
397 bufptr
[parent_entry_len
] != '\n')
398 return error("bad parents in commit %s", oid_to_hex(&item
->object
.oid
));
399 bufptr
+= parent_entry_len
+ 1;
401 * The clone is shallow if nr_parent < 0, and we must
402 * not traverse its real parents even when we unhide them.
404 if (graft
&& (graft
->nr_parent
< 0 || grafts_replace_parents
))
406 new_parent
= lookup_commit(the_repository
, &parent
);
408 pptr
= &commit_list_insert(new_parent
, pptr
)->next
;
412 struct commit
*new_parent
;
413 for (i
= 0; i
< graft
->nr_parent
; i
++) {
414 new_parent
= lookup_commit(the_repository
,
418 pptr
= &commit_list_insert(new_parent
, pptr
)->next
;
421 item
->date
= parse_commit_date(bufptr
, tail
);
424 load_commit_graph_info(item
);
429 int parse_commit_gently(struct commit
*item
, int quiet_on_missing
)
431 enum object_type type
;
438 if (item
->object
.parsed
)
440 if (parse_commit_in_graph(item
))
442 buffer
= read_object_file(&item
->object
.oid
, &type
, &size
);
444 return quiet_on_missing
? -1 :
445 error("Could not read %s",
446 oid_to_hex(&item
->object
.oid
));
447 if (type
!= OBJ_COMMIT
) {
449 return error("Object %s not a commit",
450 oid_to_hex(&item
->object
.oid
));
452 ret
= parse_commit_buffer(the_repository
, item
, buffer
, size
, 0);
453 if (save_commit_buffer
&& !ret
) {
454 set_commit_buffer(the_repository
, item
, buffer
, size
);
461 void parse_commit_or_die(struct commit
*item
)
463 if (parse_commit(item
))
464 die("unable to parse commit %s",
465 item
? oid_to_hex(&item
->object
.oid
) : "(null)");
468 int find_commit_subject(const char *commit_buffer
, const char **subject
)
471 const char *p
= commit_buffer
;
473 while (*p
&& (*p
!= '\n' || p
[1] != '\n'))
476 p
= skip_blank_lines(p
+ 2);
477 eol
= strchrnul(p
, '\n');
486 struct commit_list
*commit_list_insert(struct commit
*item
, struct commit_list
**list_p
)
488 struct commit_list
*new_list
= xmalloc(sizeof(struct commit_list
));
489 new_list
->item
= item
;
490 new_list
->next
= *list_p
;
495 unsigned commit_list_count(const struct commit_list
*l
)
498 for (; l
; l
= l
->next
)
503 struct commit_list
*copy_commit_list(struct commit_list
*list
)
505 struct commit_list
*head
= NULL
;
506 struct commit_list
**pp
= &head
;
508 pp
= commit_list_append(list
->item
, pp
);
514 void free_commit_list(struct commit_list
*list
)
520 struct commit_list
* commit_list_insert_by_date(struct commit
*item
, struct commit_list
**list
)
522 struct commit_list
**pp
= list
;
523 struct commit_list
*p
;
524 while ((p
= *pp
) != NULL
) {
525 if (p
->item
->date
< item
->date
) {
530 return commit_list_insert(item
, pp
);
533 static int commit_list_compare_by_date(const void *a
, const void *b
)
535 timestamp_t a_date
= ((const struct commit_list
*)a
)->item
->date
;
536 timestamp_t b_date
= ((const struct commit_list
*)b
)->item
->date
;
544 static void *commit_list_get_next(const void *a
)
546 return ((const struct commit_list
*)a
)->next
;
549 static void commit_list_set_next(void *a
, void *next
)
551 ((struct commit_list
*)a
)->next
= next
;
554 void commit_list_sort_by_date(struct commit_list
**list
)
556 *list
= llist_mergesort(*list
, commit_list_get_next
, commit_list_set_next
,
557 commit_list_compare_by_date
);
560 struct commit
*pop_most_recent_commit(struct commit_list
**list
,
563 struct commit
*ret
= pop_commit(list
);
564 struct commit_list
*parents
= ret
->parents
;
567 struct commit
*commit
= parents
->item
;
568 if (!parse_commit(commit
) && !(commit
->object
.flags
& mark
)) {
569 commit
->object
.flags
|= mark
;
570 commit_list_insert_by_date(commit
, list
);
572 parents
= parents
->next
;
577 static void clear_commit_marks_1(struct commit_list
**plist
,
578 struct commit
*commit
, unsigned int mark
)
581 struct commit_list
*parents
;
583 if (!(mark
& commit
->object
.flags
))
586 commit
->object
.flags
&= ~mark
;
588 parents
= commit
->parents
;
592 while ((parents
= parents
->next
))
593 commit_list_insert(parents
->item
, plist
);
595 commit
= commit
->parents
->item
;
599 void clear_commit_marks_many(int nr
, struct commit
**commit
, unsigned int mark
)
601 struct commit_list
*list
= NULL
;
604 clear_commit_marks_1(&list
, *commit
, mark
);
608 clear_commit_marks_1(&list
, pop_commit(&list
), mark
);
611 void clear_commit_marks(struct commit
*commit
, unsigned int mark
)
613 clear_commit_marks_many(1, &commit
, mark
);
616 struct commit
*pop_commit(struct commit_list
**stack
)
618 struct commit_list
*top
= *stack
;
619 struct commit
*item
= top
? top
->item
: NULL
;
629 * Topological sort support
632 /* count number of children that have not been emitted */
633 define_commit_slab(indegree_slab
, int);
635 /* record author-date for each commit object */
636 define_commit_slab(author_date_slab
, unsigned long);
638 static void record_author_date(struct author_date_slab
*author_date
,
639 struct commit
*commit
)
641 const char *buffer
= get_commit_buffer(commit
, NULL
);
642 struct ident_split ident
;
643 const char *ident_line
;
648 ident_line
= find_commit_header(buffer
, "author", &ident_len
);
650 goto fail_exit
; /* no author line */
651 if (split_ident_line(&ident
, ident_line
, ident_len
) ||
652 !ident
.date_begin
|| !ident
.date_end
)
653 goto fail_exit
; /* malformed "author" line */
655 date
= parse_timestamp(ident
.date_begin
, &date_end
, 10);
656 if (date_end
!= ident
.date_end
)
657 goto fail_exit
; /* malformed date */
658 *(author_date_slab_at(author_date
, commit
)) = date
;
661 unuse_commit_buffer(commit
, buffer
);
664 static int compare_commits_by_author_date(const void *a_
, const void *b_
,
667 const struct commit
*a
= a_
, *b
= b_
;
668 struct author_date_slab
*author_date
= cb_data
;
669 timestamp_t a_date
= *(author_date_slab_at(author_date
, a
));
670 timestamp_t b_date
= *(author_date_slab_at(author_date
, b
));
672 /* newer commits with larger date first */
675 else if (a_date
> b_date
)
680 int compare_commits_by_gen_then_commit_date(const void *a_
, const void *b_
, void *unused
)
682 const struct commit
*a
= a_
, *b
= b_
;
684 /* newer commits first */
685 if (a
->generation
< b
->generation
)
687 else if (a
->generation
> b
->generation
)
690 /* use date as a heuristic when generations are equal */
691 if (a
->date
< b
->date
)
693 else if (a
->date
> b
->date
)
698 int compare_commits_by_commit_date(const void *a_
, const void *b_
, void *unused
)
700 const struct commit
*a
= a_
, *b
= b_
;
701 /* newer commits with larger date first */
702 if (a
->date
< b
->date
)
704 else if (a
->date
> b
->date
)
710 * Performs an in-place topological sort on the list supplied.
712 void sort_in_topological_order(struct commit_list
**list
, enum rev_sort_order sort_order
)
714 struct commit_list
*next
, *orig
= *list
;
715 struct commit_list
**pptr
;
716 struct indegree_slab indegree
;
717 struct prio_queue queue
;
718 struct commit
*commit
;
719 struct author_date_slab author_date
;
725 init_indegree_slab(&indegree
);
726 memset(&queue
, '\0', sizeof(queue
));
728 switch (sort_order
) {
729 default: /* REV_SORT_IN_GRAPH_ORDER */
730 queue
.compare
= NULL
;
732 case REV_SORT_BY_COMMIT_DATE
:
733 queue
.compare
= compare_commits_by_commit_date
;
735 case REV_SORT_BY_AUTHOR_DATE
:
736 init_author_date_slab(&author_date
);
737 queue
.compare
= compare_commits_by_author_date
;
738 queue
.cb_data
= &author_date
;
742 /* Mark them and clear the indegree */
743 for (next
= orig
; next
; next
= next
->next
) {
744 struct commit
*commit
= next
->item
;
745 *(indegree_slab_at(&indegree
, commit
)) = 1;
746 /* also record the author dates, if needed */
747 if (sort_order
== REV_SORT_BY_AUTHOR_DATE
)
748 record_author_date(&author_date
, commit
);
751 /* update the indegree */
752 for (next
= orig
; next
; next
= next
->next
) {
753 struct commit_list
*parents
= next
->item
->parents
;
755 struct commit
*parent
= parents
->item
;
756 int *pi
= indegree_slab_at(&indegree
, parent
);
760 parents
= parents
->next
;
767 * tips are nodes not reachable from any other node in the list
769 * the tips serve as a starting set for the work queue.
771 for (next
= orig
; next
; next
= next
->next
) {
772 struct commit
*commit
= next
->item
;
774 if (*(indegree_slab_at(&indegree
, commit
)) == 1)
775 prio_queue_put(&queue
, commit
);
779 * This is unfortunate; the initial tips need to be shown
780 * in the order given from the revision traversal machinery.
782 if (sort_order
== REV_SORT_IN_GRAPH_ORDER
)
783 prio_queue_reverse(&queue
);
785 /* We no longer need the commit list */
786 free_commit_list(orig
);
790 while ((commit
= prio_queue_get(&queue
)) != NULL
) {
791 struct commit_list
*parents
;
793 for (parents
= commit
->parents
; parents
; parents
= parents
->next
) {
794 struct commit
*parent
= parents
->item
;
795 int *pi
= indegree_slab_at(&indegree
, parent
);
801 * parents are only enqueued for emission
802 * when all their children have been emitted thereby
803 * guaranteeing topological order.
806 prio_queue_put(&queue
, parent
);
809 * all children of commit have already been
810 * emitted. we can emit it now.
812 *(indegree_slab_at(&indegree
, commit
)) = 0;
814 pptr
= &commit_list_insert(commit
, pptr
)->next
;
817 clear_indegree_slab(&indegree
);
818 clear_prio_queue(&queue
);
819 if (sort_order
== REV_SORT_BY_AUTHOR_DATE
)
820 clear_author_date_slab(&author_date
);
823 /* merge-base stuff */
825 /* Remember to update object flag allocation in object.h */
826 #define PARENT1 (1u<<16)
827 #define PARENT2 (1u<<17)
828 #define STALE (1u<<18)
829 #define RESULT (1u<<19)
831 static const unsigned all_flags
= (PARENT1
| PARENT2
| STALE
| RESULT
);
833 static int queue_has_nonstale(struct prio_queue
*queue
)
836 for (i
= 0; i
< queue
->nr
; i
++) {
837 struct commit
*commit
= queue
->array
[i
].data
;
838 if (!(commit
->object
.flags
& STALE
))
844 /* all input commits in one and twos[] must have been parsed! */
845 static struct commit_list
*paint_down_to_common(struct commit
*one
, int n
,
846 struct commit
**twos
,
849 struct prio_queue queue
= { compare_commits_by_gen_then_commit_date
};
850 struct commit_list
*result
= NULL
;
852 uint32_t last_gen
= GENERATION_NUMBER_INFINITY
;
854 one
->object
.flags
|= PARENT1
;
856 commit_list_append(one
, &result
);
859 prio_queue_put(&queue
, one
);
861 for (i
= 0; i
< n
; i
++) {
862 twos
[i
]->object
.flags
|= PARENT2
;
863 prio_queue_put(&queue
, twos
[i
]);
866 while (queue_has_nonstale(&queue
)) {
867 struct commit
*commit
= prio_queue_get(&queue
);
868 struct commit_list
*parents
;
871 if (commit
->generation
> last_gen
)
872 BUG("bad generation skip %8x > %8x at %s",
873 commit
->generation
, last_gen
,
874 oid_to_hex(&commit
->object
.oid
));
875 last_gen
= commit
->generation
;
877 if (commit
->generation
< min_generation
)
880 flags
= commit
->object
.flags
& (PARENT1
| PARENT2
| STALE
);
881 if (flags
== (PARENT1
| PARENT2
)) {
882 if (!(commit
->object
.flags
& RESULT
)) {
883 commit
->object
.flags
|= RESULT
;
884 commit_list_insert_by_date(commit
, &result
);
886 /* Mark parents of a found merge stale */
889 parents
= commit
->parents
;
891 struct commit
*p
= parents
->item
;
892 parents
= parents
->next
;
893 if ((p
->object
.flags
& flags
) == flags
)
897 p
->object
.flags
|= flags
;
898 prio_queue_put(&queue
, p
);
902 clear_prio_queue(&queue
);
906 static struct commit_list
*merge_bases_many(struct commit
*one
, int n
, struct commit
**twos
)
908 struct commit_list
*list
= NULL
;
909 struct commit_list
*result
= NULL
;
912 for (i
= 0; i
< n
; i
++) {
915 * We do not mark this even with RESULT so we do not
916 * have to clean it up.
918 return commit_list_insert(one
, &result
);
921 if (parse_commit(one
))
923 for (i
= 0; i
< n
; i
++) {
924 if (parse_commit(twos
[i
]))
928 list
= paint_down_to_common(one
, n
, twos
, 0);
931 struct commit
*commit
= pop_commit(&list
);
932 if (!(commit
->object
.flags
& STALE
))
933 commit_list_insert_by_date(commit
, &result
);
938 struct commit_list
*get_octopus_merge_bases(struct commit_list
*in
)
940 struct commit_list
*i
, *j
, *k
, *ret
= NULL
;
945 commit_list_insert(in
->item
, &ret
);
947 for (i
= in
->next
; i
; i
= i
->next
) {
948 struct commit_list
*new_commits
= NULL
, *end
= NULL
;
950 for (j
= ret
; j
; j
= j
->next
) {
951 struct commit_list
*bases
;
952 bases
= get_merge_bases(i
->item
, j
->item
);
957 for (k
= bases
; k
; k
= k
->next
)
965 static int remove_redundant(struct commit
**array
, int cnt
)
968 * Some commit in the array may be an ancestor of
969 * another commit. Move such commit to the end of
970 * the array, and return the number of commits that
971 * are independent from each other.
973 struct commit
**work
;
974 unsigned char *redundant
;
978 work
= xcalloc(cnt
, sizeof(*work
));
979 redundant
= xcalloc(cnt
, 1);
980 ALLOC_ARRAY(filled_index
, cnt
- 1);
982 for (i
= 0; i
< cnt
; i
++)
983 parse_commit(array
[i
]);
984 for (i
= 0; i
< cnt
; i
++) {
985 struct commit_list
*common
;
986 uint32_t min_generation
= array
[i
]->generation
;
990 for (j
= filled
= 0; j
< cnt
; j
++) {
991 if (i
== j
|| redundant
[j
])
993 filled_index
[filled
] = j
;
994 work
[filled
++] = array
[j
];
996 if (array
[j
]->generation
< min_generation
)
997 min_generation
= array
[j
]->generation
;
999 common
= paint_down_to_common(array
[i
], filled
, work
,
1001 if (array
[i
]->object
.flags
& PARENT2
)
1003 for (j
= 0; j
< filled
; j
++)
1004 if (work
[j
]->object
.flags
& PARENT1
)
1005 redundant
[filled_index
[j
]] = 1;
1006 clear_commit_marks(array
[i
], all_flags
);
1007 clear_commit_marks_many(filled
, work
, all_flags
);
1008 free_commit_list(common
);
1011 /* Now collect the result */
1012 COPY_ARRAY(work
, array
, cnt
);
1013 for (i
= filled
= 0; i
< cnt
; i
++)
1015 array
[filled
++] = work
[i
];
1016 for (j
= filled
, i
= 0; i
< cnt
; i
++)
1018 array
[j
++] = work
[i
];
1025 static struct commit_list
*get_merge_bases_many_0(struct commit
*one
,
1027 struct commit
**twos
,
1030 struct commit_list
*list
;
1031 struct commit
**rslt
;
1032 struct commit_list
*result
;
1035 result
= merge_bases_many(one
, n
, twos
);
1036 for (i
= 0; i
< n
; i
++) {
1040 if (!result
|| !result
->next
) {
1042 clear_commit_marks(one
, all_flags
);
1043 clear_commit_marks_many(n
, twos
, all_flags
);
1048 /* There are more than one */
1049 cnt
= commit_list_count(result
);
1050 rslt
= xcalloc(cnt
, sizeof(*rslt
));
1051 for (list
= result
, i
= 0; list
; list
= list
->next
)
1052 rslt
[i
++] = list
->item
;
1053 free_commit_list(result
);
1055 clear_commit_marks(one
, all_flags
);
1056 clear_commit_marks_many(n
, twos
, all_flags
);
1058 cnt
= remove_redundant(rslt
, cnt
);
1060 for (i
= 0; i
< cnt
; i
++)
1061 commit_list_insert_by_date(rslt
[i
], &result
);
1066 struct commit_list
*get_merge_bases_many(struct commit
*one
,
1068 struct commit
**twos
)
1070 return get_merge_bases_many_0(one
, n
, twos
, 1);
1073 struct commit_list
*get_merge_bases_many_dirty(struct commit
*one
,
1075 struct commit
**twos
)
1077 return get_merge_bases_many_0(one
, n
, twos
, 0);
1080 struct commit_list
*get_merge_bases(struct commit
*one
, struct commit
*two
)
1082 return get_merge_bases_many_0(one
, 1, &two
, 1);
1086 * Is "commit" a descendant of one of the elements on the "with_commit" list?
1088 int is_descendant_of(struct commit
*commit
, struct commit_list
*with_commit
)
1092 while (with_commit
) {
1093 struct commit
*other
;
1095 other
= with_commit
->item
;
1096 with_commit
= with_commit
->next
;
1097 if (in_merge_bases(other
, commit
))
1104 * Is "commit" an ancestor of one of the "references"?
1106 int in_merge_bases_many(struct commit
*commit
, int nr_reference
, struct commit
**reference
)
1108 struct commit_list
*bases
;
1110 uint32_t min_generation
= GENERATION_NUMBER_INFINITY
;
1112 if (parse_commit(commit
))
1114 for (i
= 0; i
< nr_reference
; i
++) {
1115 if (parse_commit(reference
[i
]))
1117 if (reference
[i
]->generation
< min_generation
)
1118 min_generation
= reference
[i
]->generation
;
1121 if (commit
->generation
> min_generation
)
1124 bases
= paint_down_to_common(commit
, nr_reference
, reference
, commit
->generation
);
1125 if (commit
->object
.flags
& PARENT2
)
1127 clear_commit_marks(commit
, all_flags
);
1128 clear_commit_marks_many(nr_reference
, reference
, all_flags
);
1129 free_commit_list(bases
);
1134 * Is "commit" an ancestor of (i.e. reachable from) the "reference"?
1136 int in_merge_bases(struct commit
*commit
, struct commit
*reference
)
1138 return in_merge_bases_many(commit
, 1, &reference
);
1141 struct commit_list
*reduce_heads(struct commit_list
*heads
)
1143 struct commit_list
*p
;
1144 struct commit_list
*result
= NULL
, **tail
= &result
;
1145 struct commit
**array
;
1152 for (p
= heads
; p
; p
= p
->next
)
1153 p
->item
->object
.flags
&= ~STALE
;
1154 for (p
= heads
, num_head
= 0; p
; p
= p
->next
) {
1155 if (p
->item
->object
.flags
& STALE
)
1157 p
->item
->object
.flags
|= STALE
;
1160 array
= xcalloc(num_head
, sizeof(*array
));
1161 for (p
= heads
, i
= 0; p
; p
= p
->next
) {
1162 if (p
->item
->object
.flags
& STALE
) {
1163 array
[i
++] = p
->item
;
1164 p
->item
->object
.flags
&= ~STALE
;
1167 num_head
= remove_redundant(array
, num_head
);
1168 for (i
= 0; i
< num_head
; i
++)
1169 tail
= &commit_list_insert(array
[i
], tail
)->next
;
1174 void reduce_heads_replace(struct commit_list
**heads
)
1176 struct commit_list
*result
= reduce_heads(*heads
);
1177 free_commit_list(*heads
);
1181 static const char gpg_sig_header
[] = "gpgsig";
1182 static const int gpg_sig_header_len
= sizeof(gpg_sig_header
) - 1;
1184 static int do_sign_commit(struct strbuf
*buf
, const char *keyid
)
1186 struct strbuf sig
= STRBUF_INIT
;
1187 int inspos
, copypos
;
1190 /* find the end of the header */
1191 eoh
= strstr(buf
->buf
, "\n\n");
1195 inspos
= eoh
- buf
->buf
+ 1;
1197 if (!keyid
|| !*keyid
)
1198 keyid
= get_signing_key();
1199 if (sign_buffer(buf
, &sig
, keyid
)) {
1200 strbuf_release(&sig
);
1204 for (copypos
= 0; sig
.buf
[copypos
]; ) {
1205 const char *bol
= sig
.buf
+ copypos
;
1206 const char *eol
= strchrnul(bol
, '\n');
1207 int len
= (eol
- bol
) + !!*eol
;
1210 strbuf_insert(buf
, inspos
, gpg_sig_header
, gpg_sig_header_len
);
1211 inspos
+= gpg_sig_header_len
;
1213 strbuf_insert(buf
, inspos
++, " ", 1);
1214 strbuf_insert(buf
, inspos
, bol
, len
);
1218 strbuf_release(&sig
);
1222 int parse_signed_commit(const struct commit
*commit
,
1223 struct strbuf
*payload
, struct strbuf
*signature
)
1227 const char *buffer
= get_commit_buffer(commit
, &size
);
1228 int in_signature
, saw_signature
= -1;
1229 const char *line
, *tail
;
1232 tail
= buffer
+ size
;
1235 while (line
< tail
) {
1236 const char *sig
= NULL
;
1237 const char *next
= memchr(line
, '\n', tail
- line
);
1239 next
= next
? next
+ 1 : tail
;
1240 if (in_signature
&& line
[0] == ' ')
1242 else if (starts_with(line
, gpg_sig_header
) &&
1243 line
[gpg_sig_header_len
] == ' ')
1244 sig
= line
+ gpg_sig_header_len
+ 1;
1246 strbuf_add(signature
, sig
, next
- sig
);
1251 /* dump the whole remainder of the buffer */
1253 strbuf_add(payload
, line
, next
- line
);
1258 unuse_commit_buffer(commit
, buffer
);
1259 return saw_signature
;
1262 int remove_signature(struct strbuf
*buf
)
1264 const char *line
= buf
->buf
;
1265 const char *tail
= buf
->buf
+ buf
->len
;
1266 int in_signature
= 0;
1267 const char *sig_start
= NULL
;
1268 const char *sig_end
= NULL
;
1270 while (line
< tail
) {
1271 const char *next
= memchr(line
, '\n', tail
- line
);
1272 next
= next
? next
+ 1 : tail
;
1274 if (in_signature
&& line
[0] == ' ')
1276 else if (starts_with(line
, gpg_sig_header
) &&
1277 line
[gpg_sig_header_len
] == ' ') {
1283 /* dump the whole remainder of the buffer */
1291 strbuf_remove(buf
, sig_start
- buf
->buf
, sig_end
- sig_start
);
1293 return sig_start
!= NULL
;
1296 static void handle_signed_tag(struct commit
*parent
, struct commit_extra_header
***tail
)
1298 struct merge_remote_desc
*desc
;
1299 struct commit_extra_header
*mergetag
;
1301 unsigned long size
, len
;
1302 enum object_type type
;
1304 desc
= merge_remote_util(parent
);
1305 if (!desc
|| !desc
->obj
)
1307 buf
= read_object_file(&desc
->obj
->oid
, &type
, &size
);
1308 if (!buf
|| type
!= OBJ_TAG
)
1310 len
= parse_signature(buf
, size
);
1314 * We could verify this signature and either omit the tag when
1315 * it does not validate, but the integrator may not have the
1316 * public key of the signer of the tag he is merging, while a
1317 * later auditor may have it while auditing, so let's not run
1318 * verify-signed-buffer here for now...
1320 * if (verify_signed_buffer(buf, len, buf + len, size - len, ...))
1321 * warn("warning: signed tag unverified.");
1323 mergetag
= xcalloc(1, sizeof(*mergetag
));
1324 mergetag
->key
= xstrdup("mergetag");
1325 mergetag
->value
= buf
;
1326 mergetag
->len
= size
;
1329 *tail
= &mergetag
->next
;
1336 int check_commit_signature(const struct commit
*commit
, struct signature_check
*sigc
)
1338 struct strbuf payload
= STRBUF_INIT
;
1339 struct strbuf signature
= STRBUF_INIT
;
1344 if (parse_signed_commit(commit
, &payload
, &signature
) <= 0)
1346 ret
= check_signature(payload
.buf
, payload
.len
, signature
.buf
,
1347 signature
.len
, sigc
);
1350 strbuf_release(&payload
);
1351 strbuf_release(&signature
);
1358 void append_merge_tag_headers(struct commit_list
*parents
,
1359 struct commit_extra_header
***tail
)
1362 struct commit
*parent
= parents
->item
;
1363 handle_signed_tag(parent
, tail
);
1364 parents
= parents
->next
;
1368 static void add_extra_header(struct strbuf
*buffer
,
1369 struct commit_extra_header
*extra
)
1371 strbuf_addstr(buffer
, extra
->key
);
1373 strbuf_add_lines(buffer
, " ", extra
->value
, extra
->len
);
1375 strbuf_addch(buffer
, '\n');
1378 struct commit_extra_header
*read_commit_extra_headers(struct commit
*commit
,
1379 const char **exclude
)
1381 struct commit_extra_header
*extra
= NULL
;
1383 const char *buffer
= get_commit_buffer(commit
, &size
);
1384 extra
= read_commit_extra_header_lines(buffer
, size
, exclude
);
1385 unuse_commit_buffer(commit
, buffer
);
1389 int for_each_mergetag(each_mergetag_fn fn
, struct commit
*commit
, void *data
)
1391 struct commit_extra_header
*extra
, *to_free
;
1394 to_free
= read_commit_extra_headers(commit
, NULL
);
1395 for (extra
= to_free
; !res
&& extra
; extra
= extra
->next
) {
1396 if (strcmp(extra
->key
, "mergetag"))
1397 continue; /* not a merge tag */
1398 res
= fn(commit
, extra
, data
);
1400 free_commit_extra_headers(to_free
);
1404 static inline int standard_header_field(const char *field
, size_t len
)
1406 return ((len
== 4 && !memcmp(field
, "tree", 4)) ||
1407 (len
== 6 && !memcmp(field
, "parent", 6)) ||
1408 (len
== 6 && !memcmp(field
, "author", 6)) ||
1409 (len
== 9 && !memcmp(field
, "committer", 9)) ||
1410 (len
== 8 && !memcmp(field
, "encoding", 8)));
1413 static int excluded_header_field(const char *field
, size_t len
, const char **exclude
)
1419 size_t xlen
= strlen(*exclude
);
1420 if (len
== xlen
&& !memcmp(field
, *exclude
, xlen
))
1427 static struct commit_extra_header
*read_commit_extra_header_lines(
1428 const char *buffer
, size_t size
,
1429 const char **exclude
)
1431 struct commit_extra_header
*extra
= NULL
, **tail
= &extra
, *it
= NULL
;
1432 const char *line
, *next
, *eof
, *eob
;
1433 struct strbuf buf
= STRBUF_INIT
;
1435 for (line
= buffer
, eob
= line
+ size
;
1436 line
< eob
&& *line
!= '\n';
1438 next
= memchr(line
, '\n', eob
- line
);
1439 next
= next
? next
+ 1 : eob
;
1443 strbuf_add(&buf
, line
+ 1, next
- (line
+ 1));
1447 it
->value
= strbuf_detach(&buf
, &it
->len
);
1451 eof
= memchr(line
, ' ', next
- line
);
1454 else if (standard_header_field(line
, eof
- line
) ||
1455 excluded_header_field(line
, eof
- line
, exclude
))
1458 it
= xcalloc(1, sizeof(*it
));
1459 it
->key
= xmemdupz(line
, eof
-line
);
1463 strbuf_add(&buf
, eof
+ 1, next
- (eof
+ 1));
1466 it
->value
= strbuf_detach(&buf
, &it
->len
);
1470 void free_commit_extra_headers(struct commit_extra_header
*extra
)
1473 struct commit_extra_header
*next
= extra
->next
;
1481 int commit_tree(const char *msg
, size_t msg_len
, const struct object_id
*tree
,
1482 struct commit_list
*parents
, struct object_id
*ret
,
1483 const char *author
, const char *sign_commit
)
1485 struct commit_extra_header
*extra
= NULL
, **tail
= &extra
;
1488 append_merge_tag_headers(parents
, &tail
);
1489 result
= commit_tree_extended(msg
, msg_len
, tree
, parents
, ret
,
1490 author
, sign_commit
, extra
);
1491 free_commit_extra_headers(extra
);
1495 static int find_invalid_utf8(const char *buf
, int len
)
1498 static const unsigned int max_codepoint
[] = {
1499 0x7f, 0x7ff, 0xffff, 0x10ffff
1503 unsigned char c
= *buf
++;
1504 int bytes
, bad_offset
;
1505 unsigned int codepoint
;
1506 unsigned int min_val
, max_val
;
1511 /* Simple US-ASCII? No worries. */
1515 bad_offset
= offset
-1;
1518 * Count how many more high bits set: that's how
1519 * many more bytes this sequence should have.
1528 * Must be between 1 and 3 more bytes. Longer sequences result in
1529 * codepoints beyond U+10FFFF, which are guaranteed never to exist.
1531 if (bytes
< 1 || 3 < bytes
)
1534 /* Do we *have* that many bytes? */
1539 * Place the encoded bits at the bottom of the value and compute the
1542 codepoint
= (c
& 0x7f) >> bytes
;
1543 min_val
= max_codepoint
[bytes
-1] + 1;
1544 max_val
= max_codepoint
[bytes
];
1549 /* And verify that they are good continuation bytes */
1552 codepoint
|= *buf
& 0x3f;
1553 if ((*buf
++ & 0xc0) != 0x80)
1557 /* Reject codepoints that are out of range for the sequence length. */
1558 if (codepoint
< min_val
|| codepoint
> max_val
)
1560 /* Surrogates are only for UTF-16 and cannot be encoded in UTF-8. */
1561 if ((codepoint
& 0x1ff800) == 0xd800)
1563 /* U+xxFFFE and U+xxFFFF are guaranteed non-characters. */
1564 if ((codepoint
& 0xfffe) == 0xfffe)
1566 /* So are anything in the range U+FDD0..U+FDEF. */
1567 if (codepoint
>= 0xfdd0 && codepoint
<= 0xfdef)
1574 * This verifies that the buffer is in proper utf8 format.
1576 * If it isn't, it assumes any non-utf8 characters are Latin1,
1577 * and does the conversion.
1579 static int verify_utf8(struct strbuf
*buf
)
1587 unsigned char replace
[2];
1589 bad
= find_invalid_utf8(buf
->buf
+ pos
, buf
->len
- pos
);
1595 strbuf_remove(buf
, pos
, 1);
1597 /* We know 'c' must be in the range 128-255 */
1598 replace
[0] = 0xc0 + (c
>> 6);
1599 replace
[1] = 0x80 + (c
& 0x3f);
1600 strbuf_insert(buf
, pos
, replace
, 2);
1605 static const char commit_utf8_warn
[] =
1606 N_("Warning: commit message did not conform to UTF-8.\n"
1607 "You may want to amend it after fixing the message, or set the config\n"
1608 "variable i18n.commitencoding to the encoding your project uses.\n");
1610 int commit_tree_extended(const char *msg
, size_t msg_len
,
1611 const struct object_id
*tree
,
1612 struct commit_list
*parents
, struct object_id
*ret
,
1613 const char *author
, const char *sign_commit
,
1614 struct commit_extra_header
*extra
)
1617 int encoding_is_utf8
;
1618 struct strbuf buffer
;
1620 assert_oid_type(tree
, OBJ_TREE
);
1622 if (memchr(msg
, '\0', msg_len
))
1623 return error("a NUL byte in commit log message not allowed.");
1625 /* Not having i18n.commitencoding is the same as having utf-8 */
1626 encoding_is_utf8
= is_encoding_utf8(git_commit_encoding
);
1628 strbuf_init(&buffer
, 8192); /* should avoid reallocs for the headers */
1629 strbuf_addf(&buffer
, "tree %s\n", oid_to_hex(tree
));
1632 * NOTE! This ordering means that the same exact tree merged with a
1633 * different order of parents will be a _different_ changeset even
1634 * if everything else stays the same.
1637 struct commit
*parent
= pop_commit(&parents
);
1638 strbuf_addf(&buffer
, "parent %s\n",
1639 oid_to_hex(&parent
->object
.oid
));
1642 /* Person/date information */
1644 author
= git_author_info(IDENT_STRICT
);
1645 strbuf_addf(&buffer
, "author %s\n", author
);
1646 strbuf_addf(&buffer
, "committer %s\n", git_committer_info(IDENT_STRICT
));
1647 if (!encoding_is_utf8
)
1648 strbuf_addf(&buffer
, "encoding %s\n", git_commit_encoding
);
1651 add_extra_header(&buffer
, extra
);
1652 extra
= extra
->next
;
1654 strbuf_addch(&buffer
, '\n');
1656 /* And add the comment */
1657 strbuf_add(&buffer
, msg
, msg_len
);
1659 /* And check the encoding */
1660 if (encoding_is_utf8
&& !verify_utf8(&buffer
))
1661 fprintf(stderr
, _(commit_utf8_warn
));
1663 if (sign_commit
&& do_sign_commit(&buffer
, sign_commit
)) {
1668 result
= write_object_file(buffer
.buf
, buffer
.len
, commit_type
, ret
);
1670 strbuf_release(&buffer
);
1674 define_commit_slab(merge_desc_slab
, struct merge_remote_desc
*);
1675 static struct merge_desc_slab merge_desc_slab
= COMMIT_SLAB_INIT(1, merge_desc_slab
);
1677 struct merge_remote_desc
*merge_remote_util(struct commit
*commit
)
1679 return *merge_desc_slab_at(&merge_desc_slab
, commit
);
1682 void set_merge_remote_desc(struct commit
*commit
,
1683 const char *name
, struct object
*obj
)
1685 struct merge_remote_desc
*desc
;
1686 FLEX_ALLOC_STR(desc
, name
, name
);
1688 *merge_desc_slab_at(&merge_desc_slab
, commit
) = desc
;
1691 struct commit
*get_merge_parent(const char *name
)
1694 struct commit
*commit
;
1695 struct object_id oid
;
1696 if (get_oid(name
, &oid
))
1698 obj
= parse_object(the_repository
, &oid
);
1699 commit
= (struct commit
*)peel_to_type(name
, 0, obj
, OBJ_COMMIT
);
1700 if (commit
&& !merge_remote_util(commit
))
1701 set_merge_remote_desc(commit
, name
, obj
);
1706 * Append a commit to the end of the commit_list.
1708 * next starts by pointing to the variable that holds the head of an
1709 * empty commit_list, and is updated to point to the "next" field of
1710 * the last item on the list as new commits are appended.
1714 * struct commit_list *list;
1715 * struct commit_list **next = &list;
1717 * next = commit_list_append(c1, next);
1718 * next = commit_list_append(c2, next);
1719 * assert(commit_list_count(list) == 2);
1722 struct commit_list
**commit_list_append(struct commit
*commit
,
1723 struct commit_list
**next
)
1725 struct commit_list
*new_commit
= xmalloc(sizeof(struct commit_list
));
1726 new_commit
->item
= commit
;
1728 new_commit
->next
= NULL
;
1729 return &new_commit
->next
;
1732 const char *find_commit_header(const char *msg
, const char *key
, size_t *out_len
)
1734 int key_len
= strlen(key
);
1735 const char *line
= msg
;
1738 const char *eol
= strchrnul(line
, '\n');
1743 if (eol
- line
> key_len
&&
1744 !strncmp(line
, key
, key_len
) &&
1745 line
[key_len
] == ' ') {
1746 *out_len
= eol
- line
- key_len
- 1;
1747 return line
+ key_len
+ 1;
1749 line
= *eol
? eol
+ 1 : NULL
;
1755 * Inspect the given string and determine the true "end" of the log message, in
1756 * order to find where to put a new Signed-off-by: line. Ignored are
1757 * trailing comment lines and blank lines. To support "git commit -s
1758 * --amend" on an existing commit, we also ignore "Conflicts:". To
1759 * support "git commit -v", we truncate at cut lines.
1761 * Returns the number of bytes from the tail to ignore, to be fed as
1762 * the second parameter to append_signoff().
1764 int ignore_non_trailer(const char *buf
, size_t len
)
1768 int in_old_conflicts_block
= 0;
1769 size_t cutoff
= wt_status_locate_end(buf
, len
);
1771 while (bol
< cutoff
) {
1772 const char *next_line
= memchr(buf
+ bol
, '\n', len
- bol
);
1775 next_line
= buf
+ len
;
1779 if (buf
[bol
] == comment_line_char
|| buf
[bol
] == '\n') {
1780 /* is this the first of the run of comments? */
1783 /* otherwise, it is just continuing */
1784 } else if (starts_with(buf
+ bol
, "Conflicts:\n")) {
1785 in_old_conflicts_block
= 1;
1788 } else if (in_old_conflicts_block
&& buf
[bol
] == '\t') {
1789 ; /* a pathname in the conflicts block */
1791 /* the previous was not trailing comment */
1793 in_old_conflicts_block
= 0;
1795 bol
= next_line
- buf
;
1797 return boc
? len
- boc
: len
- cutoff
;