50e5ee393489eb065326f5a25eb6e0cccb3b9c9f
   1/*
   2 * Handle git attributes.  See gitattributes(5) for a description of
   3 * the file syntax, and Documentation/technical/api-gitattributes.txt
   4 * for a description of the API.
   5 *
   6 * One basic design decision here is that we are not going to support
   7 * an insanely large number of attributes.
   8 */
   9
  10#define NO_THE_INDEX_COMPATIBILITY_MACROS
  11#include "cache.h"
  12#include "exec_cmd.h"
  13#include "attr.h"
  14#include "dir.h"
  15#include "utf8.h"
  16#include "quote.h"
  17
  18const char git_attr__true[] = "(builtin)true";
  19const char git_attr__false[] = "\0(builtin)false";
  20static const char git_attr__unknown[] = "(builtin)unknown";
  21#define ATTR__TRUE git_attr__true
  22#define ATTR__FALSE git_attr__false
  23#define ATTR__UNSET NULL
  24#define ATTR__UNKNOWN git_attr__unknown
  25
  26/* This is a randomly chosen prime. */
  27#define HASHSIZE 257
  28
  29#ifndef DEBUG_ATTR
  30#define DEBUG_ATTR 0
  31#endif
  32
  33/*
  34 * NEEDSWORK: the global dictionary of the interned attributes
  35 * must stay a singleton even after we become thread-ready.
  36 * Access to these must be surrounded with mutex when it happens.
  37 */
  38struct git_attr {
  39        struct git_attr *next;
  40        unsigned h;
  41        int attr_nr;
  42        int maybe_macro;
  43        int maybe_real;
  44        char name[FLEX_ARRAY];
  45};
  46static int attr_nr;
  47static struct git_attr *(git_attr_hash[HASHSIZE]);
  48
  49/*
  50 * NEEDSWORK: maybe-real, maybe-macro are not property of
  51 * an attribute, as it depends on what .gitattributes are
  52 * read.  Once we introduce per git_attr_check attr_stack
  53 * and check_all_attr, the optimization based on them will
  54 * become unnecessary and can go away.  So is this variable.
  55 */
  56static int cannot_trust_maybe_real;
  57
  58/* NEEDSWORK: This will become per git_attr_check */
  59static struct git_attr_check *check_all_attr;
  60
  61const char *git_attr_name(const struct git_attr *attr)
  62{
  63        return attr->name;
  64}
  65
  66static unsigned hash_name(const char *name, int namelen)
  67{
  68        unsigned val = 0, c;
  69
  70        while (namelen--) {
  71                c = *name++;
  72                val = ((val << 7) | (val >> 22)) ^ c;
  73        }
  74        return val;
  75}
  76
  77static int invalid_attr_name(const char *name, int namelen)
  78{
  79        /*
  80         * Attribute name cannot begin with '-' and must consist of
  81         * characters from [-A-Za-z0-9_.].
  82         */
  83        if (namelen <= 0 || *name == '-')
  84                return -1;
  85        while (namelen--) {
  86                char ch = *name++;
  87                if (! (ch == '-' || ch == '.' || ch == '_' ||
  88                       ('0' <= ch && ch <= '9') ||
  89                       ('a' <= ch && ch <= 'z') ||
  90                       ('A' <= ch && ch <= 'Z')) )
  91                        return -1;
  92        }
  93        return 0;
  94}
  95
  96static struct git_attr *git_attr_internal(const char *name, int len)
  97{
  98        unsigned hval = hash_name(name, len);
  99        unsigned pos = hval % HASHSIZE;
 100        struct git_attr *a;
 101
 102        for (a = git_attr_hash[pos]; a; a = a->next) {
 103                if (a->h == hval &&
 104                    !memcmp(a->name, name, len) && !a->name[len])
 105                        return a;
 106        }
 107
 108        if (invalid_attr_name(name, len))
 109                return NULL;
 110
 111        FLEX_ALLOC_MEM(a, name, name, len);
 112        a->h = hval;
 113        a->next = git_attr_hash[pos];
 114        a->attr_nr = attr_nr++;
 115        a->maybe_macro = 0;
 116        a->maybe_real = 0;
 117        git_attr_hash[pos] = a;
 118
 119        /*
 120         * NEEDSWORK: per git_attr_check check_all_attr
 121         * will be initialized a lot more lazily, not
 122         * like this, and not here.
 123         */
 124        REALLOC_ARRAY(check_all_attr, attr_nr);
 125        check_all_attr[a->attr_nr].attr = a;
 126        check_all_attr[a->attr_nr].value = ATTR__UNKNOWN;
 127        return a;
 128}
 129
 130struct git_attr *git_attr(const char *name)
 131{
 132        return git_attr_internal(name, strlen(name));
 133}
 134
 135/* What does a matched pattern decide? */
 136struct attr_state {
 137        struct git_attr *attr;
 138        const char *setto;
 139};
 140
 141struct pattern {
 142        const char *pattern;
 143        int patternlen;
 144        int nowildcardlen;
 145        unsigned flags;         /* EXC_FLAG_* */
 146};
 147
 148/*
 149 * One rule, as from a .gitattributes file.
 150 *
 151 * If is_macro is true, then u.attr is a pointer to the git_attr being
 152 * defined.
 153 *
 154 * If is_macro is false, then u.pat is the filename pattern to which the
 155 * rule applies.
 156 *
 157 * In either case, num_attr is the number of attributes affected by
 158 * this rule, and state is an array listing them.  The attributes are
 159 * listed as they appear in the file (macros unexpanded).
 160 */
 161struct match_attr {
 162        union {
 163                struct pattern pat;
 164                struct git_attr *attr;
 165        } u;
 166        char is_macro;
 167        unsigned num_attr;
 168        struct attr_state state[FLEX_ARRAY];
 169};
 170
 171static const char blank[] = " \t\r\n";
 172
 173/*
 174 * Parse a whitespace-delimited attribute state (i.e., "attr",
 175 * "-attr", "!attr", or "attr=value") from the string starting at src.
 176 * If e is not NULL, write the results to *e.  Return a pointer to the
 177 * remainder of the string (with leading whitespace removed), or NULL
 178 * if there was an error.
 179 */
 180static const char *parse_attr(const char *src, int lineno, const char *cp,
 181                              struct attr_state *e)
 182{
 183        const char *ep, *equals;
 184        int len;
 185
 186        ep = cp + strcspn(cp, blank);
 187        equals = strchr(cp, '=');
 188        if (equals && ep < equals)
 189                equals = NULL;
 190        if (equals)
 191                len = equals - cp;
 192        else
 193                len = ep - cp;
 194        if (!e) {
 195                if (*cp == '-' || *cp == '!') {
 196                        cp++;
 197                        len--;
 198                }
 199                if (invalid_attr_name(cp, len)) {
 200                        fprintf(stderr,
 201                                "%.*s is not a valid attribute name: %s:%d\n",
 202                                len, cp, src, lineno);
 203                        return NULL;
 204                }
 205        } else {
 206                /*
 207                 * As this function is always called twice, once with
 208                 * e == NULL in the first pass and then e != NULL in
 209                 * the second pass, no need for invalid_attr_name()
 210                 * check here.
 211                 */
 212                if (*cp == '-' || *cp == '!') {
 213                        e->setto = (*cp == '-') ? ATTR__FALSE : ATTR__UNSET;
 214                        cp++;
 215                        len--;
 216                }
 217                else if (!equals)
 218                        e->setto = ATTR__TRUE;
 219                else {
 220                        e->setto = xmemdupz(equals + 1, ep - equals - 1);
 221                }
 222                e->attr = git_attr_internal(cp, len);
 223        }
 224        return ep + strspn(ep, blank);
 225}
 226
 227static struct match_attr *parse_attr_line(const char *line, const char *src,
 228                                          int lineno, int macro_ok)
 229{
 230        int namelen;
 231        int num_attr, i;
 232        const char *cp, *name, *states;
 233        struct match_attr *res = NULL;
 234        int is_macro;
 235        struct strbuf pattern = STRBUF_INIT;
 236
 237        cp = line + strspn(line, blank);
 238        if (!*cp || *cp == '#')
 239                return NULL;
 240        name = cp;
 241
 242        if (*cp == '"' && !unquote_c_style(&pattern, name, &states)) {
 243                name = pattern.buf;
 244                namelen = pattern.len;
 245        } else {
 246                namelen = strcspn(name, blank);
 247                states = name + namelen;
 248        }
 249
 250        if (strlen(ATTRIBUTE_MACRO_PREFIX) < namelen &&
 251            starts_with(name, ATTRIBUTE_MACRO_PREFIX)) {
 252                if (!macro_ok) {
 253                        fprintf(stderr, "%s not allowed: %s:%d\n",
 254                                name, src, lineno);
 255                        goto fail_return;
 256                }
 257                is_macro = 1;
 258                name += strlen(ATTRIBUTE_MACRO_PREFIX);
 259                name += strspn(name, blank);
 260                namelen = strcspn(name, blank);
 261                if (invalid_attr_name(name, namelen)) {
 262                        fprintf(stderr,
 263                                "%.*s is not a valid attribute name: %s:%d\n",
 264                                namelen, name, src, lineno);
 265                        goto fail_return;
 266                }
 267        }
 268        else
 269                is_macro = 0;
 270
 271        states += strspn(states, blank);
 272
 273        /* First pass to count the attr_states */
 274        for (cp = states, num_attr = 0; *cp; num_attr++) {
 275                cp = parse_attr(src, lineno, cp, NULL);
 276                if (!cp)
 277                        goto fail_return;
 278        }
 279
 280        res = xcalloc(1,
 281                      sizeof(*res) +
 282                      sizeof(struct attr_state) * num_attr +
 283                      (is_macro ? 0 : namelen + 1));
 284        if (is_macro) {
 285                res->u.attr = git_attr_internal(name, namelen);
 286                res->u.attr->maybe_macro = 1;
 287        } else {
 288                char *p = (char *)&(res->state[num_attr]);
 289                memcpy(p, name, namelen);
 290                res->u.pat.pattern = p;
 291                parse_exclude_pattern(&res->u.pat.pattern,
 292                                      &res->u.pat.patternlen,
 293                                      &res->u.pat.flags,
 294                                      &res->u.pat.nowildcardlen);
 295                if (res->u.pat.flags & EXC_FLAG_NEGATIVE) {
 296                        warning(_("Negative patterns are ignored in git attributes\n"
 297                                  "Use '\\!' for literal leading exclamation."));
 298                        goto fail_return;
 299                }
 300        }
 301        res->is_macro = is_macro;
 302        res->num_attr = num_attr;
 303
 304        /* Second pass to fill the attr_states */
 305        for (cp = states, i = 0; *cp; i++) {
 306                cp = parse_attr(src, lineno, cp, &(res->state[i]));
 307                if (!is_macro)
 308                        res->state[i].attr->maybe_real = 1;
 309                if (res->state[i].attr->maybe_macro)
 310                        cannot_trust_maybe_real = 1;
 311        }
 312
 313        strbuf_release(&pattern);
 314        return res;
 315
 316fail_return:
 317        strbuf_release(&pattern);
 318        free(res);
 319        return NULL;
 320}
 321
 322/*
 323 * Like info/exclude and .gitignore, the attribute information can
 324 * come from many places.
 325 *
 326 * (1) .gitattribute file of the same directory;
 327 * (2) .gitattribute file of the parent directory if (1) does not have
 328 *      any match; this goes recursively upwards, just like .gitignore.
 329 * (3) $GIT_DIR/info/attributes, which overrides both of the above.
 330 *
 331 * In the same file, later entries override the earlier match, so in the
 332 * global list, we would have entries from info/attributes the earliest
 333 * (reading the file from top to bottom), .gitattribute of the root
 334 * directory (again, reading the file from top to bottom) down to the
 335 * current directory, and then scan the list backwards to find the first match.
 336 * This is exactly the same as what is_excluded() does in dir.c to deal with
 337 * .gitignore file and info/excludes file as a fallback.
 338 */
 339
 340/* NEEDSWORK: This will become per git_attr_check */
 341static struct attr_stack {
 342        struct attr_stack *prev;
 343        char *origin;
 344        size_t originlen;
 345        unsigned num_matches;
 346        unsigned alloc;
 347        struct match_attr **attrs;
 348} *attr_stack;
 349
 350static void free_attr_elem(struct attr_stack *e)
 351{
 352        int i;
 353        free(e->origin);
 354        for (i = 0; i < e->num_matches; i++) {
 355                struct match_attr *a = e->attrs[i];
 356                int j;
 357                for (j = 0; j < a->num_attr; j++) {
 358                        const char *setto = a->state[j].setto;
 359                        if (setto == ATTR__TRUE ||
 360                            setto == ATTR__FALSE ||
 361                            setto == ATTR__UNSET ||
 362                            setto == ATTR__UNKNOWN)
 363                                ;
 364                        else
 365                                free((char *) setto);
 366                }
 367                free(a);
 368        }
 369        free(e->attrs);
 370        free(e);
 371}
 372
 373static const char *builtin_attr[] = {
 374        "[attr]binary -diff -merge -text",
 375        NULL,
 376};
 377
 378static void handle_attr_line(struct attr_stack *res,
 379                             const char *line,
 380                             const char *src,
 381                             int lineno,
 382                             int macro_ok)
 383{
 384        struct match_attr *a;
 385
 386        a = parse_attr_line(line, src, lineno, macro_ok);
 387        if (!a)
 388                return;
 389        ALLOC_GROW(res->attrs, res->num_matches + 1, res->alloc);
 390        res->attrs[res->num_matches++] = a;
 391}
 392
 393static struct attr_stack *read_attr_from_array(const char **list)
 394{
 395        struct attr_stack *res;
 396        const char *line;
 397        int lineno = 0;
 398
 399        res = xcalloc(1, sizeof(*res));
 400        while ((line = *(list++)) != NULL)
 401                handle_attr_line(res, line, "[builtin]", ++lineno, 1);
 402        return res;
 403}
 404
 405/*
 406 * NEEDSWORK: these two are tricky.  The callers assume there is a
 407 * single, system-wide global state "where we read attributes from?"
 408 * and when the state is flipped by calling git_attr_set_direction(),
 409 * attr_stack is discarded so that subsequent attr_check will lazily
 410 * read from the right place.  And they do not know or care who called
 411 * by them uses the attribute subsystem, hence have no knowledge of
 412 * existing git_attr_check instances or future ones that will be
 413 * created).
 414 *
 415 * Probably we need a thread_local that holds these two variables,
 416 * and a list of git_attr_check instances (which need to be maintained
 417 * by hooking into git_attr_check_alloc(), git_attr_check_initl(), and
 418 * git_attr_check_clear().  Then git_attr_set_direction() updates the
 419 * fields in that thread_local for these two variables, iterate over
 420 * all the active git_attr_check instances and discard the attr_stack
 421 * they hold.  Yuck, but it sounds doable.
 422 */
 423static enum git_attr_direction direction;
 424static struct index_state *use_index;
 425
 426static struct attr_stack *read_attr_from_file(const char *path, int macro_ok)
 427{
 428        FILE *fp = fopen(path, "r");
 429        struct attr_stack *res;
 430        char buf[2048];
 431        int lineno = 0;
 432
 433        if (!fp) {
 434                if (errno != ENOENT && errno != ENOTDIR)
 435                        warn_on_inaccessible(path);
 436                return NULL;
 437        }
 438        res = xcalloc(1, sizeof(*res));
 439        while (fgets(buf, sizeof(buf), fp)) {
 440                char *bufp = buf;
 441                if (!lineno)
 442                        skip_utf8_bom(&bufp, strlen(bufp));
 443                handle_attr_line(res, bufp, path, ++lineno, macro_ok);
 444        }
 445        fclose(fp);
 446        return res;
 447}
 448
 449static struct attr_stack *read_attr_from_index(const char *path, int macro_ok)
 450{
 451        struct attr_stack *res;
 452        char *buf, *sp;
 453        int lineno = 0;
 454
 455        buf = read_blob_data_from_index(use_index ? use_index : &the_index, path, NULL);
 456        if (!buf)
 457                return NULL;
 458
 459        res = xcalloc(1, sizeof(*res));
 460        for (sp = buf; *sp; ) {
 461                char *ep;
 462                int more;
 463
 464                ep = strchrnul(sp, '\n');
 465                more = (*ep == '\n');
 466                *ep = '\0';
 467                handle_attr_line(res, sp, path, ++lineno, macro_ok);
 468                sp = ep + more;
 469        }
 470        free(buf);
 471        return res;
 472}
 473
 474static struct attr_stack *read_attr(const char *path, int macro_ok)
 475{
 476        struct attr_stack *res;
 477
 478        if (direction == GIT_ATTR_CHECKOUT) {
 479                res = read_attr_from_index(path, macro_ok);
 480                if (!res)
 481                        res = read_attr_from_file(path, macro_ok);
 482        }
 483        else if (direction == GIT_ATTR_CHECKIN) {
 484                res = read_attr_from_file(path, macro_ok);
 485                if (!res)
 486                        /*
 487                         * There is no checked out .gitattributes file there, but
 488                         * we might have it in the index.  We allow operation in a
 489                         * sparsely checked out work tree, so read from it.
 490                         */
 491                        res = read_attr_from_index(path, macro_ok);
 492        }
 493        else
 494                res = read_attr_from_index(path, macro_ok);
 495        if (!res)
 496                res = xcalloc(1, sizeof(*res));
 497        return res;
 498}
 499
 500#if DEBUG_ATTR
 501static void debug_info(const char *what, struct attr_stack *elem)
 502{
 503        fprintf(stderr, "%s: %s\n", what, elem->origin ? elem->origin : "()");
 504}
 505static void debug_set(const char *what, const char *match, struct git_attr *attr, const void *v)
 506{
 507        const char *value = v;
 508
 509        if (ATTR_TRUE(value))
 510                value = "set";
 511        else if (ATTR_FALSE(value))
 512                value = "unset";
 513        else if (ATTR_UNSET(value))
 514                value = "unspecified";
 515
 516        fprintf(stderr, "%s: %s => %s (%s)\n",
 517                what, attr->name, (char *) value, match);
 518}
 519#define debug_push(a) debug_info("push", (a))
 520#define debug_pop(a) debug_info("pop", (a))
 521#else
 522#define debug_push(a) do { ; } while (0)
 523#define debug_pop(a) do { ; } while (0)
 524#define debug_set(a,b,c,d) do { ; } while (0)
 525#endif /* DEBUG_ATTR */
 526
 527static void drop_attr_stack(void)
 528{
 529        while (attr_stack) {
 530                struct attr_stack *elem = attr_stack;
 531                attr_stack = elem->prev;
 532                free_attr_elem(elem);
 533        }
 534}
 535
 536static const char *git_etc_gitattributes(void)
 537{
 538        static const char *system_wide;
 539        if (!system_wide)
 540                system_wide = system_path(ETC_GITATTRIBUTES);
 541        return system_wide;
 542}
 543
 544static int git_attr_system(void)
 545{
 546        return !git_env_bool("GIT_ATTR_NOSYSTEM", 0);
 547}
 548
 549static GIT_PATH_FUNC(git_path_info_attributes, INFOATTRIBUTES_FILE)
 550
 551static void push_stack(struct attr_stack **attr_stack_p,
 552                       struct attr_stack *elem, char *origin, size_t originlen)
 553{
 554        if (elem) {
 555                elem->origin = origin;
 556                if (origin)
 557                        elem->originlen = originlen;
 558                elem->prev = *attr_stack_p;
 559                *attr_stack_p = elem;
 560        }
 561}
 562
 563static void bootstrap_attr_stack(void)
 564{
 565        struct attr_stack *elem;
 566
 567        if (attr_stack)
 568                return;
 569
 570        push_stack(&attr_stack, read_attr_from_array(builtin_attr), NULL, 0);
 571
 572        if (git_attr_system())
 573                push_stack(&attr_stack,
 574                           read_attr_from_file(git_etc_gitattributes(), 1),
 575                           NULL, 0);
 576
 577        if (!git_attributes_file)
 578                git_attributes_file = xdg_config_home("attributes");
 579        if (git_attributes_file)
 580                push_stack(&attr_stack,
 581                           read_attr_from_file(git_attributes_file, 1),
 582                           NULL, 0);
 583
 584        if (!is_bare_repository() || direction == GIT_ATTR_INDEX) {
 585                elem = read_attr(GITATTRIBUTES_FILE, 1);
 586                push_stack(&attr_stack, elem, xstrdup(""), 0);
 587                debug_push(elem);
 588        }
 589
 590        if (startup_info->have_repository)
 591                elem = read_attr_from_file(git_path_info_attributes(), 1);
 592        else
 593                elem = NULL;
 594
 595        if (!elem)
 596                elem = xcalloc(1, sizeof(*elem));
 597        push_stack(&attr_stack, elem, NULL, 0);
 598}
 599
 600static void prepare_attr_stack(const char *path, int dirlen)
 601{
 602        struct attr_stack *elem, *info;
 603        const char *cp;
 604
 605        /*
 606         * At the bottom of the attribute stack is the built-in
 607         * set of attribute definitions, followed by the contents
 608         * of $(prefix)/etc/gitattributes and a file specified by
 609         * core.attributesfile.  Then, contents from
 610         * .gitattribute files from directories closer to the
 611         * root to the ones in deeper directories are pushed
 612         * to the stack.  Finally, at the very top of the stack
 613         * we always keep the contents of $GIT_DIR/info/attributes.
 614         *
 615         * When checking, we use entries from near the top of the
 616         * stack, preferring $GIT_DIR/info/attributes, then
 617         * .gitattributes in deeper directories to shallower ones,
 618         * and finally use the built-in set as the default.
 619         */
 620        bootstrap_attr_stack();
 621
 622        /*
 623         * Pop the "info" one that is always at the top of the stack.
 624         */
 625        info = attr_stack;
 626        attr_stack = info->prev;
 627
 628        /*
 629         * Pop the ones from directories that are not the prefix of
 630         * the path we are checking. Break out of the loop when we see
 631         * the root one (whose origin is an empty string "") or the builtin
 632         * one (whose origin is NULL) without popping it.
 633         */
 634        while (attr_stack->origin) {
 635                int namelen = strlen(attr_stack->origin);
 636
 637                elem = attr_stack;
 638                if (namelen <= dirlen &&
 639                    !strncmp(elem->origin, path, namelen) &&
 640                    (!namelen || path[namelen] == '/'))
 641                        break;
 642
 643                debug_pop(elem);
 644                attr_stack = elem->prev;
 645                free_attr_elem(elem);
 646        }
 647
 648        /*
 649         * Read from parent directories and push them down
 650         */
 651        if (!is_bare_repository() || direction == GIT_ATTR_INDEX) {
 652                /*
 653                 * bootstrap_attr_stack() should have added, and the
 654                 * above loop should have stopped before popping, the
 655                 * root element whose attr_stack->origin is set to an
 656                 * empty string.
 657                 */
 658                struct strbuf pathbuf = STRBUF_INIT;
 659
 660                assert(attr_stack->origin);
 661                while (1) {
 662                        size_t len = strlen(attr_stack->origin);
 663                        char *origin;
 664
 665                        if (dirlen <= len)
 666                                break;
 667                        cp = memchr(path + len + 1, '/', dirlen - len - 1);
 668                        if (!cp)
 669                                cp = path + dirlen;
 670                        strbuf_addf(&pathbuf,
 671                                    "%.*s/%s", (int)(cp - path), path,
 672                                    GITATTRIBUTES_FILE);
 673                        elem = read_attr(pathbuf.buf, 0);
 674                        strbuf_setlen(&pathbuf, cp - path);
 675                        origin = strbuf_detach(&pathbuf, &len);
 676                        push_stack(&attr_stack, elem, origin, len);
 677                        debug_push(elem);
 678                }
 679
 680                strbuf_release(&pathbuf);
 681        }
 682
 683        /*
 684         * Finally push the "info" one at the top of the stack.
 685         */
 686        push_stack(&attr_stack, info, NULL, 0);
 687}
 688
 689static int path_matches(const char *pathname, int pathlen,
 690                        int basename_offset,
 691                        const struct pattern *pat,
 692                        const char *base, int baselen)
 693{
 694        const char *pattern = pat->pattern;
 695        int prefix = pat->nowildcardlen;
 696        int isdir = (pathlen && pathname[pathlen - 1] == '/');
 697
 698        if ((pat->flags & EXC_FLAG_MUSTBEDIR) && !isdir)
 699                return 0;
 700
 701        if (pat->flags & EXC_FLAG_NODIR) {
 702                return match_basename(pathname + basename_offset,
 703                                      pathlen - basename_offset - isdir,
 704                                      pattern, prefix,
 705                                      pat->patternlen, pat->flags);
 706        }
 707        return match_pathname(pathname, pathlen - isdir,
 708                              base, baselen,
 709                              pattern, prefix, pat->patternlen, pat->flags);
 710}
 711
 712static int macroexpand_one(int attr_nr, int rem);
 713
 714static int fill_one(const char *what, struct match_attr *a, int rem)
 715{
 716        struct git_attr_check *check = check_all_attr;
 717        int i;
 718
 719        for (i = a->num_attr - 1; 0 < rem && 0 <= i; i--) {
 720                struct git_attr *attr = a->state[i].attr;
 721                const char **n = &(check[attr->attr_nr].value);
 722                const char *v = a->state[i].setto;
 723
 724                if (*n == ATTR__UNKNOWN) {
 725                        debug_set(what,
 726                                  a->is_macro ? a->u.attr->name : a->u.pat.pattern,
 727                                  attr, v);
 728                        *n = v;
 729                        rem--;
 730                        rem = macroexpand_one(attr->attr_nr, rem);
 731                }
 732        }
 733        return rem;
 734}
 735
 736static int fill(const char *path, int pathlen, int basename_offset,
 737                struct attr_stack *stk, int rem)
 738{
 739        int i;
 740        const char *base = stk->origin ? stk->origin : "";
 741
 742        for (i = stk->num_matches - 1; 0 < rem && 0 <= i; i--) {
 743                struct match_attr *a = stk->attrs[i];
 744                if (a->is_macro)
 745                        continue;
 746                if (path_matches(path, pathlen, basename_offset,
 747                                 &a->u.pat, base, stk->originlen))
 748                        rem = fill_one("fill", a, rem);
 749        }
 750        return rem;
 751}
 752
 753static int macroexpand_one(int nr, int rem)
 754{
 755        struct attr_stack *stk;
 756        int i;
 757
 758        if (check_all_attr[nr].value != ATTR__TRUE ||
 759            !check_all_attr[nr].attr->maybe_macro)
 760                return rem;
 761
 762        for (stk = attr_stack; stk; stk = stk->prev) {
 763                for (i = stk->num_matches - 1; 0 <= i; i--) {
 764                        struct match_attr *ma = stk->attrs[i];
 765                        if (!ma->is_macro)
 766                                continue;
 767                        if (ma->u.attr->attr_nr == nr)
 768                                return fill_one("expand", ma, rem);
 769                }
 770        }
 771
 772        return rem;
 773}
 774
 775/*
 776 * Collect attributes for path into the array pointed to by
 777 * check_all_attr. If num is non-zero, only attributes in check[] are
 778 * collected. Otherwise all attributes are collected.
 779 */
 780static void collect_some_attrs(const char *path, int num,
 781                               struct git_attr_check *check)
 782
 783{
 784        struct attr_stack *stk;
 785        int i, pathlen, rem, dirlen;
 786        const char *cp, *last_slash = NULL;
 787        int basename_offset;
 788
 789        for (cp = path; *cp; cp++) {
 790                if (*cp == '/' && cp[1])
 791                        last_slash = cp;
 792        }
 793        pathlen = cp - path;
 794        if (last_slash) {
 795                basename_offset = last_slash + 1 - path;
 796                dirlen = last_slash - path;
 797        } else {
 798                basename_offset = 0;
 799                dirlen = 0;
 800        }
 801
 802        prepare_attr_stack(path, dirlen);
 803        for (i = 0; i < attr_nr; i++)
 804                check_all_attr[i].value = ATTR__UNKNOWN;
 805        if (num && !cannot_trust_maybe_real) {
 806                rem = 0;
 807                for (i = 0; i < num; i++) {
 808                        if (!check[i].attr->maybe_real) {
 809                                struct git_attr_check *c;
 810                                c = check_all_attr + check[i].attr->attr_nr;
 811                                c->value = ATTR__UNSET;
 812                                rem++;
 813                        }
 814                }
 815                if (rem == num)
 816                        return;
 817        }
 818
 819        rem = attr_nr;
 820        for (stk = attr_stack; 0 < rem && stk; stk = stk->prev)
 821                rem = fill(path, pathlen, basename_offset, stk, rem);
 822}
 823
 824int git_check_attr(const char *path, int num, struct git_attr_check *check)
 825{
 826        int i;
 827
 828        collect_some_attrs(path, num, check);
 829
 830        for (i = 0; i < num; i++) {
 831                const char *value = check_all_attr[check[i].attr->attr_nr].value;
 832                if (value == ATTR__UNKNOWN)
 833                        value = ATTR__UNSET;
 834                check[i].value = value;
 835        }
 836
 837        return 0;
 838}
 839
 840int git_all_attrs(const char *path, int *num, struct git_attr_check **check)
 841{
 842        int i, count, j;
 843
 844        collect_some_attrs(path, 0, NULL);
 845
 846        /* Count the number of attributes that are set. */
 847        count = 0;
 848        for (i = 0; i < attr_nr; i++) {
 849                const char *value = check_all_attr[i].value;
 850                if (value != ATTR__UNSET && value != ATTR__UNKNOWN)
 851                        ++count;
 852        }
 853        *num = count;
 854        ALLOC_ARRAY(*check, count);
 855        j = 0;
 856        for (i = 0; i < attr_nr; i++) {
 857                const char *value = check_all_attr[i].value;
 858                if (value != ATTR__UNSET && value != ATTR__UNKNOWN) {
 859                        (*check)[j].attr = check_all_attr[i].attr;
 860                        (*check)[j].value = value;
 861                        ++j;
 862                }
 863        }
 864
 865        return 0;
 866}
 867
 868void git_attr_set_direction(enum git_attr_direction new, struct index_state *istate)
 869{
 870        enum git_attr_direction old = direction;
 871
 872        if (is_bare_repository() && new != GIT_ATTR_INDEX)
 873                die("BUG: non-INDEX attr direction in a bare repo");
 874
 875        direction = new;
 876        if (new != old)
 877                drop_attr_stack();
 878        use_index = istate;
 879}