blob: 16ed8ac492856f141165296d523a319dfd1b4108 [file] [log] [blame]
Elijah Newren4f6728d2023-03-21 06:25:56 +00001#include "git-compat-util.h"
Jeff King22e27412023-12-07 02:24:49 -05002#include "gettext.h"
Brandon Williamsb2141fc2017-06-14 11:07:36 -07003#include "config.h"
Elijah Newren41771fa2023-02-24 00:09:27 +00004#include "hex.h"
Elijah Newrena034e912023-05-16 06:34:06 +00005#include "object-store-ll.h"
6#include "strbuf.h"
Junio C Hamanod9ea73e2006-04-05 02:03:58 -07007#include "xdiff-interface.h"
René Scharfe86295bb2008-10-25 15:31:15 +02008#include "xdiff/xtypes.h"
9#include "xdiff/xdiffi.h"
Stefan Beller5ec82742017-10-25 11:49:11 -070010#include "xdiff/xutils.h"
Junio C Hamano8a3f5242008-08-13 23:18:22 -070011
12struct xdiff_emit_state {
Jeff King9346d6d2018-11-02 02:35:45 -040013 xdiff_emit_hunk_fn hunk_fn;
14 xdiff_emit_line_fn line_fn;
Junio C Hamano8a3f5242008-08-13 23:18:22 -070015 void *consume_callback_data;
16 struct strbuf remainder;
17};
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070018
Jeff King9346d6d2018-11-02 02:35:45 -040019static int xdiff_out_hunk(void *priv_,
20 long old_begin, long old_nr,
21 long new_begin, long new_nr,
22 const char *func, long funclen)
Junio C Hamanoc1e335a2006-04-05 12:22:35 -070023{
Jeff King9346d6d2018-11-02 02:35:45 -040024 struct xdiff_emit_state *priv = priv_;
Junio C Hamanoc1e335a2006-04-05 12:22:35 -070025
Jeff King9346d6d2018-11-02 02:35:45 -040026 if (priv->remainder.len)
27 BUG("xdiff emitted hunk in the middle of a line");
28
29 priv->hunk_fn(priv->consume_callback_data,
30 old_begin, old_nr, new_begin, new_nr,
31 func, funclen);
Junio C Hamanoc1e335a2006-04-05 12:22:35 -070032 return 0;
33}
34
Ævar Arnfjörð Bjarmasona8d5eb62021-04-12 19:15:24 +020035static int consume_one(void *priv_, char *s, unsigned long size)
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070036{
37 struct xdiff_emit_state *priv = priv_;
38 char *ep;
39 while (size) {
40 unsigned long this_size;
Ævar Arnfjörð Bjarmason9e204422021-04-12 19:15:25 +020041 int ret;
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070042 ep = memchr(s, '\n', size);
43 this_size = (ep == NULL) ? size : (ep - s + 1);
Ævar Arnfjörð Bjarmason9e204422021-04-12 19:15:25 +020044 ret = priv->line_fn(priv->consume_callback_data, s, this_size);
45 if (ret)
46 return ret;
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070047 size -= this_size;
48 s += this_size;
49 }
Ævar Arnfjörð Bjarmasona8d5eb62021-04-12 19:15:24 +020050 return 0;
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070051}
52
Brian Downingc99db9d22008-08-14 00:36:50 -050053static int xdiff_outf(void *priv_, mmbuffer_t *mb, int nbuf)
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070054{
55 struct xdiff_emit_state *priv = priv_;
56 int i;
Ævar Arnfjörð Bjarmason9e204422021-04-12 19:15:25 +020057 int stop = 0;
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070058
Jeff King7c61e252018-11-02 02:37:18 -040059 if (!priv->line_fn)
60 return 0;
61
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070062 for (i = 0; i < nbuf; i++) {
Ævar Arnfjörð Bjarmason9e204422021-04-12 19:15:25 +020063 if (stop)
64 return 1;
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070065 if (mb[i].ptr[mb[i].size-1] != '\n') {
66 /* Incomplete line */
Brian Downingb4637762008-08-14 00:36:51 -050067 strbuf_add(&priv->remainder, mb[i].ptr, mb[i].size);
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070068 continue;
69 }
70
71 /* we have a complete line */
Brian Downingb4637762008-08-14 00:36:51 -050072 if (!priv->remainder.len) {
Ævar Arnfjörð Bjarmason9e204422021-04-12 19:15:25 +020073 stop = consume_one(priv, mb[i].ptr, mb[i].size);
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070074 continue;
75 }
Brian Downingb4637762008-08-14 00:36:51 -050076 strbuf_add(&priv->remainder, mb[i].ptr, mb[i].size);
Ævar Arnfjörð Bjarmason9e204422021-04-12 19:15:25 +020077 stop = consume_one(priv, priv->remainder.buf, priv->remainder.len);
Brian Downingb4637762008-08-14 00:36:51 -050078 strbuf_reset(&priv->remainder);
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070079 }
Ævar Arnfjörð Bjarmason9e204422021-04-12 19:15:25 +020080 if (stop)
81 return -1;
Brian Downingb4637762008-08-14 00:36:51 -050082 if (priv->remainder.len) {
Ævar Arnfjörð Bjarmason9e204422021-04-12 19:15:25 +020083 stop = consume_one(priv, priv->remainder.buf, priv->remainder.len);
Brian Downingb4637762008-08-14 00:36:51 -050084 strbuf_reset(&priv->remainder);
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070085 }
Ævar Arnfjörð Bjarmason9e204422021-04-12 19:15:25 +020086 if (stop)
87 return -1;
Junio C Hamanod9ea73e2006-04-05 02:03:58 -070088 return 0;
89}
Johannes Schindelin7cab5882006-12-20 17:37:07 +010090
Junio C Hamano913b45f2007-12-13 14:24:18 -080091/*
92 * Trim down common substring at the end of the buffers,
René Scharfee0876bc2016-05-28 17:04:31 +020093 * but end on a complete line.
Junio C Hamano913b45f2007-12-13 14:24:18 -080094 */
René Scharfee0876bc2016-05-28 17:04:31 +020095static void trim_common_tail(mmfile_t *a, mmfile_t *b)
Junio C Hamano913b45f2007-12-13 14:24:18 -080096{
97 const int blk = 1024;
Jeff King52499972007-12-16 02:06:14 -050098 long trimmed = 0, recovered = 0;
Jeff Kingd20bc012020-01-29 00:46:47 -050099 char *ap = a->size ? a->ptr + a->size : a->ptr;
100 char *bp = b->size ? b->ptr + b->size : b->ptr;
Junio C Hamano913b45f2007-12-13 14:24:18 -0800101 long smaller = (a->size < b->size) ? a->size : b->size;
102
103 while (blk + trimmed <= smaller && !memcmp(ap - blk, bp - blk, blk)) {
104 trimmed += blk;
105 ap -= blk;
106 bp -= blk;
107 }
108
Linus Torvaldsd2f82952007-12-20 20:22:46 -0800109 while (recovered < trimmed)
Jeff King52499972007-12-16 02:06:14 -0500110 if (ap[recovered++] == '\n')
Linus Torvaldsd2f82952007-12-20 20:22:46 -0800111 break;
112 a->size -= trimmed - recovered;
113 b->size -= trimmed - recovered;
Junio C Hamano913b45f2007-12-13 14:24:18 -0800114}
115
Junio C Hamanoc279d7e2007-12-13 13:25:07 -0800116int xdi_diff(mmfile_t *mf1, mmfile_t *mf2, xpparam_t const *xpp, xdemitconf_t const *xecfg, xdemitcb_t *xecb)
117{
Junio C Hamano913b45f2007-12-13 14:24:18 -0800118 mmfile_t a = *mf1;
119 mmfile_t b = *mf2;
120
Jeff Kingdcd17422015-09-24 19:12:45 -0400121 if (mf1->size > MAX_XDIFF_SIZE || mf2->size > MAX_XDIFF_SIZE)
122 return -1;
123
René Scharfee0876bc2016-05-28 17:04:31 +0200124 if (!xecfg->ctxlen && !(xecfg->flags & XDL_EMIT_FUNCCONTEXT))
125 trim_common_tail(&a, &b);
Junio C Hamano913b45f2007-12-13 14:24:18 -0800126
127 return xdl_diff(&a, &b, xpp, xecfg, xecb);
Junio C Hamanoc279d7e2007-12-13 13:25:07 -0800128}
129
Brian Downingc99db9d22008-08-14 00:36:50 -0500130int xdi_diff_outf(mmfile_t *mf1, mmfile_t *mf2,
Jeff King9346d6d2018-11-02 02:35:45 -0400131 xdiff_emit_hunk_fn hunk_fn,
132 xdiff_emit_line_fn line_fn,
133 void *consume_callback_data,
René Scharfedfea7902010-05-04 22:41:34 +0200134 xpparam_t const *xpp, xdemitconf_t const *xecfg)
Brian Downingc99db9d22008-08-14 00:36:50 -0500135{
136 int ret;
Junio C Hamano8a3f5242008-08-13 23:18:22 -0700137 struct xdiff_emit_state state;
René Scharfedfea7902010-05-04 22:41:34 +0200138 xdemitcb_t ecb;
Junio C Hamano8a3f5242008-08-13 23:18:22 -0700139
140 memset(&state, 0, sizeof(state));
Jeff King9346d6d2018-11-02 02:35:45 -0400141 state.hunk_fn = hunk_fn;
142 state.line_fn = line_fn;
Junio C Hamano8a3f5242008-08-13 23:18:22 -0700143 state.consume_callback_data = consume_callback_data;
René Scharfedfea7902010-05-04 22:41:34 +0200144 memset(&ecb, 0, sizeof(ecb));
Jeff King9346d6d2018-11-02 02:35:45 -0400145 if (hunk_fn)
146 ecb.out_hunk = xdiff_out_hunk;
Jeff King611e42a2018-11-02 02:35:01 -0400147 ecb.out_line = xdiff_outf;
René Scharfedfea7902010-05-04 22:41:34 +0200148 ecb.priv = &state;
Junio C Hamano8a3f5242008-08-13 23:18:22 -0700149 strbuf_init(&state.remainder, 0);
René Scharfedfea7902010-05-04 22:41:34 +0200150 ret = xdi_diff(mf1, mf2, xpp, xecfg, &ecb);
Junio C Hamano8a3f5242008-08-13 23:18:22 -0700151 strbuf_release(&state.remainder);
Brian Downingc99db9d22008-08-14 00:36:50 -0500152 return ret;
153}
154
Johannes Schindelin7cab5882006-12-20 17:37:07 +0100155int read_mmfile(mmfile_t *ptr, const char *filename)
156{
157 struct stat st;
158 FILE *f;
Shawn O. Pearcedc49cd72007-03-06 20:44:37 -0500159 size_t sz;
Johannes Schindelin7cab5882006-12-20 17:37:07 +0100160
161 if (stat(filename, &st))
Nguyễn Thái Ngọc Duy5118d7f2017-05-03 17:16:55 +0700162 return error_errno("Could not stat %s", filename);
Junio C Hamanoafe8a902022-05-02 09:50:37 -0700163 if (!(f = fopen(filename, "rb")))
Nguyễn Thái Ngọc Duy5118d7f2017-05-03 17:16:55 +0700164 return error_errno("Could not open %s", filename);
Shawn O. Pearcedc49cd72007-03-06 20:44:37 -0500165 sz = xsize_t(st.st_size);
Johannes Schindelin381b8512008-03-13 16:19:35 +0100166 ptr->ptr = xmalloc(sz ? sz : 1);
René Scharfe5fd89812010-12-25 13:38:46 +0100167 if (sz && fread(ptr->ptr, sz, 1, f) != 1) {
168 fclose(f);
Johannes Schindelin7cab5882006-12-20 17:37:07 +0100169 return error("Could not read %s", filename);
René Scharfe5fd89812010-12-25 13:38:46 +0100170 }
Johannes Schindelin7cab5882006-12-20 17:37:07 +0100171 fclose(f);
Shawn O. Pearcedc49cd72007-03-06 20:44:37 -0500172 ptr->size = sz;
Johannes Schindelin7cab5882006-12-20 17:37:07 +0100173 return 0;
174}
175
brian m. carlsond4493472016-09-05 20:08:02 +0000176void read_mmblob(mmfile_t *ptr, const struct object_id *oid)
Michael Lukashov06b65932010-02-16 23:42:55 +0000177{
178 unsigned long size;
179 enum object_type type;
180
brian m. carlson14228442021-04-26 01:02:56 +0000181 if (oideq(oid, null_oid())) {
Michael Lukashov06b65932010-02-16 23:42:55 +0000182 ptr->ptr = xstrdup("");
183 ptr->size = 0;
184 return;
185 }
186
Ævar Arnfjörð Bjarmasonbc726bd2023-03-28 15:58:50 +0200187 ptr->ptr = repo_read_object_file(the_repository, oid, &type, &size);
Michael Lukashov06b65932010-02-16 23:42:55 +0000188 if (!ptr->ptr || type != OBJ_BLOB)
brian m. carlsond4493472016-09-05 20:08:02 +0000189 die("unable to read blob object %s", oid_to_hex(oid));
Michael Lukashov06b65932010-02-16 23:42:55 +0000190 ptr->size = size;
191}
192
Johannes Schindelin6bfce932007-06-05 03:36:11 +0100193#define FIRST_FEW_BYTES 8000
194int buffer_is_binary(const char *ptr, unsigned long size)
195{
196 if (FIRST_FEW_BYTES < size)
197 size = FIRST_FEW_BYTES;
198 return !!memchr(ptr, 0, size);
199}
Junio C Hamanof2584752007-07-06 00:45:10 -0700200
201struct ff_regs {
202 int nr;
203 struct ff_reg {
204 regex_t re;
205 int negate;
206 } *array;
207};
208
209static long ff_regexp(const char *line, long len,
210 char *buffer, long buffer_size, void *priv)
211{
Junio C Hamanof2584752007-07-06 00:45:10 -0700212 struct ff_regs *regs = priv;
213 regmatch_t pmatch[2];
Junio C Hamano3d8dccd2008-09-20 00:52:11 -0700214 int i;
Johannes Schindelinb7d36ff2016-09-21 20:24:14 +0200215 int result;
Junio C Hamanof2584752007-07-06 00:45:10 -0700216
Brandon Caseya5a5a042008-10-01 14:28:26 -0500217 /* Exclude terminating newline (and cr) from matching */
218 if (len > 0 && line[len-1] == '\n') {
219 if (len > 1 && line[len-2] == '\r')
220 len -= 2;
221 else
222 len--;
223 }
224
Junio C Hamanof2584752007-07-06 00:45:10 -0700225 for (i = 0; i < regs->nr; i++) {
226 struct ff_reg *reg = regs->array + i;
Johannes Schindelinb7d36ff2016-09-21 20:24:14 +0200227 if (!regexec_buf(&reg->re, line, len, 2, pmatch, 0)) {
Junio C Hamano3d8dccd2008-09-20 00:52:11 -0700228 if (reg->negate)
Johannes Schindelinb7d36ff2016-09-21 20:24:14 +0200229 return -1;
Junio C Hamano3d8dccd2008-09-20 00:52:11 -0700230 break;
Junio C Hamanof2584752007-07-06 00:45:10 -0700231 }
232 }
Junio C Hamano3d8dccd2008-09-20 00:52:11 -0700233 if (regs->nr <= i)
Johannes Schindelinb7d36ff2016-09-21 20:24:14 +0200234 return -1;
Junio C Hamanof2584752007-07-06 00:45:10 -0700235 i = pmatch[1].rm_so >= 0 ? 1 : 0;
236 line += pmatch[i].rm_so;
237 result = pmatch[i].rm_eo - pmatch[i].rm_so;
238 if (result > buffer_size)
239 result = buffer_size;
Brandon Casey1b6ecba2010-09-09 14:02:46 -0500240 while (result > 0 && (isspace(line[result - 1])))
241 result--;
Junio C Hamanof2584752007-07-06 00:45:10 -0700242 memcpy(buffer, line, result);
Junio C Hamanof2584752007-07-06 00:45:10 -0700243 return result;
244}
245
Brandon Caseya0135852008-09-18 17:42:48 -0500246void xdiff_set_find_func(xdemitconf_t *xecfg, const char *value, int cflags)
Junio C Hamanof2584752007-07-06 00:45:10 -0700247{
248 int i;
249 struct ff_regs *regs;
250
251 xecfg->find_func = ff_regexp;
252 regs = xecfg->find_func_priv = xmalloc(sizeof(struct ff_regs));
253 for (i = 0, regs->nr = 1; value[i]; i++)
254 if (value[i] == '\n')
255 regs->nr++;
Jeff Kingb32fa952016-02-22 17:44:25 -0500256 ALLOC_ARRAY(regs->array, regs->nr);
Junio C Hamanof2584752007-07-06 00:45:10 -0700257 for (i = 0; i < regs->nr; i++) {
258 struct ff_reg *reg = regs->array + i;
Jeff King3cd309c2020-01-25 00:39:29 -0500259 const char *ep, *expression;
Junio C Hamanof2584752007-07-06 00:45:10 -0700260 char *buffer = NULL;
261
Jeff King3cd309c2020-01-25 00:39:29 -0500262 if (!value)
263 BUG("mismatch between line count and parsing");
264 ep = strchr(value, '\n');
265
Junio C Hamanof2584752007-07-06 00:45:10 -0700266 reg->negate = (*value == '!');
267 if (reg->negate && i == regs->nr - 1)
268 die("Last expression must not be negated: %s", value);
269 if (*value == '!')
270 value++;
271 if (ep)
272 expression = buffer = xstrndup(value, ep - value);
273 else
274 expression = value;
Brandon Caseya0135852008-09-18 17:42:48 -0500275 if (regcomp(&reg->re, expression, cflags))
Junio C Hamanof2584752007-07-06 00:45:10 -0700276 die("Invalid regexp to look for hunk header: %s", expression);
Jim Meyering8e0f7002008-01-31 18:26:32 +0100277 free(buffer);
Jeff King3cd309c2020-01-25 00:39:29 -0500278 value = ep ? ep + 1 : NULL;
Junio C Hamanof2584752007-07-06 00:45:10 -0700279 }
280}
Junio C Hamanob5412482008-08-29 10:49:56 -0700281
René Scharfe8cfe5f12009-07-02 00:01:43 +0200282void xdiff_clear_find_func(xdemitconf_t *xecfg)
283{
284 if (xecfg->find_func) {
285 int i;
286 struct ff_regs *regs = xecfg->find_func_priv;
287
288 for (i = 0; i < regs->nr; i++)
289 regfree(&regs->array[i].re);
290 free(regs->array);
291 free(regs);
292 xecfg->find_func = NULL;
293 xecfg->find_func_priv = NULL;
294 }
295}
296
Stefan Beller5ec82742017-10-25 11:49:11 -0700297unsigned long xdiff_hash_string(const char *s, size_t len, long flags)
298{
299 return xdl_hash_record(&s, s + len, flags);
300}
301
302int xdiff_compare_lines(const char *l1, long s1,
303 const char *l2, long s2, long flags)
304{
305 return xdl_recmatch(l1, s1, l2, s2, flags);
306}
307
Phillip Wood74570142024-03-14 17:05:03 +0000308int parse_conflict_style_name(const char *value)
309{
310 if (!strcmp(value, "diff3"))
311 return XDL_MERGE_DIFF3;
312 else if (!strcmp(value, "zdiff3"))
313 return XDL_MERGE_ZEALOUS_DIFF3;
314 else if (!strcmp(value, "merge"))
315 return 0;
316 /*
317 * Please update _git_checkout() in git-completion.bash when
318 * you add new merge config
319 */
320 else
321 return -1;
322}
323
Junio C Hamanob5412482008-08-29 10:49:56 -0700324int git_xmerge_style = -1;
325
Glen Chooa4e7e312023-06-28 19:26:22 +0000326int git_xmerge_config(const char *var, const char *value,
327 const struct config_context *ctx, void *cb)
Junio C Hamanob5412482008-08-29 10:49:56 -0700328{
Jonathan Nieder8c2be752011-05-14 15:19:21 -0500329 if (!strcmp(var, "merge.conflictstyle")) {
Junio C Hamanob5412482008-08-29 10:49:56 -0700330 if (!value)
Jeff King92cecce2023-12-07 02:25:16 -0500331 return config_error_nonbool(var);
Phillip Wood74570142024-03-14 17:05:03 +0000332 git_xmerge_style = parse_conflict_style_name(value);
333 if (git_xmerge_style == -1)
Jeff King22e27412023-12-07 02:24:49 -0500334 return error(_("unknown style '%s' given for '%s'"),
335 value, var);
Junio C Hamanob5412482008-08-29 10:49:56 -0700336 return 0;
337 }
Glen Chooa4e7e312023-06-28 19:26:22 +0000338 return git_default_config(var, value, ctx, cb);
Junio C Hamanob5412482008-08-29 10:49:56 -0700339}