12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058 |
- /* vi: set sw=4 ts=4: */
- /*
- * Mini diff implementation for busybox, adapted from OpenBSD diff.
- *
- * Copyright (C) 2010 by Matheus Izvekov <mizvekov@gmail.com>
- * Copyright (C) 2006 by Robert Sullivan <cogito.ergo.cogito@hotmail.com>
- * Copyright (c) 2003 Todd C. Miller <Todd.Miller@courtesan.com>
- *
- * Sponsored in part by the Defense Advanced Research Projects
- * Agency (DARPA) and Air Force Research Laboratory, Air Force
- * Materiel Command, USAF, under agreement number F39502-99-1-0512.
- *
- * Licensed under GPLv2 or later, see file LICENSE in this source tree.
- */
- /*
- * The following code uses an algorithm due to Harold Stone,
- * which finds a pair of longest identical subsequences in
- * the two files.
- *
- * The major goal is to generate the match vector J.
- * J[i] is the index of the line in file1 corresponding
- * to line i in file0. J[i] = 0 if there is no
- * such line in file1.
- *
- * Lines are hashed so as to work in core. All potential
- * matches are located by sorting the lines of each file
- * on the hash (called "value"). In particular, this
- * collects the equivalence classes in file1 together.
- * Subroutine equiv replaces the value of each line in
- * file0 by the index of the first element of its
- * matching equivalence in (the reordered) file1.
- * To save space equiv squeezes file1 into a single
- * array member in which the equivalence classes
- * are simply concatenated, except that their first
- * members are flagged by changing sign.
- *
- * Next the indices that point into member are unsorted into
- * array class according to the original order of file0.
- *
- * The cleverness lies in routine stone. This marches
- * through the lines of file0, developing a vector klist
- * of "k-candidates". At step i a k-candidate is a matched
- * pair of lines x,y (x in file0, y in file1) such that
- * there is a common subsequence of length k
- * between the first i lines of file0 and the first y
- * lines of file1, but there is no such subsequence for
- * any smaller y. x is the earliest possible mate to y
- * that occurs in such a subsequence.
- *
- * Whenever any of the members of the equivalence class of
- * lines in file1 matable to a line in file0 has serial number
- * less than the y of some k-candidate, that k-candidate
- * with the smallest such y is replaced. The new
- * k-candidate is chained (via pred) to the current
- * k-1 candidate so that the actual subsequence can
- * be recovered. When a member has serial number greater
- * that the y of all k-candidates, the klist is extended.
- * At the end, the longest subsequence is pulled out
- * and placed in the array J by unravel
- *
- * With J in hand, the matches there recorded are
- * checked against reality to assure that no spurious
- * matches have crept in due to hashing. If they have,
- * they are broken, and "jackpot" is recorded--a harmless
- * matter except that a true match for a spuriously
- * mated line may now be unnecessarily reported as a change.
- *
- * Much of the complexity of the program comes simply
- * from trying to minimize core utilization and
- * maximize the range of doable problems by dynamically
- * allocating what is needed and reusing what is not.
- * The core requirements for problems larger than somewhat
- * are (in words) 2*length(file0) + length(file1) +
- * 3*(number of k-candidates installed), typically about
- * 6n words for files of length n.
- */
- //config:config DIFF
- //config: bool "diff (13 kb)"
- //config: default y
- //config: help
- //config: diff compares two files or directories and outputs the
- //config: differences between them in a form that can be given to
- //config: the patch command.
- //config:
- //config:config FEATURE_DIFF_LONG_OPTIONS
- //config: bool "Enable long options"
- //config: default y
- //config: depends on DIFF && LONG_OPTS
- //config:
- //config:config FEATURE_DIFF_DIR
- //config: bool "Enable directory support"
- //config: default y
- //config: depends on DIFF
- //config: help
- //config: This option enables support for directory and subdirectory
- //config: comparison.
- //applet:IF_DIFF(APPLET(diff, BB_DIR_USR_BIN, BB_SUID_DROP))
- //kbuild:lib-$(CONFIG_DIFF) += diff.o
- //usage:#define diff_trivial_usage
- //usage: "[-abBdiNqrTstw] [-L LABEL] [-S FILE] [-U LINES] FILE1 FILE2"
- //usage:#define diff_full_usage "\n\n"
- //usage: "Compare files line by line and output the differences between them.\n"
- //usage: "This implementation supports unified diffs only.\n"
- //usage: "\n -a Treat all files as text"
- //usage: "\n -b Ignore changes in the amount of whitespace"
- //usage: "\n -B Ignore changes whose lines are all blank"
- //usage: "\n -d Try hard to find a smaller set of changes"
- //usage: "\n -i Ignore case differences"
- //usage: "\n -L Use LABEL instead of the filename in the unified header"
- //usage: "\n -N Treat absent files as empty"
- //usage: "\n -q Output only whether files differ"
- //usage: "\n -r Recurse"
- //usage: "\n -S Start with FILE when comparing directories"
- //usage: "\n -T Make tabs line up by prefixing a tab when necessary"
- //usage: "\n -s Report when two files are the same"
- //usage: "\n -t Expand tabs to spaces in output"
- //usage: "\n -U Output LINES lines of context"
- //usage: "\n -w Ignore all whitespace"
- #include "libbb.h"
- #include "common_bufsiz.h"
- #if 0
- # define dbg_error_msg(...) bb_error_msg(__VA_ARGS__)
- #else
- # define dbg_error_msg(...) ((void)0)
- #endif
- enum { /* print_status() and diffreg() return values */
- STATUS_SAME, /* files are the same */
- STATUS_DIFFER, /* files differ */
- STATUS_BINARY, /* binary files differ */
- };
- enum { /* Commandline flags */
- FLAG_a,
- FLAG_b,
- FLAG_d,
- FLAG_i,
- FLAG_L, /* never used, handled by getopt32 */
- FLAG_N,
- FLAG_q,
- FLAG_r,
- FLAG_s,
- FLAG_S, /* never used, handled by getopt32 */
- FLAG_t,
- FLAG_T,
- FLAG_U, /* never used, handled by getopt32 */
- FLAG_w,
- FLAG_u, /* ignored, this is the default */
- FLAG_p, /* not implemented */
- FLAG_B,
- FLAG_E, /* not implemented */
- };
- #define FLAG(x) (1 << FLAG_##x)
- /* We cache file position to avoid excessive seeking */
- typedef struct FILE_and_pos_t {
- FILE *ft_fp;
- off_t ft_pos;
- } FILE_and_pos_t;
- struct globals {
- smallint exit_status;
- int opt_U_context;
- const char *other_dir;
- char *label[2];
- struct stat stb[2];
- };
- #define G (*ptr_to_globals)
- #define exit_status (G.exit_status )
- #define opt_U_context (G.opt_U_context )
- #define label (G.label )
- #define stb (G.stb )
- #define INIT_G() do { \
- SET_PTR_TO_GLOBALS(xzalloc(sizeof(G))); \
- opt_U_context = 3; \
- } while (0)
- typedef int token_t;
- enum {
- /* Public */
- TOK_EMPTY = 1 << 9, /* Line fully processed, you can proceed to the next */
- TOK_EOF = 1 << 10, /* File ended */
- /* Private (Only to be used by read_token() */
- TOK_EOL = 1 << 11, /* we saw EOL (sticky) */
- TOK_SPACE = 1 << 12, /* used -b code, means we are skipping spaces */
- SHIFT_EOF = (sizeof(token_t)*8 - 8) - 1,
- CHAR_MASK = 0x1ff, /* 8th bit is used to distinguish EOF from 0xff */
- };
- /* Restores full EOF from one 8th bit: */
- //#define TOK2CHAR(t) (((t) << SHIFT_EOF) >> SHIFT_EOF)
- /* We don't really need the above, we only need to have EOF != any_real_char: */
- #define TOK2CHAR(t) ((t) & CHAR_MASK)
- static void seek_ft(FILE_and_pos_t *ft, off_t pos)
- {
- if (ft->ft_pos != pos) {
- ft->ft_pos = pos;
- fseeko(ft->ft_fp, pos, SEEK_SET);
- }
- }
- /* Reads tokens from given fp, handling -b and -w flags
- * The user must reset tok every line start
- */
- static int read_token(FILE_and_pos_t *ft, token_t tok)
- {
- tok |= TOK_EMPTY;
- while (!(tok & TOK_EOL)) {
- bool is_space;
- int t;
- t = fgetc(ft->ft_fp);
- if (t != EOF)
- ft->ft_pos++;
- is_space = (t == EOF || isspace(t));
- /* If t == EOF (-1), set both TOK_EOF and TOK_EOL */
- tok |= (t & (TOK_EOF + TOK_EOL));
- /* Only EOL? */
- if (t == '\n')
- tok |= TOK_EOL;
- if (option_mask32 & FLAG(i)) /* Handcoded tolower() */
- t = (t >= 'A' && t <= 'Z') ? t - ('A' - 'a') : t;
- if ((option_mask32 & FLAG(w)) && is_space)
- continue;
- /* Trim char value to low 9 bits */
- t &= CHAR_MASK;
- if (option_mask32 & FLAG(b)) {
- /* Was prev char whitespace? */
- if (tok & TOK_SPACE) { /* yes */
- if (is_space) /* this one too, ignore it */
- continue;
- tok &= ~TOK_SPACE;
- } else if (is_space) {
- /* 1st whitespace char.
- * Set TOK_SPACE and replace char by ' ' */
- t = TOK_SPACE + ' ';
- }
- }
- /* Clear EMPTY */
- tok &= ~(TOK_EMPTY + CHAR_MASK);
- /* Assign char value (low 9 bits) and maybe set TOK_SPACE */
- tok |= t;
- break;
- }
- #if 0
- bb_error_msg("fp:%p tok:%x '%c'%s%s%s%s", fp, tok, tok & 0xff
- , tok & TOK_EOF ? " EOF" : ""
- , tok & TOK_EOL ? " EOL" : ""
- , tok & TOK_EMPTY ? " EMPTY" : ""
- , tok & TOK_SPACE ? " SPACE" : ""
- );
- #endif
- return tok;
- }
- struct cand {
- int x;
- int y;
- int pred;
- };
- static int search(const int *c, int k, int y, const struct cand *list)
- {
- int i, j;
- if (list[c[k]].y < y) /* quick look for typical case */
- return k + 1;
- for (i = 0, j = k + 1;;) {
- const int l = (i + j) >> 1;
- if (l > i) {
- const int t = list[c[l]].y;
- if (t > y)
- j = l;
- else if (t < y)
- i = l;
- else
- return l;
- } else
- return l + 1;
- }
- }
- static void stone(const int *a, int n, const int *b, int *J, int pref)
- {
- const unsigned isq = isqrt(n);
- const unsigned bound =
- (option_mask32 & FLAG(d)) ? UINT_MAX : MAX(256, isq);
- int clen = 1;
- int clistlen = 100;
- int k = 0;
- struct cand *clist = xzalloc(clistlen * sizeof(clist[0]));
- struct cand cand;
- struct cand *q;
- int *klist = xzalloc((n + 2) * sizeof(klist[0]));
- /*clist[0] = (struct cand){0}; - xzalloc did it */
- /*klist[0] = 0; */
- for (cand.x = 1; cand.x <= n; cand.x++) {
- int j = a[cand.x], oldl = 0;
- unsigned numtries = 0;
- if (j == 0)
- continue;
- cand.y = -b[j];
- cand.pred = klist[0];
- do {
- int l, tc;
- if (cand.y <= clist[cand.pred].y)
- continue;
- l = search(klist, k, cand.y, clist);
- if (l != oldl + 1)
- cand.pred = klist[l - 1];
- if (l <= k && clist[klist[l]].y <= cand.y)
- continue;
- if (clen == clistlen) {
- clistlen = clistlen * 11 / 10;
- clist = xrealloc(clist, clistlen * sizeof(clist[0]));
- }
- clist[clen] = cand;
- tc = klist[l];
- klist[l] = clen++;
- if (l <= k) {
- cand.pred = tc;
- oldl = l;
- numtries++;
- } else {
- k++;
- break;
- }
- } while ((cand.y = b[++j]) > 0 && numtries < bound);
- }
- /* Unravel */
- for (q = clist + klist[k]; q->y; q = clist + q->pred)
- J[q->x + pref] = q->y + pref;
- free(klist);
- free(clist);
- }
- struct line {
- /* 'serial' is not used in the beginning, so we reuse it
- * to store line offsets, thus reducing memory pressure
- */
- union {
- unsigned serial;
- off_t offset;
- };
- unsigned value;
- };
- static void equiv(struct line *a, int n, struct line *b, int m, int *c)
- {
- int i = 1, j = 1;
- while (i <= n && j <= m) {
- if (a[i].value < b[j].value)
- a[i++].value = 0;
- else if (a[i].value == b[j].value)
- a[i++].value = j;
- else
- j++;
- }
- while (i <= n)
- a[i++].value = 0;
- b[m + 1].value = 0;
- j = 0;
- while (++j <= m) {
- c[j] = -b[j].serial;
- while (b[j + 1].value == b[j].value) {
- j++;
- c[j] = b[j].serial;
- }
- }
- c[j] = -1;
- }
- static void unsort(const struct line *f, int l, int *b)
- {
- int i;
- int *a = xmalloc((l + 1) * sizeof(a[0]));
- for (i = 1; i <= l; i++)
- a[f[i].serial] = f[i].value;
- for (i = 1; i <= l; i++)
- b[i] = a[i];
- free(a);
- }
- static int line_compar(const void *a, const void *b)
- {
- #define l0 ((const struct line*)a)
- #define l1 ((const struct line*)b)
- int r = l0->value - l1->value;
- if (r)
- return r;
- return l0->serial - l1->serial;
- #undef l0
- #undef l1
- }
- static void fetch(FILE_and_pos_t *ft, const off_t *ix, int a, int b, int ch)
- {
- int i, j, col;
- for (i = a; i <= b; i++) {
- seek_ft(ft, ix[i - 1]);
- putchar(ch);
- if (option_mask32 & FLAG(T))
- putchar('\t');
- for (j = 0, col = 0; j < ix[i] - ix[i - 1]; j++) {
- int c = fgetc(ft->ft_fp);
- if (c == EOF) {
- puts("\n\\ No newline at end of file");
- return;
- }
- ft->ft_pos++;
- if (c == '\t' && (option_mask32 & FLAG(t)))
- do putchar(' '); while (++col & 7);
- else {
- putchar(c);
- col++;
- }
- }
- }
- }
- /* Creates the match vector J, where J[i] is the index
- * of the line in the new file corresponding to the line i
- * in the old file. Lines start at 1 instead of 0, that value
- * being used instead to denote no corresponding line.
- * This vector is dynamically allocated and must be freed by the caller.
- *
- * * fp is an input parameter, where fp[0] and fp[1] are the open
- * old file and new file respectively.
- * * nlen is an output variable, where nlen[0] and nlen[1]
- * gets the number of lines in the old and new file respectively.
- * * ix is an output variable, where ix[0] and ix[1] gets
- * assigned dynamically allocated vectors of the offsets of the lines
- * of the old and new file respectively. These must be freed by the caller.
- */
- static NOINLINE int *create_J(FILE_and_pos_t ft[2], int nlen[2], off_t *ix[2])
- {
- int *J, slen[2], *class, *member;
- struct line *nfile[2], *sfile[2];
- int pref = 0, suff = 0, i, j, delta;
- /* Lines of both files are hashed, and in the process
- * their offsets are stored in the array ix[fileno]
- * where fileno == 0 points to the old file, and
- * fileno == 1 points to the new one.
- */
- for (i = 0; i < 2; i++) {
- unsigned hash;
- token_t tok;
- size_t sz = 100;
- nfile[i] = xmalloc((sz + 3) * sizeof(nfile[i][0]));
- /* ft gets here without the correct position, cant use seek_ft */
- ft[i].ft_pos = 0;
- fseeko(ft[i].ft_fp, 0, SEEK_SET);
- nlen[i] = 0;
- /* We could zalloc nfile, but then zalloc starts showing in gprof at ~1% */
- nfile[i][0].offset = 0;
- goto start; /* saves code */
- while (1) {
- tok = read_token(&ft[i], tok);
- if (!(tok & TOK_EMPTY)) {
- /* Hash algorithm taken from Robert Sedgewick, Algorithms in C, 3d ed., p 578. */
- /*hash = hash * 128 - hash + TOK2CHAR(tok);
- * gcc insists on optimizing above to "hash * 127 + ...", thus... */
- unsigned o = hash - TOK2CHAR(tok);
- hash = hash * 128 - o; /* we want SPEED here */
- continue;
- }
- if (nlen[i]++ == sz) {
- sz = sz * 3 / 2;
- nfile[i] = xrealloc(nfile[i], (sz + 3) * sizeof(nfile[i][0]));
- }
- /* line_compar needs hashes fit into positive int */
- nfile[i][nlen[i]].value = hash & INT_MAX;
- /* like ftello(ft[i].ft_fp) but faster (avoids lseek syscall) */
- nfile[i][nlen[i]].offset = ft[i].ft_pos;
- if (tok & TOK_EOF) {
- /* EOF counts as a token, so we have to adjust it here */
- nfile[i][nlen[i]].offset++;
- break;
- }
- start:
- hash = tok = 0;
- }
- /* Exclude lone EOF line from the end of the file, to make fetch()'s job easier */
- if (nfile[i][nlen[i]].offset - nfile[i][nlen[i] - 1].offset == 1)
- nlen[i]--;
- /* Now we copy the line offsets into ix */
- ix[i] = xmalloc((nlen[i] + 2) * sizeof(ix[i][0]));
- for (j = 0; j < nlen[i] + 1; j++)
- ix[i][j] = nfile[i][j].offset;
- }
- /* length of prefix and suffix is calculated */
- for (; pref < nlen[0] && pref < nlen[1] &&
- nfile[0][pref + 1].value == nfile[1][pref + 1].value;
- pref++);
- for (; suff < nlen[0] - pref && suff < nlen[1] - pref &&
- nfile[0][nlen[0] - suff].value == nfile[1][nlen[1] - suff].value;
- suff++);
- /* Arrays are pruned by the suffix and prefix length,
- * the result being sorted and stored in sfile[fileno],
- * and their sizes are stored in slen[fileno]
- */
- for (j = 0; j < 2; j++) {
- sfile[j] = nfile[j] + pref;
- slen[j] = nlen[j] - pref - suff;
- for (i = 0; i <= slen[j]; i++)
- sfile[j][i].serial = i;
- qsort(sfile[j] + 1, slen[j], sizeof(*sfile[j]), line_compar);
- }
- /* nfile arrays are reused to reduce memory pressure
- * The #if zeroed out section performs the same task as the
- * one in the #else section.
- * Peak memory usage is higher, but one array copy is avoided
- * by not using unsort()
- */
- #if 0
- member = xmalloc((slen[1] + 2) * sizeof(member[0]));
- equiv(sfile[0], slen[0], sfile[1], slen[1], member);
- free(nfile[1]);
- class = xmalloc((slen[0] + 1) * sizeof(class[0]));
- for (i = 1; i <= slen[0]; i++) /* Unsorting */
- class[sfile[0][i].serial] = sfile[0][i].value;
- free(nfile[0]);
- #else
- member = (int *)nfile[1];
- equiv(sfile[0], slen[0], sfile[1], slen[1], member);
- member = xrealloc(member, (slen[1] + 2) * sizeof(member[0]));
- class = (int *)nfile[0];
- unsort(sfile[0], slen[0], (int *)nfile[0]);
- class = xrealloc(class, (slen[0] + 2) * sizeof(class[0]));
- #endif
- J = xmalloc((nlen[0] + 2) * sizeof(J[0]));
- /* The elements of J which fall inside the prefix and suffix regions
- * are marked as unchanged, while the ones which fall outside
- * are initialized with 0 (no matches), so that function stone can
- * then assign them their right values
- */
- for (i = 0, delta = nlen[1] - nlen[0]; i <= nlen[0]; i++)
- J[i] = i <= pref ? i :
- i > (nlen[0] - suff) ? (i + delta) : 0;
- /* Here the magic is performed */
- stone(class, slen[0], member, J, pref);
- J[nlen[0] + 1] = nlen[1] + 1;
- free(class);
- free(member);
- /* Both files are rescanned, in an effort to find any lines
- * which, due to limitations intrinsic to any hashing algorithm,
- * are different but ended up confounded as the same
- */
- for (i = 1; i <= nlen[0]; i++) {
- if (!J[i])
- continue;
- seek_ft(&ft[0], ix[0][i - 1]);
- seek_ft(&ft[1], ix[1][J[i] - 1]);
- for (j = J[i]; i <= nlen[0] && J[i] == j; i++, j++) {
- token_t tok0 = 0, tok1 = 0;
- do {
- tok0 = read_token(&ft[0], tok0);
- tok1 = read_token(&ft[1], tok1);
- if (((tok0 ^ tok1) & TOK_EMPTY) != 0 /* one is empty (not both) */
- || (!(tok0 & TOK_EMPTY) && TOK2CHAR(tok0) != TOK2CHAR(tok1))
- ) {
- J[i] = 0; /* Break the correspondence */
- }
- } while (!(tok0 & tok1 & TOK_EMPTY));
- }
- }
- return J;
- }
- static bool diff(FILE* fp[2], char *file[2])
- {
- int nlen[2];
- off_t *ix[2];
- FILE_and_pos_t ft[2];
- typedef struct { int a, b; } vec_t[2];
- vec_t *vec = NULL;
- int i = 1, j, k, idx = -1;
- bool anychange = false;
- int *J;
- ft[0].ft_fp = fp[0];
- ft[1].ft_fp = fp[1];
- /* note that ft[i].ft_pos is unintitalized, create_J()
- * must not assume otherwise */
- J = create_J(ft, nlen, ix);
- do {
- bool nonempty = false;
- while (1) {
- vec_t v;
- for (v[0].a = i; v[0].a <= nlen[0] && J[v[0].a] == J[v[0].a - 1] + 1; v[0].a++)
- continue;
- v[1].a = J[v[0].a - 1] + 1;
- for (v[0].b = v[0].a - 1; v[0].b < nlen[0] && !J[v[0].b + 1]; v[0].b++)
- continue;
- v[1].b = J[v[0].b + 1] - 1;
- /*
- * Indicate that there is a difference between lines a and b of the 'from' file
- * to get to lines c to d of the 'to' file. If a is greater than b then there
- * are no lines in the 'from' file involved and this means that there were
- * lines appended (beginning at b). If c is greater than d then there are
- * lines missing from the 'to' file.
- */
- if (v[0].a <= v[0].b || v[1].a <= v[1].b) {
- /*
- * If this change is more than 'context' lines from the
- * previous change, dump the record and reset it.
- */
- int ct = (2 * opt_U_context) + 1;
- if (idx >= 0
- && v[0].a > vec[idx][0].b + ct
- && v[1].a > vec[idx][1].b + ct
- ) {
- break;
- }
- for (j = 0; j < 2; j++)
- for (k = v[j].a; k <= v[j].b; k++)
- nonempty |= (ix[j][k] - ix[j][k - 1] != 1);
- vec = xrealloc_vector(vec, 6, ++idx);
- memcpy(vec[idx], v, sizeof(v));
- }
- i = v[0].b + 1;
- if (i > nlen[0])
- break;
- J[v[0].b] = v[1].b;
- }
- if (idx < 0 || ((option_mask32 & FLAG(B)) && !nonempty))
- goto cont;
- if (!(option_mask32 & FLAG(q))) {
- int lowa;
- vec_t span, *cvp = vec;
- if (!anychange) {
- /* Print the context/unidiff header first time through */
- printf("--- %s\n", label[0] ? label[0] : file[0]);
- printf("+++ %s\n", label[1] ? label[1] : file[1]);
- }
- printf("@@");
- for (j = 0; j < 2; j++) {
- int a = span[j].a = MAX(1, (*cvp)[j].a - opt_U_context);
- int b = span[j].b = MIN(nlen[j], vec[idx][j].b + opt_U_context);
- printf(" %c%d", j ? '+' : '-', MIN(a, b));
- if (a == b)
- continue;
- printf(",%d", (a < b) ? b - a + 1 : 0);
- }
- puts(" @@");
- /*
- * Output changes in "unified" diff format--the old and new lines
- * are printed together.
- */
- for (lowa = span[0].a; ; lowa = (*cvp++)[0].b + 1) {
- bool end = cvp > &vec[idx];
- fetch(&ft[0], ix[0], lowa, end ? span[0].b : (*cvp)[0].a - 1, ' ');
- if (end)
- break;
- for (j = 0; j < 2; j++)
- fetch(&ft[j], ix[j], (*cvp)[j].a, (*cvp)[j].b, j ? '+' : '-');
- }
- }
- anychange = true;
- cont:
- idx = -1;
- } while (i <= nlen[0]);
- free(vec);
- free(ix[0]);
- free(ix[1]);
- free(J);
- return anychange;
- }
- static int diffreg(char *file[2])
- {
- FILE *fp[2];
- bool binary = false, differ = false;
- int status = STATUS_SAME, i;
- fp[0] = stdin;
- fp[1] = stdin;
- for (i = 0; i < 2; i++) {
- int fd = STDIN_FILENO;
- if (!LONE_DASH(file[i])) {
- if (!(option_mask32 & FLAG(N))) {
- fd = open_or_warn(file[i], O_RDONLY);
- if (fd == -1)
- goto out;
- } else {
- /* -N: if some file does not exist compare it like empty */
- fd = open(file[i], O_RDONLY);
- if (fd == -1)
- fd = xopen("/dev/null", O_RDONLY);
- }
- }
- /* Our diff implementation is using seek.
- * When we meet non-seekable file, we must make a temp copy.
- */
- if (lseek(fd, 0, SEEK_SET) == -1 && errno == ESPIPE) {
- char name[] = "/tmp/difXXXXXX";
- int fd_tmp = xmkstemp(name);
- unlink(name);
- if (bb_copyfd_eof(fd, fd_tmp) < 0)
- xfunc_die();
- if (fd != STDIN_FILENO)
- close(fd);
- fd = fd_tmp;
- xlseek(fd, 0, SEEK_SET);
- }
- fp[i] = fdopen(fd, "r");
- }
- setup_common_bufsiz();
- while (1) {
- const size_t sz = COMMON_BUFSIZE / 2;
- char *const buf0 = bb_common_bufsiz1;
- char *const buf1 = buf0 + sz;
- int j, k;
- i = fread(buf0, 1, sz, fp[0]);
- j = fread(buf1, 1, sz, fp[1]);
- if (i != j) {
- differ = true;
- i = MIN(i, j);
- }
- if (i == 0)
- break;
- for (k = 0; k < i; k++) {
- if (!buf0[k] || !buf1[k])
- binary = true;
- if (buf0[k] != buf1[k])
- differ = true;
- }
- }
- if (differ) {
- if (binary && !(option_mask32 & FLAG(a)))
- status = STATUS_BINARY;
- else if (diff(fp, file))
- status = STATUS_DIFFER;
- }
- if (status != STATUS_SAME)
- exit_status |= 1;
- out:
- fclose_if_not_stdin(fp[0]);
- fclose_if_not_stdin(fp[1]);
- return status;
- }
- static void print_status(int status, char *path[2])
- {
- switch (status) {
- case STATUS_BINARY:
- case STATUS_DIFFER:
- if ((option_mask32 & FLAG(q)) || status == STATUS_BINARY)
- printf("Files %s and %s differ\n", path[0], path[1]);
- break;
- case STATUS_SAME:
- if (option_mask32 & FLAG(s))
- printf("Files %s and %s are identical\n", path[0], path[1]);
- break;
- }
- }
- #if ENABLE_FEATURE_DIFF_DIR
- struct dlist {
- size_t len;
- int s, e;
- char **dl;
- };
- /* This function adds a filename to dl, the directory listing. */
- static int FAST_FUNC add_to_dirlist(struct recursive_state *state,
- const char *filename,
- struct stat *sb UNUSED_PARAM)
- {
- struct dlist *const l = state->userData;
- const char *file = filename + l->len;
- while (*file == '/')
- file++;
- l->dl = xrealloc_vector(l->dl, 6, l->e);
- l->dl[l->e] = xstrdup(file);
- l->e++;
- return TRUE;
- }
- /* If recursion is not set, this function adds the directory
- * to the list and prevents recursive_action from recursing into it.
- */
- static int FAST_FUNC skip_dir(struct recursive_state *state,
- const char *filename,
- struct stat *sb)
- {
- if (!(option_mask32 & FLAG(r)) && state->depth) {
- add_to_dirlist(state, filename, sb);
- return SKIP;
- }
- if (!(option_mask32 & FLAG(N))) {
- /* -r without -N: no need to recurse into dirs
- * which do not exist on the "other side".
- * Testcase: diff -r /tmp /
- * (it would recurse deep into /proc without this code) */
- struct dlist *const l = state->userData;
- filename += l->len;
- if (filename[0]) {
- struct stat osb;
- char *othername = concat_path_file(G.other_dir, filename);
- int r = stat(othername, &osb);
- free(othername);
- if (r != 0 || !S_ISDIR(osb.st_mode)) {
- /* other dir doesn't have similarly named
- * directory, don't recurse; return 1 upon
- * exit, just like diffutils' diff */
- exit_status |= 1;
- return SKIP;
- }
- }
- }
- return TRUE;
- }
- static void diffdir(char *p[2], const char *s_start)
- {
- struct dlist list[2];
- int i;
- memset(&list, 0, sizeof(list));
- for (i = 0; i < 2; i++) {
- /*list[i].s = list[i].e = 0; - memset did it */
- /*list[i].dl = NULL; */
- G.other_dir = p[1 - i];
- /* We need to trim root directory prefix.
- * Using list.len to specify its length,
- * add_to_dirlist will remove it. */
- list[i].len = strlen(p[i]);
- recursive_action(p[i], ACTION_RECURSE | ACTION_FOLLOWLINKS,
- add_to_dirlist, skip_dir, &list[i]);
- /* Sort dl alphabetically.
- * GNU diff does this ignoring any number of trailing dots.
- * We don't, so for us dotted files almost always are
- * first on the list.
- */
- qsort_string_vector(list[i].dl, list[i].e);
- /* If -S was set, find the starting point. */
- if (!s_start)
- continue;
- while (list[i].s < list[i].e && strcmp(list[i].dl[list[i].s], s_start) < 0)
- list[i].s++;
- }
- /* Now that both dirlist1 and dirlist2 contain sorted directory
- * listings, we can start to go through dirlist1. If both listings
- * contain the same file, then do a normal diff. Otherwise, behaviour
- * is determined by whether the -N flag is set. */
- while (1) {
- char *dp[2];
- int pos;
- int k;
- dp[0] = list[0].s < list[0].e ? list[0].dl[list[0].s] : NULL;
- dp[1] = list[1].s < list[1].e ? list[1].dl[list[1].s] : NULL;
- if (!dp[0] && !dp[1])
- break;
- pos = !dp[0] ? 1 : (!dp[1] ? -1 : strcmp(dp[0], dp[1]));
- k = pos > 0;
- if (pos && !(option_mask32 & FLAG(N))) {
- printf("Only in %s: %s\n", p[k], dp[k]);
- exit_status |= 1;
- } else {
- char *fullpath[2], *path[2]; /* if -N */
- for (i = 0; i < 2; i++) {
- if (pos == 0 || i == k) {
- path[i] = fullpath[i] = concat_path_file(p[i], dp[i]);
- stat(fullpath[i], &stb[i]);
- } else {
- fullpath[i] = concat_path_file(p[i], dp[1 - i]);
- path[i] = (char *)bb_dev_null;
- }
- }
- if (pos)
- stat(fullpath[k], &stb[1 - k]);
- if (S_ISDIR(stb[0].st_mode) && S_ISDIR(stb[1].st_mode))
- printf("Common subdirectories: %s and %s\n", fullpath[0], fullpath[1]);
- else if (!S_ISREG(stb[0].st_mode) && !S_ISDIR(stb[0].st_mode))
- printf("File %s is not a regular file or directory and was skipped\n", fullpath[0]);
- else if (!S_ISREG(stb[1].st_mode) && !S_ISDIR(stb[1].st_mode))
- printf("File %s is not a regular file or directory and was skipped\n", fullpath[1]);
- else if (S_ISDIR(stb[0].st_mode) != S_ISDIR(stb[1].st_mode)) {
- if (S_ISDIR(stb[0].st_mode))
- printf("File %s is a %s while file %s is a %s\n", fullpath[0], "directory", fullpath[1], "regular file");
- else
- printf("File %s is a %s while file %s is a %s\n", fullpath[0], "regular file", fullpath[1], "directory");
- } else
- print_status(diffreg(path), fullpath);
- free(fullpath[0]);
- free(fullpath[1]);
- }
- free(dp[k]);
- list[k].s++;
- if (pos == 0) {
- free(dp[1 - k]);
- list[1 - k].s++;
- }
- }
- if (ENABLE_FEATURE_CLEAN_UP) {
- free(list[0].dl);
- free(list[1].dl);
- }
- }
- #endif
- #if ENABLE_FEATURE_DIFF_LONG_OPTIONS
- static const char diff_longopts[] ALIGN1 =
- "ignore-case\0" No_argument "i"
- "ignore-tab-expansion\0" No_argument "E"
- "ignore-space-change\0" No_argument "b"
- "ignore-all-space\0" No_argument "w"
- "ignore-blank-lines\0" No_argument "B"
- "text\0" No_argument "a"
- "unified\0" Required_argument "U"
- "label\0" Required_argument "L"
- "show-c-function\0" No_argument "p"
- "brief\0" No_argument "q"
- "expand-tabs\0" No_argument "t"
- "initial-tab\0" No_argument "T"
- "recursive\0" No_argument "r"
- "new-file\0" No_argument "N"
- "report-identical-files\0" No_argument "s"
- "starting-file\0" Required_argument "S"
- "minimal\0" No_argument "d"
- ;
- # define GETOPT32 getopt32long
- # define LONGOPTS ,diff_longopts
- #else
- # define GETOPT32 getopt32
- # define LONGOPTS
- #endif
- int diff_main(int argc, char **argv) MAIN_EXTERNALLY_VISIBLE;
- int diff_main(int argc UNUSED_PARAM, char **argv)
- {
- int gotstdin = 0, i;
- char *file[2], *s_start = NULL;
- llist_t *L_arg = NULL;
- INIT_G();
- /* exactly 2 params; collect multiple -L <label>; -U N */
- GETOPT32(argv, "^" "abdiL:*NqrsS:tTU:+wupBE" "\0" "=2"
- LONGOPTS,
- &L_arg, &s_start, &opt_U_context);
- argv += optind;
- while (L_arg)
- label[!!label[0]] = llist_pop(&L_arg);
- /* Compat: "diff file name_which_doesnt_exist" exits with 2 */
- xfunc_error_retval = 2;
- for (i = 0; i < 2; i++) {
- file[i] = argv[i];
- if (LONE_DASH(file[i])) {
- fstat(STDIN_FILENO, &stb[i]);
- gotstdin++;
- } else if (option_mask32 & FLAG(N)) {
- if (stat(file[i], &stb[i]))
- xstat("/dev/null", &stb[i]);
- } else {
- xstat(file[i], &stb[i]);
- }
- }
- xfunc_error_retval = 1;
- if (gotstdin && (S_ISDIR(stb[0].st_mode) || S_ISDIR(stb[1].st_mode)))
- bb_simple_error_msg_and_die("can't compare stdin to a directory");
- /* Compare metadata to check if the files are the same physical file.
- *
- * Comment from diffutils source says:
- * POSIX says that two files are identical if st_ino and st_dev are
- * the same, but many file systems incorrectly assign the same (device,
- * inode) pair to two distinct files, including:
- * GNU/Linux NFS servers that export all local file systems as a
- * single NFS file system, if a local device number (st_dev) exceeds
- * 255, or if a local inode number (st_ino) exceeds 16777215.
- */
- if (ENABLE_DESKTOP
- && stb[0].st_ino == stb[1].st_ino
- && stb[0].st_dev == stb[1].st_dev
- && stb[0].st_size == stb[1].st_size
- && stb[0].st_mtime == stb[1].st_mtime
- && stb[0].st_ctime == stb[1].st_ctime
- && stb[0].st_mode == stb[1].st_mode
- && stb[0].st_nlink == stb[1].st_nlink
- && stb[0].st_uid == stb[1].st_uid
- && stb[0].st_gid == stb[1].st_gid
- ) {
- /* files are physically the same; no need to compare them */
- return STATUS_SAME;
- }
- if (S_ISDIR(stb[0].st_mode) && S_ISDIR(stb[1].st_mode)) {
- #if ENABLE_FEATURE_DIFF_DIR
- diffdir(file, s_start);
- #else
- bb_simple_error_msg_and_die("no support for directory comparison");
- #endif
- } else {
- bool dirfile = S_ISDIR(stb[0].st_mode) || S_ISDIR(stb[1].st_mode);
- bool dir = S_ISDIR(stb[1].st_mode);
- if (dirfile) {
- const char *slash = strrchr(file[!dir], '/');
- file[dir] = concat_path_file(file[dir], slash ? slash + 1 : file[!dir]);
- xstat(file[dir], &stb[dir]);
- }
- /* diffreg can get non-regular files here */
- print_status(gotstdin > 1 ? STATUS_SAME : diffreg(file), file);
- if (dirfile)
- free(file[dir]);
- }
- return exit_status;
- }
|