Merge branch 'rs/logical-vs-binary-or'
[git] / diffcore-pickaxe.c
1 /*
2  * Copyright (C) 2005 Junio C Hamano
3  * Copyright (C) 2010 Google Inc.
4  */
5 #include "cache.h"
6 #include "diff.h"
7 #include "diffcore.h"
8 #include "xdiff-interface.h"
9 #include "kwset.h"
10
11 typedef int (*pickaxe_fn)(mmfile_t *one, mmfile_t *two,
12                           struct diff_options *o,
13                           regex_t *regexp, kwset_t kws);
14
15 static int pickaxe_match(struct diff_filepair *p, struct diff_options *o,
16                          regex_t *regexp, kwset_t kws, pickaxe_fn fn);
17
18 static void pickaxe(struct diff_queue_struct *q, struct diff_options *o,
19                     regex_t *regexp, kwset_t kws, pickaxe_fn fn)
20 {
21         int i;
22         struct diff_queue_struct outq;
23
24         DIFF_QUEUE_CLEAR(&outq);
25
26         if (o->pickaxe_opts & DIFF_PICKAXE_ALL) {
27                 /* Showing the whole changeset if needle exists */
28                 for (i = 0; i < q->nr; i++) {
29                         struct diff_filepair *p = q->queue[i];
30                         if (pickaxe_match(p, o, regexp, kws, fn))
31                                 return; /* do not munge the queue */
32                 }
33
34                 /*
35                  * Otherwise we will clear the whole queue by copying
36                  * the empty outq at the end of this function, but
37                  * first clear the current entries in the queue.
38                  */
39                 for (i = 0; i < q->nr; i++)
40                         diff_free_filepair(q->queue[i]);
41         } else {
42                 /* Showing only the filepairs that has the needle */
43                 for (i = 0; i < q->nr; i++) {
44                         struct diff_filepair *p = q->queue[i];
45                         if (pickaxe_match(p, o, regexp, kws, fn))
46                                 diff_q(&outq, p);
47                         else
48                                 diff_free_filepair(p);
49                 }
50         }
51
52         free(q->queue);
53         *q = outq;
54 }
55
56 struct diffgrep_cb {
57         regex_t *regexp;
58         int hit;
59 };
60
61 static void diffgrep_consume(void *priv, char *line, unsigned long len)
62 {
63         struct diffgrep_cb *data = priv;
64         regmatch_t regmatch;
65         int hold;
66
67         if (line[0] != '+' && line[0] != '-')
68                 return;
69         if (data->hit)
70                 /*
71                  * NEEDSWORK: we should have a way to terminate the
72                  * caller early.
73                  */
74                 return;
75         /* Yuck -- line ought to be "const char *"! */
76         hold = line[len];
77         line[len] = '\0';
78         data->hit = !regexec(data->regexp, line + 1, 1, &regmatch, 0);
79         line[len] = hold;
80 }
81
82 static int diff_grep(mmfile_t *one, mmfile_t *two,
83                      struct diff_options *o,
84                      regex_t *regexp, kwset_t kws)
85 {
86         regmatch_t regmatch;
87         struct diffgrep_cb ecbdata;
88         xpparam_t xpp;
89         xdemitconf_t xecfg;
90
91         if (!one)
92                 return !regexec(regexp, two->ptr, 1, &regmatch, 0);
93         if (!two)
94                 return !regexec(regexp, one->ptr, 1, &regmatch, 0);
95
96         /*
97          * We have both sides; need to run textual diff and see if
98          * the pattern appears on added/deleted lines.
99          */
100         memset(&xpp, 0, sizeof(xpp));
101         memset(&xecfg, 0, sizeof(xecfg));
102         ecbdata.regexp = regexp;
103         ecbdata.hit = 0;
104         xecfg.ctxlen = o->context;
105         xecfg.interhunkctxlen = o->interhunkcontext;
106         xdi_diff_outf(one, two, diffgrep_consume, &ecbdata,
107                       &xpp, &xecfg);
108         return ecbdata.hit;
109 }
110
111 static void diffcore_pickaxe_grep(struct diff_options *o)
112 {
113         int err;
114         regex_t regex;
115         int cflags = REG_EXTENDED | REG_NEWLINE;
116
117         if (DIFF_OPT_TST(o, PICKAXE_IGNORE_CASE))
118                 cflags |= REG_ICASE;
119
120         err = regcomp(&regex, o->pickaxe, cflags);
121         if (err) {
122                 char errbuf[1024];
123                 regerror(err, &regex, errbuf, 1024);
124                 regfree(&regex);
125                 die("invalid regex: %s", errbuf);
126         }
127
128         pickaxe(&diff_queued_diff, o, &regex, NULL, diff_grep);
129
130         regfree(&regex);
131         return;
132 }
133
134 static unsigned int contains(mmfile_t *mf, struct diff_options *o,
135                              regex_t *regexp, kwset_t kws)
136 {
137         unsigned int cnt;
138         unsigned long sz;
139         const char *data;
140
141         sz = mf->size;
142         data = mf->ptr;
143         cnt = 0;
144
145         if (regexp) {
146                 regmatch_t regmatch;
147                 int flags = 0;
148
149                 assert(data[sz] == '\0');
150                 while (*data && !regexec(regexp, data, 1, &regmatch, flags)) {
151                         flags |= REG_NOTBOL;
152                         data += regmatch.rm_eo;
153                         if (*data && regmatch.rm_so == regmatch.rm_eo)
154                                 data++;
155                         cnt++;
156                 }
157
158         } else { /* Classic exact string match */
159                 while (sz) {
160                         struct kwsmatch kwsm;
161                         size_t offset = kwsexec(kws, data, sz, &kwsm);
162                         const char *found;
163                         if (offset == -1)
164                                 break;
165                         else
166                                 found = data + offset;
167                         sz -= found - data + kwsm.size[0];
168                         data = found + kwsm.size[0];
169                         cnt++;
170                 }
171         }
172         return cnt;
173 }
174
175 static int has_changes(mmfile_t *one, mmfile_t *two,
176                        struct diff_options *o,
177                        regex_t *regexp, kwset_t kws)
178 {
179         if (!one)
180                 return contains(two, o, regexp, kws) != 0;
181         if (!two)
182                 return contains(one, o, regexp, kws) != 0;
183         return contains(one, o, regexp, kws) != contains(two, o, regexp, kws);
184 }
185
186 static int pickaxe_match(struct diff_filepair *p, struct diff_options *o,
187                          regex_t *regexp, kwset_t kws, pickaxe_fn fn)
188 {
189         struct userdiff_driver *textconv_one = NULL;
190         struct userdiff_driver *textconv_two = NULL;
191         mmfile_t mf1, mf2;
192         int ret;
193
194         if (!o->pickaxe[0])
195                 return 0;
196
197         /* ignore unmerged */
198         if (!DIFF_FILE_VALID(p->one) && !DIFF_FILE_VALID(p->two))
199                 return 0;
200
201         if (DIFF_OPT_TST(o, ALLOW_TEXTCONV)) {
202                 textconv_one = get_textconv(p->one);
203                 textconv_two = get_textconv(p->two);
204         }
205
206         /*
207          * If we have an unmodified pair, we know that the count will be the
208          * same and don't even have to load the blobs. Unless textconv is in
209          * play, _and_ we are using two different textconv filters (e.g.,
210          * because a pair is an exact rename with different textconv attributes
211          * for each side, which might generate different content).
212          */
213         if (textconv_one == textconv_two && diff_unmodified_pair(p))
214                 return 0;
215
216         mf1.size = fill_textconv(textconv_one, p->one, &mf1.ptr);
217         mf2.size = fill_textconv(textconv_two, p->two, &mf2.ptr);
218
219         ret = fn(DIFF_FILE_VALID(p->one) ? &mf1 : NULL,
220                  DIFF_FILE_VALID(p->two) ? &mf2 : NULL,
221                  o, regexp, kws);
222
223         if (textconv_one)
224                 free(mf1.ptr);
225         if (textconv_two)
226                 free(mf2.ptr);
227         diff_free_filespec_data(p->one);
228         diff_free_filespec_data(p->two);
229
230         return ret;
231 }
232
233 static void diffcore_pickaxe_count(struct diff_options *o)
234 {
235         const char *needle = o->pickaxe;
236         int opts = o->pickaxe_opts;
237         unsigned long len = strlen(needle);
238         regex_t regex, *regexp = NULL;
239         kwset_t kws = NULL;
240
241         if (opts & DIFF_PICKAXE_REGEX) {
242                 int err;
243                 err = regcomp(&regex, needle, REG_EXTENDED | REG_NEWLINE);
244                 if (err) {
245                         /* The POSIX.2 people are surely sick */
246                         char errbuf[1024];
247                         regerror(err, &regex, errbuf, 1024);
248                         regfree(&regex);
249                         die("invalid regex: %s", errbuf);
250                 }
251                 regexp = &regex;
252         } else {
253                 kws = kwsalloc(DIFF_OPT_TST(o, PICKAXE_IGNORE_CASE)
254                                ? tolower_trans_tbl : NULL);
255                 kwsincr(kws, needle, len);
256                 kwsprep(kws);
257         }
258
259         pickaxe(&diff_queued_diff, o, regexp, kws, has_changes);
260
261         if (opts & DIFF_PICKAXE_REGEX)
262                 regfree(&regex);
263         else
264                 kwsfree(kws);
265         return;
266 }
267
268 void diffcore_pickaxe(struct diff_options *o)
269 {
270         /* Might want to warn when both S and G are on; I don't care... */
271         if (o->pickaxe_opts & DIFF_PICKAXE_KIND_G)
272                 diffcore_pickaxe_grep(o);
273         else
274                 diffcore_pickaxe_count(o);
275 }