d665debf0f2a0ccc23d92c263f5a895442465442
1#include "cache.h"
2#include "lockfile.h"
3#include "string-list.h"
4#include "rerere.h"
5#include "xdiff-interface.h"
6#include "dir.h"
7#include "resolve-undo.h"
8#include "ll-merge.h"
9#include "attr.h"
10#include "pathspec.h"
11
12#define RESOLVED 0
13#define PUNTED 1
14#define THREE_STAGED 2
15void *RERERE_RESOLVED = &RERERE_RESOLVED;
16
17/* if rerere_enabled == -1, fall back to detection of .git/rr-cache */
18static int rerere_enabled = -1;
19
20/* automatically update cleanly resolved paths to the index */
21static int rerere_autoupdate;
22
23static char *merge_rr_path;
24
25const char *rerere_path(const char *hex, const char *file)
26{
27 return git_path("rr-cache/%s/%s", hex, file);
28}
29
30static int has_rerere_resolution(const char *hex)
31{
32 struct stat st;
33 return !stat(rerere_path(hex, "postimage"), &st);
34}
35
36static void read_rr(struct string_list *rr)
37{
38 struct strbuf buf = STRBUF_INIT;
39 FILE *in = fopen(merge_rr_path, "r");
40
41 if (!in)
42 return;
43 while (!strbuf_getwholeline(&buf, in, '\0')) {
44 char *path;
45 unsigned char sha1[20];
46
47 /* There has to be the hash, tab, path and then NUL */
48 if (buf.len < 42 || get_sha1_hex(buf.buf, sha1))
49 die("corrupt MERGE_RR");
50
51 if (buf.buf[40] != '\t')
52 die("corrupt MERGE_RR");
53 buf.buf[40] = '\0';
54 path = buf.buf + 41;
55
56 string_list_insert(rr, path)->util = xstrdup(buf.buf);
57 }
58 strbuf_release(&buf);
59 fclose(in);
60}
61
62static struct lock_file write_lock;
63
64static int write_rr(struct string_list *rr, int out_fd)
65{
66 int i;
67 for (i = 0; i < rr->nr; i++) {
68 struct strbuf buf = STRBUF_INIT;
69
70 assert(rr->items[i].util != RERERE_RESOLVED);
71 if (!rr->items[i].util)
72 continue;
73 strbuf_addf(&buf, "%s\t%s%c",
74 (char *)rr->items[i].util,
75 rr->items[i].string, 0);
76 if (write_in_full(out_fd, buf.buf, buf.len) != buf.len)
77 die("unable to write rerere record");
78
79 strbuf_release(&buf);
80 }
81 if (commit_lock_file(&write_lock) != 0)
82 die("unable to write rerere record");
83 return 0;
84}
85
86static void ferr_write(const void *p, size_t count, FILE *fp, int *err)
87{
88 if (!count || *err)
89 return;
90 if (fwrite(p, count, 1, fp) != 1)
91 *err = errno;
92}
93
94static inline void ferr_puts(const char *s, FILE *fp, int *err)
95{
96 ferr_write(s, strlen(s), fp, err);
97}
98
99struct rerere_io {
100 int (*getline)(struct strbuf *, struct rerere_io *);
101 FILE *output;
102 int wrerror;
103 /* some more stuff */
104};
105
106static void rerere_io_putstr(const char *str, struct rerere_io *io)
107{
108 if (io->output)
109 ferr_puts(str, io->output, &io->wrerror);
110}
111
112static void rerere_io_putconflict(int ch, int size, struct rerere_io *io)
113{
114 char buf[64];
115
116 while (size) {
117 if (size < sizeof(buf) - 2) {
118 memset(buf, ch, size);
119 buf[size] = '\n';
120 buf[size + 1] = '\0';
121 size = 0;
122 } else {
123 int sz = sizeof(buf) - 1;
124 if (size <= sz)
125 sz -= (sz - size) + 1;
126 memset(buf, ch, sz);
127 buf[sz] = '\0';
128 size -= sz;
129 }
130 rerere_io_putstr(buf, io);
131 }
132}
133
134static void rerere_io_putmem(const char *mem, size_t sz, struct rerere_io *io)
135{
136 if (io->output)
137 ferr_write(mem, sz, io->output, &io->wrerror);
138}
139
140struct rerere_io_file {
141 struct rerere_io io;
142 FILE *input;
143};
144
145static int rerere_file_getline(struct strbuf *sb, struct rerere_io *io_)
146{
147 struct rerere_io_file *io = (struct rerere_io_file *)io_;
148 return strbuf_getwholeline(sb, io->input, '\n');
149}
150
151/*
152 * Require the exact number of conflict marker letters, no more, no
153 * less, followed by SP or any whitespace
154 * (including LF).
155 */
156static int is_cmarker(char *buf, int marker_char, int marker_size)
157{
158 int want_sp;
159
160 /*
161 * The beginning of our version and the end of their version
162 * always are labeled like "<<<<< ours" or ">>>>> theirs",
163 * hence we set want_sp for them. Note that the version from
164 * the common ancestor in diff3-style output is not always
165 * labelled (e.g. "||||| common" is often seen but "|||||"
166 * alone is also valid), so we do not set want_sp.
167 */
168 want_sp = (marker_char == '<') || (marker_char == '>');
169
170 while (marker_size--)
171 if (*buf++ != marker_char)
172 return 0;
173 if (want_sp && *buf != ' ')
174 return 0;
175 return isspace(*buf);
176}
177
178static int handle_path(unsigned char *sha1, struct rerere_io *io, int marker_size)
179{
180 git_SHA_CTX ctx;
181 int hunk_no = 0;
182 enum {
183 RR_CONTEXT = 0, RR_SIDE_1, RR_SIDE_2, RR_ORIGINAL
184 } hunk = RR_CONTEXT;
185 struct strbuf one = STRBUF_INIT, two = STRBUF_INIT;
186 struct strbuf buf = STRBUF_INIT;
187
188 if (sha1)
189 git_SHA1_Init(&ctx);
190
191 while (!io->getline(&buf, io)) {
192 if (is_cmarker(buf.buf, '<', marker_size)) {
193 if (hunk != RR_CONTEXT)
194 goto bad;
195 hunk = RR_SIDE_1;
196 } else if (is_cmarker(buf.buf, '|', marker_size)) {
197 if (hunk != RR_SIDE_1)
198 goto bad;
199 hunk = RR_ORIGINAL;
200 } else if (is_cmarker(buf.buf, '=', marker_size)) {
201 if (hunk != RR_SIDE_1 && hunk != RR_ORIGINAL)
202 goto bad;
203 hunk = RR_SIDE_2;
204 } else if (is_cmarker(buf.buf, '>', marker_size)) {
205 if (hunk != RR_SIDE_2)
206 goto bad;
207 if (strbuf_cmp(&one, &two) > 0)
208 strbuf_swap(&one, &two);
209 hunk_no++;
210 hunk = RR_CONTEXT;
211 rerere_io_putconflict('<', marker_size, io);
212 rerere_io_putmem(one.buf, one.len, io);
213 rerere_io_putconflict('=', marker_size, io);
214 rerere_io_putmem(two.buf, two.len, io);
215 rerere_io_putconflict('>', marker_size, io);
216 if (sha1) {
217 git_SHA1_Update(&ctx, one.buf ? one.buf : "",
218 one.len + 1);
219 git_SHA1_Update(&ctx, two.buf ? two.buf : "",
220 two.len + 1);
221 }
222 strbuf_reset(&one);
223 strbuf_reset(&two);
224 } else if (hunk == RR_SIDE_1)
225 strbuf_addbuf(&one, &buf);
226 else if (hunk == RR_ORIGINAL)
227 ; /* discard */
228 else if (hunk == RR_SIDE_2)
229 strbuf_addbuf(&two, &buf);
230 else
231 rerere_io_putstr(buf.buf, io);
232 continue;
233 bad:
234 hunk = 99; /* force error exit */
235 break;
236 }
237 strbuf_release(&one);
238 strbuf_release(&two);
239 strbuf_release(&buf);
240
241 if (sha1)
242 git_SHA1_Final(sha1, &ctx);
243 if (hunk != RR_CONTEXT)
244 return -1;
245 return hunk_no;
246}
247
248static int handle_file(const char *path, unsigned char *sha1, const char *output)
249{
250 int hunk_no = 0;
251 struct rerere_io_file io;
252 int marker_size = ll_merge_marker_size(path);
253
254 memset(&io, 0, sizeof(io));
255 io.io.getline = rerere_file_getline;
256 io.input = fopen(path, "r");
257 io.io.wrerror = 0;
258 if (!io.input)
259 return error("Could not open %s", path);
260
261 if (output) {
262 io.io.output = fopen(output, "w");
263 if (!io.io.output) {
264 fclose(io.input);
265 return error("Could not write %s", output);
266 }
267 }
268
269 hunk_no = handle_path(sha1, (struct rerere_io *)&io, marker_size);
270
271 fclose(io.input);
272 if (io.io.wrerror)
273 error("There were errors while writing %s (%s)",
274 path, strerror(io.io.wrerror));
275 if (io.io.output && fclose(io.io.output))
276 io.io.wrerror = error("Failed to flush %s: %s",
277 path, strerror(errno));
278
279 if (hunk_no < 0) {
280 if (output)
281 unlink_or_warn(output);
282 return error("Could not parse conflict hunks in %s", path);
283 }
284 if (io.io.wrerror)
285 return -1;
286 return hunk_no;
287}
288
289struct rerere_io_mem {
290 struct rerere_io io;
291 struct strbuf input;
292};
293
294static int rerere_mem_getline(struct strbuf *sb, struct rerere_io *io_)
295{
296 struct rerere_io_mem *io = (struct rerere_io_mem *)io_;
297 char *ep;
298 size_t len;
299
300 strbuf_release(sb);
301 if (!io->input.len)
302 return -1;
303 ep = memchr(io->input.buf, '\n', io->input.len);
304 if (!ep)
305 ep = io->input.buf + io->input.len;
306 else if (*ep == '\n')
307 ep++;
308 len = ep - io->input.buf;
309 strbuf_add(sb, io->input.buf, len);
310 strbuf_remove(&io->input, 0, len);
311 return 0;
312}
313
314static int handle_cache(const char *path, unsigned char *sha1, const char *output)
315{
316 mmfile_t mmfile[3] = {{NULL}};
317 mmbuffer_t result = {NULL, 0};
318 const struct cache_entry *ce;
319 int pos, len, i, hunk_no;
320 struct rerere_io_mem io;
321 int marker_size = ll_merge_marker_size(path);
322
323 /*
324 * Reproduce the conflicted merge in-core
325 */
326 len = strlen(path);
327 pos = cache_name_pos(path, len);
328 if (0 <= pos)
329 return -1;
330 pos = -pos - 1;
331
332 while (pos < active_nr) {
333 enum object_type type;
334 unsigned long size;
335
336 ce = active_cache[pos++];
337 if (ce_namelen(ce) != len || memcmp(ce->name, path, len))
338 break;
339 i = ce_stage(ce) - 1;
340 if (!mmfile[i].ptr) {
341 mmfile[i].ptr = read_sha1_file(ce->sha1, &type, &size);
342 mmfile[i].size = size;
343 }
344 }
345 for (i = 0; i < 3; i++)
346 if (!mmfile[i].ptr && !mmfile[i].size)
347 mmfile[i].ptr = xstrdup("");
348
349 /*
350 * NEEDSWORK: handle conflicts from merges with
351 * merge.renormalize set, too
352 */
353 ll_merge(&result, path, &mmfile[0], NULL,
354 &mmfile[1], "ours",
355 &mmfile[2], "theirs", NULL);
356 for (i = 0; i < 3; i++)
357 free(mmfile[i].ptr);
358
359 memset(&io, 0, sizeof(io));
360 io.io.getline = rerere_mem_getline;
361 if (output)
362 io.io.output = fopen(output, "w");
363 else
364 io.io.output = NULL;
365 strbuf_init(&io.input, 0);
366 strbuf_attach(&io.input, result.ptr, result.size, result.size);
367
368 hunk_no = handle_path(sha1, (struct rerere_io *)&io, marker_size);
369 strbuf_release(&io.input);
370 if (io.io.output)
371 fclose(io.io.output);
372 return hunk_no;
373}
374
375static int check_one_conflict(int i, int *type)
376{
377 const struct cache_entry *e = active_cache[i];
378
379 if (!ce_stage(e)) {
380 *type = RESOLVED;
381 return i + 1;
382 }
383
384 *type = PUNTED;
385 while (ce_stage(active_cache[i]) == 1)
386 i++;
387
388 /* Only handle regular files with both stages #2 and #3 */
389 if (i + 1 < active_nr) {
390 const struct cache_entry *e2 = active_cache[i];
391 const struct cache_entry *e3 = active_cache[i + 1];
392 if (ce_stage(e2) == 2 &&
393 ce_stage(e3) == 3 &&
394 ce_same_name(e, e3) &&
395 S_ISREG(e2->ce_mode) &&
396 S_ISREG(e3->ce_mode))
397 *type = THREE_STAGED;
398 }
399
400 /* Skip the entries with the same name */
401 while (i < active_nr && ce_same_name(e, active_cache[i]))
402 i++;
403 return i;
404}
405
406static int find_conflict(struct string_list *conflict)
407{
408 int i;
409 if (read_cache() < 0)
410 return error("Could not read index");
411
412 for (i = 0; i < active_nr;) {
413 int conflict_type;
414 const struct cache_entry *e = active_cache[i];
415 i = check_one_conflict(i, &conflict_type);
416 if (conflict_type == THREE_STAGED)
417 string_list_insert(conflict, (const char *)e->name);
418 }
419 return 0;
420}
421
422int rerere_remaining(struct string_list *merge_rr)
423{
424 int i;
425 if (read_cache() < 0)
426 return error("Could not read index");
427
428 for (i = 0; i < active_nr;) {
429 int conflict_type;
430 const struct cache_entry *e = active_cache[i];
431 i = check_one_conflict(i, &conflict_type);
432 if (conflict_type == PUNTED)
433 string_list_insert(merge_rr, (const char *)e->name);
434 else if (conflict_type == RESOLVED) {
435 struct string_list_item *it;
436 it = string_list_lookup(merge_rr, (const char *)e->name);
437 if (it != NULL) {
438 free(it->util);
439 it->util = RERERE_RESOLVED;
440 }
441 }
442 }
443 return 0;
444}
445
446static int merge(const char *name, const char *path)
447{
448 int ret;
449 mmfile_t cur = {NULL, 0}, base = {NULL, 0}, other = {NULL, 0};
450 mmbuffer_t result = {NULL, 0};
451
452 if (handle_file(path, NULL, rerere_path(name, "thisimage")) < 0)
453 return 1;
454
455 if (read_mmfile(&cur, rerere_path(name, "thisimage")) ||
456 read_mmfile(&base, rerere_path(name, "preimage")) ||
457 read_mmfile(&other, rerere_path(name, "postimage"))) {
458 ret = 1;
459 goto out;
460 }
461 ret = ll_merge(&result, path, &base, NULL, &cur, "", &other, "", NULL);
462 if (!ret) {
463 FILE *f;
464
465 if (utime(rerere_path(name, "postimage"), NULL) < 0)
466 warning("failed utime() on %s: %s",
467 rerere_path(name, "postimage"),
468 strerror(errno));
469 f = fopen(path, "w");
470 if (!f)
471 return error("Could not open %s: %s", path,
472 strerror(errno));
473 if (fwrite(result.ptr, result.size, 1, f) != 1)
474 error("Could not write %s: %s", path, strerror(errno));
475 if (fclose(f))
476 return error("Writing %s failed: %s", path,
477 strerror(errno));
478 }
479
480out:
481 free(cur.ptr);
482 free(base.ptr);
483 free(other.ptr);
484 free(result.ptr);
485
486 return ret;
487}
488
489static struct lock_file index_lock;
490
491static void update_paths(struct string_list *update)
492{
493 int i;
494
495 hold_locked_index(&index_lock, 1);
496
497 for (i = 0; i < update->nr; i++) {
498 struct string_list_item *item = &update->items[i];
499 if (add_file_to_cache(item->string, 0))
500 exit(128);
501 fprintf(stderr, "Staged '%s' using previous resolution.\n",
502 item->string);
503 }
504
505 if (active_cache_changed) {
506 if (write_locked_index(&the_index, &index_lock, COMMIT_LOCK))
507 die("Unable to write new index file");
508 } else
509 rollback_lock_file(&index_lock);
510}
511
512static int do_plain_rerere(struct string_list *rr, int fd)
513{
514 struct string_list conflict = STRING_LIST_INIT_DUP;
515 struct string_list update = STRING_LIST_INIT_DUP;
516 int i;
517
518 find_conflict(&conflict);
519
520 /*
521 * MERGE_RR records paths with conflicts immediately after merge
522 * failed. Some of the conflicted paths might have been hand resolved
523 * in the working tree since then, but the initial run would catch all
524 * and register their preimages.
525 */
526
527 for (i = 0; i < conflict.nr; i++) {
528 const char *path = conflict.items[i].string;
529 if (!string_list_has_string(rr, path)) {
530 unsigned char sha1[20];
531 char *hex;
532 int ret;
533 ret = handle_file(path, sha1, NULL);
534 if (ret < 1)
535 continue;
536 hex = xstrdup(sha1_to_hex(sha1));
537 string_list_insert(rr, path)->util = hex;
538 if (mkdir_in_gitdir(git_path("rr-cache/%s", hex)))
539 continue;
540 handle_file(path, NULL, rerere_path(hex, "preimage"));
541 fprintf(stderr, "Recorded preimage for '%s'\n", path);
542 }
543 }
544
545 /*
546 * Now some of the paths that had conflicts earlier might have been
547 * hand resolved. Others may be similar to a conflict already that
548 * was resolved before.
549 */
550
551 for (i = 0; i < rr->nr; i++) {
552 int ret;
553 const char *path = rr->items[i].string;
554 const char *name = (const char *)rr->items[i].util;
555
556 if (has_rerere_resolution(name)) {
557 if (merge(name, path))
558 continue;
559
560 if (rerere_autoupdate)
561 string_list_insert(&update, path);
562 else
563 fprintf(stderr,
564 "Resolved '%s' using previous resolution.\n",
565 path);
566 goto mark_resolved;
567 }
568
569 /* Let's see if we have resolved it. */
570 ret = handle_file(path, NULL, NULL);
571 if (ret)
572 continue;
573
574 fprintf(stderr, "Recorded resolution for '%s'.\n", path);
575 copy_file(rerere_path(name, "postimage"), path, 0666);
576 mark_resolved:
577 free(rr->items[i].util);
578 rr->items[i].util = NULL;
579 }
580
581 if (update.nr)
582 update_paths(&update);
583
584 return write_rr(rr, fd);
585}
586
587static void git_rerere_config(void)
588{
589 git_config_get_bool("rerere.enabled", &rerere_enabled);
590 git_config_get_bool("rerere.autoupdate", &rerere_autoupdate);
591 git_config(git_default_config, NULL);
592}
593
594static int is_rerere_enabled(void)
595{
596 const char *rr_cache;
597 int rr_cache_exists;
598
599 if (!rerere_enabled)
600 return 0;
601
602 rr_cache = git_path("rr-cache");
603 rr_cache_exists = is_directory(rr_cache);
604 if (rerere_enabled < 0)
605 return rr_cache_exists;
606
607 if (!rr_cache_exists && mkdir_in_gitdir(rr_cache))
608 die("Could not create directory %s", rr_cache);
609 return 1;
610}
611
612int setup_rerere(struct string_list *merge_rr, int flags)
613{
614 int fd;
615
616 git_rerere_config();
617 if (!is_rerere_enabled())
618 return -1;
619
620 if (flags & (RERERE_AUTOUPDATE|RERERE_NOAUTOUPDATE))
621 rerere_autoupdate = !!(flags & RERERE_AUTOUPDATE);
622 merge_rr_path = git_pathdup("MERGE_RR");
623 fd = hold_lock_file_for_update(&write_lock, merge_rr_path,
624 LOCK_DIE_ON_ERROR);
625 read_rr(merge_rr);
626 return fd;
627}
628
629int rerere(int flags)
630{
631 struct string_list merge_rr = STRING_LIST_INIT_DUP;
632 int fd;
633
634 fd = setup_rerere(&merge_rr, flags);
635 if (fd < 0)
636 return 0;
637 return do_plain_rerere(&merge_rr, fd);
638}
639
640static int rerere_forget_one_path(const char *path, struct string_list *rr)
641{
642 const char *filename;
643 char *hex;
644 unsigned char sha1[20];
645 int ret;
646 struct string_list_item *item;
647
648 ret = handle_cache(path, sha1, NULL);
649 if (ret < 1)
650 return error("Could not parse conflict hunks in '%s'", path);
651 hex = xstrdup(sha1_to_hex(sha1));
652 filename = rerere_path(hex, "postimage");
653 if (unlink(filename))
654 return (errno == ENOENT
655 ? error("no remembered resolution for %s", path)
656 : error("cannot unlink %s: %s", filename, strerror(errno)));
657
658 handle_cache(path, sha1, rerere_path(hex, "preimage"));
659 fprintf(stderr, "Updated preimage for '%s'\n", path);
660
661 item = string_list_insert(rr, path);
662 free(item->util);
663 item->util = hex;
664 fprintf(stderr, "Forgot resolution for %s\n", path);
665 return 0;
666}
667
668int rerere_forget(struct pathspec *pathspec)
669{
670 int i, fd;
671 struct string_list conflict = STRING_LIST_INIT_DUP;
672 struct string_list merge_rr = STRING_LIST_INIT_DUP;
673
674 if (read_cache() < 0)
675 return error("Could not read index");
676
677 fd = setup_rerere(&merge_rr, RERERE_NOAUTOUPDATE);
678
679 unmerge_cache(pathspec);
680 find_conflict(&conflict);
681 for (i = 0; i < conflict.nr; i++) {
682 struct string_list_item *it = &conflict.items[i];
683 if (!match_pathspec(pathspec, it->string,
684 strlen(it->string), 0, NULL, 0))
685 continue;
686 rerere_forget_one_path(it->string, &merge_rr);
687 }
688 return write_rr(&merge_rr, fd);
689}
690
691static time_t rerere_created_at(const char *name)
692{
693 struct stat st;
694 return stat(rerere_path(name, "preimage"), &st) ? (time_t) 0 : st.st_mtime;
695}
696
697static time_t rerere_last_used_at(const char *name)
698{
699 struct stat st;
700 return stat(rerere_path(name, "postimage"), &st) ? (time_t) 0 : st.st_mtime;
701}
702
703static void unlink_rr_item(const char *name)
704{
705 unlink(rerere_path(name, "thisimage"));
706 unlink(rerere_path(name, "preimage"));
707 unlink(rerere_path(name, "postimage"));
708 rmdir(git_path("rr-cache/%s", name));
709}
710
711void rerere_gc(struct string_list *rr)
712{
713 struct string_list to_remove = STRING_LIST_INIT_DUP;
714 DIR *dir;
715 struct dirent *e;
716 int i, cutoff;
717 time_t now = time(NULL), then;
718 int cutoff_noresolve = 15;
719 int cutoff_resolve = 60;
720
721 git_config_get_int("gc.rerereresolved", &cutoff_resolve);
722 git_config_get_int("gc.rerereunresolved", &cutoff_noresolve);
723 git_config(git_default_config, NULL);
724 dir = opendir(git_path("rr-cache"));
725 if (!dir)
726 die_errno("unable to open rr-cache directory");
727 while ((e = readdir(dir))) {
728 if (is_dot_or_dotdot(e->d_name))
729 continue;
730
731 then = rerere_last_used_at(e->d_name);
732 if (then) {
733 cutoff = cutoff_resolve;
734 } else {
735 then = rerere_created_at(e->d_name);
736 if (!then)
737 continue;
738 cutoff = cutoff_noresolve;
739 }
740 if (then < now - cutoff * 86400)
741 string_list_append(&to_remove, e->d_name);
742 }
743 closedir(dir);
744 for (i = 0; i < to_remove.nr; i++)
745 unlink_rr_item(to_remove.items[i].string);
746 string_list_clear(&to_remove, 0);
747}
748
749void rerere_clear(struct string_list *merge_rr)
750{
751 int i;
752
753 for (i = 0; i < merge_rr->nr; i++) {
754 const char *name = (const char *)merge_rr->items[i].util;
755 if (!has_rerere_resolution(name))
756 unlink_rr_item(name);
757 }
758 unlink_or_warn(git_path("MERGE_RR"));
759}