]> git.ipfire.org Git - thirdparty/git.git/blob - convert.c
diff-parseopt: restore -U (no argument) behavior
[thirdparty/git.git] / convert.c
1 #define NO_THE_INDEX_COMPATIBILITY_MACROS
2 #include "cache.h"
3 #include "config.h"
4 #include "object-store.h"
5 #include "attr.h"
6 #include "run-command.h"
7 #include "quote.h"
8 #include "sigchain.h"
9 #include "pkt-line.h"
10 #include "sub-process.h"
11 #include "utf8.h"
12
13 /*
14 * convert.c - convert a file when checking it out and checking it in.
15 *
16 * This should use the pathname to decide on whether it wants to do some
17 * more interesting conversions (automatic gzip/unzip, general format
18 * conversions etc etc), but by default it just does automatic CRLF<->LF
19 * translation when the "text" attribute or "auto_crlf" option is set.
20 */
21
22 /* Stat bits: When BIN is set, the txt bits are unset */
23 #define CONVERT_STAT_BITS_TXT_LF 0x1
24 #define CONVERT_STAT_BITS_TXT_CRLF 0x2
25 #define CONVERT_STAT_BITS_BIN 0x4
26
27 enum crlf_action {
28 CRLF_UNDEFINED,
29 CRLF_BINARY,
30 CRLF_TEXT,
31 CRLF_TEXT_INPUT,
32 CRLF_TEXT_CRLF,
33 CRLF_AUTO,
34 CRLF_AUTO_INPUT,
35 CRLF_AUTO_CRLF
36 };
37
38 struct text_stat {
39 /* NUL, CR, LF and CRLF counts */
40 unsigned nul, lonecr, lonelf, crlf;
41
42 /* These are just approximations! */
43 unsigned printable, nonprintable;
44 };
45
46 static void gather_stats(const char *buf, unsigned long size, struct text_stat *stats)
47 {
48 unsigned long i;
49
50 memset(stats, 0, sizeof(*stats));
51
52 for (i = 0; i < size; i++) {
53 unsigned char c = buf[i];
54 if (c == '\r') {
55 if (i+1 < size && buf[i+1] == '\n') {
56 stats->crlf++;
57 i++;
58 } else
59 stats->lonecr++;
60 continue;
61 }
62 if (c == '\n') {
63 stats->lonelf++;
64 continue;
65 }
66 if (c == 127)
67 /* DEL */
68 stats->nonprintable++;
69 else if (c < 32) {
70 switch (c) {
71 /* BS, HT, ESC and FF */
72 case '\b': case '\t': case '\033': case '\014':
73 stats->printable++;
74 break;
75 case 0:
76 stats->nul++;
77 /* fall through */
78 default:
79 stats->nonprintable++;
80 }
81 }
82 else
83 stats->printable++;
84 }
85
86 /* If file ends with EOF then don't count this EOF as non-printable. */
87 if (size >= 1 && buf[size-1] == '\032')
88 stats->nonprintable--;
89 }
90
91 /*
92 * The same heuristics as diff.c::mmfile_is_binary()
93 * We treat files with bare CR as binary
94 */
95 static int convert_is_binary(unsigned long size, const struct text_stat *stats)
96 {
97 if (stats->lonecr)
98 return 1;
99 if (stats->nul)
100 return 1;
101 if ((stats->printable >> 7) < stats->nonprintable)
102 return 1;
103 return 0;
104 }
105
106 static unsigned int gather_convert_stats(const char *data, unsigned long size)
107 {
108 struct text_stat stats;
109 int ret = 0;
110 if (!data || !size)
111 return 0;
112 gather_stats(data, size, &stats);
113 if (convert_is_binary(size, &stats))
114 ret |= CONVERT_STAT_BITS_BIN;
115 if (stats.crlf)
116 ret |= CONVERT_STAT_BITS_TXT_CRLF;
117 if (stats.lonelf)
118 ret |= CONVERT_STAT_BITS_TXT_LF;
119
120 return ret;
121 }
122
123 static const char *gather_convert_stats_ascii(const char *data, unsigned long size)
124 {
125 unsigned int convert_stats = gather_convert_stats(data, size);
126
127 if (convert_stats & CONVERT_STAT_BITS_BIN)
128 return "-text";
129 switch (convert_stats) {
130 case CONVERT_STAT_BITS_TXT_LF:
131 return "lf";
132 case CONVERT_STAT_BITS_TXT_CRLF:
133 return "crlf";
134 case CONVERT_STAT_BITS_TXT_LF | CONVERT_STAT_BITS_TXT_CRLF:
135 return "mixed";
136 default:
137 return "none";
138 }
139 }
140
141 const char *get_cached_convert_stats_ascii(const struct index_state *istate,
142 const char *path)
143 {
144 const char *ret;
145 unsigned long sz;
146 void *data = read_blob_data_from_index(istate, path, &sz);
147 ret = gather_convert_stats_ascii(data, sz);
148 free(data);
149 return ret;
150 }
151
152 const char *get_wt_convert_stats_ascii(const char *path)
153 {
154 const char *ret = "";
155 struct strbuf sb = STRBUF_INIT;
156 if (strbuf_read_file(&sb, path, 0) >= 0)
157 ret = gather_convert_stats_ascii(sb.buf, sb.len);
158 strbuf_release(&sb);
159 return ret;
160 }
161
162 static int text_eol_is_crlf(void)
163 {
164 if (auto_crlf == AUTO_CRLF_TRUE)
165 return 1;
166 else if (auto_crlf == AUTO_CRLF_INPUT)
167 return 0;
168 if (core_eol == EOL_CRLF)
169 return 1;
170 if (core_eol == EOL_UNSET && EOL_NATIVE == EOL_CRLF)
171 return 1;
172 return 0;
173 }
174
175 static enum eol output_eol(enum crlf_action crlf_action)
176 {
177 switch (crlf_action) {
178 case CRLF_BINARY:
179 return EOL_UNSET;
180 case CRLF_TEXT_CRLF:
181 return EOL_CRLF;
182 case CRLF_TEXT_INPUT:
183 return EOL_LF;
184 case CRLF_UNDEFINED:
185 case CRLF_AUTO_CRLF:
186 return EOL_CRLF;
187 case CRLF_AUTO_INPUT:
188 return EOL_LF;
189 case CRLF_TEXT:
190 case CRLF_AUTO:
191 /* fall through */
192 return text_eol_is_crlf() ? EOL_CRLF : EOL_LF;
193 }
194 warning(_("illegal crlf_action %d"), (int)crlf_action);
195 return core_eol;
196 }
197
198 static void check_global_conv_flags_eol(const char *path, enum crlf_action crlf_action,
199 struct text_stat *old_stats, struct text_stat *new_stats,
200 int conv_flags)
201 {
202 if (old_stats->crlf && !new_stats->crlf ) {
203 /*
204 * CRLFs would not be restored by checkout
205 */
206 if (conv_flags & CONV_EOL_RNDTRP_DIE)
207 die(_("CRLF would be replaced by LF in %s"), path);
208 else if (conv_flags & CONV_EOL_RNDTRP_WARN)
209 warning(_("CRLF will be replaced by LF in %s.\n"
210 "The file will have its original line"
211 " endings in your working directory"), path);
212 } else if (old_stats->lonelf && !new_stats->lonelf ) {
213 /*
214 * CRLFs would be added by checkout
215 */
216 if (conv_flags & CONV_EOL_RNDTRP_DIE)
217 die(_("LF would be replaced by CRLF in %s"), path);
218 else if (conv_flags & CONV_EOL_RNDTRP_WARN)
219 warning(_("LF will be replaced by CRLF in %s.\n"
220 "The file will have its original line"
221 " endings in your working directory"), path);
222 }
223 }
224
225 static int has_crlf_in_index(const struct index_state *istate, const char *path)
226 {
227 unsigned long sz;
228 void *data;
229 const char *crp;
230 int has_crlf = 0;
231
232 data = read_blob_data_from_index(istate, path, &sz);
233 if (!data)
234 return 0;
235
236 crp = memchr(data, '\r', sz);
237 if (crp) {
238 unsigned int ret_stats;
239 ret_stats = gather_convert_stats(data, sz);
240 if (!(ret_stats & CONVERT_STAT_BITS_BIN) &&
241 (ret_stats & CONVERT_STAT_BITS_TXT_CRLF))
242 has_crlf = 1;
243 }
244 free(data);
245 return has_crlf;
246 }
247
248 static int will_convert_lf_to_crlf(size_t len, struct text_stat *stats,
249 enum crlf_action crlf_action)
250 {
251 if (output_eol(crlf_action) != EOL_CRLF)
252 return 0;
253 /* No "naked" LF? Nothing to convert, regardless. */
254 if (!stats->lonelf)
255 return 0;
256
257 if (crlf_action == CRLF_AUTO || crlf_action == CRLF_AUTO_INPUT || crlf_action == CRLF_AUTO_CRLF) {
258 /* If we have any CR or CRLF line endings, we do not touch it */
259 /* This is the new safer autocrlf-handling */
260 if (stats->lonecr || stats->crlf)
261 return 0;
262
263 if (convert_is_binary(len, stats))
264 return 0;
265 }
266 return 1;
267
268 }
269
270 static int validate_encoding(const char *path, const char *enc,
271 const char *data, size_t len, int die_on_error)
272 {
273 /* We only check for UTF here as UTF?? can be an alias for UTF-?? */
274 if (istarts_with(enc, "UTF")) {
275 /*
276 * Check for detectable errors in UTF encodings
277 */
278 if (has_prohibited_utf_bom(enc, data, len)) {
279 const char *error_msg = _(
280 "BOM is prohibited in '%s' if encoded as %s");
281 /*
282 * This advice is shown for UTF-??BE and UTF-??LE encodings.
283 * We cut off the last two characters of the encoding name
284 * to generate the encoding name suitable for BOMs.
285 */
286 const char *advise_msg = _(
287 "The file '%s' contains a byte order "
288 "mark (BOM). Please use UTF-%s as "
289 "working-tree-encoding.");
290 const char *stripped = NULL;
291 char *upper = xstrdup_toupper(enc);
292 upper[strlen(upper)-2] = '\0';
293 if (!skip_prefix(upper, "UTF-", &stripped))
294 skip_prefix(stripped, "UTF", &stripped);
295 advise(advise_msg, path, stripped);
296 free(upper);
297 if (die_on_error)
298 die(error_msg, path, enc);
299 else {
300 return error(error_msg, path, enc);
301 }
302
303 } else if (is_missing_required_utf_bom(enc, data, len)) {
304 const char *error_msg = _(
305 "BOM is required in '%s' if encoded as %s");
306 const char *advise_msg = _(
307 "The file '%s' is missing a byte order "
308 "mark (BOM). Please use UTF-%sBE or UTF-%sLE "
309 "(depending on the byte order) as "
310 "working-tree-encoding.");
311 const char *stripped = NULL;
312 char *upper = xstrdup_toupper(enc);
313 if (!skip_prefix(upper, "UTF-", &stripped))
314 skip_prefix(stripped, "UTF", &stripped);
315 advise(advise_msg, path, stripped, stripped);
316 free(upper);
317 if (die_on_error)
318 die(error_msg, path, enc);
319 else {
320 return error(error_msg, path, enc);
321 }
322 }
323
324 }
325 return 0;
326 }
327
328 static void trace_encoding(const char *context, const char *path,
329 const char *encoding, const char *buf, size_t len)
330 {
331 static struct trace_key coe = TRACE_KEY_INIT(WORKING_TREE_ENCODING);
332 struct strbuf trace = STRBUF_INIT;
333 int i;
334
335 strbuf_addf(&trace, "%s (%s, considered %s):\n", context, path, encoding);
336 for (i = 0; i < len && buf; ++i) {
337 strbuf_addf(
338 &trace, "| \033[2m%2i:\033[0m %2x \033[2m%c\033[0m%c",
339 i,
340 (unsigned char) buf[i],
341 (buf[i] > 32 && buf[i] < 127 ? buf[i] : ' '),
342 ((i+1) % 8 && (i+1) < len ? ' ' : '\n')
343 );
344 }
345 strbuf_addchars(&trace, '\n', 1);
346
347 trace_strbuf(&coe, &trace);
348 strbuf_release(&trace);
349 }
350
351 static int check_roundtrip(const char *enc_name)
352 {
353 /*
354 * check_roundtrip_encoding contains a string of comma and/or
355 * space separated encodings (eg. "UTF-16, ASCII, CP1125").
356 * Search for the given encoding in that string.
357 */
358 const char *found = strcasestr(check_roundtrip_encoding, enc_name);
359 const char *next;
360 int len;
361 if (!found)
362 return 0;
363 next = found + strlen(enc_name);
364 len = strlen(check_roundtrip_encoding);
365 return (found && (
366 /*
367 * check that the found encoding is at the
368 * beginning of check_roundtrip_encoding or
369 * that it is prefixed with a space or comma
370 */
371 found == check_roundtrip_encoding || (
372 (isspace(found[-1]) || found[-1] == ',')
373 )
374 ) && (
375 /*
376 * check that the found encoding is at the
377 * end of check_roundtrip_encoding or
378 * that it is suffixed with a space or comma
379 */
380 next == check_roundtrip_encoding + len || (
381 next < check_roundtrip_encoding + len &&
382 (isspace(next[0]) || next[0] == ',')
383 )
384 ));
385 }
386
387 static const char *default_encoding = "UTF-8";
388
389 static int encode_to_git(const char *path, const char *src, size_t src_len,
390 struct strbuf *buf, const char *enc, int conv_flags)
391 {
392 char *dst;
393 size_t dst_len;
394 int die_on_error = conv_flags & CONV_WRITE_OBJECT;
395
396 /*
397 * No encoding is specified or there is nothing to encode.
398 * Tell the caller that the content was not modified.
399 */
400 if (!enc || (src && !src_len))
401 return 0;
402
403 /*
404 * Looks like we got called from "would_convert_to_git()".
405 * This means Git wants to know if it would encode (= modify!)
406 * the content. Let's answer with "yes", since an encoding was
407 * specified.
408 */
409 if (!buf && !src)
410 return 1;
411
412 if (validate_encoding(path, enc, src, src_len, die_on_error))
413 return 0;
414
415 trace_encoding("source", path, enc, src, src_len);
416 dst = reencode_string_len(src, src_len, default_encoding, enc,
417 &dst_len);
418 if (!dst) {
419 /*
420 * We could add the blob "as-is" to Git. However, on checkout
421 * we would try to reencode to the original encoding. This
422 * would fail and we would leave the user with a messed-up
423 * working tree. Let's try to avoid this by screaming loud.
424 */
425 const char* msg = _("failed to encode '%s' from %s to %s");
426 if (die_on_error)
427 die(msg, path, enc, default_encoding);
428 else {
429 error(msg, path, enc, default_encoding);
430 return 0;
431 }
432 }
433 trace_encoding("destination", path, default_encoding, dst, dst_len);
434
435 /*
436 * UTF supports lossless conversion round tripping [1] and conversions
437 * between UTF and other encodings are mostly round trip safe as
438 * Unicode aims to be a superset of all other character encodings.
439 * However, certain encodings (e.g. SHIFT-JIS) are known to have round
440 * trip issues [2]. Check the round trip conversion for all encodings
441 * listed in core.checkRoundtripEncoding.
442 *
443 * The round trip check is only performed if content is written to Git.
444 * This ensures that no information is lost during conversion to/from
445 * the internal UTF-8 representation.
446 *
447 * Please note, the code below is not tested because I was not able to
448 * generate a faulty round trip without an iconv error. Iconv errors
449 * are already caught above.
450 *
451 * [1] http://unicode.org/faq/utf_bom.html#gen2
452 * [2] https://support.microsoft.com/en-us/help/170559/prb-conversion-problem-between-shift-jis-and-unicode
453 */
454 if (die_on_error && check_roundtrip(enc)) {
455 char *re_src;
456 size_t re_src_len;
457
458 re_src = reencode_string_len(dst, dst_len,
459 enc, default_encoding,
460 &re_src_len);
461
462 trace_printf("Checking roundtrip encoding for %s...\n", enc);
463 trace_encoding("reencoded source", path, enc,
464 re_src, re_src_len);
465
466 if (!re_src || src_len != re_src_len ||
467 memcmp(src, re_src, src_len)) {
468 const char* msg = _("encoding '%s' from %s to %s and "
469 "back is not the same");
470 die(msg, path, enc, default_encoding);
471 }
472
473 free(re_src);
474 }
475
476 strbuf_attach(buf, dst, dst_len, dst_len + 1);
477 return 1;
478 }
479
480 static int encode_to_worktree(const char *path, const char *src, size_t src_len,
481 struct strbuf *buf, const char *enc)
482 {
483 char *dst;
484 size_t dst_len;
485
486 /*
487 * No encoding is specified or there is nothing to encode.
488 * Tell the caller that the content was not modified.
489 */
490 if (!enc || (src && !src_len))
491 return 0;
492
493 dst = reencode_string_len(src, src_len, enc, default_encoding,
494 &dst_len);
495 if (!dst) {
496 error(_("failed to encode '%s' from %s to %s"),
497 path, default_encoding, enc);
498 return 0;
499 }
500
501 strbuf_attach(buf, dst, dst_len, dst_len + 1);
502 return 1;
503 }
504
505 static int crlf_to_git(const struct index_state *istate,
506 const char *path, const char *src, size_t len,
507 struct strbuf *buf,
508 enum crlf_action crlf_action, int conv_flags)
509 {
510 struct text_stat stats;
511 char *dst;
512 int convert_crlf_into_lf;
513
514 if (crlf_action == CRLF_BINARY ||
515 (src && !len))
516 return 0;
517
518 /*
519 * If we are doing a dry-run and have no source buffer, there is
520 * nothing to analyze; we must assume we would convert.
521 */
522 if (!buf && !src)
523 return 1;
524
525 gather_stats(src, len, &stats);
526 /* Optimization: No CRLF? Nothing to convert, regardless. */
527 convert_crlf_into_lf = !!stats.crlf;
528
529 if (crlf_action == CRLF_AUTO || crlf_action == CRLF_AUTO_INPUT || crlf_action == CRLF_AUTO_CRLF) {
530 if (convert_is_binary(len, &stats))
531 return 0;
532 /*
533 * If the file in the index has any CR in it, do not
534 * convert. This is the new safer autocrlf handling,
535 * unless we want to renormalize in a merge or
536 * cherry-pick.
537 */
538 if ((!(conv_flags & CONV_EOL_RENORMALIZE)) &&
539 has_crlf_in_index(istate, path))
540 convert_crlf_into_lf = 0;
541 }
542 if (((conv_flags & CONV_EOL_RNDTRP_WARN) ||
543 ((conv_flags & CONV_EOL_RNDTRP_DIE) && len))) {
544 struct text_stat new_stats;
545 memcpy(&new_stats, &stats, sizeof(new_stats));
546 /* simulate "git add" */
547 if (convert_crlf_into_lf) {
548 new_stats.lonelf += new_stats.crlf;
549 new_stats.crlf = 0;
550 }
551 /* simulate "git checkout" */
552 if (will_convert_lf_to_crlf(len, &new_stats, crlf_action)) {
553 new_stats.crlf += new_stats.lonelf;
554 new_stats.lonelf = 0;
555 }
556 check_global_conv_flags_eol(path, crlf_action, &stats, &new_stats, conv_flags);
557 }
558 if (!convert_crlf_into_lf)
559 return 0;
560
561 /*
562 * At this point all of our source analysis is done, and we are sure we
563 * would convert. If we are in dry-run mode, we can give an answer.
564 */
565 if (!buf)
566 return 1;
567
568 /* only grow if not in place */
569 if (strbuf_avail(buf) + buf->len < len)
570 strbuf_grow(buf, len - buf->len);
571 dst = buf->buf;
572 if (crlf_action == CRLF_AUTO || crlf_action == CRLF_AUTO_INPUT || crlf_action == CRLF_AUTO_CRLF) {
573 /*
574 * If we guessed, we already know we rejected a file with
575 * lone CR, and we can strip a CR without looking at what
576 * follow it.
577 */
578 do {
579 unsigned char c = *src++;
580 if (c != '\r')
581 *dst++ = c;
582 } while (--len);
583 } else {
584 do {
585 unsigned char c = *src++;
586 if (! (c == '\r' && (1 < len && *src == '\n')))
587 *dst++ = c;
588 } while (--len);
589 }
590 strbuf_setlen(buf, dst - buf->buf);
591 return 1;
592 }
593
594 static int crlf_to_worktree(const char *path, const char *src, size_t len,
595 struct strbuf *buf, enum crlf_action crlf_action)
596 {
597 char *to_free = NULL;
598 struct text_stat stats;
599
600 if (!len || output_eol(crlf_action) != EOL_CRLF)
601 return 0;
602
603 gather_stats(src, len, &stats);
604 if (!will_convert_lf_to_crlf(len, &stats, crlf_action))
605 return 0;
606
607 /* are we "faking" in place editing ? */
608 if (src == buf->buf)
609 to_free = strbuf_detach(buf, NULL);
610
611 strbuf_grow(buf, len + stats.lonelf);
612 for (;;) {
613 const char *nl = memchr(src, '\n', len);
614 if (!nl)
615 break;
616 if (nl > src && nl[-1] == '\r') {
617 strbuf_add(buf, src, nl + 1 - src);
618 } else {
619 strbuf_add(buf, src, nl - src);
620 strbuf_addstr(buf, "\r\n");
621 }
622 len -= nl + 1 - src;
623 src = nl + 1;
624 }
625 strbuf_add(buf, src, len);
626
627 free(to_free);
628 return 1;
629 }
630
631 struct filter_params {
632 const char *src;
633 unsigned long size;
634 int fd;
635 const char *cmd;
636 const char *path;
637 };
638
639 static int filter_buffer_or_fd(int in, int out, void *data)
640 {
641 /*
642 * Spawn cmd and feed the buffer contents through its stdin.
643 */
644 struct child_process child_process = CHILD_PROCESS_INIT;
645 struct filter_params *params = (struct filter_params *)data;
646 int write_err, status;
647 const char *argv[] = { NULL, NULL };
648
649 /* apply % substitution to cmd */
650 struct strbuf cmd = STRBUF_INIT;
651 struct strbuf path = STRBUF_INIT;
652 struct strbuf_expand_dict_entry dict[] = {
653 { "f", NULL, },
654 { NULL, NULL, },
655 };
656
657 /* quote the path to preserve spaces, etc. */
658 sq_quote_buf(&path, params->path);
659 dict[0].value = path.buf;
660
661 /* expand all %f with the quoted path */
662 strbuf_expand(&cmd, params->cmd, strbuf_expand_dict_cb, &dict);
663 strbuf_release(&path);
664
665 argv[0] = cmd.buf;
666
667 child_process.argv = argv;
668 child_process.use_shell = 1;
669 child_process.in = -1;
670 child_process.out = out;
671
672 if (start_command(&child_process)) {
673 strbuf_release(&cmd);
674 return error(_("cannot fork to run external filter '%s'"),
675 params->cmd);
676 }
677
678 sigchain_push(SIGPIPE, SIG_IGN);
679
680 if (params->src) {
681 write_err = (write_in_full(child_process.in,
682 params->src, params->size) < 0);
683 if (errno == EPIPE)
684 write_err = 0;
685 } else {
686 write_err = copy_fd(params->fd, child_process.in);
687 if (write_err == COPY_WRITE_ERROR && errno == EPIPE)
688 write_err = 0;
689 }
690
691 if (close(child_process.in))
692 write_err = 1;
693 if (write_err)
694 error(_("cannot feed the input to external filter '%s'"),
695 params->cmd);
696
697 sigchain_pop(SIGPIPE);
698
699 status = finish_command(&child_process);
700 if (status)
701 error(_("external filter '%s' failed %d"), params->cmd, status);
702
703 strbuf_release(&cmd);
704 return (write_err || status);
705 }
706
707 static int apply_single_file_filter(const char *path, const char *src, size_t len, int fd,
708 struct strbuf *dst, const char *cmd)
709 {
710 /*
711 * Create a pipeline to have the command filter the buffer's
712 * contents.
713 *
714 * (child --> cmd) --> us
715 */
716 int err = 0;
717 struct strbuf nbuf = STRBUF_INIT;
718 struct async async;
719 struct filter_params params;
720
721 memset(&async, 0, sizeof(async));
722 async.proc = filter_buffer_or_fd;
723 async.data = &params;
724 async.out = -1;
725 params.src = src;
726 params.size = len;
727 params.fd = fd;
728 params.cmd = cmd;
729 params.path = path;
730
731 fflush(NULL);
732 if (start_async(&async))
733 return 0; /* error was already reported */
734
735 if (strbuf_read(&nbuf, async.out, len) < 0) {
736 err = error(_("read from external filter '%s' failed"), cmd);
737 }
738 if (close(async.out)) {
739 err = error(_("read from external filter '%s' failed"), cmd);
740 }
741 if (finish_async(&async)) {
742 err = error(_("external filter '%s' failed"), cmd);
743 }
744
745 if (!err) {
746 strbuf_swap(dst, &nbuf);
747 }
748 strbuf_release(&nbuf);
749 return !err;
750 }
751
752 #define CAP_CLEAN (1u<<0)
753 #define CAP_SMUDGE (1u<<1)
754 #define CAP_DELAY (1u<<2)
755
756 struct cmd2process {
757 struct subprocess_entry subprocess; /* must be the first member! */
758 unsigned int supported_capabilities;
759 };
760
761 static int subprocess_map_initialized;
762 static struct hashmap subprocess_map;
763
764 static int start_multi_file_filter_fn(struct subprocess_entry *subprocess)
765 {
766 static int versions[] = {2, 0};
767 static struct subprocess_capability capabilities[] = {
768 { "clean", CAP_CLEAN },
769 { "smudge", CAP_SMUDGE },
770 { "delay", CAP_DELAY },
771 { NULL, 0 }
772 };
773 struct cmd2process *entry = (struct cmd2process *)subprocess;
774 return subprocess_handshake(subprocess, "git-filter", versions, NULL,
775 capabilities,
776 &entry->supported_capabilities);
777 }
778
779 static void handle_filter_error(const struct strbuf *filter_status,
780 struct cmd2process *entry,
781 const unsigned int wanted_capability)
782 {
783 if (!strcmp(filter_status->buf, "error"))
784 ; /* The filter signaled a problem with the file. */
785 else if (!strcmp(filter_status->buf, "abort") && wanted_capability) {
786 /*
787 * The filter signaled a permanent problem. Don't try to filter
788 * files with the same command for the lifetime of the current
789 * Git process.
790 */
791 entry->supported_capabilities &= ~wanted_capability;
792 } else {
793 /*
794 * Something went wrong with the protocol filter.
795 * Force shutdown and restart if another blob requires filtering.
796 */
797 error(_("external filter '%s' failed"), entry->subprocess.cmd);
798 subprocess_stop(&subprocess_map, &entry->subprocess);
799 free(entry);
800 }
801 }
802
803 static int apply_multi_file_filter(const char *path, const char *src, size_t len,
804 int fd, struct strbuf *dst, const char *cmd,
805 const unsigned int wanted_capability,
806 struct delayed_checkout *dco)
807 {
808 int err;
809 int can_delay = 0;
810 struct cmd2process *entry;
811 struct child_process *process;
812 struct strbuf nbuf = STRBUF_INIT;
813 struct strbuf filter_status = STRBUF_INIT;
814 const char *filter_type;
815
816 if (!subprocess_map_initialized) {
817 subprocess_map_initialized = 1;
818 hashmap_init(&subprocess_map, cmd2process_cmp, NULL, 0);
819 entry = NULL;
820 } else {
821 entry = (struct cmd2process *)subprocess_find_entry(&subprocess_map, cmd);
822 }
823
824 fflush(NULL);
825
826 if (!entry) {
827 entry = xmalloc(sizeof(*entry));
828 entry->supported_capabilities = 0;
829
830 if (subprocess_start(&subprocess_map, &entry->subprocess, cmd, start_multi_file_filter_fn)) {
831 free(entry);
832 return 0;
833 }
834 }
835 process = &entry->subprocess.process;
836
837 if (!(entry->supported_capabilities & wanted_capability))
838 return 0;
839
840 if (wanted_capability & CAP_CLEAN)
841 filter_type = "clean";
842 else if (wanted_capability & CAP_SMUDGE)
843 filter_type = "smudge";
844 else
845 die(_("unexpected filter type"));
846
847 sigchain_push(SIGPIPE, SIG_IGN);
848
849 assert(strlen(filter_type) < LARGE_PACKET_DATA_MAX - strlen("command=\n"));
850 err = packet_write_fmt_gently(process->in, "command=%s\n", filter_type);
851 if (err)
852 goto done;
853
854 err = strlen(path) > LARGE_PACKET_DATA_MAX - strlen("pathname=\n");
855 if (err) {
856 error(_("path name too long for external filter"));
857 goto done;
858 }
859
860 err = packet_write_fmt_gently(process->in, "pathname=%s\n", path);
861 if (err)
862 goto done;
863
864 if ((entry->supported_capabilities & CAP_DELAY) &&
865 dco && dco->state == CE_CAN_DELAY) {
866 can_delay = 1;
867 err = packet_write_fmt_gently(process->in, "can-delay=1\n");
868 if (err)
869 goto done;
870 }
871
872 err = packet_flush_gently(process->in);
873 if (err)
874 goto done;
875
876 if (fd >= 0)
877 err = write_packetized_from_fd(fd, process->in);
878 else
879 err = write_packetized_from_buf(src, len, process->in);
880 if (err)
881 goto done;
882
883 err = subprocess_read_status(process->out, &filter_status);
884 if (err)
885 goto done;
886
887 if (can_delay && !strcmp(filter_status.buf, "delayed")) {
888 string_list_insert(&dco->filters, cmd);
889 string_list_insert(&dco->paths, path);
890 } else {
891 /* The filter got the blob and wants to send us a response. */
892 err = strcmp(filter_status.buf, "success");
893 if (err)
894 goto done;
895
896 err = read_packetized_to_strbuf(process->out, &nbuf) < 0;
897 if (err)
898 goto done;
899
900 err = subprocess_read_status(process->out, &filter_status);
901 if (err)
902 goto done;
903
904 err = strcmp(filter_status.buf, "success");
905 }
906
907 done:
908 sigchain_pop(SIGPIPE);
909
910 if (err)
911 handle_filter_error(&filter_status, entry, wanted_capability);
912 else
913 strbuf_swap(dst, &nbuf);
914 strbuf_release(&nbuf);
915 return !err;
916 }
917
918
919 int async_query_available_blobs(const char *cmd, struct string_list *available_paths)
920 {
921 int err;
922 char *line;
923 struct cmd2process *entry;
924 struct child_process *process;
925 struct strbuf filter_status = STRBUF_INIT;
926
927 assert(subprocess_map_initialized);
928 entry = (struct cmd2process *)subprocess_find_entry(&subprocess_map, cmd);
929 if (!entry) {
930 error(_("external filter '%s' is not available anymore although "
931 "not all paths have been filtered"), cmd);
932 return 0;
933 }
934 process = &entry->subprocess.process;
935 sigchain_push(SIGPIPE, SIG_IGN);
936
937 err = packet_write_fmt_gently(
938 process->in, "command=list_available_blobs\n");
939 if (err)
940 goto done;
941
942 err = packet_flush_gently(process->in);
943 if (err)
944 goto done;
945
946 while ((line = packet_read_line(process->out, NULL))) {
947 const char *path;
948 if (skip_prefix(line, "pathname=", &path))
949 string_list_insert(available_paths, xstrdup(path));
950 else
951 ; /* ignore unknown keys */
952 }
953
954 err = subprocess_read_status(process->out, &filter_status);
955 if (err)
956 goto done;
957
958 err = strcmp(filter_status.buf, "success");
959
960 done:
961 sigchain_pop(SIGPIPE);
962
963 if (err)
964 handle_filter_error(&filter_status, entry, 0);
965 return !err;
966 }
967
968 static struct convert_driver {
969 const char *name;
970 struct convert_driver *next;
971 const char *smudge;
972 const char *clean;
973 const char *process;
974 int required;
975 } *user_convert, **user_convert_tail;
976
977 static int apply_filter(const char *path, const char *src, size_t len,
978 int fd, struct strbuf *dst, struct convert_driver *drv,
979 const unsigned int wanted_capability,
980 struct delayed_checkout *dco)
981 {
982 const char *cmd = NULL;
983
984 if (!drv)
985 return 0;
986
987 if (!dst)
988 return 1;
989
990 if ((wanted_capability & CAP_CLEAN) && !drv->process && drv->clean)
991 cmd = drv->clean;
992 else if ((wanted_capability & CAP_SMUDGE) && !drv->process && drv->smudge)
993 cmd = drv->smudge;
994
995 if (cmd && *cmd)
996 return apply_single_file_filter(path, src, len, fd, dst, cmd);
997 else if (drv->process && *drv->process)
998 return apply_multi_file_filter(path, src, len, fd, dst,
999 drv->process, wanted_capability, dco);
1000
1001 return 0;
1002 }
1003
1004 static int read_convert_config(const char *var, const char *value, void *cb)
1005 {
1006 const char *key, *name;
1007 int namelen;
1008 struct convert_driver *drv;
1009
1010 /*
1011 * External conversion drivers are configured using
1012 * "filter.<name>.variable".
1013 */
1014 if (parse_config_key(var, "filter", &name, &namelen, &key) < 0 || !name)
1015 return 0;
1016 for (drv = user_convert; drv; drv = drv->next)
1017 if (!strncmp(drv->name, name, namelen) && !drv->name[namelen])
1018 break;
1019 if (!drv) {
1020 drv = xcalloc(1, sizeof(struct convert_driver));
1021 drv->name = xmemdupz(name, namelen);
1022 *user_convert_tail = drv;
1023 user_convert_tail = &(drv->next);
1024 }
1025
1026 /*
1027 * filter.<name>.smudge and filter.<name>.clean specifies
1028 * the command line:
1029 *
1030 * command-line
1031 *
1032 * The command-line will not be interpolated in any way.
1033 */
1034
1035 if (!strcmp("smudge", key))
1036 return git_config_string(&drv->smudge, var, value);
1037
1038 if (!strcmp("clean", key))
1039 return git_config_string(&drv->clean, var, value);
1040
1041 if (!strcmp("process", key))
1042 return git_config_string(&drv->process, var, value);
1043
1044 if (!strcmp("required", key)) {
1045 drv->required = git_config_bool(var, value);
1046 return 0;
1047 }
1048
1049 return 0;
1050 }
1051
1052 static int count_ident(const char *cp, unsigned long size)
1053 {
1054 /*
1055 * "$Id: 0000000000000000000000000000000000000000 $" <=> "$Id$"
1056 */
1057 int cnt = 0;
1058 char ch;
1059
1060 while (size) {
1061 ch = *cp++;
1062 size--;
1063 if (ch != '$')
1064 continue;
1065 if (size < 3)
1066 break;
1067 if (memcmp("Id", cp, 2))
1068 continue;
1069 ch = cp[2];
1070 cp += 3;
1071 size -= 3;
1072 if (ch == '$')
1073 cnt++; /* $Id$ */
1074 if (ch != ':')
1075 continue;
1076
1077 /*
1078 * "$Id: ... "; scan up to the closing dollar sign and discard.
1079 */
1080 while (size) {
1081 ch = *cp++;
1082 size--;
1083 if (ch == '$') {
1084 cnt++;
1085 break;
1086 }
1087 if (ch == '\n')
1088 break;
1089 }
1090 }
1091 return cnt;
1092 }
1093
1094 static int ident_to_git(const char *path, const char *src, size_t len,
1095 struct strbuf *buf, int ident)
1096 {
1097 char *dst, *dollar;
1098
1099 if (!ident || (src && !count_ident(src, len)))
1100 return 0;
1101
1102 if (!buf)
1103 return 1;
1104
1105 /* only grow if not in place */
1106 if (strbuf_avail(buf) + buf->len < len)
1107 strbuf_grow(buf, len - buf->len);
1108 dst = buf->buf;
1109 for (;;) {
1110 dollar = memchr(src, '$', len);
1111 if (!dollar)
1112 break;
1113 memmove(dst, src, dollar + 1 - src);
1114 dst += dollar + 1 - src;
1115 len -= dollar + 1 - src;
1116 src = dollar + 1;
1117
1118 if (len > 3 && !memcmp(src, "Id:", 3)) {
1119 dollar = memchr(src + 3, '$', len - 3);
1120 if (!dollar)
1121 break;
1122 if (memchr(src + 3, '\n', dollar - src - 3)) {
1123 /* Line break before the next dollar. */
1124 continue;
1125 }
1126
1127 memcpy(dst, "Id$", 3);
1128 dst += 3;
1129 len -= dollar + 1 - src;
1130 src = dollar + 1;
1131 }
1132 }
1133 memmove(dst, src, len);
1134 strbuf_setlen(buf, dst + len - buf->buf);
1135 return 1;
1136 }
1137
1138 static int ident_to_worktree(const char *path, const char *src, size_t len,
1139 struct strbuf *buf, int ident)
1140 {
1141 struct object_id oid;
1142 char *to_free = NULL, *dollar, *spc;
1143 int cnt;
1144
1145 if (!ident)
1146 return 0;
1147
1148 cnt = count_ident(src, len);
1149 if (!cnt)
1150 return 0;
1151
1152 /* are we "faking" in place editing ? */
1153 if (src == buf->buf)
1154 to_free = strbuf_detach(buf, NULL);
1155 hash_object_file(src, len, "blob", &oid);
1156
1157 strbuf_grow(buf, len + cnt * (the_hash_algo->hexsz + 3));
1158 for (;;) {
1159 /* step 1: run to the next '$' */
1160 dollar = memchr(src, '$', len);
1161 if (!dollar)
1162 break;
1163 strbuf_add(buf, src, dollar + 1 - src);
1164 len -= dollar + 1 - src;
1165 src = dollar + 1;
1166
1167 /* step 2: does it looks like a bit like Id:xxx$ or Id$ ? */
1168 if (len < 3 || memcmp("Id", src, 2))
1169 continue;
1170
1171 /* step 3: skip over Id$ or Id:xxxxx$ */
1172 if (src[2] == '$') {
1173 src += 3;
1174 len -= 3;
1175 } else if (src[2] == ':') {
1176 /*
1177 * It's possible that an expanded Id has crept its way into the
1178 * repository, we cope with that by stripping the expansion out.
1179 * This is probably not a good idea, since it will cause changes
1180 * on checkout, which won't go away by stash, but let's keep it
1181 * for git-style ids.
1182 */
1183 dollar = memchr(src + 3, '$', len - 3);
1184 if (!dollar) {
1185 /* incomplete keyword, no more '$', so just quit the loop */
1186 break;
1187 }
1188
1189 if (memchr(src + 3, '\n', dollar - src - 3)) {
1190 /* Line break before the next dollar. */
1191 continue;
1192 }
1193
1194 spc = memchr(src + 4, ' ', dollar - src - 4);
1195 if (spc && spc < dollar-1) {
1196 /* There are spaces in unexpected places.
1197 * This is probably an id from some other
1198 * versioning system. Keep it for now.
1199 */
1200 continue;
1201 }
1202
1203 len -= dollar + 1 - src;
1204 src = dollar + 1;
1205 } else {
1206 /* it wasn't a "Id$" or "Id:xxxx$" */
1207 continue;
1208 }
1209
1210 /* step 4: substitute */
1211 strbuf_addstr(buf, "Id: ");
1212 strbuf_addstr(buf, oid_to_hex(&oid));
1213 strbuf_addstr(buf, " $");
1214 }
1215 strbuf_add(buf, src, len);
1216
1217 free(to_free);
1218 return 1;
1219 }
1220
1221 static const char *git_path_check_encoding(struct attr_check_item *check)
1222 {
1223 const char *value = check->value;
1224
1225 if (ATTR_UNSET(value) || !strlen(value))
1226 return NULL;
1227
1228 if (ATTR_TRUE(value) || ATTR_FALSE(value)) {
1229 die(_("true/false are no valid working-tree-encodings"));
1230 }
1231
1232 /* Don't encode to the default encoding */
1233 if (same_encoding(value, default_encoding))
1234 return NULL;
1235
1236 return value;
1237 }
1238
1239 static enum crlf_action git_path_check_crlf(struct attr_check_item *check)
1240 {
1241 const char *value = check->value;
1242
1243 if (ATTR_TRUE(value))
1244 return CRLF_TEXT;
1245 else if (ATTR_FALSE(value))
1246 return CRLF_BINARY;
1247 else if (ATTR_UNSET(value))
1248 ;
1249 else if (!strcmp(value, "input"))
1250 return CRLF_TEXT_INPUT;
1251 else if (!strcmp(value, "auto"))
1252 return CRLF_AUTO;
1253 return CRLF_UNDEFINED;
1254 }
1255
1256 static enum eol git_path_check_eol(struct attr_check_item *check)
1257 {
1258 const char *value = check->value;
1259
1260 if (ATTR_UNSET(value))
1261 ;
1262 else if (!strcmp(value, "lf"))
1263 return EOL_LF;
1264 else if (!strcmp(value, "crlf"))
1265 return EOL_CRLF;
1266 return EOL_UNSET;
1267 }
1268
1269 static struct convert_driver *git_path_check_convert(struct attr_check_item *check)
1270 {
1271 const char *value = check->value;
1272 struct convert_driver *drv;
1273
1274 if (ATTR_TRUE(value) || ATTR_FALSE(value) || ATTR_UNSET(value))
1275 return NULL;
1276 for (drv = user_convert; drv; drv = drv->next)
1277 if (!strcmp(value, drv->name))
1278 return drv;
1279 return NULL;
1280 }
1281
1282 static int git_path_check_ident(struct attr_check_item *check)
1283 {
1284 const char *value = check->value;
1285
1286 return !!ATTR_TRUE(value);
1287 }
1288
1289 struct conv_attrs {
1290 struct convert_driver *drv;
1291 enum crlf_action attr_action; /* What attr says */
1292 enum crlf_action crlf_action; /* When no attr is set, use core.autocrlf */
1293 int ident;
1294 const char *working_tree_encoding; /* Supported encoding or default encoding if NULL */
1295 };
1296
1297 static void convert_attrs(const struct index_state *istate,
1298 struct conv_attrs *ca, const char *path)
1299 {
1300 static struct attr_check *check;
1301 struct attr_check_item *ccheck = NULL;
1302
1303 if (!check) {
1304 check = attr_check_initl("crlf", "ident", "filter",
1305 "eol", "text", "working-tree-encoding",
1306 NULL);
1307 user_convert_tail = &user_convert;
1308 git_config(read_convert_config, NULL);
1309 }
1310
1311 git_check_attr(istate, path, check);
1312 ccheck = check->items;
1313 ca->crlf_action = git_path_check_crlf(ccheck + 4);
1314 if (ca->crlf_action == CRLF_UNDEFINED)
1315 ca->crlf_action = git_path_check_crlf(ccheck + 0);
1316 ca->ident = git_path_check_ident(ccheck + 1);
1317 ca->drv = git_path_check_convert(ccheck + 2);
1318 if (ca->crlf_action != CRLF_BINARY) {
1319 enum eol eol_attr = git_path_check_eol(ccheck + 3);
1320 if (ca->crlf_action == CRLF_AUTO && eol_attr == EOL_LF)
1321 ca->crlf_action = CRLF_AUTO_INPUT;
1322 else if (ca->crlf_action == CRLF_AUTO && eol_attr == EOL_CRLF)
1323 ca->crlf_action = CRLF_AUTO_CRLF;
1324 else if (eol_attr == EOL_LF)
1325 ca->crlf_action = CRLF_TEXT_INPUT;
1326 else if (eol_attr == EOL_CRLF)
1327 ca->crlf_action = CRLF_TEXT_CRLF;
1328 }
1329 ca->working_tree_encoding = git_path_check_encoding(ccheck + 5);
1330
1331 /* Save attr and make a decision for action */
1332 ca->attr_action = ca->crlf_action;
1333 if (ca->crlf_action == CRLF_TEXT)
1334 ca->crlf_action = text_eol_is_crlf() ? CRLF_TEXT_CRLF : CRLF_TEXT_INPUT;
1335 if (ca->crlf_action == CRLF_UNDEFINED && auto_crlf == AUTO_CRLF_FALSE)
1336 ca->crlf_action = CRLF_BINARY;
1337 if (ca->crlf_action == CRLF_UNDEFINED && auto_crlf == AUTO_CRLF_TRUE)
1338 ca->crlf_action = CRLF_AUTO_CRLF;
1339 if (ca->crlf_action == CRLF_UNDEFINED && auto_crlf == AUTO_CRLF_INPUT)
1340 ca->crlf_action = CRLF_AUTO_INPUT;
1341 }
1342
1343 int would_convert_to_git_filter_fd(const struct index_state *istate, const char *path)
1344 {
1345 struct conv_attrs ca;
1346
1347 convert_attrs(istate, &ca, path);
1348 if (!ca.drv)
1349 return 0;
1350
1351 /*
1352 * Apply a filter to an fd only if the filter is required to succeed.
1353 * We must die if the filter fails, because the original data before
1354 * filtering is not available.
1355 */
1356 if (!ca.drv->required)
1357 return 0;
1358
1359 return apply_filter(path, NULL, 0, -1, NULL, ca.drv, CAP_CLEAN, NULL);
1360 }
1361
1362 const char *get_convert_attr_ascii(const struct index_state *istate, const char *path)
1363 {
1364 struct conv_attrs ca;
1365
1366 convert_attrs(istate, &ca, path);
1367 switch (ca.attr_action) {
1368 case CRLF_UNDEFINED:
1369 return "";
1370 case CRLF_BINARY:
1371 return "-text";
1372 case CRLF_TEXT:
1373 return "text";
1374 case CRLF_TEXT_INPUT:
1375 return "text eol=lf";
1376 case CRLF_TEXT_CRLF:
1377 return "text eol=crlf";
1378 case CRLF_AUTO:
1379 return "text=auto";
1380 case CRLF_AUTO_CRLF:
1381 return "text=auto eol=crlf";
1382 case CRLF_AUTO_INPUT:
1383 return "text=auto eol=lf";
1384 }
1385 return "";
1386 }
1387
1388 int convert_to_git(const struct index_state *istate,
1389 const char *path, const char *src, size_t len,
1390 struct strbuf *dst, int conv_flags)
1391 {
1392 int ret = 0;
1393 struct conv_attrs ca;
1394
1395 convert_attrs(istate, &ca, path);
1396
1397 ret |= apply_filter(path, src, len, -1, dst, ca.drv, CAP_CLEAN, NULL);
1398 if (!ret && ca.drv && ca.drv->required)
1399 die(_("%s: clean filter '%s' failed"), path, ca.drv->name);
1400
1401 if (ret && dst) {
1402 src = dst->buf;
1403 len = dst->len;
1404 }
1405
1406 ret |= encode_to_git(path, src, len, dst, ca.working_tree_encoding, conv_flags);
1407 if (ret && dst) {
1408 src = dst->buf;
1409 len = dst->len;
1410 }
1411
1412 if (!(conv_flags & CONV_EOL_KEEP_CRLF)) {
1413 ret |= crlf_to_git(istate, path, src, len, dst, ca.crlf_action, conv_flags);
1414 if (ret && dst) {
1415 src = dst->buf;
1416 len = dst->len;
1417 }
1418 }
1419 return ret | ident_to_git(path, src, len, dst, ca.ident);
1420 }
1421
1422 void convert_to_git_filter_fd(const struct index_state *istate,
1423 const char *path, int fd, struct strbuf *dst,
1424 int conv_flags)
1425 {
1426 struct conv_attrs ca;
1427 convert_attrs(istate, &ca, path);
1428
1429 assert(ca.drv);
1430 assert(ca.drv->clean || ca.drv->process);
1431
1432 if (!apply_filter(path, NULL, 0, fd, dst, ca.drv, CAP_CLEAN, NULL))
1433 die(_("%s: clean filter '%s' failed"), path, ca.drv->name);
1434
1435 encode_to_git(path, dst->buf, dst->len, dst, ca.working_tree_encoding, conv_flags);
1436 crlf_to_git(istate, path, dst->buf, dst->len, dst, ca.crlf_action, conv_flags);
1437 ident_to_git(path, dst->buf, dst->len, dst, ca.ident);
1438 }
1439
1440 static int convert_to_working_tree_internal(const struct index_state *istate,
1441 const char *path, const char *src,
1442 size_t len, struct strbuf *dst,
1443 int normalizing, struct delayed_checkout *dco)
1444 {
1445 int ret = 0, ret_filter = 0;
1446 struct conv_attrs ca;
1447
1448 convert_attrs(istate, &ca, path);
1449
1450 ret |= ident_to_worktree(path, src, len, dst, ca.ident);
1451 if (ret) {
1452 src = dst->buf;
1453 len = dst->len;
1454 }
1455 /*
1456 * CRLF conversion can be skipped if normalizing, unless there
1457 * is a smudge or process filter (even if the process filter doesn't
1458 * support smudge). The filters might expect CRLFs.
1459 */
1460 if ((ca.drv && (ca.drv->smudge || ca.drv->process)) || !normalizing) {
1461 ret |= crlf_to_worktree(path, src, len, dst, ca.crlf_action);
1462 if (ret) {
1463 src = dst->buf;
1464 len = dst->len;
1465 }
1466 }
1467
1468 ret |= encode_to_worktree(path, src, len, dst, ca.working_tree_encoding);
1469 if (ret) {
1470 src = dst->buf;
1471 len = dst->len;
1472 }
1473
1474 ret_filter = apply_filter(
1475 path, src, len, -1, dst, ca.drv, CAP_SMUDGE, dco);
1476 if (!ret_filter && ca.drv && ca.drv->required)
1477 die(_("%s: smudge filter %s failed"), path, ca.drv->name);
1478
1479 return ret | ret_filter;
1480 }
1481
1482 int async_convert_to_working_tree(const struct index_state *istate,
1483 const char *path, const char *src,
1484 size_t len, struct strbuf *dst,
1485 void *dco)
1486 {
1487 return convert_to_working_tree_internal(istate, path, src, len, dst, 0, dco);
1488 }
1489
1490 int convert_to_working_tree(const struct index_state *istate,
1491 const char *path, const char *src,
1492 size_t len, struct strbuf *dst)
1493 {
1494 return convert_to_working_tree_internal(istate, path, src, len, dst, 0, NULL);
1495 }
1496
1497 int renormalize_buffer(const struct index_state *istate, const char *path,
1498 const char *src, size_t len, struct strbuf *dst)
1499 {
1500 int ret = convert_to_working_tree_internal(istate, path, src, len, dst, 1, NULL);
1501 if (ret) {
1502 src = dst->buf;
1503 len = dst->len;
1504 }
1505 return ret | convert_to_git(istate, path, src, len, dst, CONV_EOL_RENORMALIZE);
1506 }
1507
1508 /*****************************************************************
1509 *
1510 * Streaming conversion support
1511 *
1512 *****************************************************************/
1513
1514 typedef int (*filter_fn)(struct stream_filter *,
1515 const char *input, size_t *isize_p,
1516 char *output, size_t *osize_p);
1517 typedef void (*free_fn)(struct stream_filter *);
1518
1519 struct stream_filter_vtbl {
1520 filter_fn filter;
1521 free_fn free;
1522 };
1523
1524 struct stream_filter {
1525 struct stream_filter_vtbl *vtbl;
1526 };
1527
1528 static int null_filter_fn(struct stream_filter *filter,
1529 const char *input, size_t *isize_p,
1530 char *output, size_t *osize_p)
1531 {
1532 size_t count;
1533
1534 if (!input)
1535 return 0; /* we do not keep any states */
1536 count = *isize_p;
1537 if (*osize_p < count)
1538 count = *osize_p;
1539 if (count) {
1540 memmove(output, input, count);
1541 *isize_p -= count;
1542 *osize_p -= count;
1543 }
1544 return 0;
1545 }
1546
1547 static void null_free_fn(struct stream_filter *filter)
1548 {
1549 ; /* nothing -- null instances are shared */
1550 }
1551
1552 static struct stream_filter_vtbl null_vtbl = {
1553 null_filter_fn,
1554 null_free_fn,
1555 };
1556
1557 static struct stream_filter null_filter_singleton = {
1558 &null_vtbl,
1559 };
1560
1561 int is_null_stream_filter(struct stream_filter *filter)
1562 {
1563 return filter == &null_filter_singleton;
1564 }
1565
1566
1567 /*
1568 * LF-to-CRLF filter
1569 */
1570
1571 struct lf_to_crlf_filter {
1572 struct stream_filter filter;
1573 unsigned has_held:1;
1574 char held;
1575 };
1576
1577 static int lf_to_crlf_filter_fn(struct stream_filter *filter,
1578 const char *input, size_t *isize_p,
1579 char *output, size_t *osize_p)
1580 {
1581 size_t count, o = 0;
1582 struct lf_to_crlf_filter *lf_to_crlf = (struct lf_to_crlf_filter *)filter;
1583
1584 /*
1585 * We may be holding onto the CR to see if it is followed by a
1586 * LF, in which case we would need to go to the main loop.
1587 * Otherwise, just emit it to the output stream.
1588 */
1589 if (lf_to_crlf->has_held && (lf_to_crlf->held != '\r' || !input)) {
1590 output[o++] = lf_to_crlf->held;
1591 lf_to_crlf->has_held = 0;
1592 }
1593
1594 /* We are told to drain */
1595 if (!input) {
1596 *osize_p -= o;
1597 return 0;
1598 }
1599
1600 count = *isize_p;
1601 if (count || lf_to_crlf->has_held) {
1602 size_t i;
1603 int was_cr = 0;
1604
1605 if (lf_to_crlf->has_held) {
1606 was_cr = 1;
1607 lf_to_crlf->has_held = 0;
1608 }
1609
1610 for (i = 0; o < *osize_p && i < count; i++) {
1611 char ch = input[i];
1612
1613 if (ch == '\n') {
1614 output[o++] = '\r';
1615 } else if (was_cr) {
1616 /*
1617 * Previous round saw CR and it is not followed
1618 * by a LF; emit the CR before processing the
1619 * current character.
1620 */
1621 output[o++] = '\r';
1622 }
1623
1624 /*
1625 * We may have consumed the last output slot,
1626 * in which case we need to break out of this
1627 * loop; hold the current character before
1628 * returning.
1629 */
1630 if (*osize_p <= o) {
1631 lf_to_crlf->has_held = 1;
1632 lf_to_crlf->held = ch;
1633 continue; /* break but increment i */
1634 }
1635
1636 if (ch == '\r') {
1637 was_cr = 1;
1638 continue;
1639 }
1640
1641 was_cr = 0;
1642 output[o++] = ch;
1643 }
1644
1645 *osize_p -= o;
1646 *isize_p -= i;
1647
1648 if (!lf_to_crlf->has_held && was_cr) {
1649 lf_to_crlf->has_held = 1;
1650 lf_to_crlf->held = '\r';
1651 }
1652 }
1653 return 0;
1654 }
1655
1656 static void lf_to_crlf_free_fn(struct stream_filter *filter)
1657 {
1658 free(filter);
1659 }
1660
1661 static struct stream_filter_vtbl lf_to_crlf_vtbl = {
1662 lf_to_crlf_filter_fn,
1663 lf_to_crlf_free_fn,
1664 };
1665
1666 static struct stream_filter *lf_to_crlf_filter(void)
1667 {
1668 struct lf_to_crlf_filter *lf_to_crlf = xcalloc(1, sizeof(*lf_to_crlf));
1669
1670 lf_to_crlf->filter.vtbl = &lf_to_crlf_vtbl;
1671 return (struct stream_filter *)lf_to_crlf;
1672 }
1673
1674 /*
1675 * Cascade filter
1676 */
1677 #define FILTER_BUFFER 1024
1678 struct cascade_filter {
1679 struct stream_filter filter;
1680 struct stream_filter *one;
1681 struct stream_filter *two;
1682 char buf[FILTER_BUFFER];
1683 int end, ptr;
1684 };
1685
1686 static int cascade_filter_fn(struct stream_filter *filter,
1687 const char *input, size_t *isize_p,
1688 char *output, size_t *osize_p)
1689 {
1690 struct cascade_filter *cas = (struct cascade_filter *) filter;
1691 size_t filled = 0;
1692 size_t sz = *osize_p;
1693 size_t to_feed, remaining;
1694
1695 /*
1696 * input -- (one) --> buf -- (two) --> output
1697 */
1698 while (filled < sz) {
1699 remaining = sz - filled;
1700
1701 /* do we already have something to feed two with? */
1702 if (cas->ptr < cas->end) {
1703 to_feed = cas->end - cas->ptr;
1704 if (stream_filter(cas->two,
1705 cas->buf + cas->ptr, &to_feed,
1706 output + filled, &remaining))
1707 return -1;
1708 cas->ptr += (cas->end - cas->ptr) - to_feed;
1709 filled = sz - remaining;
1710 continue;
1711 }
1712
1713 /* feed one from upstream and have it emit into our buffer */
1714 to_feed = input ? *isize_p : 0;
1715 if (input && !to_feed)
1716 break;
1717 remaining = sizeof(cas->buf);
1718 if (stream_filter(cas->one,
1719 input, &to_feed,
1720 cas->buf, &remaining))
1721 return -1;
1722 cas->end = sizeof(cas->buf) - remaining;
1723 cas->ptr = 0;
1724 if (input) {
1725 size_t fed = *isize_p - to_feed;
1726 *isize_p -= fed;
1727 input += fed;
1728 }
1729
1730 /* do we know that we drained one completely? */
1731 if (input || cas->end)
1732 continue;
1733
1734 /* tell two to drain; we have nothing more to give it */
1735 to_feed = 0;
1736 remaining = sz - filled;
1737 if (stream_filter(cas->two,
1738 NULL, &to_feed,
1739 output + filled, &remaining))
1740 return -1;
1741 if (remaining == (sz - filled))
1742 break; /* completely drained two */
1743 filled = sz - remaining;
1744 }
1745 *osize_p -= filled;
1746 return 0;
1747 }
1748
1749 static void cascade_free_fn(struct stream_filter *filter)
1750 {
1751 struct cascade_filter *cas = (struct cascade_filter *)filter;
1752 free_stream_filter(cas->one);
1753 free_stream_filter(cas->two);
1754 free(filter);
1755 }
1756
1757 static struct stream_filter_vtbl cascade_vtbl = {
1758 cascade_filter_fn,
1759 cascade_free_fn,
1760 };
1761
1762 static struct stream_filter *cascade_filter(struct stream_filter *one,
1763 struct stream_filter *two)
1764 {
1765 struct cascade_filter *cascade;
1766
1767 if (!one || is_null_stream_filter(one))
1768 return two;
1769 if (!two || is_null_stream_filter(two))
1770 return one;
1771
1772 cascade = xmalloc(sizeof(*cascade));
1773 cascade->one = one;
1774 cascade->two = two;
1775 cascade->end = cascade->ptr = 0;
1776 cascade->filter.vtbl = &cascade_vtbl;
1777 return (struct stream_filter *)cascade;
1778 }
1779
1780 /*
1781 * ident filter
1782 */
1783 #define IDENT_DRAINING (-1)
1784 #define IDENT_SKIPPING (-2)
1785 struct ident_filter {
1786 struct stream_filter filter;
1787 struct strbuf left;
1788 int state;
1789 char ident[GIT_MAX_HEXSZ + 5]; /* ": x40 $" */
1790 };
1791
1792 static int is_foreign_ident(const char *str)
1793 {
1794 int i;
1795
1796 if (!skip_prefix(str, "$Id: ", &str))
1797 return 0;
1798 for (i = 0; str[i]; i++) {
1799 if (isspace(str[i]) && str[i+1] != '$')
1800 return 1;
1801 }
1802 return 0;
1803 }
1804
1805 static void ident_drain(struct ident_filter *ident, char **output_p, size_t *osize_p)
1806 {
1807 size_t to_drain = ident->left.len;
1808
1809 if (*osize_p < to_drain)
1810 to_drain = *osize_p;
1811 if (to_drain) {
1812 memcpy(*output_p, ident->left.buf, to_drain);
1813 strbuf_remove(&ident->left, 0, to_drain);
1814 *output_p += to_drain;
1815 *osize_p -= to_drain;
1816 }
1817 if (!ident->left.len)
1818 ident->state = 0;
1819 }
1820
1821 static int ident_filter_fn(struct stream_filter *filter,
1822 const char *input, size_t *isize_p,
1823 char *output, size_t *osize_p)
1824 {
1825 struct ident_filter *ident = (struct ident_filter *)filter;
1826 static const char head[] = "$Id";
1827
1828 if (!input) {
1829 /* drain upon eof */
1830 switch (ident->state) {
1831 default:
1832 strbuf_add(&ident->left, head, ident->state);
1833 /* fallthrough */
1834 case IDENT_SKIPPING:
1835 /* fallthrough */
1836 case IDENT_DRAINING:
1837 ident_drain(ident, &output, osize_p);
1838 }
1839 return 0;
1840 }
1841
1842 while (*isize_p || (ident->state == IDENT_DRAINING)) {
1843 int ch;
1844
1845 if (ident->state == IDENT_DRAINING) {
1846 ident_drain(ident, &output, osize_p);
1847 if (!*osize_p)
1848 break;
1849 continue;
1850 }
1851
1852 ch = *(input++);
1853 (*isize_p)--;
1854
1855 if (ident->state == IDENT_SKIPPING) {
1856 /*
1857 * Skipping until '$' or LF, but keeping them
1858 * in case it is a foreign ident.
1859 */
1860 strbuf_addch(&ident->left, ch);
1861 if (ch != '\n' && ch != '$')
1862 continue;
1863 if (ch == '$' && !is_foreign_ident(ident->left.buf)) {
1864 strbuf_setlen(&ident->left, sizeof(head) - 1);
1865 strbuf_addstr(&ident->left, ident->ident);
1866 }
1867 ident->state = IDENT_DRAINING;
1868 continue;
1869 }
1870
1871 if (ident->state < sizeof(head) &&
1872 head[ident->state] == ch) {
1873 ident->state++;
1874 continue;
1875 }
1876
1877 if (ident->state)
1878 strbuf_add(&ident->left, head, ident->state);
1879 if (ident->state == sizeof(head) - 1) {
1880 if (ch != ':' && ch != '$') {
1881 strbuf_addch(&ident->left, ch);
1882 ident->state = 0;
1883 continue;
1884 }
1885
1886 if (ch == ':') {
1887 strbuf_addch(&ident->left, ch);
1888 ident->state = IDENT_SKIPPING;
1889 } else {
1890 strbuf_addstr(&ident->left, ident->ident);
1891 ident->state = IDENT_DRAINING;
1892 }
1893 continue;
1894 }
1895
1896 strbuf_addch(&ident->left, ch);
1897 ident->state = IDENT_DRAINING;
1898 }
1899 return 0;
1900 }
1901
1902 static void ident_free_fn(struct stream_filter *filter)
1903 {
1904 struct ident_filter *ident = (struct ident_filter *)filter;
1905 strbuf_release(&ident->left);
1906 free(filter);
1907 }
1908
1909 static struct stream_filter_vtbl ident_vtbl = {
1910 ident_filter_fn,
1911 ident_free_fn,
1912 };
1913
1914 static struct stream_filter *ident_filter(const struct object_id *oid)
1915 {
1916 struct ident_filter *ident = xmalloc(sizeof(*ident));
1917
1918 xsnprintf(ident->ident, sizeof(ident->ident),
1919 ": %s $", oid_to_hex(oid));
1920 strbuf_init(&ident->left, 0);
1921 ident->filter.vtbl = &ident_vtbl;
1922 ident->state = 0;
1923 return (struct stream_filter *)ident;
1924 }
1925
1926 /*
1927 * Return an appropriately constructed filter for the path, or NULL if
1928 * the contents cannot be filtered without reading the whole thing
1929 * in-core.
1930 *
1931 * Note that you would be crazy to set CRLF, smuge/clean or ident to a
1932 * large binary blob you would want us not to slurp into the memory!
1933 */
1934 struct stream_filter *get_stream_filter(const struct index_state *istate,
1935 const char *path,
1936 const struct object_id *oid)
1937 {
1938 struct conv_attrs ca;
1939 struct stream_filter *filter = NULL;
1940
1941 convert_attrs(istate, &ca, path);
1942 if (ca.drv && (ca.drv->process || ca.drv->smudge || ca.drv->clean))
1943 return NULL;
1944
1945 if (ca.working_tree_encoding)
1946 return NULL;
1947
1948 if (ca.crlf_action == CRLF_AUTO || ca.crlf_action == CRLF_AUTO_CRLF)
1949 return NULL;
1950
1951 if (ca.ident)
1952 filter = ident_filter(oid);
1953
1954 if (output_eol(ca.crlf_action) == EOL_CRLF)
1955 filter = cascade_filter(filter, lf_to_crlf_filter());
1956 else
1957 filter = cascade_filter(filter, &null_filter_singleton);
1958
1959 return filter;
1960 }
1961
1962 void free_stream_filter(struct stream_filter *filter)
1963 {
1964 filter->vtbl->free(filter);
1965 }
1966
1967 int stream_filter(struct stream_filter *filter,
1968 const char *input, size_t *isize_p,
1969 char *output, size_t *osize_p)
1970 {
1971 return filter->vtbl->filter(filter, input, isize_p, output, osize_p);
1972 }