]> git.ipfire.org Git - thirdparty/git.git/blob - pathspec.c
Merge branch 'ak/pretty-decorate-more-fix'
[thirdparty/git.git] / pathspec.c
1 #include "git-compat-util.h"
2 #include "abspath.h"
3 #include "parse.h"
4 #include "dir.h"
5 #include "environment.h"
6 #include "gettext.h"
7 #include "pathspec.h"
8 #include "attr.h"
9 #include "read-cache.h"
10 #include "repository.h"
11 #include "setup.h"
12 #include "strvec.h"
13 #include "symlinks.h"
14 #include "quote.h"
15 #include "wildmatch.h"
16
17 /*
18 * Finds which of the given pathspecs match items in the index.
19 *
20 * For each pathspec, sets the corresponding entry in the seen[] array
21 * (which should be specs items long, i.e. the same size as pathspec)
22 * to the nature of the "closest" (i.e. most specific) match found for
23 * that pathspec in the index, if it was a closer type of match than
24 * the existing entry. As an optimization, matching is skipped
25 * altogether if seen[] already only contains non-zero entries.
26 *
27 * If seen[] has not already been written to, it may make sense
28 * to use find_pathspecs_matching_against_index() instead.
29 */
30 void add_pathspec_matches_against_index(const struct pathspec *pathspec,
31 struct index_state *istate,
32 char *seen,
33 enum ps_skip_worktree_action sw_action)
34 {
35 int num_unmatched = 0, i;
36
37 /*
38 * Since we are walking the index as if we were walking the directory,
39 * we have to mark the matched pathspec as seen; otherwise we will
40 * mistakenly think that the user gave a pathspec that did not match
41 * anything.
42 */
43 for (i = 0; i < pathspec->nr; i++)
44 if (!seen[i])
45 num_unmatched++;
46 if (!num_unmatched)
47 return;
48 for (i = 0; i < istate->cache_nr; i++) {
49 const struct cache_entry *ce = istate->cache[i];
50 if (sw_action == PS_IGNORE_SKIP_WORKTREE &&
51 (ce_skip_worktree(ce) || !path_in_sparse_checkout(ce->name, istate)))
52 continue;
53 ce_path_match(istate, ce, pathspec, seen);
54 }
55 }
56
57 /*
58 * Finds which of the given pathspecs match items in the index.
59 *
60 * This is a one-shot wrapper around add_pathspec_matches_against_index()
61 * which allocates, populates, and returns a seen[] array indicating the
62 * nature of the "closest" (i.e. most specific) matches which each of the
63 * given pathspecs achieves against all items in the index.
64 */
65 char *find_pathspecs_matching_against_index(const struct pathspec *pathspec,
66 struct index_state *istate,
67 enum ps_skip_worktree_action sw_action)
68 {
69 char *seen = xcalloc(pathspec->nr, 1);
70 add_pathspec_matches_against_index(pathspec, istate, seen, sw_action);
71 return seen;
72 }
73
74 char *find_pathspecs_matching_skip_worktree(const struct pathspec *pathspec)
75 {
76 struct index_state *istate = the_repository->index;
77 char *seen = xcalloc(pathspec->nr, 1);
78 int i;
79
80 for (i = 0; i < istate->cache_nr; i++) {
81 struct cache_entry *ce = istate->cache[i];
82 if (ce_skip_worktree(ce) || !path_in_sparse_checkout(ce->name, istate))
83 ce_path_match(istate, ce, pathspec, seen);
84 }
85
86 return seen;
87 }
88
89 /*
90 * Magic pathspec
91 *
92 * Possible future magic semantics include stuff like:
93 *
94 * { PATHSPEC_RECURSIVE, '*', "recursive" },
95 * { PATHSPEC_REGEXP, '\0', "regexp" },
96 *
97 */
98
99 static struct pathspec_magic {
100 unsigned bit;
101 char mnemonic; /* this cannot be ':'! */
102 const char *name;
103 } pathspec_magic[] = {
104 { PATHSPEC_FROMTOP, '/', "top" },
105 { PATHSPEC_LITERAL, '\0', "literal" },
106 { PATHSPEC_GLOB, '\0', "glob" },
107 { PATHSPEC_ICASE, '\0', "icase" },
108 { PATHSPEC_EXCLUDE, '!', "exclude" },
109 { PATHSPEC_ATTR, '\0', "attr" },
110 };
111
112 static void prefix_magic(struct strbuf *sb, int prefixlen, unsigned magic)
113 {
114 int i;
115 strbuf_addstr(sb, ":(");
116 for (i = 0; i < ARRAY_SIZE(pathspec_magic); i++)
117 if (magic & pathspec_magic[i].bit) {
118 if (sb->buf[sb->len - 1] != '(')
119 strbuf_addch(sb, ',');
120 strbuf_addstr(sb, pathspec_magic[i].name);
121 }
122 strbuf_addf(sb, ",prefix:%d)", prefixlen);
123 }
124
125 static size_t strcspn_escaped(const char *s, const char *stop)
126 {
127 const char *i;
128
129 for (i = s; *i; i++) {
130 /* skip the escaped character */
131 if (i[0] == '\\' && i[1]) {
132 i++;
133 continue;
134 }
135
136 if (strchr(stop, *i))
137 break;
138 }
139 return i - s;
140 }
141
142 static inline int invalid_value_char(const char ch)
143 {
144 if (isalnum(ch) || strchr(",-_", ch))
145 return 0;
146 return -1;
147 }
148
149 static char *attr_value_unescape(const char *value)
150 {
151 const char *src;
152 char *dst, *ret;
153
154 ret = xmallocz(strlen(value));
155 for (src = value, dst = ret; *src; src++, dst++) {
156 if (*src == '\\') {
157 if (!src[1])
158 die(_("Escape character '\\' not allowed as "
159 "last character in attr value"));
160 src++;
161 }
162 if (invalid_value_char(*src))
163 die("cannot use '%c' for value matching", *src);
164 *dst = *src;
165 }
166 *dst = '\0';
167 return ret;
168 }
169
170 static void parse_pathspec_attr_match(struct pathspec_item *item, const char *value)
171 {
172 struct string_list_item *si;
173 struct string_list list = STRING_LIST_INIT_DUP;
174
175 if (item->attr_check || item->attr_match)
176 die(_("Only one 'attr:' specification is allowed."));
177
178 if (!value || !*value)
179 die(_("attr spec must not be empty"));
180
181 string_list_split(&list, value, ' ', -1);
182 string_list_remove_empty_items(&list, 0);
183
184 item->attr_check = attr_check_alloc();
185 CALLOC_ARRAY(item->attr_match, list.nr);
186
187 for_each_string_list_item(si, &list) {
188 size_t attr_len;
189 char *attr_name;
190 const struct git_attr *a;
191
192 int j = item->attr_match_nr++;
193 const char *attr = si->string;
194 struct attr_match *am = &item->attr_match[j];
195
196 switch (*attr) {
197 case '!':
198 am->match_mode = MATCH_UNSPECIFIED;
199 attr++;
200 attr_len = strlen(attr);
201 break;
202 case '-':
203 am->match_mode = MATCH_UNSET;
204 attr++;
205 attr_len = strlen(attr);
206 break;
207 default:
208 attr_len = strcspn(attr, "=");
209 if (attr[attr_len] != '=')
210 am->match_mode = MATCH_SET;
211 else {
212 const char *v = &attr[attr_len + 1];
213 am->match_mode = MATCH_VALUE;
214 am->value = attr_value_unescape(v);
215 }
216 break;
217 }
218
219 attr_name = xmemdupz(attr, attr_len);
220 a = git_attr(attr_name);
221 if (!a)
222 die(_("invalid attribute name %s"), attr_name);
223
224 attr_check_append(item->attr_check, a);
225
226 free(attr_name);
227 }
228
229 if (item->attr_check->nr != item->attr_match_nr)
230 BUG("should have same number of entries");
231
232 string_list_clear(&list, 0);
233 }
234
235 static inline int get_literal_global(void)
236 {
237 static int literal = -1;
238
239 if (literal < 0)
240 literal = git_env_bool(GIT_LITERAL_PATHSPECS_ENVIRONMENT, 0);
241
242 return literal;
243 }
244
245 static inline int get_glob_global(void)
246 {
247 static int glob = -1;
248
249 if (glob < 0)
250 glob = git_env_bool(GIT_GLOB_PATHSPECS_ENVIRONMENT, 0);
251
252 return glob;
253 }
254
255 static inline int get_noglob_global(void)
256 {
257 static int noglob = -1;
258
259 if (noglob < 0)
260 noglob = git_env_bool(GIT_NOGLOB_PATHSPECS_ENVIRONMENT, 0);
261
262 return noglob;
263 }
264
265 static inline int get_icase_global(void)
266 {
267 static int icase = -1;
268
269 if (icase < 0)
270 icase = git_env_bool(GIT_ICASE_PATHSPECS_ENVIRONMENT, 0);
271
272 return icase;
273 }
274
275 static int get_global_magic(int element_magic)
276 {
277 int global_magic = 0;
278
279 if (get_literal_global())
280 global_magic |= PATHSPEC_LITERAL;
281
282 /* --glob-pathspec is overridden by :(literal) */
283 if (get_glob_global() && !(element_magic & PATHSPEC_LITERAL))
284 global_magic |= PATHSPEC_GLOB;
285
286 if (get_glob_global() && get_noglob_global())
287 die(_("global 'glob' and 'noglob' pathspec settings are incompatible"));
288
289 if (get_icase_global())
290 global_magic |= PATHSPEC_ICASE;
291
292 if ((global_magic & PATHSPEC_LITERAL) &&
293 (global_magic & ~PATHSPEC_LITERAL))
294 die(_("global 'literal' pathspec setting is incompatible "
295 "with all other global pathspec settings"));
296
297 /* --noglob-pathspec adds :(literal) _unless_ :(glob) is specified */
298 if (get_noglob_global() && !(element_magic & PATHSPEC_GLOB))
299 global_magic |= PATHSPEC_LITERAL;
300
301 return global_magic;
302 }
303
304 /*
305 * Parse the pathspec element looking for long magic
306 *
307 * saves all magic in 'magic'
308 * if prefix magic is used, save the prefix length in 'prefix_len'
309 * returns the position in 'elem' after all magic has been parsed
310 */
311 static const char *parse_long_magic(unsigned *magic, int *prefix_len,
312 struct pathspec_item *item,
313 const char *elem)
314 {
315 const char *pos;
316 const char *nextat;
317
318 for (pos = elem + 2; *pos && *pos != ')'; pos = nextat) {
319 size_t len = strcspn_escaped(pos, ",)");
320 int i;
321
322 if (pos[len] == ',')
323 nextat = pos + len + 1; /* handle ',' */
324 else
325 nextat = pos + len; /* handle ')' and '\0' */
326
327 if (!len)
328 continue;
329
330 if (starts_with(pos, "prefix:")) {
331 char *endptr;
332 *prefix_len = strtol(pos + 7, &endptr, 10);
333 if (endptr - pos != len)
334 die(_("invalid parameter for pathspec magic 'prefix'"));
335 continue;
336 }
337
338 if (starts_with(pos, "attr:")) {
339 char *attr_body = xmemdupz(pos + 5, len - 5);
340 parse_pathspec_attr_match(item, attr_body);
341 *magic |= PATHSPEC_ATTR;
342 free(attr_body);
343 continue;
344 }
345
346 for (i = 0; i < ARRAY_SIZE(pathspec_magic); i++) {
347 if (strlen(pathspec_magic[i].name) == len &&
348 !strncmp(pathspec_magic[i].name, pos, len)) {
349 *magic |= pathspec_magic[i].bit;
350 break;
351 }
352 }
353
354 if (ARRAY_SIZE(pathspec_magic) <= i)
355 die(_("Invalid pathspec magic '%.*s' in '%s'"),
356 (int) len, pos, elem);
357 }
358
359 if (*pos != ')')
360 die(_("Missing ')' at the end of pathspec magic in '%s'"),
361 elem);
362 pos++;
363
364 return pos;
365 }
366
367 /*
368 * Parse the pathspec element looking for short magic
369 *
370 * saves all magic in 'magic'
371 * returns the position in 'elem' after all magic has been parsed
372 */
373 static const char *parse_short_magic(unsigned *magic, const char *elem)
374 {
375 const char *pos;
376
377 for (pos = elem + 1; *pos && *pos != ':'; pos++) {
378 char ch = *pos;
379 int i;
380
381 /* Special case alias for '!' */
382 if (ch == '^') {
383 *magic |= PATHSPEC_EXCLUDE;
384 continue;
385 }
386
387 if (!is_pathspec_magic(ch))
388 break;
389
390 for (i = 0; i < ARRAY_SIZE(pathspec_magic); i++) {
391 if (pathspec_magic[i].mnemonic == ch) {
392 *magic |= pathspec_magic[i].bit;
393 break;
394 }
395 }
396
397 if (ARRAY_SIZE(pathspec_magic) <= i)
398 die(_("Unimplemented pathspec magic '%c' in '%s'"),
399 ch, elem);
400 }
401
402 if (*pos == ':')
403 pos++;
404
405 return pos;
406 }
407
408 static const char *parse_element_magic(unsigned *magic, int *prefix_len,
409 struct pathspec_item *item,
410 const char *elem)
411 {
412 if (elem[0] != ':' || get_literal_global())
413 return elem; /* nothing to do */
414 else if (elem[1] == '(')
415 /* longhand */
416 return parse_long_magic(magic, prefix_len, item, elem);
417 else
418 /* shorthand */
419 return parse_short_magic(magic, elem);
420 }
421
422 /*
423 * Perform the initialization of a pathspec_item based on a pathspec element.
424 */
425 static void init_pathspec_item(struct pathspec_item *item, unsigned flags,
426 const char *prefix, int prefixlen,
427 const char *elt)
428 {
429 unsigned magic = 0, element_magic = 0;
430 const char *copyfrom = elt;
431 char *match;
432 int pathspec_prefix = -1;
433
434 item->attr_check = NULL;
435 item->attr_match = NULL;
436 item->attr_match_nr = 0;
437
438 /* PATHSPEC_LITERAL_PATH ignores magic */
439 if (flags & PATHSPEC_LITERAL_PATH) {
440 magic = PATHSPEC_LITERAL;
441 } else {
442 copyfrom = parse_element_magic(&element_magic,
443 &pathspec_prefix,
444 item,
445 elt);
446 magic |= element_magic;
447 magic |= get_global_magic(element_magic);
448 }
449
450 item->magic = magic;
451
452 if (pathspec_prefix >= 0 &&
453 (prefixlen || (prefix && *prefix)))
454 BUG("'prefix' magic is supposed to be used at worktree's root");
455
456 if ((magic & PATHSPEC_LITERAL) && (magic & PATHSPEC_GLOB))
457 die(_("%s: 'literal' and 'glob' are incompatible"), elt);
458
459 /* Create match string which will be used for pathspec matching */
460 if (pathspec_prefix >= 0) {
461 match = xstrdup(copyfrom);
462 prefixlen = pathspec_prefix;
463 } else if (magic & PATHSPEC_FROMTOP) {
464 match = xstrdup(copyfrom);
465 prefixlen = 0;
466 } else {
467 match = prefix_path_gently(prefix, prefixlen,
468 &prefixlen, copyfrom);
469 if (!match) {
470 const char *hint_path = get_git_work_tree();
471 if (!hint_path)
472 hint_path = get_git_dir();
473 die(_("%s: '%s' is outside repository at '%s'"), elt,
474 copyfrom, absolute_path(hint_path));
475 }
476 }
477
478 item->match = match;
479 item->len = strlen(item->match);
480 item->prefix = prefixlen;
481
482 /*
483 * Prefix the pathspec (keep all magic) and assign to
484 * original. Useful for passing to another command.
485 */
486 if ((flags & PATHSPEC_PREFIX_ORIGIN) &&
487 !get_literal_global()) {
488 struct strbuf sb = STRBUF_INIT;
489
490 /* Preserve the actual prefix length of each pattern */
491 prefix_magic(&sb, prefixlen, element_magic);
492
493 strbuf_addstr(&sb, match);
494 item->original = strbuf_detach(&sb, NULL);
495 } else {
496 item->original = xstrdup(elt);
497 }
498
499 if (magic & PATHSPEC_LITERAL) {
500 item->nowildcard_len = item->len;
501 } else {
502 item->nowildcard_len = simple_length(item->match);
503 if (item->nowildcard_len < prefixlen)
504 item->nowildcard_len = prefixlen;
505 }
506
507 item->flags = 0;
508 if (magic & PATHSPEC_GLOB) {
509 /*
510 * FIXME: should we enable ONESTAR in _GLOB for
511 * pattern "* * / * . c"?
512 */
513 } else {
514 if (item->nowildcard_len < item->len &&
515 item->match[item->nowildcard_len] == '*' &&
516 no_wildcard(item->match + item->nowildcard_len + 1))
517 item->flags |= PATHSPEC_ONESTAR;
518 }
519
520 /* sanity checks, pathspec matchers assume these are sane */
521 if (item->nowildcard_len > item->len ||
522 item->prefix > item->len) {
523 BUG("error initializing pathspec_item");
524 }
525 }
526
527 static int pathspec_item_cmp(const void *a_, const void *b_)
528 {
529 struct pathspec_item *a, *b;
530
531 a = (struct pathspec_item *)a_;
532 b = (struct pathspec_item *)b_;
533 return strcmp(a->match, b->match);
534 }
535
536 void pathspec_magic_names(unsigned magic, struct strbuf *out)
537 {
538 int i;
539 for (i = 0; i < ARRAY_SIZE(pathspec_magic); i++) {
540 const struct pathspec_magic *m = pathspec_magic + i;
541 if (!(magic & m->bit))
542 continue;
543 if (out->len)
544 strbuf_addstr(out, ", ");
545
546 if (m->mnemonic)
547 strbuf_addf(out, _("'%s' (mnemonic: '%c')"),
548 m->name, m->mnemonic);
549 else
550 strbuf_addf(out, "'%s'", m->name);
551 }
552 }
553
554 static void NORETURN unsupported_magic(const char *pattern,
555 unsigned magic)
556 {
557 struct strbuf sb = STRBUF_INIT;
558 pathspec_magic_names(magic, &sb);
559 /*
560 * We may want to substitute "this command" with a command
561 * name. E.g. when "git add -p" or "git add -i" dies when running
562 * "checkout -p"
563 */
564 die(_("%s: pathspec magic not supported by this command: %s"),
565 pattern, sb.buf);
566 }
567
568 void parse_pathspec(struct pathspec *pathspec,
569 unsigned magic_mask, unsigned flags,
570 const char *prefix, const char **argv)
571 {
572 struct pathspec_item *item;
573 const char *entry = argv ? *argv : NULL;
574 int i, n, prefixlen, nr_exclude = 0;
575
576 memset(pathspec, 0, sizeof(*pathspec));
577
578 if (flags & PATHSPEC_MAXDEPTH_VALID)
579 pathspec->magic |= PATHSPEC_MAXDEPTH;
580
581 /* No arguments, no prefix -> no pathspec */
582 if (!entry && !prefix)
583 return;
584
585 if ((flags & PATHSPEC_PREFER_CWD) &&
586 (flags & PATHSPEC_PREFER_FULL))
587 BUG("PATHSPEC_PREFER_CWD and PATHSPEC_PREFER_FULL are incompatible");
588
589 /* No arguments with prefix -> prefix pathspec */
590 if (!entry) {
591 if (flags & PATHSPEC_PREFER_FULL)
592 return;
593
594 if (!(flags & PATHSPEC_PREFER_CWD))
595 BUG("PATHSPEC_PREFER_CWD requires arguments");
596
597 pathspec->items = CALLOC_ARRAY(item, 1);
598 item->match = xstrdup(prefix);
599 item->original = xstrdup(prefix);
600 item->nowildcard_len = item->len = strlen(prefix);
601 item->prefix = item->len;
602 pathspec->nr = 1;
603 return;
604 }
605
606 n = 0;
607 while (argv[n]) {
608 if (*argv[n] == '\0')
609 die("empty string is not a valid pathspec. "
610 "please use . instead if you meant to match all paths");
611 n++;
612 }
613
614 pathspec->nr = n;
615 ALLOC_ARRAY(pathspec->items, n + 1);
616 item = pathspec->items;
617 prefixlen = prefix ? strlen(prefix) : 0;
618
619 for (i = 0; i < n; i++) {
620 entry = argv[i];
621
622 init_pathspec_item(item + i, flags, prefix, prefixlen, entry);
623
624 if (item[i].magic & PATHSPEC_EXCLUDE)
625 nr_exclude++;
626 if (item[i].magic & magic_mask)
627 unsupported_magic(entry, item[i].magic & magic_mask);
628
629 if ((flags & PATHSPEC_SYMLINK_LEADING_PATH) &&
630 has_symlink_leading_path(item[i].match, item[i].len)) {
631 die(_("pathspec '%s' is beyond a symbolic link"), entry);
632 }
633
634 if (item[i].nowildcard_len < item[i].len)
635 pathspec->has_wildcard = 1;
636 pathspec->magic |= item[i].magic;
637 }
638
639 /*
640 * If everything is an exclude pattern, add one positive pattern
641 * that matches everything. We allocated an extra one for this.
642 */
643 if (nr_exclude == n) {
644 int plen = (!(flags & PATHSPEC_PREFER_CWD)) ? 0 : prefixlen;
645 init_pathspec_item(item + n, 0, prefix, plen, ".");
646 pathspec->nr++;
647 }
648
649 if (pathspec->magic & PATHSPEC_MAXDEPTH) {
650 if (flags & PATHSPEC_KEEP_ORDER)
651 BUG("PATHSPEC_MAXDEPTH_VALID and PATHSPEC_KEEP_ORDER are incompatible");
652 QSORT(pathspec->items, pathspec->nr, pathspec_item_cmp);
653 }
654 }
655
656 void parse_pathspec_file(struct pathspec *pathspec, unsigned magic_mask,
657 unsigned flags, const char *prefix,
658 const char *file, int nul_term_line)
659 {
660 struct strvec parsed_file = STRVEC_INIT;
661 strbuf_getline_fn getline_fn = nul_term_line ? strbuf_getline_nul :
662 strbuf_getline;
663 struct strbuf buf = STRBUF_INIT;
664 struct strbuf unquoted = STRBUF_INIT;
665 FILE *in;
666
667 if (!strcmp(file, "-"))
668 in = stdin;
669 else
670 in = xfopen(file, "r");
671
672 while (getline_fn(&buf, in) != EOF) {
673 if (!nul_term_line && buf.buf[0] == '"') {
674 strbuf_reset(&unquoted);
675 if (unquote_c_style(&unquoted, buf.buf, NULL))
676 die(_("line is badly quoted: %s"), buf.buf);
677 strbuf_swap(&buf, &unquoted);
678 }
679 strvec_push(&parsed_file, buf.buf);
680 strbuf_reset(&buf);
681 }
682
683 strbuf_release(&unquoted);
684 strbuf_release(&buf);
685 if (in != stdin)
686 fclose(in);
687
688 parse_pathspec(pathspec, magic_mask, flags, prefix, parsed_file.v);
689 strvec_clear(&parsed_file);
690 }
691
692 void copy_pathspec(struct pathspec *dst, const struct pathspec *src)
693 {
694 int i, j;
695
696 *dst = *src;
697 DUP_ARRAY(dst->items, src->items, dst->nr);
698
699 for (i = 0; i < dst->nr; i++) {
700 struct pathspec_item *d = &dst->items[i];
701 struct pathspec_item *s = &src->items[i];
702
703 d->match = xstrdup(s->match);
704 d->original = xstrdup(s->original);
705
706 DUP_ARRAY(d->attr_match, s->attr_match, d->attr_match_nr);
707 for (j = 0; j < d->attr_match_nr; j++) {
708 const char *value = s->attr_match[j].value;
709 d->attr_match[j].value = xstrdup_or_null(value);
710 }
711
712 d->attr_check = attr_check_dup(s->attr_check);
713 }
714 }
715
716 void clear_pathspec(struct pathspec *pathspec)
717 {
718 int i, j;
719
720 for (i = 0; i < pathspec->nr; i++) {
721 free(pathspec->items[i].match);
722 free(pathspec->items[i].original);
723
724 for (j = 0; j < pathspec->items[i].attr_match_nr; j++)
725 free(pathspec->items[i].attr_match[j].value);
726 free(pathspec->items[i].attr_match);
727
728 if (pathspec->items[i].attr_check)
729 attr_check_free(pathspec->items[i].attr_check);
730 }
731
732 FREE_AND_NULL(pathspec->items);
733 pathspec->nr = 0;
734 }
735
736 int match_pathspec_attrs(struct index_state *istate,
737 const char *name, int namelen,
738 const struct pathspec_item *item)
739 {
740 int i;
741 char *to_free = NULL;
742
743 if (name[namelen])
744 name = to_free = xmemdupz(name, namelen);
745
746 git_check_attr(istate, name, item->attr_check);
747
748 free(to_free);
749
750 for (i = 0; i < item->attr_match_nr; i++) {
751 const char *value;
752 int matched;
753 enum attr_match_mode match_mode;
754
755 value = item->attr_check->items[i].value;
756 match_mode = item->attr_match[i].match_mode;
757
758 if (ATTR_TRUE(value))
759 matched = (match_mode == MATCH_SET);
760 else if (ATTR_FALSE(value))
761 matched = (match_mode == MATCH_UNSET);
762 else if (ATTR_UNSET(value))
763 matched = (match_mode == MATCH_UNSPECIFIED);
764 else
765 matched = (match_mode == MATCH_VALUE &&
766 !strcmp(item->attr_match[i].value, value));
767 if (!matched)
768 return 0;
769 }
770
771 return 1;
772 }
773
774 int pathspec_needs_expanded_index(struct index_state *istate,
775 const struct pathspec *pathspec)
776 {
777 unsigned int i, pos;
778 int res = 0;
779 char *skip_worktree_seen = NULL;
780
781 /*
782 * If index is not sparse, no index expansion is needed.
783 */
784 if (!istate->sparse_index)
785 return 0;
786
787 /*
788 * When using a magic pathspec, assume for the sake of simplicity that
789 * the index needs to be expanded to match all matchable files.
790 */
791 if (pathspec->magic)
792 return 1;
793
794 for (i = 0; i < pathspec->nr; i++) {
795 struct pathspec_item item = pathspec->items[i];
796
797 /*
798 * If the pathspec item has a wildcard, the index should be expanded
799 * if the pathspec has the possibility of matching a subset of entries inside
800 * of a sparse directory (but not the entire directory).
801 *
802 * If the pathspec item is a literal path, the index only needs to be expanded
803 * if a) the pathspec isn't in the sparse checkout cone (to make sure we don't
804 * expand for in-cone files) and b) it doesn't match any sparse directories
805 * (since we can reset whole sparse directories without expanding them).
806 */
807 if (item.nowildcard_len < item.len) {
808 /*
809 * Special case: if the pattern is a path inside the cone
810 * followed by only wildcards, the pattern cannot match
811 * partial sparse directories, so we know we don't need to
812 * expand the index.
813 *
814 * Examples:
815 * - in-cone/foo***: doesn't need expanded index
816 * - not-in-cone/bar*: may need expanded index
817 * - **.c: may need expanded index
818 */
819 if (strspn(item.original + item.nowildcard_len, "*") == item.len - item.nowildcard_len &&
820 path_in_cone_mode_sparse_checkout(item.original, istate))
821 continue;
822
823 for (pos = 0; pos < istate->cache_nr; pos++) {
824 struct cache_entry *ce = istate->cache[pos];
825
826 if (!S_ISSPARSEDIR(ce->ce_mode))
827 continue;
828
829 /*
830 * If the pre-wildcard length is longer than the sparse
831 * directory name and the sparse directory is the first
832 * component of the pathspec, need to expand the index.
833 */
834 if (item.nowildcard_len > ce_namelen(ce) &&
835 !strncmp(item.original, ce->name, ce_namelen(ce))) {
836 res = 1;
837 break;
838 }
839
840 /*
841 * If the pre-wildcard length is shorter than the sparse
842 * directory and the pathspec does not match the whole
843 * directory, need to expand the index.
844 */
845 if (!strncmp(item.original, ce->name, item.nowildcard_len) &&
846 wildmatch(item.original, ce->name, 0)) {
847 res = 1;
848 break;
849 }
850 }
851 } else if (!path_in_cone_mode_sparse_checkout(item.original, istate) &&
852 !matches_skip_worktree(pathspec, i, &skip_worktree_seen))
853 res = 1;
854
855 if (res > 0)
856 break;
857 }
858
859 free(skip_worktree_seen);
860 return res;
861 }