diff: fix bug 613 (diff -ub segfaults)
[platform/upstream/busybox.git] / editors / diff.c
1 /* vi: set sw=4 ts=4: */
2 /*
3  * Mini diff implementation for busybox, adapted from OpenBSD diff.
4  *
5  * Copyright (C) 2006 by Robert Sullivan <cogito.ergo.cogito@hotmail.com>
6  * Copyright (c) 2003 Todd C. Miller <Todd.Miller@courtesan.com>
7  *
8  * Sponsored in part by the Defense Advanced Research Projects
9  * Agency (DARPA) and Air Force Research Laboratory, Air Force
10  * Materiel Command, USAF, under agreement number F39502-99-1-0512.
11  *
12  * Licensed under GPLv2 or later, see file LICENSE in this tarball for details.
13  */
14
15 #include "libbb.h"
16
17 // #define FSIZE_MAX 32768
18
19 /* NOINLINEs added to prevent gcc from merging too much into diffreg()
20  * (it bites more than it can (efficiently) chew). */
21
22 /*
23  * Output flags
24  */
25 enum {
26         /* Print a header/footer between files */
27         /* D_HEADER = 1, - unused */
28         /* Treat file as empty (/dev/null) */
29         D_EMPTY1 = 2 * ENABLE_FEATURE_DIFF_DIR,
30         D_EMPTY2 = 4 * ENABLE_FEATURE_DIFF_DIR,
31 };
32
33 /*
34  * Status values for print_status() and diffreg() return values
35  * Guide:
36  * D_SAME - files are the same
37  * D_DIFFER - files differ
38  * D_BINARY - binary files differ
39  * D_COMMON - subdirectory common to both dirs
40  * D_ONLY - file only exists in one dir
41  * D_ISDIR1 - path1 a dir, path2 a file
42  * D_ISDIR2 - path1 a file, path2 a dir
43  * D_ERROR - error occurred
44  * D_SKIPPED1 - skipped path1 as it is a special file
45  * D_SKIPPED2 - skipped path2 as it is a special file
46  */
47 #define D_SAME          0
48 #define D_DIFFER        (1 << 0)
49 #define D_BINARY        (1 << 1)
50 #define D_COMMON        (1 << 2)
51 /*#define D_ONLY        (1 << 3) - unused */
52 #define D_ISDIR1        (1 << 4)
53 #define D_ISDIR2        (1 << 5)
54 #define D_ERROR         (1 << 6)
55 #define D_SKIPPED1      (1 << 7)
56 #define D_SKIPPED2      (1 << 8)
57
58 /* Command line options */
59 #define FLAG_a  (1 << 0)
60 #define FLAG_b  (1 << 1)
61 #define FLAG_d  (1 << 2)
62 #define FLAG_i  (1 << 3)
63 #define FLAG_L  (1 << 4)
64 #define FLAG_N  (1 << 5)
65 #define FLAG_q  (1 << 6)
66 #define FLAG_r  (1 << 7)
67 #define FLAG_s  (1 << 8)
68 #define FLAG_S  (1 << 9)
69 #define FLAG_t  (1 << 10)
70 #define FLAG_T  (1 << 11)
71 #define FLAG_U  (1 << 12)
72 #define FLAG_w  (1 << 13)
73
74
75 struct cand {
76         int x;
77         int y;
78         int pred;
79 };
80
81 struct line {
82         int serial;
83         int value;
84 };
85
86 /*
87  * The following struct is used to record change information
88  * doing a "context" or "unified" diff.  (see routine "change" to
89  * understand the highly mnemonic field names)
90  */
91 struct context_vec {
92         int a;          /* start line in old file */
93         int b;          /* end line in old file */
94         int c;          /* start line in new file */
95         int d;          /* end line in new file */
96 };
97
98
99 #define g_read_buf bb_common_bufsiz1
100
101 struct globals {
102         bool anychange;
103         smallint exit_status;
104         int opt_U_context;
105         int context_idx;
106         IF_FEATURE_DIFF_DIR(int dl_count;)
107         IF_FEATURE_DIFF_DIR(char **dl;)
108         char *opt_S_start;
109         const char *label1;
110         const char *label2;
111         int *J;                 /* will be overlaid on class */
112         int clen;
113         int pref, suff;         /* length of prefix and suffix */
114         int nlen[2];
115         int slen[2];
116         int clistlen;           /* the length of clist */
117         struct cand *clist;     /* merely a free storage pot for candidates */
118         long *ixnew;            /* will be overlaid on nfile[1] */
119         long *ixold;            /* will be overlaid on klist */
120         struct line *nfile[2];
121         struct line *sfile[2];  /* shortened by pruning common prefix/suffix */
122         struct context_vec *context_vector;
123         char *tempname1, *tempname2;
124         struct stat stb1, stb2;
125 };
126 #define G (*ptr_to_globals)
127 #define anychange          (G.anychange         )
128 #define exit_status        (G.exit_status       )
129 #define opt_U_context      (G.opt_U_context     )
130 #define context_idx        (G.context_idx       )
131 #define dl_count           (G.dl_count          )
132 #define dl                 (G.dl                )
133 #define opt_S_start        (G.opt_S_start       )
134 #define label1             (G.label1            )
135 #define label2             (G.label2            )
136 #define J                  (G.J                 )
137 #define clen               (G.clen              )
138 #define pref               (G.pref              )
139 #define suff               (G.suff              )
140 #define nlen               (G.nlen              )
141 #define slen               (G.slen              )
142 #define clistlen           (G.clistlen          )
143 #define clist              (G.clist             )
144 #define ixnew              (G.ixnew             )
145 #define ixold              (G.ixold             )
146 #define nfile              (G.nfile             )
147 #define sfile              (G.sfile             )
148 #define context_vector     (G.context_vector    )
149 #define stb1               (G.stb1              )
150 #define stb2               (G.stb2              )
151 #define tempname1          (G.tempname1         )
152 #define tempname2          (G.tempname2         )
153 #define INIT_G() do { \
154         SET_PTR_TO_GLOBALS(xzalloc(sizeof(G))); \
155         opt_U_context = 3; \
156         context_vector = xrealloc_vector(context_vector, 6, 0); \
157 } while (0)
158
159
160 #if ENABLE_FEATURE_DIFF_DIR
161 static void print_only(const char *path, const char *entry)
162 {
163         printf("Only in %s: %s\n", path, entry);
164 }
165 #endif
166
167
168 static void print_status(int val, char *_path1, char *_path2)
169 {
170         /*const char *const _entry = entry ? entry : "";*/
171         /*char *const _path1 = entry ? concat_path_file(path1, _entry) : path1;*/
172         /*char *const _path2 = entry ? concat_path_file(path2, _entry) : path2;*/
173
174         switch (val) {
175 /*      case D_ONLY:
176                 print_only(path1, entry);
177                 break;
178 */
179         case D_COMMON:
180                 printf("Common subdirectories: %s and %s\n", _path1, _path2);
181                 break;
182         case D_BINARY:
183                 printf("Binary files %s and %s differ\n", _path1, _path2);
184                 break;
185         case D_DIFFER:
186                 if (option_mask32 & FLAG_q)
187                         printf("Files %s and %s differ\n", _path1, _path2);
188                 break;
189         case D_SAME:
190                 if (option_mask32 & FLAG_s)
191                         printf("Files %s and %s are identical\n", _path1, _path2);
192                 break;
193         case D_ISDIR1:
194                 printf("File %s is a %s while file %s is a %s\n",
195                            _path1, "directory", _path2, "regular file");
196                 break;
197         case D_ISDIR2:
198                 printf("File %s is a %s while file %s is a %s\n",
199                            _path1, "regular file", _path2, "directory");
200                 break;
201         case D_SKIPPED1:
202                 printf("File %s is not a regular file or directory and was skipped\n",
203                            _path1);
204                 break;
205         case D_SKIPPED2:
206                 printf("File %s is not a regular file or directory and was skipped\n",
207                            _path2);
208                 break;
209         }
210 /*
211         if (entry) {
212                 free(_path1);
213                 free(_path2);
214         }
215 */
216 }
217
218
219 /* Read line, return its nonzero hash. Return 0 if EOF.
220  *
221  * Hash function taken from Robert Sedgewick, Algorithms in C, 3d ed., p 578.
222  */
223 static ALWAYS_INLINE int fiddle_sum(int sum, int t)
224 {
225         return sum * 127 + t;
226 }
227 static int readhash(FILE *fp)
228 {
229         int i, t;
230         int sum;
231
232         sum = 1;
233         i = 0;
234         if (!(option_mask32 & (FLAG_b | FLAG_w))) {
235                 while ((t = getc(fp)) != '\n') {
236                         if (t == EOF) {
237                                 if (i == 0)
238                                         return 0;
239                                 break;
240                         }
241                         sum = fiddle_sum(sum, t);
242                         i = 1;
243                 }
244         } else {
245                 int space = 0;
246
247                 while (1) {
248                         t = getc(fp);
249                         switch (t) {
250                         case '\t':
251                         case '\r':
252                         case '\v':
253                         case '\f':
254                         case ' ':
255                                 space = 1;
256                                 continue;
257                         default:
258                                 if (space && !(option_mask32 & FLAG_w)) {
259                                         i = 1;
260                                         space = 0;
261                                 }
262                                 sum = fiddle_sum(sum, t);
263                                 i = 1;
264                                 continue;
265                         case EOF:
266                                 if (i == 0)
267                                         return 0;
268                                 /* FALLTHROUGH */
269                         case '\n':
270                                 break;
271                         }
272                         break;
273                 }
274         }
275         /*
276          * There is a remote possibility that we end up with a zero sum.
277          * Zero is used as an EOF marker, so return 1 instead.
278          */
279         return (sum == 0 ? 1 : sum);
280 }
281
282
283 /* Our diff implementation is using seek.
284  * When we meet non-seekable file, we must make a temp copy.
285  */
286 static char *make_temp(FILE *f, struct stat *sb)
287 {
288         char *name;
289         int fd;
290
291         if (S_ISREG(sb->st_mode) || S_ISBLK(sb->st_mode))
292                 return NULL;
293         name = xstrdup("/tmp/difXXXXXX");
294         fd = mkstemp(name);
295         if (fd < 0)
296                 bb_perror_msg_and_die("mkstemp");
297         if (bb_copyfd_eof(fileno(f), fd) < 0) {
298  clean_up:
299                 unlink(name);
300                 xfunc_die(); /* error message is printed by bb_copyfd_eof */
301         }
302         fstat(fd, sb);
303         close(fd);
304         if (freopen(name, "r+", f) == NULL) {
305                 bb_perror_msg("freopen");
306                 goto clean_up;
307         }
308         return name;
309 }
310
311
312 /*
313  * Check to see if the given files differ.
314  * Returns 0 if they are the same, 1 if different, and -1 on error.
315  */
316 static NOINLINE int files_differ(FILE *f1, FILE *f2)
317 {
318         size_t i, j;
319
320         /* Prevent making copies for "/dev/null" (too common) */
321         /* Deal with input from pipes etc */
322         tempname1 = make_temp(f1, &stb1);
323         tempname2 = make_temp(f2, &stb2);
324         if (stb1.st_size != stb2.st_size) {
325                 return 1;
326         }
327         while (1) {
328                 i = fread(g_read_buf,                    1, COMMON_BUFSIZE/2, f1);
329                 j = fread(g_read_buf + COMMON_BUFSIZE/2, 1, COMMON_BUFSIZE/2, f2);
330                 if (i != j)
331                         return 1;
332                 if (i == 0)
333                         return (ferror(f1) || ferror(f2)) ? -1 : 0;
334                 if (memcmp(g_read_buf,
335                            g_read_buf + COMMON_BUFSIZE/2, i) != 0)
336                         return 1;
337         }
338 }
339
340
341 static void prepare(int i, FILE *fp /*, off_t filesize*/)
342 {
343         struct line *p;
344         int h;
345         size_t j, sz;
346
347         rewind(fp);
348
349         /*sz = (filesize <= FSIZE_MAX ? filesize : FSIZE_MAX) / 25;*/
350         /*if (sz < 100)*/
351         sz = 100;
352
353         p = xmalloc((sz + 3) * sizeof(p[0]));
354         j = 0;
355         while ((h = readhash(fp)) != 0) { /* while not EOF */
356                 if (j == sz) {
357                         sz = sz * 3 / 2;
358                         p = xrealloc(p, (sz + 3) * sizeof(p[0]));
359                 }
360                 p[++j].value = h;
361         }
362         nlen[i] = j;
363         nfile[i] = p;
364 }
365
366
367 static void prune(void)
368 {
369         int i, j;
370
371         for (pref = 0; pref < nlen[0] && pref < nlen[1] &&
372                 nfile[0][pref + 1].value == nfile[1][pref + 1].value; pref++)
373                 continue;
374         for (suff = 0; suff < nlen[0] - pref && suff < nlen[1] - pref &&
375                 nfile[0][nlen[0] - suff].value == nfile[1][nlen[1] - suff].value;
376                 suff++)
377                 continue;
378         for (j = 0; j < 2; j++) {
379                 sfile[j] = nfile[j] + pref;
380                 slen[j] = nlen[j] - pref - suff;
381                 for (i = 0; i <= slen[j]; i++)
382                         sfile[j][i].serial = i;
383         }
384 }
385
386
387 static void equiv(struct line *a, int n, struct line *b, int m, int *c)
388 {
389         int i, j;
390
391         i = j = 1;
392         while (i <= n && j <= m) {
393                 if (a[i].value < b[j].value)
394                         a[i++].value = 0;
395                 else if (a[i].value == b[j].value)
396                         a[i++].value = j;
397                 else
398                         j++;
399         }
400         while (i <= n)
401                 a[i++].value = 0;
402         b[m + 1].value = 0;
403         j = 0;
404         while (++j <= m) {
405                 c[j] = -b[j].serial;
406                 while (b[j + 1].value == b[j].value) {
407                         j++;
408                         c[j] = b[j].serial;
409                 }
410         }
411         c[j] = -1;
412 }
413
414
415 static int isqrt(int n)
416 {
417         int y, x;
418
419         if (n == 0)
420                 return 0;
421         x = 1;
422         do {
423                 y = x;
424                 x = n / x;
425                 x += y;
426                 x /= 2;
427         } while ((x - y) > 1 || (x - y) < -1);
428
429         return x;
430 }
431
432
433 static int newcand(int x, int y, int pred)
434 {
435         struct cand *q;
436
437         if (clen == clistlen) {
438                 clistlen = clistlen * 11 / 10;
439                 clist = xrealloc(clist, clistlen * sizeof(struct cand));
440         }
441         q = clist + clen;
442         q->x = x;
443         q->y = y;
444         q->pred = pred;
445         return clen++;
446 }
447
448
449 static int search(int *c, int k, int y)
450 {
451         int i, j, l, t;
452
453         if (clist[c[k]].y < y)  /* quick look for typical case */
454                 return k + 1;
455         i = 0;
456         j = k + 1;
457         while (1) {
458                 l = i + j;
459                 if ((l >>= 1) <= i)
460                         break;
461                 t = clist[c[l]].y;
462                 if (t > y)
463                         j = l;
464                 else if (t < y)
465                         i = l;
466                 else
467                         return l;
468         }
469         return l + 1;
470 }
471
472
473 static int stone(int *a, int n, int *b, int *c)
474 {
475         int i, k, y, j, l;
476         int oldc, tc, oldl;
477         unsigned int numtries;
478 #if ENABLE_FEATURE_DIFF_MINIMAL
479         const unsigned int bound =
480                 (option_mask32 & FLAG_d) ? UINT_MAX : MAX(256, isqrt(n));
481 #else
482         const unsigned int bound = MAX(256, isqrt(n));
483 #endif
484
485         k = 0;
486         c[0] = newcand(0, 0, 0);
487         for (i = 1; i <= n; i++) {
488                 j = a[i];
489                 if (j == 0)
490                         continue;
491                 y = -b[j];
492                 oldl = 0;
493                 oldc = c[0];
494                 numtries = 0;
495                 do {
496                         if (y <= clist[oldc].y)
497                                 continue;
498                         l = search(c, k, y);
499                         if (l != oldl + 1)
500                                 oldc = c[l - 1];
501                         if (l <= k) {
502                                 if (clist[c[l]].y <= y)
503                                         continue;
504                                 tc = c[l];
505                                 c[l] = newcand(i, y, oldc);
506                                 oldc = tc;
507                                 oldl = l;
508                                 numtries++;
509                         } else {
510                                 c[l] = newcand(i, y, oldc);
511                                 k++;
512                                 break;
513                         }
514                 } while ((y = b[++j]) > 0 && numtries < bound);
515         }
516         return k;
517 }
518
519
520 static void unravel(int p)
521 {
522         struct cand *q;
523         int i;
524
525         for (i = 0; i <= nlen[0]; i++)
526                 J[i] = i <= pref ? i : i > nlen[0] - suff ? i + nlen[1] - nlen[0] : 0;
527         for (q = clist + p; q->y != 0; q = clist + q->pred)
528                 J[q->x + pref] = q->y + pref;
529 }
530
531
532 static void unsort(struct line *f, int l, int *b)
533 {
534         int *a, i;
535
536         a = xmalloc((l + 1) * sizeof(int));
537         for (i = 1; i <= l; i++)
538                 a[f[i].serial] = f[i].value;
539         for (i = 1; i <= l; i++)
540                 b[i] = a[i];
541         free(a);
542 }
543
544
545 static int skipline(FILE *f)
546 {
547         int i, c;
548
549         for (i = 1; (c = getc(f)) != '\n' && c != EOF; i++)
550                 continue;
551         return i;
552 }
553
554
555 /*
556  * Check does double duty:
557  *  1.  ferret out any fortuitous correspondences due
558  *      to confounding by hashing (which result in "jackpot")
559  *  2.  collect random access indexes to the two files
560  */
561 static NOINLINE void check(FILE *f1, FILE *f2)
562 {
563         int i, j, jackpot, c, d;
564         long ctold, ctnew;
565
566         rewind(f1);
567         rewind(f2);
568         j = 1;
569         ixold[0] = ixnew[0] = 0;
570         jackpot = 0;
571         ctold = ctnew = 0;
572         for (i = 1; i <= nlen[0]; i++) {
573                 if (J[i] == 0) {
574                         ixold[i] = ctold += skipline(f1);
575                         continue;
576                 }
577                 while (j < J[i]) {
578                         ixnew[j] = ctnew += skipline(f2);
579                         j++;
580                 }
581                 if (option_mask32 & (FLAG_b | FLAG_w | FLAG_i)) {
582                         while (1) {
583                                 c = getc(f1);
584                                 d = getc(f2);
585                                 /*
586                                  * GNU diff ignores a missing newline
587                                  * in one file if bflag || wflag.
588                                  */
589                                 if ((option_mask32 & (FLAG_b | FLAG_w))
590                                  && ((c == EOF && d == '\n') || (c == '\n' && d == EOF))
591                                 ) {
592                                         break;
593                                 }
594                                 ctold++;
595                                 ctnew++;
596                                 if ((option_mask32 & FLAG_b) && isspace(c) && isspace(d)) {
597                                         do {
598                                                 if (c == '\n')
599                                                         break;
600                                                 ctold++;
601                                                 c = getc(f1);
602                                         } while (isspace(c));
603                                         do {
604                                                 if (d == '\n')
605                                                         break;
606                                                 ctnew++;
607                                                 d = getc(f2);
608                                         } while (isspace(d));
609                                 } else if (option_mask32 & FLAG_w) {
610                                         while (isspace(c) && c != '\n') {
611                                                 c = getc(f1);
612                                                 ctold++;
613                                         }
614                                         while (isspace(d) && d != '\n') {
615                                                 d = getc(f2);
616                                                 ctnew++;
617                                         }
618                                 }
619                                 if (c != d) {
620                                         jackpot++;
621                                         J[i] = 0;
622                                         if (c != '\n' && c != EOF)
623                                                 ctold += skipline(f1);
624                                         if (d != '\n' && c != EOF)
625                                                 ctnew += skipline(f2);
626                                         break;
627                                 }
628                                 if (c == '\n' || c == EOF)
629                                         break;
630                         }
631                 } else {
632                         while (1) {
633                                 ctold++;
634                                 ctnew++;
635                                 c = getc(f1);
636                                 d = getc(f2);
637                                 if (c != d) {
638                                         J[i] = 0;
639                                         if (c != '\n' && c != EOF)
640                                                 ctold += skipline(f1);
641 /* was buggy? "if (d != '\n' && c != EOF)" */
642                                         if (d != '\n' && d != EOF)
643                                                 ctnew += skipline(f2);
644                                         break;
645                                 }
646                                 if (c == '\n' || c == EOF)
647                                         break;
648                         }
649                 }
650                 ixold[i] = ctold;
651                 ixnew[j] = ctnew;
652                 j++;
653         }
654         for (; j <= nlen[1]; j++)
655                 ixnew[j] = ctnew += skipline(f2);
656 }
657
658
659 /* shellsort CACM #201 */
660 static void sort(struct line *a, int n)
661 {
662         struct line *ai, *aim, w;
663         int j, m = 0, k;
664
665         if (n == 0)
666                 return;
667         for (j = 1; j <= n; j *= 2)
668                 m = 2 * j - 1;
669         for (m /= 2; m != 0; m /= 2) {
670                 k = n - m;
671                 for (j = 1; j <= k; j++) {
672                         for (ai = &a[j]; ai > a; ai -= m) {
673                                 aim = &ai[m];
674                                 if (aim < ai)
675                                         break;  /* wraparound */
676                                 if (aim->value > ai[0].value
677                                  || (aim->value == ai[0].value && aim->serial > ai[0].serial)
678                                 ) {
679                                         break;
680                                 }
681                                 w.value = ai[0].value;
682                                 ai[0].value = aim->value;
683                                 aim->value = w.value;
684                                 w.serial = ai[0].serial;
685                                 ai[0].serial = aim->serial;
686                                 aim->serial = w.serial;
687                         }
688                 }
689         }
690 }
691
692
693 static void uni_range(int a, int b)
694 {
695         if (a < b)
696                 printf("%d,%d", a, b - a + 1);
697         else if (a == b)
698                 printf("%d", b);
699         else
700                 printf("%d,0", b);
701 }
702
703
704 static void fetch(long *f, int a, int b, FILE *lb, int ch)
705 {
706         int i, j, c, lastc, col, nc;
707
708         if (a > b)
709                 return;
710         for (i = a; i <= b; i++) {
711                 fseek(lb, f[i - 1], SEEK_SET);
712                 nc = f[i] - f[i - 1];
713                 if (ch != '\0') {
714                         putchar(ch);
715                         if (option_mask32 & FLAG_T)
716                                 putchar('\t');
717                 }
718                 col = 0;
719                 for (j = 0, lastc = '\0'; j < nc; j++, lastc = c) {
720                         c = getc(lb);
721                         if (c == EOF) {
722                                 printf("\n\\ No newline at end of file\n");
723                                 return;
724                         }
725                         if (c == '\t' && (option_mask32 & FLAG_t)) {
726                                 do {
727                                         putchar(' ');
728                                 } while (++col & 7);
729                         } else {
730                                 putchar(c);
731                                 col++;
732                         }
733                 }
734         }
735 }
736
737
738 #if ENABLE_FEATURE_DIFF_BINARY
739 static int asciifile(FILE *f)
740 {
741         int i, cnt;
742
743         if (option_mask32 & FLAG_a)
744                 return 1;
745         rewind(f);
746         cnt = fread(g_read_buf, 1, COMMON_BUFSIZE, f);
747         for (i = 0; i < cnt; i++) {
748                 if (!isprint(g_read_buf[i])
749                  && !isspace(g_read_buf[i])
750                 ) {
751                         return 0;
752                 }
753         }
754         return 1;
755 }
756 #else
757 #define asciifile(f) 1
758 #endif
759
760
761 /* dump accumulated "unified" diff changes */
762 static void dump_unified_vec(FILE *f1, FILE *f2)
763 {
764         struct context_vec *cvp = context_vector;
765         int lowa, upb, lowc, upd;
766         int a, b, c, d;
767         char ch;
768
769         if (context_idx < 0)
770                 return;
771
772         b = d = 0;                      /* gcc */
773         lowa = MAX(1, cvp->a - opt_U_context);
774         upb = MIN(nlen[0], context_vector[context_idx].b + opt_U_context);
775         lowc = MAX(1, cvp->c - opt_U_context);
776         upd = MIN(nlen[1], context_vector[context_idx].d + opt_U_context);
777
778         printf("@@ -");
779         uni_range(lowa, upb);
780         printf(" +");
781         uni_range(lowc, upd);
782         printf(" @@\n");
783
784         /*
785          * Output changes in "unified" diff format--the old and new lines
786          * are printed together.
787          */
788         for (; cvp <= &context_vector[context_idx]; cvp++) {
789                 a = cvp->a;
790                 b = cvp->b;
791                 c = cvp->c;
792                 d = cvp->d;
793
794                 /*
795                  * c: both new and old changes
796                  * d: only changes in the old file
797                  * a: only changes in the new file
798                  */
799                 if (a <= b && c <= d)
800                         ch = 'c';
801                 else
802                         ch = (a <= b) ? 'd' : 'a';
803 #if 0
804                 switch (ch) {
805                 case 'c':
806 // fetch() seeks!
807                         fetch(ixold, lowa, a - 1, f1, ' ');
808                         fetch(ixold, a, b, f1, '-');
809                         fetch(ixnew, c, d, f2, '+');
810                         break;
811                 case 'd':
812                         fetch(ixold, lowa, a - 1, f1, ' ');
813                         fetch(ixold, a, b, f1, '-');
814                         break;
815                 case 'a':
816                         fetch(ixnew, lowc, c - 1, f2, ' ');
817                         fetch(ixnew, c, d, f2, '+');
818                         break;
819                 }
820 #else
821                 if (ch == 'c' || ch == 'd') {
822                         fetch(ixold, lowa, a - 1, f1, ' ');
823                         fetch(ixold, a, b, f1, '-');
824                 }
825                 if (ch == 'a')
826                         fetch(ixnew, lowc, c - 1, f2, ' ');
827                 if (ch == 'c' || ch == 'a')
828                         fetch(ixnew, c, d, f2, '+');
829 #endif
830                 lowa = b + 1;
831                 lowc = d + 1;
832         }
833         fetch(ixnew, d + 1, upd, f2, ' ');
834
835         context_idx = -1;
836 }
837
838
839 static void print_header(const char *file1, const char *file2)
840 {
841         if (label1)
842                 printf("--- %s\n", label1);
843         else
844                 printf("--- %s\t%s", file1, ctime(&stb1.st_mtime));
845         if (label2)
846                 printf("+++ %s\n", label2);
847         else
848                 printf("+++ %s\t%s", file2, ctime(&stb2.st_mtime));
849 }
850
851
852 /*
853  * Indicate that there is a difference between lines a and b of the from file
854  * to get to lines c to d of the to file.  If a is greater than b then there
855  * are no lines in the from file involved and this means that there were
856  * lines appended (beginning at b).  If c is greater than d then there are
857  * lines missing from the to file.
858  */
859 static void change(const char *file1, FILE *f1, const char *file2, FILE *f2,
860                         int a, int b, int c, int d)
861 {
862         if ((a > b && c > d) || (option_mask32 & FLAG_q)) {
863                 anychange = 1;
864                 return;
865         }
866
867         if (anychange == 0) {
868                 /*
869                  * Print the context/unidiff header first time through.
870                  */
871                 print_header(file1, file2);
872         } else if (a > context_vector[context_idx].b + (2 * opt_U_context) + 1
873                 && c > context_vector[context_idx].d + (2 * opt_U_context) + 1
874         ) {
875                 /*
876                  * If this change is more than 'context' lines from the
877                  * previous change, dump the record and reset it.
878                  */
879 // dump_unified_vec() seeks!
880                 dump_unified_vec(f1, f2);
881         }
882         context_idx++;
883         context_vector = xrealloc_vector(context_vector, 6, context_idx);
884         context_vector[context_idx].a = a;
885         context_vector[context_idx].b = b;
886         context_vector[context_idx].c = c;
887         context_vector[context_idx].d = d;
888         anychange = 1;
889 }
890
891
892 static void output(const char *file1, FILE *f1, const char *file2, FILE *f2)
893 {
894         /* Note that j0 and j1 can't be used as they are defined in math.h.
895          * This also allows the rather amusing variable 'j00'... */
896         int m, i0, i1, j00, j01;
897
898         rewind(f1);
899         rewind(f2);
900         m = nlen[0];
901         J[0] = 0;
902         J[m + 1] = nlen[1] + 1;
903         for (i0 = 1; i0 <= m; i0 = i1 + 1) {
904                 while (i0 <= m && J[i0] == J[i0 - 1] + 1)
905                         i0++;
906                 j00 = J[i0 - 1] + 1;
907                 i1 = i0 - 1;
908                 while (i1 < m && J[i1 + 1] == 0)
909                         i1++;
910                 j01 = J[i1 + 1] - 1;
911                 J[i1] = j01;
912 // change() seeks!
913                 change(file1, f1, file2, f2, i0, i1, j00, j01);
914         }
915         if (m == 0) {
916 // change() seeks!
917                 change(file1, f1, file2, f2, 1, 0, 1, nlen[1]);
918         }
919         if (anychange != 0 && !(option_mask32 & FLAG_q)) {
920 // dump_unified_vec() seeks!
921                 dump_unified_vec(f1, f2);
922         }
923 }
924
925 /*
926  * The following code uses an algorithm due to Harold Stone,
927  * which finds a pair of longest identical subsequences in
928  * the two files.
929  *
930  * The major goal is to generate the match vector J.
931  * J[i] is the index of the line in file1 corresponding
932  * to line i in file0. J[i] = 0 if there is no
933  * such line in file1.
934  *
935  * Lines are hashed so as to work in core. All potential
936  * matches are located by sorting the lines of each file
937  * on the hash (called "value"). In particular, this
938  * collects the equivalence classes in file1 together.
939  * Subroutine equiv replaces the value of each line in
940  * file0 by the index of the first element of its
941  * matching equivalence in (the reordered) file1.
942  * To save space equiv squeezes file1 into a single
943  * array member in which the equivalence classes
944  * are simply concatenated, except that their first
945  * members are flagged by changing sign.
946  *
947  * Next the indices that point into member are unsorted into
948  * array class according to the original order of file0.
949  *
950  * The cleverness lies in routine stone. This marches
951  * through the lines of file0, developing a vector klist
952  * of "k-candidates". At step i a k-candidate is a matched
953  * pair of lines x,y (x in file0, y in file1) such that
954  * there is a common subsequence of length k
955  * between the first i lines of file0 and the first y
956  * lines of file1, but there is no such subsequence for
957  * any smaller y. x is the earliest possible mate to y
958  * that occurs in such a subsequence.
959  *
960  * Whenever any of the members of the equivalence class of
961  * lines in file1 matable to a line in file0 has serial number
962  * less than the y of some k-candidate, that k-candidate
963  * with the smallest such y is replaced. The new
964  * k-candidate is chained (via pred) to the current
965  * k-1 candidate so that the actual subsequence can
966  * be recovered. When a member has serial number greater
967  * that the y of all k-candidates, the klist is extended.
968  * At the end, the longest subsequence is pulled out
969  * and placed in the array J by unravel
970  *
971  * With J in hand, the matches there recorded are
972  * checked against reality to assure that no spurious
973  * matches have crept in due to hashing. If they have,
974  * they are broken, and "jackpot" is recorded--a harmless
975  * matter except that a true match for a spuriously
976  * mated line may now be unnecessarily reported as a change.
977  *
978  * Much of the complexity of the program comes simply
979  * from trying to minimize core utilization and
980  * maximize the range of doable problems by dynamically
981  * allocating what is needed and reusing what is not.
982  * The core requirements for problems larger than somewhat
983  * are (in words) 2*length(file0) + length(file1) +
984  * 3*(number of k-candidates installed), typically about
985  * 6n words for files of length n.
986  */
987 /* NB: files can be not REGular. The only sure thing that they
988  * are not both DIRectories. */
989 static unsigned diffreg(const char *file1, const char *file2, int flags)
990 {
991         int *member;     /* will be overlaid on nfile[1] */
992         int *class;      /* will be overlaid on nfile[0] */
993         int *klist;      /* will be overlaid on nfile[0] after class */
994         FILE *f1;
995         FILE *f2;
996         unsigned rval;
997         int i;
998
999         anychange = 0;
1000         context_idx = -1;
1001         tempname1 = tempname2 = NULL;
1002
1003         /* Is any of them a directory? Then it's simple */
1004         if (S_ISDIR(stb1.st_mode) != S_ISDIR(stb2.st_mode))
1005                 return (S_ISDIR(stb1.st_mode) ? D_ISDIR1 : D_ISDIR2);
1006
1007         /* None of them are directories */
1008         rval = D_SAME;
1009
1010         if (flags & D_EMPTY1)
1011                 /* can't be stdin, but xfopen_stdin() is smaller code */
1012                 file1 = bb_dev_null;
1013         f1 = xfopen_stdin(file1);
1014         if (flags & D_EMPTY2)
1015                 file2 = bb_dev_null;
1016         f2 = xfopen_stdin(file2);
1017
1018         /* NB: if D_EMPTY1/2 is set, other file is always a regular file,
1019          * not pipe/fifo/chardev/etc - D_EMPTY is used by "diff -r" only,
1020          * and it never diffs non-ordinary files in subdirs. */
1021         if (!(flags & (D_EMPTY1 | D_EMPTY2))) {
1022                 /* Quick check whether they are different */
1023                 /* NB: copies non-REG files to tempfiles and fills tempname1/2 */
1024                 i = files_differ(f1, f2);
1025                 if (i != 1) { /* not different? */
1026                         if (i != 0) /* error? */
1027                                 exit_status |= 2;
1028                         goto closem;
1029                 }
1030         }
1031
1032         if (!asciifile(f1) || !asciifile(f2)) {
1033                 rval = D_BINARY;
1034                 exit_status |= 1;
1035                 goto closem;
1036         }
1037
1038 // Rewind inside!
1039         prepare(0, f1 /*, stb1.st_size*/);
1040         prepare(1, f2 /*, stb2.st_size*/);
1041         prune();
1042         sort(sfile[0], slen[0]);
1043         sort(sfile[1], slen[1]);
1044
1045         member = (int *) nfile[1];
1046         equiv(sfile[0], slen[0], sfile[1], slen[1], member);
1047 //TODO: xrealloc_vector?
1048         member = xrealloc(member, (slen[1] + 2) * sizeof(int));
1049
1050         class = (int *) nfile[0];
1051         unsort(sfile[0], slen[0], class);
1052         class = xrealloc(class, (slen[0] + 2) * sizeof(int));
1053
1054         klist = xmalloc((slen[0] + 2) * sizeof(int));
1055         clen = 0;
1056         clistlen = 100;
1057         clist = xmalloc(clistlen * sizeof(struct cand));
1058         i = stone(class, slen[0], member, klist);
1059         free(member);
1060         free(class);
1061
1062         J = xrealloc(J, (nlen[0] + 2) * sizeof(int));
1063         unravel(klist[i]);
1064         free(clist);
1065         free(klist);
1066
1067         ixold = xrealloc(ixold, (nlen[0] + 2) * sizeof(long));
1068         ixnew = xrealloc(ixnew, (nlen[1] + 2) * sizeof(long));
1069 // Rewind inside!
1070         check(f1, f2);
1071 // Rewind inside!
1072         output(file1, f1, file2, f2);
1073
1074  closem:
1075         if (anychange) {
1076                 exit_status |= 1;
1077                 if (rval == D_SAME)
1078                         rval = D_DIFFER;
1079         }
1080         fclose_if_not_stdin(f1);
1081         fclose_if_not_stdin(f2);
1082         if (tempname1) {
1083                 unlink(tempname1);
1084                 free(tempname1);
1085         }
1086         if (tempname2) {
1087                 unlink(tempname2);
1088                 free(tempname2);
1089         }
1090         return rval;
1091 }
1092
1093
1094 #if ENABLE_FEATURE_DIFF_DIR
1095 static void do_diff(char *dir1, char *path1, char *dir2, char *path2)
1096 {
1097         int flags = 0; /*D_HEADER;*/
1098         int val;
1099         char *fullpath1 = NULL; /* if -N */
1100         char *fullpath2 = NULL;
1101
1102         if (path1)
1103                 fullpath1 = concat_path_file(dir1, path1);
1104         if (path2)
1105                 fullpath2 = concat_path_file(dir2, path2);
1106
1107         if (!fullpath1 || stat(fullpath1, &stb1) != 0) {
1108                 flags |= D_EMPTY1;
1109                 memset(&stb1, 0, sizeof(stb1));
1110                 if (path2) {
1111                         free(fullpath1);
1112                         fullpath1 = concat_path_file(dir1, path2);
1113                 }
1114         }
1115         if (!fullpath2 || stat(fullpath2, &stb2) != 0) {
1116                 flags |= D_EMPTY2;
1117                 memset(&stb2, 0, sizeof(stb2));
1118                 stb2.st_mode = stb1.st_mode;
1119                 if (path1) {
1120                         free(fullpath2);
1121                         fullpath2 = concat_path_file(dir2, path1);
1122                 }
1123         }
1124
1125         if (stb1.st_mode == 0)
1126                 stb1.st_mode = stb2.st_mode;
1127
1128         if (S_ISDIR(stb1.st_mode) && S_ISDIR(stb2.st_mode)) {
1129                 printf("Common subdirectories: %s and %s\n", fullpath1, fullpath2);
1130                 goto ret;
1131         }
1132
1133         if (!S_ISREG(stb1.st_mode) && !S_ISDIR(stb1.st_mode))
1134                 val = D_SKIPPED1;
1135         else if (!S_ISREG(stb2.st_mode) && !S_ISDIR(stb2.st_mode))
1136                 val = D_SKIPPED2;
1137         else {
1138                 /* Both files are either REGular or DIRectories */
1139                 val = diffreg(fullpath1, fullpath2, flags);
1140         }
1141
1142         print_status(val, fullpath1, fullpath2 /*, NULL*/);
1143  ret:
1144         free(fullpath1);
1145         free(fullpath2);
1146 }
1147 #endif
1148
1149
1150 #if ENABLE_FEATURE_DIFF_DIR
1151 /* This function adds a filename to dl, the directory listing. */
1152 static int FAST_FUNC add_to_dirlist(const char *filename,
1153                 struct stat *sb UNUSED_PARAM,
1154                 void *userdata,
1155                 int depth UNUSED_PARAM)
1156 {
1157         dl = xrealloc_vector(dl, 5, dl_count);
1158         dl[dl_count] = xstrdup(filename + (int)(ptrdiff_t)userdata);
1159         dl_count++;
1160         return TRUE;
1161 }
1162
1163
1164 /* This returns a sorted directory listing. */
1165 static char **get_recursive_dirlist(char *path)
1166 {
1167         dl_count = 0;
1168         dl = xzalloc(sizeof(dl[0]));
1169
1170         /* We need to trim root directory prefix.
1171          * Using void *userdata to specify its length,
1172          * add_to_dirlist will remove it. */
1173         if (option_mask32 & FLAG_r) {
1174                 recursive_action(path, ACTION_RECURSE|ACTION_FOLLOWLINKS,
1175                                         add_to_dirlist, /* file_action */
1176                                         NULL, /* dir_action */
1177                                         (void*)(ptrdiff_t)(strlen(path) + 1),
1178                                         0);
1179         } else {
1180                 DIR *dp;
1181                 struct dirent *ep;
1182
1183                 dp = warn_opendir(path);
1184                 while ((ep = readdir(dp))) {
1185                         if (!strcmp(ep->d_name, "..") || LONE_CHAR(ep->d_name, '.'))
1186                                 continue;
1187                         add_to_dirlist(ep->d_name, NULL, (void*)(int)0, 0);
1188                 }
1189                 closedir(dp);
1190         }
1191
1192         /* Sort dl alphabetically. */
1193         qsort_string_vector(dl, dl_count);
1194
1195         dl[dl_count] = NULL;
1196         return dl;
1197 }
1198
1199
1200 static void diffdir(char *p1, char *p2)
1201 {
1202         char **dirlist1, **dirlist2;
1203         char *dp1, *dp2;
1204         int pos;
1205
1206         /* Check for trailing slashes. */
1207         dp1 = last_char_is(p1, '/');
1208         if (dp1 != NULL)
1209                 *dp1 = '\0';
1210         dp2 = last_char_is(p2, '/');
1211         if (dp2 != NULL)
1212                 *dp2 = '\0';
1213
1214         /* Get directory listings for p1 and p2. */
1215         dirlist1 = get_recursive_dirlist(p1);
1216         dirlist2 = get_recursive_dirlist(p2);
1217
1218         /* If -S was set, find the starting point. */
1219         if (opt_S_start) {
1220                 while (*dirlist1 != NULL && strcmp(*dirlist1, opt_S_start) < 0)
1221                         dirlist1++;
1222                 while (*dirlist2 != NULL && strcmp(*dirlist2, opt_S_start) < 0)
1223                         dirlist2++;
1224                 if ((*dirlist1 == NULL) || (*dirlist2 == NULL))
1225                         bb_error_msg(bb_msg_invalid_arg, "NULL", "-S");
1226         }
1227
1228         /* Now that both dirlist1 and dirlist2 contain sorted directory
1229          * listings, we can start to go through dirlist1. If both listings
1230          * contain the same file, then do a normal diff. Otherwise, behaviour
1231          * is determined by whether the -N flag is set. */
1232         while (*dirlist1 != NULL || *dirlist2 != NULL) {
1233                 dp1 = *dirlist1;
1234                 dp2 = *dirlist2;
1235                 pos = dp1 == NULL ? 1 : (dp2 == NULL ? -1 : strcmp(dp1, dp2));
1236                 if (pos == 0) {
1237                         do_diff(p1, dp1, p2, dp2);
1238                         dirlist1++;
1239                         dirlist2++;
1240                 } else if (pos < 0) {
1241                         if (option_mask32 & FLAG_N)
1242                                 do_diff(p1, dp1, p2, NULL);
1243                         else
1244                                 print_only(p1, dp1);
1245                         dirlist1++;
1246                 } else {
1247                         if (option_mask32 & FLAG_N)
1248                                 do_diff(p1, NULL, p2, dp2);
1249                         else
1250                                 print_only(p2, dp2);
1251                         dirlist2++;
1252                 }
1253         }
1254 }
1255 #endif
1256
1257
1258 int diff_main(int argc, char **argv) MAIN_EXTERNALLY_VISIBLE;
1259 int diff_main(int argc UNUSED_PARAM, char **argv)
1260 {
1261         int gotstdin = 0;
1262         char *f1, *f2;
1263         llist_t *L_arg = NULL;
1264
1265         INIT_G();
1266
1267         /* exactly 2 params; collect multiple -L <label>; -U N */
1268         opt_complementary = "=2:L::U+";
1269         getopt32(argv, "abdiL:NqrsS:tTU:wu"
1270                         "p" /* ignored (for compatibility) */,
1271                         &L_arg, &opt_S_start, &opt_U_context);
1272         /*argc -= optind;*/
1273         argv += optind;
1274         while (L_arg) {
1275                 if (label1 && label2)
1276                         bb_show_usage();
1277                 if (label1) /* then label2 is NULL */
1278                         label2 = label1;
1279                 label1 = llist_pop(&L_arg);
1280         }
1281
1282         /*
1283          * Do sanity checks, fill in stb1 and stb2 and call the appropriate
1284          * driver routine.  Both drivers use the contents of stb1 and stb2.
1285          */
1286         f1 = argv[0];
1287         f2 = argv[1];
1288         /* Compat: "diff file name_which_doesnt_exist" exits with 2 */
1289         xfunc_error_retval = 2;
1290         if (LONE_DASH(f1)) {
1291                 fstat(STDIN_FILENO, &stb1);
1292                 gotstdin++;
1293         } else
1294                 xstat(f1, &stb1);
1295         if (LONE_DASH(f2)) {
1296                 fstat(STDIN_FILENO, &stb2);
1297                 gotstdin++;
1298         } else
1299                 xstat(f2, &stb2);
1300         xfunc_error_retval = 1;
1301
1302         if (gotstdin && (S_ISDIR(stb1.st_mode) || S_ISDIR(stb2.st_mode)))
1303                 bb_error_msg_and_die("can't compare stdin to a directory");
1304
1305         if (S_ISDIR(stb1.st_mode) && S_ISDIR(stb2.st_mode)) {
1306 #if ENABLE_FEATURE_DIFF_DIR
1307                 diffdir(f1, f2);
1308                 return exit_status;
1309 #else
1310                 bb_error_msg_and_die("no support for directory comparison");
1311 #endif
1312         }
1313
1314         if (S_ISDIR(stb1.st_mode)) { /* "diff dir file" */
1315                 /* NB: "diff dir      dir2/dir3/file" must become
1316                  *     "diff dir/file dir2/dir3/file" */
1317                 char *slash = strrchr(f2, '/');
1318                 f1 = concat_path_file(f1, slash ? slash + 1 : f2);
1319                 xstat(f1, &stb1);
1320         }
1321         if (S_ISDIR(stb2.st_mode)) {
1322                 char *slash = strrchr(f1, '/');
1323                 f2 = concat_path_file(f2, slash ? slash + 1 : f1);
1324                 xstat(f2, &stb2);
1325         }
1326
1327         /* diffreg can get non-regular files here,
1328          * they are not both DIRestories */
1329         print_status((gotstdin > 1 ? D_SAME : diffreg(f1, f2, 0)),
1330                         f1, f2 /*, NULL*/);
1331         return exit_status;
1332 }