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