Code

61db6e199cfed45601dacc4e798f6eb7801620e5
[git.git] / grep.c
1 #include "cache.h"
2 #include <regex.h>
3 #include "grep.h"
5 void append_grep_pattern(struct grep_opt *opt, const char *pat,
6                          const char *origin, int no, enum grep_pat_token t)
7 {
8         struct grep_pat *p = xcalloc(1, sizeof(*p));
9         p->pattern = pat;
10         p->origin = origin;
11         p->no = no;
12         p->token = t;
13         *opt->pattern_tail = p;
14         opt->pattern_tail = &p->next;
15         p->next = NULL;
16 }
18 static void compile_regexp(struct grep_pat *p, struct grep_opt *opt)
19 {
20         int err = regcomp(&p->regexp, p->pattern, opt->regflags);
21         if (err) {
22                 char errbuf[1024];
23                 char where[1024];
24                 if (p->no)
25                         sprintf(where, "In '%s' at %d, ",
26                                 p->origin, p->no);
27                 else if (p->origin)
28                         sprintf(where, "%s, ", p->origin);
29                 else
30                         where[0] = 0;
31                 regerror(err, &p->regexp, errbuf, 1024);
32                 regfree(&p->regexp);
33                 die("%s'%s': %s", where, p->pattern, errbuf);
34         }
35 }
37 static struct grep_expr *compile_pattern_expr(struct grep_pat **);
38 static struct grep_expr *compile_pattern_atom(struct grep_pat **list)
39 {
40         struct grep_pat *p;
41         struct grep_expr *x;
43         p = *list;
44         switch (p->token) {
45         case GREP_PATTERN: /* atom */
46                 x = xcalloc(1, sizeof (struct grep_expr));
47                 x->node = GREP_NODE_ATOM;
48                 x->u.atom = p;
49                 *list = p->next;
50                 return x;
51         case GREP_OPEN_PAREN:
52                 *list = p->next;
53                 x = compile_pattern_expr(list);
54                 if (!x)
55                         return NULL;
56                 if (!*list || (*list)->token != GREP_CLOSE_PAREN)
57                         die("unmatched parenthesis");
58                 *list = (*list)->next;
59                 return x;
60         default:
61                 return NULL;
62         }
63 }
65 static struct grep_expr *compile_pattern_not(struct grep_pat **list)
66 {
67         struct grep_pat *p;
68         struct grep_expr *x;
70         p = *list;
71         switch (p->token) {
72         case GREP_NOT:
73                 if (!p->next)
74                         die("--not not followed by pattern expression");
75                 *list = p->next;
76                 x = xcalloc(1, sizeof (struct grep_expr));
77                 x->node = GREP_NODE_NOT;
78                 x->u.unary = compile_pattern_not(list);
79                 if (!x->u.unary)
80                         die("--not followed by non pattern expression");
81                 return x;
82         default:
83                 return compile_pattern_atom(list);
84         }
85 }
87 static struct grep_expr *compile_pattern_and(struct grep_pat **list)
88 {
89         struct grep_pat *p;
90         struct grep_expr *x, *y, *z;
92         x = compile_pattern_not(list);
93         p = *list;
94         if (p && p->token == GREP_AND) {
95                 if (!p->next)
96                         die("--and not followed by pattern expression");
97                 *list = p->next;
98                 y = compile_pattern_and(list);
99                 if (!y)
100                         die("--and not followed by pattern expression");
101                 z = xcalloc(1, sizeof (struct grep_expr));
102                 z->node = GREP_NODE_AND;
103                 z->u.binary.left = x;
104                 z->u.binary.right = y;
105                 return z;
106         }
107         return x;
110 static struct grep_expr *compile_pattern_or(struct grep_pat **list)
112         struct grep_pat *p;
113         struct grep_expr *x, *y, *z;
115         x = compile_pattern_and(list);
116         p = *list;
117         if (x && p && p->token != GREP_CLOSE_PAREN) {
118                 y = compile_pattern_or(list);
119                 if (!y)
120                         die("not a pattern expression %s", p->pattern);
121                 z = xcalloc(1, sizeof (struct grep_expr));
122                 z->node = GREP_NODE_OR;
123                 z->u.binary.left = x;
124                 z->u.binary.right = y;
125                 return z;
126         }
127         return x;
130 static struct grep_expr *compile_pattern_expr(struct grep_pat **list)
132         return compile_pattern_or(list);
135 void compile_grep_patterns(struct grep_opt *opt)
137         struct grep_pat *p;
139         if (opt->fixed)
140                 return;
142         /* First compile regexps */
143         for (p = opt->pattern_list; p; p = p->next) {
144                 if (p->token == GREP_PATTERN)
145                         compile_regexp(p, opt);
146                 else
147                         opt->extended = 1;
148         }
150         if (!opt->extended)
151                 return;
153         /* Then bundle them up in an expression.
154          * A classic recursive descent parser would do.
155          */
156         p = opt->pattern_list;
157         opt->pattern_expression = compile_pattern_expr(&p);
158         if (p)
159                 die("incomplete pattern expression: %s", p->pattern);
162 static char *end_of_line(char *cp, unsigned long *left)
164         unsigned long l = *left;
165         while (l && *cp != '\n') {
166                 l--;
167                 cp++;
168         }
169         *left = l;
170         return cp;
173 static int word_char(char ch)
175         return isalnum(ch) || ch == '_';
178 static void show_line(struct grep_opt *opt, const char *bol, const char *eol,
179                       const char *name, unsigned lno, char sign)
181         if (opt->pathname)
182                 printf("%s%c", name, sign);
183         if (opt->linenum)
184                 printf("%d%c", lno, sign);
185         printf("%.*s\n", (int)(eol-bol), bol);
188 /*
189  * NEEDSWORK: share code with diff.c
190  */
191 #define FIRST_FEW_BYTES 8000
192 static int buffer_is_binary(const char *ptr, unsigned long size)
194         if (FIRST_FEW_BYTES < size)
195                 size = FIRST_FEW_BYTES;
196         return !!memchr(ptr, 0, size);
199 static int fixmatch(const char *pattern, char *line, regmatch_t *match)
201         char *hit = strstr(line, pattern);
202         if (!hit) {
203                 match->rm_so = match->rm_eo = -1;
204                 return REG_NOMATCH;
205         }
206         else {
207                 match->rm_so = hit - line;
208                 match->rm_eo = match->rm_so + strlen(pattern);
209                 return 0;
210         }
213 static int match_one_pattern(struct grep_opt *opt, struct grep_pat *p, char *bol, char *eol)
215         int hit = 0;
216         int at_true_bol = 1;
217         regmatch_t pmatch[10];
219  again:
220         if (!opt->fixed) {
221                 regex_t *exp = &p->regexp;
222                 hit = !regexec(exp, bol, ARRAY_SIZE(pmatch),
223                                pmatch, 0);
224         }
225         else {
226                 hit = !fixmatch(p->pattern, bol, pmatch);
227         }
229         if (hit && opt->word_regexp) {
230                 if ((pmatch[0].rm_so < 0) ||
231                     (eol - bol) <= pmatch[0].rm_so ||
232                     (pmatch[0].rm_eo < 0) ||
233                     (eol - bol) < pmatch[0].rm_eo)
234                         die("regexp returned nonsense");
236                 /* Match beginning must be either beginning of the
237                  * line, or at word boundary (i.e. the last char must
238                  * not be a word char).  Similarly, match end must be
239                  * either end of the line, or at word boundary
240                  * (i.e. the next char must not be a word char).
241                  */
242                 if ( ((pmatch[0].rm_so == 0 && at_true_bol) ||
243                       !word_char(bol[pmatch[0].rm_so-1])) &&
244                      ((pmatch[0].rm_eo == (eol-bol)) ||
245                       !word_char(bol[pmatch[0].rm_eo])) )
246                         ;
247                 else
248                         hit = 0;
250                 if (!hit && pmatch[0].rm_so + bol + 1 < eol) {
251                         /* There could be more than one match on the
252                          * line, and the first match might not be
253                          * strict word match.  But later ones could be!
254                          */
255                         bol = pmatch[0].rm_so + bol + 1;
256                         at_true_bol = 0;
257                         goto again;
258                 }
259         }
260         return hit;
263 static int match_expr_eval(struct grep_opt *opt,
264                            struct grep_expr *x,
265                            char *bol, char *eol)
267         switch (x->node) {
268         case GREP_NODE_ATOM:
269                 return match_one_pattern(opt, x->u.atom, bol, eol);
270                 break;
271         case GREP_NODE_NOT:
272                 return !match_expr_eval(opt, x->u.unary, bol, eol);
273         case GREP_NODE_AND:
274                 return (match_expr_eval(opt, x->u.binary.left, bol, eol) &&
275                         match_expr_eval(opt, x->u.binary.right, bol, eol));
276         case GREP_NODE_OR:
277                 return (match_expr_eval(opt, x->u.binary.left, bol, eol) ||
278                         match_expr_eval(opt, x->u.binary.right, bol, eol));
279         }
280         die("Unexpected node type (internal error) %d\n", x->node);
283 static int match_expr(struct grep_opt *opt, char *bol, char *eol)
285         struct grep_expr *x = opt->pattern_expression;
286         return match_expr_eval(opt, x, bol, eol);
289 static int match_line(struct grep_opt *opt, char *bol, char *eol)
291         struct grep_pat *p;
292         if (opt->extended)
293                 return match_expr(opt, bol, eol);
294         for (p = opt->pattern_list; p; p = p->next) {
295                 if (match_one_pattern(opt, p, bol, eol))
296                         return 1;
297         }
298         return 0;
301 int grep_buffer(struct grep_opt *opt, const char *name, char *buf, unsigned long size)
303         char *bol = buf;
304         unsigned long left = size;
305         unsigned lno = 1;
306         struct pre_context_line {
307                 char *bol;
308                 char *eol;
309         } *prev = NULL, *pcl;
310         unsigned last_hit = 0;
311         unsigned last_shown = 0;
312         int binary_match_only = 0;
313         const char *hunk_mark = "";
314         unsigned count = 0;
316         if (buffer_is_binary(buf, size)) {
317                 switch (opt->binary) {
318                 case GREP_BINARY_DEFAULT:
319                         binary_match_only = 1;
320                         break;
321                 case GREP_BINARY_NOMATCH:
322                         return 0; /* Assume unmatch */
323                         break;
324                 default:
325                         break;
326                 }
327         }
329         if (opt->pre_context)
330                 prev = xcalloc(opt->pre_context, sizeof(*prev));
331         if (opt->pre_context || opt->post_context)
332                 hunk_mark = "--\n";
334         while (left) {
335                 char *eol, ch;
336                 int hit = 0;
338                 eol = end_of_line(bol, &left);
339                 ch = *eol;
340                 *eol = 0;
342                 hit = match_line(opt, bol, eol);
343                 *eol = ch;
345                 /* "grep -v -e foo -e bla" should list lines
346                  * that do not have either, so inversion should
347                  * be done outside.
348                  */
349                 if (opt->invert)
350                         hit = !hit;
351                 if (opt->unmatch_name_only) {
352                         if (hit)
353                                 return 0;
354                         goto next_line;
355                 }
356                 if (hit) {
357                         count++;
358                         if (opt->status_only)
359                                 return 1;
360                         if (binary_match_only) {
361                                 printf("Binary file %s matches\n", name);
362                                 return 1;
363                         }
364                         if (opt->name_only) {
365                                 printf("%s\n", name);
366                                 return 1;
367                         }
368                         /* Hit at this line.  If we haven't shown the
369                          * pre-context lines, we would need to show them.
370                          * When asked to do "count", this still show
371                          * the context which is nonsense, but the user
372                          * deserves to get that ;-).
373                          */
374                         if (opt->pre_context) {
375                                 unsigned from;
376                                 if (opt->pre_context < lno)
377                                         from = lno - opt->pre_context;
378                                 else
379                                         from = 1;
380                                 if (from <= last_shown)
381                                         from = last_shown + 1;
382                                 if (last_shown && from != last_shown + 1)
383                                         printf(hunk_mark);
384                                 while (from < lno) {
385                                         pcl = &prev[lno-from-1];
386                                         show_line(opt, pcl->bol, pcl->eol,
387                                                   name, from, '-');
388                                         from++;
389                                 }
390                                 last_shown = lno-1;
391                         }
392                         if (last_shown && lno != last_shown + 1)
393                                 printf(hunk_mark);
394                         if (!opt->count)
395                                 show_line(opt, bol, eol, name, lno, ':');
396                         last_shown = last_hit = lno;
397                 }
398                 else if (last_hit &&
399                          lno <= last_hit + opt->post_context) {
400                         /* If the last hit is within the post context,
401                          * we need to show this line.
402                          */
403                         if (last_shown && lno != last_shown + 1)
404                                 printf(hunk_mark);
405                         show_line(opt, bol, eol, name, lno, '-');
406                         last_shown = lno;
407                 }
408                 if (opt->pre_context) {
409                         memmove(prev+1, prev,
410                                 (opt->pre_context-1) * sizeof(*prev));
411                         prev->bol = bol;
412                         prev->eol = eol;
413                 }
415         next_line:
416                 bol = eol + 1;
417                 if (!left)
418                         break;
419                 left--;
420                 lno++;
421         }
423         if (opt->status_only)
424                 return 0;
425         if (opt->unmatch_name_only) {
426                 /* We did not see any hit, so we want to show this */
427                 printf("%s\n", name);
428                 return 1;
429         }
431         /* NEEDSWORK:
432          * The real "grep -c foo *.c" gives many "bar.c:0" lines,
433          * which feels mostly useless but sometimes useful.  Maybe
434          * make it another option?  For now suppress them.
435          */
436         if (opt->count && count)
437                 printf("%s:%u\n", name, count);
438         return !!last_hit;