/src/git/xdiff-interface.c
Line | Count | Source |
1 | | #define DISABLE_SIGN_COMPARE_WARNINGS |
2 | | |
3 | | #include "git-compat-util.h" |
4 | | #include "environment.h" |
5 | | #include "gettext.h" |
6 | | #include "config.h" |
7 | | #include "hex.h" |
8 | | #include "odb.h" |
9 | | #include "strbuf.h" |
10 | | #include "xdiff-interface.h" |
11 | | #include "xdiff/xtypes.h" |
12 | | #include "xdiff/xdiffi.h" |
13 | | #include "xdiff/xutils.h" |
14 | | |
15 | | struct xdiff_emit_state { |
16 | | xdiff_emit_hunk_fn hunk_fn; |
17 | | xdiff_emit_line_fn line_fn; |
18 | | void *consume_callback_data; |
19 | | struct strbuf remainder; |
20 | | }; |
21 | | |
22 | | static int xdiff_out_hunk(void *priv_, |
23 | | long old_begin, long old_nr, |
24 | | long new_begin, long new_nr, |
25 | | const char *func, long funclen) |
26 | 0 | { |
27 | 0 | struct xdiff_emit_state *priv = priv_; |
28 | |
|
29 | 0 | if (priv->remainder.len) |
30 | 0 | BUG("xdiff emitted hunk in the middle of a line"); |
31 | | |
32 | 0 | priv->hunk_fn(priv->consume_callback_data, |
33 | 0 | old_begin, old_nr, new_begin, new_nr, |
34 | 0 | func, funclen); |
35 | 0 | return 0; |
36 | 0 | } |
37 | | |
38 | | static int consume_one(void *priv_, char *s, unsigned long size) |
39 | 0 | { |
40 | 0 | struct xdiff_emit_state *priv = priv_; |
41 | 0 | char *ep; |
42 | 0 | while (size) { |
43 | 0 | unsigned long this_size; |
44 | 0 | int ret; |
45 | 0 | ep = memchr(s, '\n', size); |
46 | 0 | this_size = (ep == NULL) ? size : (ep - s + 1); |
47 | 0 | ret = priv->line_fn(priv->consume_callback_data, s, this_size); |
48 | 0 | if (ret) |
49 | 0 | return ret; |
50 | 0 | size -= this_size; |
51 | 0 | s += this_size; |
52 | 0 | } |
53 | 0 | return 0; |
54 | 0 | } |
55 | | |
56 | | static int xdiff_outf(void *priv_, mmfile_t *mb, int nbuf) |
57 | 0 | { |
58 | 0 | struct xdiff_emit_state *priv = priv_; |
59 | 0 | int i; |
60 | 0 | int stop = 0; |
61 | |
|
62 | 0 | if (!priv->line_fn) |
63 | 0 | return 0; |
64 | | |
65 | 0 | for (i = 0; i < nbuf; i++) { |
66 | 0 | if (stop) |
67 | 0 | return 1; |
68 | 0 | if (mb[i].ptr[mb[i].size-1] != '\n') { |
69 | | /* Incomplete line */ |
70 | 0 | strbuf_add(&priv->remainder, mb[i].ptr, mb[i].size); |
71 | 0 | continue; |
72 | 0 | } |
73 | | |
74 | | /* we have a complete line */ |
75 | 0 | if (!priv->remainder.len) { |
76 | 0 | stop = consume_one(priv, mb[i].ptr, mb[i].size); |
77 | 0 | continue; |
78 | 0 | } |
79 | 0 | strbuf_add(&priv->remainder, mb[i].ptr, mb[i].size); |
80 | 0 | stop = consume_one(priv, priv->remainder.buf, priv->remainder.len); |
81 | 0 | strbuf_reset(&priv->remainder); |
82 | 0 | } |
83 | 0 | if (stop) |
84 | 0 | return -1; |
85 | 0 | if (priv->remainder.len) { |
86 | 0 | stop = consume_one(priv, priv->remainder.buf, priv->remainder.len); |
87 | 0 | strbuf_reset(&priv->remainder); |
88 | 0 | } |
89 | 0 | if (stop) |
90 | 0 | return -1; |
91 | 0 | return 0; |
92 | 0 | } |
93 | | |
94 | | /* |
95 | | * Trim down common substring at the end of the buffers, |
96 | | * but end on a complete line. |
97 | | */ |
98 | | static void trim_common_tail(mmfile_t *a, mmfile_t *b) |
99 | 0 | { |
100 | 0 | const int blk = 1024; |
101 | 0 | long trimmed = 0, recovered = 0; |
102 | 0 | char *ap = a->size ? a->ptr + a->size : a->ptr; |
103 | 0 | char *bp = b->size ? b->ptr + b->size : b->ptr; |
104 | 0 | long smaller = (a->size < b->size) ? a->size : b->size; |
105 | |
|
106 | 0 | while (blk + trimmed <= smaller && !memcmp(ap - blk, bp - blk, blk)) { |
107 | 0 | trimmed += blk; |
108 | 0 | ap -= blk; |
109 | 0 | bp -= blk; |
110 | 0 | } |
111 | |
|
112 | 0 | while (recovered < trimmed) |
113 | 0 | if (ap[recovered++] == '\n') |
114 | 0 | break; |
115 | 0 | a->size -= trimmed - recovered; |
116 | 0 | b->size -= trimmed - recovered; |
117 | 0 | } |
118 | | |
119 | | int xdi_diff(mmfile_t *mf1, mmfile_t *mf2, xpparam_t const *xpp, xdemitconf_t const *xecfg, xdemitcb_t *xecb) |
120 | 0 | { |
121 | 0 | mmfile_t a = *mf1; |
122 | 0 | mmfile_t b = *mf2; |
123 | |
|
124 | 0 | if (mf1->size > MAX_XDIFF_SIZE || mf2->size > MAX_XDIFF_SIZE) |
125 | 0 | return -1; |
126 | | |
127 | 0 | if (!xecfg->ctxlen && !(xecfg->flags & XDL_EMIT_FUNCCONTEXT)) |
128 | 0 | trim_common_tail(&a, &b); |
129 | |
|
130 | 0 | return xdl_diff(&a, &b, xpp, xecfg, xecb); |
131 | 0 | } |
132 | | |
133 | | int xdi_diff_outf(mmfile_t *mf1, mmfile_t *mf2, |
134 | | xdiff_emit_hunk_fn hunk_fn, |
135 | | xdiff_emit_line_fn line_fn, |
136 | | void *consume_callback_data, |
137 | | xpparam_t const *xpp, xdemitconf_t const *xecfg) |
138 | 0 | { |
139 | 0 | int ret; |
140 | 0 | struct xdiff_emit_state state; |
141 | 0 | xdemitcb_t ecb; |
142 | |
|
143 | 0 | memset(&state, 0, sizeof(state)); |
144 | 0 | state.hunk_fn = hunk_fn; |
145 | 0 | state.line_fn = line_fn; |
146 | 0 | state.consume_callback_data = consume_callback_data; |
147 | 0 | memset(&ecb, 0, sizeof(ecb)); |
148 | 0 | if (hunk_fn) |
149 | 0 | ecb.out_hunk = xdiff_out_hunk; |
150 | 0 | ecb.out_line = xdiff_outf; |
151 | 0 | ecb.priv = &state; |
152 | 0 | strbuf_init(&state.remainder, 0); |
153 | 0 | ret = xdi_diff(mf1, mf2, xpp, xecfg, &ecb); |
154 | 0 | strbuf_release(&state.remainder); |
155 | 0 | return ret; |
156 | 0 | } |
157 | | |
158 | | int read_mmfile(mmfile_t *ptr, const char *filename) |
159 | 0 | { |
160 | 0 | struct stat st; |
161 | 0 | FILE *f; |
162 | 0 | size_t sz; |
163 | |
|
164 | 0 | if (stat(filename, &st)) |
165 | 0 | return error_errno("Could not stat %s", filename); |
166 | 0 | if (!(f = fopen(filename, "rb"))) |
167 | 0 | return error_errno("Could not open %s", filename); |
168 | 0 | sz = xsize_t(st.st_size); |
169 | 0 | ptr->ptr = xmallocz(sz); |
170 | 0 | if (sz && fread(ptr->ptr, sz, 1, f) != 1) { |
171 | 0 | FREE_AND_NULL(ptr->ptr); |
172 | 0 | fclose(f); |
173 | 0 | return error("Could not read %s", filename); |
174 | 0 | } |
175 | 0 | fclose(f); |
176 | 0 | ptr->size = sz; |
177 | 0 | return 0; |
178 | 0 | } |
179 | | |
180 | | void read_mmblob(mmfile_t *ptr, struct object_database *odb, |
181 | | const struct object_id *oid) |
182 | 0 | { |
183 | 0 | size_t size; |
184 | 0 | enum object_type type; |
185 | |
|
186 | 0 | if (is_null_oid(oid)) { |
187 | 0 | ptr->ptr = xstrdup(""); |
188 | 0 | ptr->size = 0; |
189 | 0 | return; |
190 | 0 | } |
191 | | |
192 | 0 | ptr->ptr = odb_read_object(odb, oid, &type, &size); |
193 | 0 | if (!ptr->ptr || type != OBJ_BLOB) |
194 | 0 | die("unable to read blob object %s", oid_to_hex(oid)); |
195 | 0 | ptr->size = size; |
196 | 0 | } |
197 | | |
198 | 0 | #define FIRST_FEW_BYTES 8000 |
199 | | int buffer_is_binary(const char *ptr, unsigned long size) |
200 | 0 | { |
201 | 0 | if (FIRST_FEW_BYTES < size) |
202 | 0 | size = FIRST_FEW_BYTES; |
203 | 0 | return !!memchr(ptr, 0, size); |
204 | 0 | } |
205 | | |
206 | | struct ff_regs { |
207 | | int nr; |
208 | | struct ff_reg { |
209 | | regex_t re; |
210 | | int negate; |
211 | | } *array; |
212 | | }; |
213 | | |
214 | | static long ff_regexp(const char *line, long len, |
215 | | char *buffer, long buffer_size, void *priv) |
216 | 0 | { |
217 | 0 | struct ff_regs *regs = priv; |
218 | 0 | regmatch_t pmatch[2]; |
219 | 0 | int i; |
220 | 0 | int result; |
221 | | |
222 | | /* Exclude terminating newline (and cr) from matching */ |
223 | 0 | if (len > 0 && line[len-1] == '\n') { |
224 | 0 | if (len > 1 && line[len-2] == '\r') |
225 | 0 | len -= 2; |
226 | 0 | else |
227 | 0 | len--; |
228 | 0 | } |
229 | |
|
230 | 0 | for (i = 0; i < regs->nr; i++) { |
231 | 0 | struct ff_reg *reg = regs->array + i; |
232 | 0 | if (!regexec_buf(®->re, line, len, 2, pmatch, 0)) { |
233 | 0 | if (reg->negate) |
234 | 0 | return -1; |
235 | 0 | break; |
236 | 0 | } |
237 | 0 | } |
238 | 0 | if (regs->nr <= i) |
239 | 0 | return -1; |
240 | 0 | i = pmatch[1].rm_so >= 0 ? 1 : 0; |
241 | 0 | line += pmatch[i].rm_so; |
242 | 0 | result = pmatch[i].rm_eo - pmatch[i].rm_so; |
243 | 0 | if (result > buffer_size) |
244 | 0 | result = buffer_size; |
245 | 0 | while (result > 0 && (isspace(line[result - 1]))) |
246 | 0 | result--; |
247 | 0 | memcpy(buffer, line, result); |
248 | 0 | return result; |
249 | 0 | } |
250 | | |
251 | | void xdiff_set_find_func(xdemitconf_t *xecfg, const char *value, int cflags) |
252 | 0 | { |
253 | 0 | int i; |
254 | 0 | struct ff_regs *regs; |
255 | |
|
256 | 0 | xecfg->find_func = ff_regexp; |
257 | 0 | regs = xecfg->find_func_priv = xmalloc(sizeof(struct ff_regs)); |
258 | 0 | for (i = 0, regs->nr = 1; value[i]; i++) |
259 | 0 | if (value[i] == '\n') |
260 | 0 | regs->nr++; |
261 | 0 | ALLOC_ARRAY(regs->array, regs->nr); |
262 | 0 | for (i = 0; i < regs->nr; i++) { |
263 | 0 | struct ff_reg *reg = regs->array + i; |
264 | 0 | const char *ep, *expression; |
265 | 0 | char *buffer = NULL; |
266 | |
|
267 | 0 | if (!value) |
268 | 0 | BUG("mismatch between line count and parsing"); |
269 | 0 | ep = strchr(value, '\n'); |
270 | |
|
271 | 0 | reg->negate = (*value == '!'); |
272 | 0 | if (reg->negate && i == regs->nr - 1) |
273 | 0 | die("Last expression must not be negated: %s", value); |
274 | 0 | if (*value == '!') |
275 | 0 | value++; |
276 | 0 | if (ep) |
277 | 0 | expression = buffer = xstrndup(value, ep - value); |
278 | 0 | else |
279 | 0 | expression = value; |
280 | 0 | if (regcomp(®->re, expression, cflags)) |
281 | 0 | die("Invalid regexp to look for hunk header: %s", expression); |
282 | 0 | free(buffer); |
283 | 0 | value = ep ? ep + 1 : NULL; |
284 | 0 | } |
285 | 0 | } |
286 | | |
287 | | void xdiff_clear_find_func(xdemitconf_t *xecfg) |
288 | 0 | { |
289 | 0 | if (xecfg->find_func) { |
290 | 0 | int i; |
291 | 0 | struct ff_regs *regs = xecfg->find_func_priv; |
292 | |
|
293 | 0 | for (i = 0; i < regs->nr; i++) |
294 | 0 | regfree(®s->array[i].re); |
295 | 0 | free(regs->array); |
296 | 0 | free(regs); |
297 | 0 | xecfg->find_func = NULL; |
298 | 0 | xecfg->find_func_priv = NULL; |
299 | 0 | } |
300 | 0 | } |
301 | | |
302 | | unsigned long xdiff_hash_string(const char *s, size_t len, long flags) |
303 | 0 | { |
304 | 0 | return xdl_hash_record((uint8_t const**)&s, (uint8_t const*)s + len, flags); |
305 | 0 | } |
306 | | |
307 | | int xdiff_compare_lines(const char *l1, long s1, |
308 | | const char *l2, long s2, long flags) |
309 | 0 | { |
310 | 0 | return xdl_recmatch(l1, s1, l2, s2, flags); |
311 | 0 | } |
312 | | |
313 | | int parse_conflict_style_name(const char *value) |
314 | 0 | { |
315 | 0 | if (!strcmp(value, "diff3")) |
316 | 0 | return XDL_MERGE_DIFF3; |
317 | 0 | else if (!strcmp(value, "zdiff3")) |
318 | 0 | return XDL_MERGE_ZEALOUS_DIFF3; |
319 | 0 | else if (!strcmp(value, "merge")) |
320 | 0 | return 0; |
321 | | /* |
322 | | * Please update _git_checkout() in git-completion.bash when |
323 | | * you add new merge config |
324 | | */ |
325 | 0 | else |
326 | 0 | return -1; |
327 | 0 | } |
328 | | |
329 | | const char *conflict_style_name(int style) |
330 | 0 | { |
331 | 0 | switch (style) { |
332 | 0 | case XDL_MERGE_DIFF3: |
333 | 0 | return "diff3"; |
334 | 0 | case XDL_MERGE_ZEALOUS_DIFF3: |
335 | 0 | return "zdiff3"; |
336 | 0 | default: |
337 | 0 | return "merge"; |
338 | 0 | } |
339 | 0 | } |
340 | | |
341 | | int git_xmerge_style = -1; |
342 | | |
343 | | int git_xmerge_config(const char *var, const char *value, |
344 | | const struct config_context *ctx, void *cb) |
345 | 0 | { |
346 | 0 | if (!strcmp(var, "merge.conflictstyle")) { |
347 | 0 | if (!value) |
348 | 0 | return config_error_nonbool(var); |
349 | 0 | git_xmerge_style = parse_conflict_style_name(value); |
350 | 0 | if (git_xmerge_style == -1) |
351 | 0 | return error(_("unknown style '%s' given for '%s'"), |
352 | 0 | value, var); |
353 | 0 | return 0; |
354 | 0 | } |
355 | 0 | return git_default_config(var, value, ctx, cb); |
356 | 0 | } |