1 /* $OpenBSD: diff3.c,v 1.41 2016/10/18 21:06:52 millert Exp $ */
4 * Copyright (C) Caldera International Inc. 2001-2002.
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
10 * 1. Redistributions of source code and documentation must retain the above
11 * copyright notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
15 * 3. All advertising materials mentioning features or use of this software
16 * must display the following acknowledgement:
17 * This product includes software developed or owned by Caldera
19 * 4. Neither the name of Caldera International, Inc. nor the names of other
20 * contributors may be used to endorse or promote products derived from
21 * this software without specific prior written permission.
23 * USE OF THE SOFTWARE PROVIDED FOR UNDER THIS LICENSE BY CALDERA
24 * INTERNATIONAL, INC. AND CONTRIBUTORS ``AS IS'' AND ANY EXPRESS OR
25 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
26 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
27 * IN NO EVENT SHALL CALDERA INTERNATIONAL, INC. BE LIABLE FOR ANY DIRECT,
28 * INDIRECT INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
29 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
30 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
31 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
32 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
33 * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
34 * POSSIBILITY OF SUCH DAMAGE.
37 * Copyright (c) 1991, 1993
38 * The Regents of the University of California. All rights reserved.
40 * Redistribution and use in source and binary forms, with or without
41 * modification, are permitted provided that the following conditions
43 * 1. Redistributions of source code must retain the above copyright
44 * notice, this list of conditions and the following disclaimer.
45 * 2. Redistributions in binary form must reproduce the above copyright
46 * notice, this list of conditions and the following disclaimer in the
47 * documentation and/or other materials provided with the distribution.
48 * 3. Neither the name of the University nor the names of its contributors
49 * may be used to endorse or promote products derived from this software
50 * without specific prior written permission.
52 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
53 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
54 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
55 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
56 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
57 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
58 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
59 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
60 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
61 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
64 * @(#)diff3.c 8.1 (Berkeley) 6/6/93
68 #include <sys/queue.h>
79 #include "got_error.h"
80 #include "got_opentemp.h"
81 #include "got_object.h"
85 #include "got_lib_diff.h"
89 #define nitems(_a) (sizeof(_a) / sizeof((_a)[0]))
92 /* diff3 - 3-way differential file comparison */
94 /* diff3 [-ex3EX] d13 d23 f1 f2 f3 [m1 m3]
96 * d13 = diff report on f1 vs f3
97 * d23 = diff report on f2 vs f3
98 * f1, f2, f3 the 3 files
99 * if changes in f1 overlap with changes in f3, m1 and m3 are used
100 * to mark the overlaps; otherwise, the file names f1 and f3 are used
101 * (only for options E and X).
105 * "from" is first in range of changed lines; "to" is last+1
106 * from=to=line after point of insertion for added lines.
125 * "de" is used to gather editing scripts. These are later spewed out
126 * in reverse order. Its first element must be all zero, the "new"
127 * component of "de" contains line positions or byte positions
128 * depending on when you look (!?). Array overlap indicates which
129 * sections in "de" correspond to lines that are different in all
136 int cline[3]; /* # of the last-read line in each file (0-2) */
139 * the latest known correspondence between line numbers of the 3 files
140 * is stored in last[1-3];
146 char f1mark[PATH_MAX], f3mark[PATH_MAX]; /* markers for -E and -X */
154 static int duplicate(struct range *, struct range *, struct diff3_state *);
155 static int edit(struct diff *, int, int, struct diff3_state *);
156 static char *getchange(FILE *, struct diff3_state *);
157 static char *get_line(FILE *, size_t *, struct diff3_state *);
158 static int number(char **);
159 static const struct got_error *readin(size_t *, char *, struct diff **,
160 struct diff3_state *);
161 static int ed_patch_lines(struct rcs_lines *, struct rcs_lines *);
162 static int skip(int, int, char *, struct diff3_state *);
163 static int edscript(int, struct diff3_state *);
164 static int merge(size_t, size_t, struct diff3_state *);
165 static void change(int, struct range *, int, struct diff3_state *);
166 static void keep(int, struct range *, struct diff3_state *);
167 static void prange(struct range *);
168 static void repos(int, struct diff3_state *);
169 static void separate(const char *);
170 static const struct got_error *increase(struct diff3_state *);
171 static const struct got_error *diff3_internal(char *, char *, char *,
172 char *, char *, const char *, const char *, struct diff3_state *);
174 int diff3_conflicts = 0;
176 static const struct got_error *
177 diff_output(const char *fmt, ...)
185 i = vasprintf(&str, fmt, vap);
188 return got_error_from_errno();
190 buf_append(&newsize, diffbuf, str, strlen(str));
197 static const struct got_error*
198 diffreg(BUF **d, const char *path1, const char *path2)
200 const struct got_error *err = NULL;
201 FILE *f1 = NULL, *f2 = NULL, *outfile = NULL;
202 char *outpath = NULL;
203 struct got_diff_state ds;
204 struct got_diff_args args;
209 f1 = fopen(path1, "r");
211 err = got_error_from_errno();
214 f2 = fopen(path2, "r");
216 err = got_error_from_errno();
220 err = got_opentemp_named(&outpath, &outfile, "/tmp/got-diff");
224 memset(&ds, 0, sizeof(ds));
225 /* XXX should stat buffers be passed in args instead of ds? */
226 if (stat(path1, &ds.stb1) == -1) {
227 err = got_error_from_errno();
230 if (stat(path2, &ds.stb2) == -1) {
231 err = got_error_from_errno();
235 memset(&args, 0, sizeof(args));
236 args.diff_format = D_NORMAL;
239 args.diff_context = 0;
241 err = got_diffreg(&res, f1, f2, D_FORCEASCII, &args, &ds,
246 *d = buf_load(outpath);
248 err = got_error_from_errno();
263 const struct got_error *
264 got_merge_diff3(int outfd, const char *p1, const char *p2, const char *p3)
266 const struct got_error *err = NULL;
267 char *dp13, *dp23, *path1, *path2, *path3;
268 BUF *b1, *b2, *b3, *d1, *d2, *diffb;
269 u_char *data, *patch;
271 struct wklhead temp_files;
272 struct diff3_state *d3s;
275 d3s = calloc(1, sizeof(*d3s));
277 return got_error_from_errno();
278 d3s->eflag = 3; /* default -E for compatibility with former RCS */
279 d3s->oflag = 1; /* default -E for compatibility with former RCS */
281 b1 = b2 = b3 = d1 = d2 = diffb = NULL;
282 dp13 = dp23 = path1 = path2 = path3 = NULL;
285 if ((b1 = buf_load(p1)) == NULL)
287 if ((b2 = buf_load(p2)) == NULL)
289 if ((b3 = buf_load(p3)) == NULL)
292 diffb = buf_alloc(128);
294 if (asprintf(&path1, "/tmp/got-diff1.XXXXXXXX") == -1) {
295 err = got_error_from_errno();
298 if (asprintf(&path2, "/tmp/got-diff2.XXXXXXXX") == -1) {
299 err = got_error_from_errno();
302 if (asprintf(&path3, "/tmp/got-diff3.XXXXXXXX") == -1) {
303 err = got_error_from_errno();
307 err = buf_write_stmp(b1, path1, &temp_files);
310 err = buf_write_stmp(b2, path2, &temp_files);
313 err = buf_write_stmp(b3, path3, &temp_files);
320 err = diffreg(&d1, path1, path3);
327 err = diffreg(&d2, path2, path3);
334 if (asprintf(&dp13, "/tmp/got-d13.XXXXXXXXXX") == -1) {
335 err = got_error_from_errno();
338 err = buf_write_stmp(d1, dp13, &temp_files);
345 if (asprintf(&dp23, "/tmp/got-d23.XXXXXXXXXX") == -1) {
346 err = got_error_from_errno();
349 err = buf_write_stmp(d2, dp23, &temp_files);
357 err = diff3_internal(dp13, dp23, path1, path2, path3, p1, p3,
365 plen = buf_len(diffb);
366 patch = buf_release(diffb);
368 data = buf_release(b1);
370 diffb = rcs_patchfile(data, dlen, patch, plen, ed_patch_lines);
391 worklist_clean(&temp_files, worklist_unlink);
393 for (i = 0; i < nitems(d3s->fp); i++) {
398 if (err == NULL && diffb) {
399 if (buf_write_fd(diffb, outfd) < 0)
400 err = got_error_from_errno();
406 static const struct got_error *
407 diff3_internal(char *dp13, char *dp23, char *path1, char *path2, char *path3,
408 const char *fmark, const char *rmark, struct diff3_state *d3s)
410 const struct got_error *err = NULL;
414 i = snprintf(d3s->f1mark, sizeof(d3s->f1mark), "<<<<<<< %s", fmark);
415 if (i < 0 || i >= (int)sizeof(d3s->f1mark))
416 return got_error(GOT_ERR_NO_SPACE);
418 i = snprintf(d3s->f3mark, sizeof(d3s->f3mark), ">>>>>>> %s", rmark);
419 if (i < 0 || i >= (int)sizeof(d3s->f3mark))
420 return got_error(GOT_ERR_NO_SPACE);
426 err = readin(&m, dp13, &d3s->d13, d3s);
429 err = readin(&n, dp23, &d3s->d23, d3s);
433 if ((d3s->fp[0] = fopen(path1, "r")) == NULL)
434 return got_error_from_errno();
435 if ((d3s->fp[1] = fopen(path2, "r")) == NULL)
436 return got_error_from_errno();
437 if ((d3s->fp[2] = fopen(path3, "r")) == NULL)
438 return got_error_from_errno();
440 if (merge(m, n, d3s) < 0)
441 return got_error_from_errno();
446 ed_patch_lines(struct rcs_lines *dlines, struct rcs_lines *plines)
449 struct rcs_line *sort, *lp, *dlp, *ndlp, *insert_after;
450 int start, end, i, lineno;
453 dlp = TAILQ_FIRST(&(dlines->l_lines));
454 lp = TAILQ_FIRST(&(plines->l_lines));
457 for (lp = TAILQ_NEXT(lp, l_list); lp != NULL;
458 lp = TAILQ_NEXT(lp, l_list)) {
459 /* Skip blank lines */
463 /* NUL-terminate line buffer for strtol() safety. */
464 tmp = lp->l_line[lp->l_len - 1];
465 lp->l_line[lp->l_len - 1] = '\0';
467 /* len - 1 is NUL terminator so we use len - 2 for 'op' */
468 op = lp->l_line[lp->l_len - 2];
469 start = (int)strtol(lp->l_line, &ep, 10);
471 /* Restore the last byte of the buffer */
472 lp->l_line[lp->l_len - 1] = tmp;
475 if (start > dlines->l_nblines ||
476 start < 0 || *ep != 'a')
478 } else if (op == 'c') {
479 if (start > dlines->l_nblines ||
480 start < 0 || (*ep != ',' && *ep != 'c'))
485 end = (int)strtol(ep, &ep, 10);
486 if (end < 0 || *ep != 'c')
497 if (dlp->l_lineno == start)
499 if (dlp->l_lineno > start) {
500 dlp = TAILQ_PREV(dlp, tqh, l_list);
501 } else if (dlp->l_lineno < start) {
502 ndlp = TAILQ_NEXT(dlp, l_list);
503 if (ndlp->l_lineno > start)
514 insert_after = TAILQ_PREV(dlp, tqh, l_list);
515 for (i = 0; i <= (end - start); i++) {
516 ndlp = TAILQ_NEXT(dlp, l_list);
517 TAILQ_REMOVE(&(dlines->l_lines), dlp, l_list);
523 if (op == 'a' || op == 'c') {
526 lp = TAILQ_NEXT(lp, l_list);
530 if (!memcmp(lp->l_line, ".", 1))
533 TAILQ_REMOVE(&(plines->l_lines), lp, l_list);
534 TAILQ_INSERT_AFTER(&(dlines->l_lines), dlp,
538 lp->l_lineno = start;
544 * always resort lines as the markers might be put at the
545 * same line as we first started editing.
548 TAILQ_FOREACH(sort, &(dlines->l_lines), l_list)
549 sort->l_lineno = lineno++;
550 dlines->l_nblines = lineno - 1;
557 * Pick up the line numbers of all changes from one change file.
558 * (This puts the numbers in a vector, which is not strictly necessary,
559 * since the vector is processed in one sequential pass.
560 * The vector could be optimized out of existence)
562 static const struct got_error *
563 readin(size_t *n, char *name, struct diff **dd, struct diff3_state *d3s)
565 const struct got_error *err = NULL;
570 d3s->fp[0] = fopen(name, "r");
571 if (d3s->fp[0] == NULL)
572 return got_error_from_errno();
573 for (i = 0; (p = getchange(d3s->fp[0], d3s)); i++) {
574 if (i >= d3s->szchanges - 1) {
596 (*dd)[i].old.from = a;
598 (*dd)[i].new.from = c;
603 (*dd)[i].old.from = (*dd)[i-1].old.to;
604 (*dd)[i].new.from = (*dd)[i-1].new.to;
607 (void)fclose(d3s->fp[0]);
618 while (isdigit((unsigned char)(**lc)))
619 nn = nn*10 + *(*lc)++ - '0';
625 getchange(FILE *b, struct diff3_state *d3s)
629 while ((line = get_line(b, NULL, d3s))) {
630 if (isdigit((unsigned char)line[0]))
638 get_line(FILE *b, size_t *n, struct diff3_state *d3s)
644 if ((cp = fgetln(b, &len)) == NULL)
647 if (cp[len - 1] != '\n')
649 if (len + 1 > d3s->bufsize) {
651 d3s->bufsize += 1024;
652 } while (len + 1 > d3s->bufsize);
653 new = reallocarray(d3s->buf, 1, d3s->bufsize);
658 memcpy(d3s->buf, cp, len - 1);
659 d3s->buf[len - 1] = '\n';
660 d3s->buf[len] = '\0';
668 merge(size_t m1, size_t m2, struct diff3_state *d3s)
670 struct diff *d1, *d2, *d3;
677 t1 = (d1 < d3s->d13 + m1);
678 t2 = (d2 < d3s->d23 + m2);
683 printf("%d,%d=%d,%d %d,%d=%d,%d\n",
684 d1->old.from, d1->old.to,
685 d1->new.from, d1->new.to,
686 d2->old.from, d2->old.to,
687 d2->new.from, d2->new.to);
690 /* first file is different from others */
691 if (!t2 || (t1 && d1->new.to < d2->new.from)) {
692 /* stuff peculiar to 1st file */
693 if (d3s->eflag == 0) {
695 change(1, &d1->old, 0, d3s);
696 keep(2, &d1->new, d3s);
697 change(3, &d1->new, 0, d3s);
703 /* second file is different from others */
704 if (!t1 || (t2 && d2->new.to < d1->new.from)) {
705 if (d3s->eflag == 0) {
707 keep(1, &d2->new, d3s);
708 change(2, &d2->old, 0, d3s);
709 change(3, &d2->new, 0, d3s);
716 * Merge overlapping changes in first file
717 * this happens after extension (see below).
719 if (d1 + 1 < d3s->d13 + m1 && d1->new.to >= d1[1].new.from) {
720 d1[1].old.from = d1->old.from;
721 d1[1].new.from = d1->new.from;
726 /* merge overlapping changes in second */
727 if (d2 + 1 < d3s->d23 + m2 && d2->new.to >= d2[1].new.from) {
728 d2[1].old.from = d2->old.from;
729 d2[1].new.from = d2->new.from;
733 /* stuff peculiar to third file or different in all */
734 if (d1->new.from == d2->new.from && d1->new.to == d2->new.to) {
735 dpl = duplicate(&d1->old, &d2->old, d3s);
740 * dpl = 0 means all files differ
741 * dpl = 1 means files 1 and 2 identical
743 if (d3s->eflag == 0) {
744 separate(dpl ? "3" : "");
745 change(1, &d1->old, dpl, d3s);
746 change(2, &d2->old, 0, d3s);
747 d3 = d1->old.to > d1->old.from ? d1 : d2;
748 change(3, &d3->new, 0, d3s);
750 j = edit(d1, dpl, j, d3s);
757 * Overlapping changes from file 1 and 2; extend changes
758 * appropriately to make them coincide.
760 if (d1->new.from < d2->new.from) {
761 d2->old.from -= d2->new.from-d1->new.from;
762 d2->new.from = d1->new.from;
763 } else if (d2->new.from < d1->new.from) {
764 d1->old.from -= d1->new.from-d2->new.from;
765 d1->new.from = d2->new.from;
767 if (d1->new.to > d2->new.to) {
768 d2->old.to += d1->new.to - d2->new.to;
769 d2->new.to = d1->new.to;
770 } else if (d2->new.to > d1->new.to) {
771 d1->old.to += d2->new.to - d1->new.to;
772 d1->new.to = d2->new.to;
776 return (edscript(j, d3s));
780 separate(const char *s)
782 diff_output("====%s\n", s);
786 * The range of lines rold.from thru rold.to in file i is to be changed.
787 * It is to be printed only if it does not duplicate something to be
791 change(int i, struct range *rold, int fdup, struct diff3_state *d3s)
793 diff_output("%d:", i);
794 d3s->last[i] = rold->to;
796 if (fdup || d3s->debug)
799 (void)skip(i, rold->from, NULL, d3s);
800 (void)skip(i, rold->to, " ", d3s);
804 * print the range of line numbers, rold.from thru rold.to, as n1,n2 or n1
807 prange(struct range *rold)
809 if (rold->to <= rold->from)
810 diff_output("%da\n", rold->from - 1);
812 diff_output("%d", rold->from);
813 if (rold->to > rold->from+1)
814 diff_output(",%d", rold->to - 1);
820 * No difference was reported by diff between file 1 (or 2) and file 3,
821 * and an artificial dummy difference (trange) must be ginned up to
822 * correspond to the change reported in the other file.
825 keep(int i, struct range *rnew, struct diff3_state *d3s)
830 delta = d3s->last[3] - d3s->last[i];
831 trange.from = rnew->from - delta;
832 trange.to = rnew->to - delta;
833 change(i, &trange, 1, d3s);
837 * skip to just before line number from in file "i". If "pr" is non-NULL,
838 * print all skipped stuff with string pr as a prefix.
841 skip(int i, int from, char *pr, struct diff3_state *d3s)
846 for (n = 0; d3s->cline[i] < from - 1; n += j) {
847 if ((line = get_line(d3s->fp[i], &j, d3s)) == NULL)
850 diff_output("%s%s", pr, line);
857 * Return 1 or 0 according as the old range (in file 1) contains exactly
858 * the same data as the new range (in file 2).
861 duplicate(struct range *r1, struct range *r2, struct diff3_state *d3s)
867 if (r1->to-r1->from != r2->to-r2->from)
869 (void)skip(0, r1->from, NULL, d3s);
870 (void)skip(1, r2->from, NULL, d3s);
872 for (nline=0; nline < r1->to - r1->from; nline++) {
874 c = getc(d3s->fp[0]);
875 d = getc(d3s->fp[1]);
876 if (c == -1 || d== -1)
890 repos(int nchar, struct diff3_state *d3s)
894 for (i = 0; i < 2; i++)
895 (void)fseek(d3s->fp[i], (long)-nchar, SEEK_CUR);
899 * collect an editing script for later regurgitation
902 edit(struct diff *diff, int fdup, int j, struct diff3_state *d3s)
904 if (((fdup + 1) & d3s->eflag) == 0)
907 d3s->overlap[j] = !fdup;
910 d3s->de[j].old.from = diff->old.from;
911 d3s->de[j].old.to = diff->old.to;
912 d3s->de[j].new.from =
913 d3s->de[j-1].new.to + skip(2, diff->new.from, NULL, d3s);
915 d3s->de[j].new.from + skip(2, diff->new.to, NULL, d3s);
921 edscript(int n, struct diff3_state *d3s)
924 char block[BUFSIZ+1];
927 if (!d3s->oflag || !d3s->overlap[n])
928 prange(&d3s->de[n].old);
930 diff_output("%da\n=======\n", d3s->de[n].old.to -1);
931 (void)fseek(d3s->fp[2], (long)d3s->de[n].new.from, SEEK_SET);
932 k = d3s->de[n].new.to - d3s->de[n].new.from;
933 for (; k > 0; k-= j) {
934 j = k > BUFSIZ ? BUFSIZ : k;
935 if (fread(block, 1, j, d3s->fp[2]) != (size_t)j)
938 diff_output("%s", block);
941 if (!d3s->oflag || !d3s->overlap[n])
944 diff_output("%s\n.\n", d3s->f3mark);
945 diff_output("%da\n%s\n.\n", d3s->de[n].old.from - 1,
950 return (d3s->overlapcnt);
953 static const struct got_error *
954 increase(struct diff3_state *d3s)
960 /* are the memset(3) calls needed? */
961 newsz = d3s->szchanges == 0 ? 64 : 2 * d3s->szchanges;
962 incr = newsz - d3s->szchanges;
964 d = reallocarray(d3s->d13, newsz, sizeof(*d3s->d13));
966 return got_error_from_errno();
968 memset(d3s->d13 + d3s->szchanges, 0, incr * sizeof(*d3s->d13));
970 d = reallocarray(d3s->d23, newsz, sizeof(*d3s->d23));
972 return got_error_from_errno();
974 memset(d3s->d23 + d3s->szchanges, 0, incr * sizeof(*d3s->d23));
976 d = reallocarray(d3s->de, newsz, sizeof(*d3s->de));
978 return got_error_from_errno();
980 memset(d3s->de + d3s->szchanges, 0, incr * sizeof(*d3s->de));
982 s = reallocarray(d3s->overlap, newsz, sizeof(*d3s->overlap));
984 return got_error_from_errno();
986 memset(d3s->overlap + d3s->szchanges, 0, incr * sizeof(*d3s->overlap));
987 d3s->szchanges = newsz;