1/* 2 * GIT - The information manager from hell 3 * 4 * Copyright (C) Linus Torvalds, 2005 5 */ 6#define NO_THE_INDEX_COMPATIBILITY_MACROS 7#include"cache.h" 8#include"cache-tree.h" 9#include"refs.h" 10#include"dir.h" 11#include"tree.h" 12#include"commit.h" 13#include"diff.h" 14#include"diffcore.h" 15#include"revision.h" 16#include"blob.h" 17 18/* Index extensions. 19 * 20 * The first letter should be 'A'..'Z' for extensions that are not 21 * necessary for a correct operation (i.e. optimization data). 22 * When new extensions are added that _needs_ to be understood in 23 * order to correctly interpret the index file, pick character that 24 * is outside the range, to cause the reader to abort. 25 */ 26 27#define CACHE_EXT(s) ( (s[0]<<24)|(s[1]<<16)|(s[2]<<8)|(s[3]) ) 28#define CACHE_EXT_TREE 0x54524545/* "TREE" */ 29 30struct index_state the_index; 31 32static voidset_index_entry(struct index_state *istate,int nr,struct cache_entry *ce) 33{ 34 istate->cache[nr] = ce; 35add_name_hash(istate, ce); 36} 37 38static voidreplace_index_entry(struct index_state *istate,int nr,struct cache_entry *ce) 39{ 40struct cache_entry *old = istate->cache[nr]; 41 42remove_name_hash(old); 43set_index_entry(istate, nr, ce); 44 istate->cache_changed =1; 45} 46 47voidrename_index_entry_at(struct index_state *istate,int nr,const char*new_name) 48{ 49struct cache_entry *old = istate->cache[nr], *new; 50int namelen =strlen(new_name); 51 52new=xmalloc(cache_entry_size(namelen)); 53copy_cache_entry(new, old); 54new->ce_flags &= ~(CE_STATE_MASK | CE_NAMEMASK); 55new->ce_flags |= (namelen >= CE_NAMEMASK ? CE_NAMEMASK : namelen); 56memcpy(new->name, new_name, namelen +1); 57 58cache_tree_invalidate_path(istate->cache_tree, old->name); 59remove_index_entry_at(istate, nr); 60add_index_entry(istate,new, ADD_CACHE_OK_TO_ADD|ADD_CACHE_OK_TO_REPLACE); 61} 62 63/* 64 * This only updates the "non-critical" parts of the directory 65 * cache, ie the parts that aren't tracked by GIT, and only used 66 * to validate the cache. 67 */ 68voidfill_stat_cache_info(struct cache_entry *ce,struct stat *st) 69{ 70 ce->ce_ctime.sec = (unsigned int)st->st_ctime; 71 ce->ce_mtime.sec = (unsigned int)st->st_mtime; 72 ce->ce_ctime.nsec =ST_CTIME_NSEC(*st); 73 ce->ce_mtime.nsec =ST_MTIME_NSEC(*st); 74 ce->ce_dev = st->st_dev; 75 ce->ce_ino = st->st_ino; 76 ce->ce_uid = st->st_uid; 77 ce->ce_gid = st->st_gid; 78 ce->ce_size = st->st_size; 79 80if(assume_unchanged) 81 ce->ce_flags |= CE_VALID; 82 83if(S_ISREG(st->st_mode)) 84ce_mark_uptodate(ce); 85} 86 87static intce_compare_data(struct cache_entry *ce,struct stat *st) 88{ 89int match = -1; 90int fd =open(ce->name, O_RDONLY); 91 92if(fd >=0) { 93unsigned char sha1[20]; 94if(!index_fd(sha1, fd, st,0, OBJ_BLOB, ce->name)) 95 match =hashcmp(sha1, ce->sha1); 96/* index_fd() closed the file descriptor already */ 97} 98return match; 99} 100 101static intce_compare_link(struct cache_entry *ce,size_t expected_size) 102{ 103int match = -1; 104void*buffer; 105unsigned long size; 106enum object_type type; 107struct strbuf sb = STRBUF_INIT; 108 109if(strbuf_readlink(&sb, ce->name, expected_size)) 110return-1; 111 112 buffer =read_sha1_file(ce->sha1, &type, &size); 113if(buffer) { 114if(size == sb.len) 115 match =memcmp(buffer, sb.buf, size); 116free(buffer); 117} 118strbuf_release(&sb); 119return match; 120} 121 122static intce_compare_gitlink(struct cache_entry *ce) 123{ 124unsigned char sha1[20]; 125 126/* 127 * We don't actually require that the .git directory 128 * under GITLINK directory be a valid git directory. It 129 * might even be missing (in case nobody populated that 130 * sub-project). 131 * 132 * If so, we consider it always to match. 133 */ 134if(resolve_gitlink_ref(ce->name,"HEAD", sha1) <0) 135return0; 136returnhashcmp(sha1, ce->sha1); 137} 138 139static intce_modified_check_fs(struct cache_entry *ce,struct stat *st) 140{ 141switch(st->st_mode & S_IFMT) { 142case S_IFREG: 143if(ce_compare_data(ce, st)) 144return DATA_CHANGED; 145break; 146case S_IFLNK: 147if(ce_compare_link(ce,xsize_t(st->st_size))) 148return DATA_CHANGED; 149break; 150case S_IFDIR: 151if(S_ISGITLINK(ce->ce_mode)) 152returnce_compare_gitlink(ce) ? DATA_CHANGED :0; 153default: 154return TYPE_CHANGED; 155} 156return0; 157} 158 159intis_empty_blob_sha1(const unsigned char*sha1) 160{ 161static const unsigned char empty_blob_sha1[20] = { 1620xe6,0x9d,0xe2,0x9b,0xb2,0xd1,0xd6,0x43,0x4b,0x8b, 1630x29,0xae,0x77,0x5a,0xd8,0xc2,0xe4,0x8c,0x53,0x91 164}; 165 166return!hashcmp(sha1, empty_blob_sha1); 167} 168 169static intce_match_stat_basic(struct cache_entry *ce,struct stat *st) 170{ 171unsigned int changed =0; 172 173if(ce->ce_flags & CE_REMOVE) 174return MODE_CHANGED | DATA_CHANGED | TYPE_CHANGED; 175 176switch(ce->ce_mode & S_IFMT) { 177case S_IFREG: 178 changed |= !S_ISREG(st->st_mode) ? TYPE_CHANGED :0; 179/* We consider only the owner x bit to be relevant for 180 * "mode changes" 181 */ 182if(trust_executable_bit && 183(0100& (ce->ce_mode ^ st->st_mode))) 184 changed |= MODE_CHANGED; 185break; 186case S_IFLNK: 187if(!S_ISLNK(st->st_mode) && 188(has_symlinks || !S_ISREG(st->st_mode))) 189 changed |= TYPE_CHANGED; 190break; 191case S_IFGITLINK: 192/* We ignore most of the st_xxx fields for gitlinks */ 193if(!S_ISDIR(st->st_mode)) 194 changed |= TYPE_CHANGED; 195else if(ce_compare_gitlink(ce)) 196 changed |= DATA_CHANGED; 197return changed; 198default: 199die("internal error: ce_mode is%o", ce->ce_mode); 200} 201if(ce->ce_mtime.sec != (unsigned int)st->st_mtime) 202 changed |= MTIME_CHANGED; 203if(trust_ctime && ce->ce_ctime.sec != (unsigned int)st->st_ctime) 204 changed |= CTIME_CHANGED; 205 206#ifdef USE_NSEC 207if(ce->ce_mtime.nsec !=ST_MTIME_NSEC(*st)) 208 changed |= MTIME_CHANGED; 209if(trust_ctime && ce->ce_ctime.nsec !=ST_CTIME_NSEC(*st)) 210 changed |= CTIME_CHANGED; 211#endif 212 213if(ce->ce_uid != (unsigned int) st->st_uid || 214 ce->ce_gid != (unsigned int) st->st_gid) 215 changed |= OWNER_CHANGED; 216if(ce->ce_ino != (unsigned int) st->st_ino) 217 changed |= INODE_CHANGED; 218 219#ifdef USE_STDEV 220/* 221 * st_dev breaks on network filesystems where different 222 * clients will have different views of what "device" 223 * the filesystem is on 224 */ 225if(ce->ce_dev != (unsigned int) st->st_dev) 226 changed |= INODE_CHANGED; 227#endif 228 229if(ce->ce_size != (unsigned int) st->st_size) 230 changed |= DATA_CHANGED; 231 232/* Racily smudged entry? */ 233if(!ce->ce_size) { 234if(!is_empty_blob_sha1(ce->sha1)) 235 changed |= DATA_CHANGED; 236} 237 238return changed; 239} 240 241static intis_racy_timestamp(const struct index_state *istate,struct cache_entry *ce) 242{ 243return(!S_ISGITLINK(ce->ce_mode) && 244 istate->timestamp.sec && 245#ifdef USE_NSEC 246/* nanosecond timestamped files can also be racy! */ 247(istate->timestamp.sec < ce->ce_mtime.sec || 248(istate->timestamp.sec == ce->ce_mtime.sec && 249 istate->timestamp.nsec <= ce->ce_mtime.nsec)) 250#else 251 istate->timestamp.sec <= ce->ce_mtime.sec 252#endif 253); 254} 255 256intie_match_stat(const struct index_state *istate, 257struct cache_entry *ce,struct stat *st, 258unsigned int options) 259{ 260unsigned int changed; 261int ignore_valid = options & CE_MATCH_IGNORE_VALID; 262int assume_racy_is_modified = options & CE_MATCH_RACY_IS_DIRTY; 263 264/* 265 * If it's marked as always valid in the index, it's 266 * valid whatever the checked-out copy says. 267 */ 268if(!ignore_valid && ((ce->ce_flags & CE_VALID) ||ce_skip_worktree(ce))) 269return0; 270 271/* 272 * Intent-to-add entries have not been added, so the index entry 273 * by definition never matches what is in the work tree until it 274 * actually gets added. 275 */ 276if(ce->ce_flags & CE_INTENT_TO_ADD) 277return DATA_CHANGED | TYPE_CHANGED | MODE_CHANGED; 278 279 changed =ce_match_stat_basic(ce, st); 280 281/* 282 * Within 1 second of this sequence: 283 * echo xyzzy >file && git-update-index --add file 284 * running this command: 285 * echo frotz >file 286 * would give a falsely clean cache entry. The mtime and 287 * length match the cache, and other stat fields do not change. 288 * 289 * We could detect this at update-index time (the cache entry 290 * being registered/updated records the same time as "now") 291 * and delay the return from git-update-index, but that would 292 * effectively mean we can make at most one commit per second, 293 * which is not acceptable. Instead, we check cache entries 294 * whose mtime are the same as the index file timestamp more 295 * carefully than others. 296 */ 297if(!changed &&is_racy_timestamp(istate, ce)) { 298if(assume_racy_is_modified) 299 changed |= DATA_CHANGED; 300else 301 changed |=ce_modified_check_fs(ce, st); 302} 303 304return changed; 305} 306 307intie_modified(const struct index_state *istate, 308struct cache_entry *ce,struct stat *st,unsigned int options) 309{ 310int changed, changed_fs; 311 312 changed =ie_match_stat(istate, ce, st, options); 313if(!changed) 314return0; 315/* 316 * If the mode or type has changed, there's no point in trying 317 * to refresh the entry - it's not going to match 318 */ 319if(changed & (MODE_CHANGED | TYPE_CHANGED)) 320return changed; 321 322/* 323 * Immediately after read-tree or update-index --cacheinfo, 324 * the length field is zero, as we have never even read the 325 * lstat(2) information once, and we cannot trust DATA_CHANGED 326 * returned by ie_match_stat() which in turn was returned by 327 * ce_match_stat_basic() to signal that the filesize of the 328 * blob changed. We have to actually go to the filesystem to 329 * see if the contents match, and if so, should answer "unchanged". 330 * 331 * The logic does not apply to gitlinks, as ce_match_stat_basic() 332 * already has checked the actual HEAD from the filesystem in the 333 * subproject. If ie_match_stat() already said it is different, 334 * then we know it is. 335 */ 336if((changed & DATA_CHANGED) && 337(S_ISGITLINK(ce->ce_mode) || ce->ce_size !=0)) 338return changed; 339 340 changed_fs =ce_modified_check_fs(ce, st); 341if(changed_fs) 342return changed | changed_fs; 343return0; 344} 345 346intbase_name_compare(const char*name1,int len1,int mode1, 347const char*name2,int len2,int mode2) 348{ 349unsigned char c1, c2; 350int len = len1 < len2 ? len1 : len2; 351int cmp; 352 353 cmp =memcmp(name1, name2, len); 354if(cmp) 355return cmp; 356 c1 = name1[len]; 357 c2 = name2[len]; 358if(!c1 &&S_ISDIR(mode1)) 359 c1 ='/'; 360if(!c2 &&S_ISDIR(mode2)) 361 c2 ='/'; 362return(c1 < c2) ? -1: (c1 > c2) ?1:0; 363} 364 365/* 366 * df_name_compare() is identical to base_name_compare(), except it 367 * compares conflicting directory/file entries as equal. Note that 368 * while a directory name compares as equal to a regular file, they 369 * then individually compare _differently_ to a filename that has 370 * a dot after the basename (because '\0' < '.' < '/'). 371 * 372 * This is used by routines that want to traverse the git namespace 373 * but then handle conflicting entries together when possible. 374 */ 375intdf_name_compare(const char*name1,int len1,int mode1, 376const char*name2,int len2,int mode2) 377{ 378int len = len1 < len2 ? len1 : len2, cmp; 379unsigned char c1, c2; 380 381 cmp =memcmp(name1, name2, len); 382if(cmp) 383return cmp; 384/* Directories and files compare equal (same length, same name) */ 385if(len1 == len2) 386return0; 387 c1 = name1[len]; 388if(!c1 &&S_ISDIR(mode1)) 389 c1 ='/'; 390 c2 = name2[len]; 391if(!c2 &&S_ISDIR(mode2)) 392 c2 ='/'; 393if(c1 =='/'&& !c2) 394return0; 395if(c2 =='/'&& !c1) 396return0; 397return c1 - c2; 398} 399 400intcache_name_compare(const char*name1,int flags1,const char*name2,int flags2) 401{ 402int len1 = flags1 & CE_NAMEMASK; 403int len2 = flags2 & CE_NAMEMASK; 404int len = len1 < len2 ? len1 : len2; 405int cmp; 406 407 cmp =memcmp(name1, name2, len); 408if(cmp) 409return cmp; 410if(len1 < len2) 411return-1; 412if(len1 > len2) 413return1; 414 415/* Compare stages */ 416 flags1 &= CE_STAGEMASK; 417 flags2 &= CE_STAGEMASK; 418 419if(flags1 < flags2) 420return-1; 421if(flags1 > flags2) 422return1; 423return0; 424} 425 426intindex_name_pos(const struct index_state *istate,const char*name,int namelen) 427{ 428int first, last; 429 430 first =0; 431 last = istate->cache_nr; 432while(last > first) { 433int next = (last + first) >>1; 434struct cache_entry *ce = istate->cache[next]; 435int cmp =cache_name_compare(name, namelen, ce->name, ce->ce_flags); 436if(!cmp) 437return next; 438if(cmp <0) { 439 last = next; 440continue; 441} 442 first = next+1; 443} 444return-first-1; 445} 446 447/* Remove entry, return true if there are more entries to go.. */ 448intremove_index_entry_at(struct index_state *istate,int pos) 449{ 450struct cache_entry *ce = istate->cache[pos]; 451 452remove_name_hash(ce); 453 istate->cache_changed =1; 454 istate->cache_nr--; 455if(pos >= istate->cache_nr) 456return0; 457memmove(istate->cache + pos, 458 istate->cache + pos +1, 459(istate->cache_nr - pos) *sizeof(struct cache_entry *)); 460return1; 461} 462 463/* 464 * Remove all cache ententries marked for removal, that is where 465 * CE_REMOVE is set in ce_flags. This is much more effective than 466 * calling remove_index_entry_at() for each entry to be removed. 467 */ 468voidremove_marked_cache_entries(struct index_state *istate) 469{ 470struct cache_entry **ce_array = istate->cache; 471unsigned int i, j; 472 473for(i = j =0; i < istate->cache_nr; i++) { 474if(ce_array[i]->ce_flags & CE_REMOVE) 475remove_name_hash(ce_array[i]); 476else 477 ce_array[j++] = ce_array[i]; 478} 479 istate->cache_changed =1; 480 istate->cache_nr = j; 481} 482 483intremove_file_from_index(struct index_state *istate,const char*path) 484{ 485int pos =index_name_pos(istate, path,strlen(path)); 486if(pos <0) 487 pos = -pos-1; 488cache_tree_invalidate_path(istate->cache_tree, path); 489while(pos < istate->cache_nr && !strcmp(istate->cache[pos]->name, path)) 490remove_index_entry_at(istate, pos); 491return0; 492} 493 494static intcompare_name(struct cache_entry *ce,const char*path,int namelen) 495{ 496return namelen !=ce_namelen(ce) ||memcmp(path, ce->name, namelen); 497} 498 499static intindex_name_pos_also_unmerged(struct index_state *istate, 500const char*path,int namelen) 501{ 502int pos =index_name_pos(istate, path, namelen); 503struct cache_entry *ce; 504 505if(pos >=0) 506return pos; 507 508/* maybe unmerged? */ 509 pos = -1- pos; 510if(pos >= istate->cache_nr || 511compare_name((ce = istate->cache[pos]), path, namelen)) 512return-1; 513 514/* order of preference: stage 2, 1, 3 */ 515if(ce_stage(ce) ==1&& pos +1< istate->cache_nr && 516ce_stage((ce = istate->cache[pos +1])) ==2&& 517!compare_name(ce, path, namelen)) 518 pos++; 519return pos; 520} 521 522static intdifferent_name(struct cache_entry *ce,struct cache_entry *alias) 523{ 524int len =ce_namelen(ce); 525returnce_namelen(alias) != len ||memcmp(ce->name, alias->name, len); 526} 527 528/* 529 * If we add a filename that aliases in the cache, we will use the 530 * name that we already have - but we don't want to update the same 531 * alias twice, because that implies that there were actually two 532 * different files with aliasing names! 533 * 534 * So we use the CE_ADDED flag to verify that the alias was an old 535 * one before we accept it as 536 */ 537static struct cache_entry *create_alias_ce(struct cache_entry *ce,struct cache_entry *alias) 538{ 539int len; 540struct cache_entry *new; 541 542if(alias->ce_flags & CE_ADDED) 543die("Will not add file alias '%s' ('%s' already exists in index)", ce->name, alias->name); 544 545/* Ok, create the new entry using the name of the existing alias */ 546 len =ce_namelen(alias); 547new=xcalloc(1,cache_entry_size(len)); 548memcpy(new->name, alias->name, len); 549copy_cache_entry(new, ce); 550free(ce); 551return new; 552} 553 554static voidrecord_intent_to_add(struct cache_entry *ce) 555{ 556unsigned char sha1[20]; 557if(write_sha1_file("",0, blob_type, sha1)) 558die("cannot create an empty blob in the object database"); 559hashcpy(ce->sha1, sha1); 560} 561 562intadd_to_index(struct index_state *istate,const char*path,struct stat *st,int flags) 563{ 564int size, namelen, was_same; 565 mode_t st_mode = st->st_mode; 566struct cache_entry *ce, *alias; 567unsigned ce_option = CE_MATCH_IGNORE_VALID|CE_MATCH_RACY_IS_DIRTY; 568int verbose = flags & (ADD_CACHE_VERBOSE | ADD_CACHE_PRETEND); 569int pretend = flags & ADD_CACHE_PRETEND; 570int intent_only = flags & ADD_CACHE_INTENT; 571int add_option = (ADD_CACHE_OK_TO_ADD|ADD_CACHE_OK_TO_REPLACE| 572(intent_only ? ADD_CACHE_NEW_ONLY :0)); 573 574if(!S_ISREG(st_mode) && !S_ISLNK(st_mode) && !S_ISDIR(st_mode)) 575returnerror("%s: can only add regular files, symbolic links or git-directories", path); 576 577 namelen =strlen(path); 578if(S_ISDIR(st_mode)) { 579while(namelen && path[namelen-1] =='/') 580 namelen--; 581} 582 size =cache_entry_size(namelen); 583 ce =xcalloc(1, size); 584memcpy(ce->name, path, namelen); 585 ce->ce_flags = namelen; 586if(!intent_only) 587fill_stat_cache_info(ce, st); 588else 589 ce->ce_flags |= CE_INTENT_TO_ADD; 590 591if(trust_executable_bit && has_symlinks) 592 ce->ce_mode =create_ce_mode(st_mode); 593else{ 594/* If there is an existing entry, pick the mode bits and type 595 * from it, otherwise assume unexecutable regular file. 596 */ 597struct cache_entry *ent; 598int pos =index_name_pos_also_unmerged(istate, path, namelen); 599 600 ent = (0<= pos) ? istate->cache[pos] : NULL; 601 ce->ce_mode =ce_mode_from_stat(ent, st_mode); 602} 603 604 alias =index_name_exists(istate, ce->name,ce_namelen(ce), ignore_case); 605if(alias && !ce_stage(alias) && !ie_match_stat(istate, alias, st, ce_option)) { 606/* Nothing changed, really */ 607free(ce); 608ce_mark_uptodate(alias); 609 alias->ce_flags |= CE_ADDED; 610return0; 611} 612if(!intent_only) { 613if(index_path(ce->sha1, path, st,1)) 614returnerror("unable to index file%s", path); 615}else 616record_intent_to_add(ce); 617 618if(ignore_case && alias &&different_name(ce, alias)) 619 ce =create_alias_ce(ce, alias); 620 ce->ce_flags |= CE_ADDED; 621 622/* It was suspected to be racily clean, but it turns out to be Ok */ 623 was_same = (alias && 624!ce_stage(alias) && 625!hashcmp(alias->sha1, ce->sha1) && 626 ce->ce_mode == alias->ce_mode); 627 628if(pretend) 629; 630else if(add_index_entry(istate, ce, add_option)) 631returnerror("unable to add%sto index",path); 632if(verbose && !was_same) 633printf("add '%s'\n", path); 634return0; 635} 636 637intadd_file_to_index(struct index_state *istate,const char*path,int flags) 638{ 639struct stat st; 640if(lstat(path, &st)) 641die_errno("unable to stat '%s'", path); 642returnadd_to_index(istate, path, &st, flags); 643} 644 645struct cache_entry *make_cache_entry(unsigned int mode, 646const unsigned char*sha1,const char*path,int stage, 647int refresh) 648{ 649int size, len; 650struct cache_entry *ce; 651 652if(!verify_path(path)) { 653error("Invalid path '%s'", path); 654return NULL; 655} 656 657 len =strlen(path); 658 size =cache_entry_size(len); 659 ce =xcalloc(1, size); 660 661hashcpy(ce->sha1, sha1); 662memcpy(ce->name, path, len); 663 ce->ce_flags =create_ce_flags(len, stage); 664 ce->ce_mode =create_ce_mode(mode); 665 666if(refresh) 667returnrefresh_cache_entry(ce,0); 668 669return ce; 670} 671 672intce_same_name(struct cache_entry *a,struct cache_entry *b) 673{ 674int len =ce_namelen(a); 675returnce_namelen(b) == len && !memcmp(a->name, b->name, len); 676} 677 678intce_path_match(const struct cache_entry *ce,const char**pathspec) 679{ 680const char*match, *name; 681int len; 682 683if(!pathspec) 684return1; 685 686 len =ce_namelen(ce); 687 name = ce->name; 688while((match = *pathspec++) != NULL) { 689int matchlen =strlen(match); 690if(matchlen > len) 691continue; 692if(memcmp(name, match, matchlen)) 693continue; 694if(matchlen && name[matchlen-1] =='/') 695return1; 696if(name[matchlen] =='/'|| !name[matchlen]) 697return1; 698if(!matchlen) 699return1; 700} 701return0; 702} 703 704/* 705 * We fundamentally don't like some paths: we don't want 706 * dot or dot-dot anywhere, and for obvious reasons don't 707 * want to recurse into ".git" either. 708 * 709 * Also, we don't want double slashes or slashes at the 710 * end that can make pathnames ambiguous. 711 */ 712static intverify_dotfile(const char*rest) 713{ 714/* 715 * The first character was '.', but that 716 * has already been discarded, we now test 717 * the rest. 718 */ 719switch(*rest) { 720/* "." is not allowed */ 721case'\0':case'/': 722return0; 723 724/* 725 * ".git" followed by NUL or slash is bad. This 726 * shares the path end test with the ".." case. 727 */ 728case'g': 729if(rest[1] !='i') 730break; 731if(rest[2] !='t') 732break; 733 rest +=2; 734/* fallthrough */ 735case'.': 736if(rest[1] =='\0'|| rest[1] =='/') 737return0; 738} 739return1; 740} 741 742intverify_path(const char*path) 743{ 744char c; 745 746goto inside; 747for(;;) { 748if(!c) 749return1; 750if(c =='/') { 751inside: 752 c = *path++; 753switch(c) { 754default: 755continue; 756case'/':case'\0': 757break; 758case'.': 759if(verify_dotfile(path)) 760continue; 761} 762return0; 763} 764 c = *path++; 765} 766} 767 768/* 769 * Do we have another file that has the beginning components being a 770 * proper superset of the name we're trying to add? 771 */ 772static inthas_file_name(struct index_state *istate, 773const struct cache_entry *ce,int pos,int ok_to_replace) 774{ 775int retval =0; 776int len =ce_namelen(ce); 777int stage =ce_stage(ce); 778const char*name = ce->name; 779 780while(pos < istate->cache_nr) { 781struct cache_entry *p = istate->cache[pos++]; 782 783if(len >=ce_namelen(p)) 784break; 785if(memcmp(name, p->name, len)) 786break; 787if(ce_stage(p) != stage) 788continue; 789if(p->name[len] !='/') 790continue; 791if(p->ce_flags & CE_REMOVE) 792continue; 793 retval = -1; 794if(!ok_to_replace) 795break; 796remove_index_entry_at(istate, --pos); 797} 798return retval; 799} 800 801/* 802 * Do we have another file with a pathname that is a proper 803 * subset of the name we're trying to add? 804 */ 805static inthas_dir_name(struct index_state *istate, 806const struct cache_entry *ce,int pos,int ok_to_replace) 807{ 808int retval =0; 809int stage =ce_stage(ce); 810const char*name = ce->name; 811const char*slash = name +ce_namelen(ce); 812 813for(;;) { 814int len; 815 816for(;;) { 817if(*--slash =='/') 818break; 819if(slash <= ce->name) 820return retval; 821} 822 len = slash - name; 823 824 pos =index_name_pos(istate, name,create_ce_flags(len, stage)); 825if(pos >=0) { 826/* 827 * Found one, but not so fast. This could 828 * be a marker that says "I was here, but 829 * I am being removed". Such an entry is 830 * not a part of the resulting tree, and 831 * it is Ok to have a directory at the same 832 * path. 833 */ 834if(!(istate->cache[pos]->ce_flags & CE_REMOVE)) { 835 retval = -1; 836if(!ok_to_replace) 837break; 838remove_index_entry_at(istate, pos); 839continue; 840} 841} 842else 843 pos = -pos-1; 844 845/* 846 * Trivial optimization: if we find an entry that 847 * already matches the sub-directory, then we know 848 * we're ok, and we can exit. 849 */ 850while(pos < istate->cache_nr) { 851struct cache_entry *p = istate->cache[pos]; 852if((ce_namelen(p) <= len) || 853(p->name[len] !='/') || 854memcmp(p->name, name, len)) 855break;/* not our subdirectory */ 856if(ce_stage(p) == stage && !(p->ce_flags & CE_REMOVE)) 857/* 858 * p is at the same stage as our entry, and 859 * is a subdirectory of what we are looking 860 * at, so we cannot have conflicts at our 861 * level or anything shorter. 862 */ 863return retval; 864 pos++; 865} 866} 867return retval; 868} 869 870/* We may be in a situation where we already have path/file and path 871 * is being added, or we already have path and path/file is being 872 * added. Either one would result in a nonsense tree that has path 873 * twice when git-write-tree tries to write it out. Prevent it. 874 * 875 * If ok-to-replace is specified, we remove the conflicting entries 876 * from the cache so the caller should recompute the insert position. 877 * When this happens, we return non-zero. 878 */ 879static intcheck_file_directory_conflict(struct index_state *istate, 880const struct cache_entry *ce, 881int pos,int ok_to_replace) 882{ 883int retval; 884 885/* 886 * When ce is an "I am going away" entry, we allow it to be added 887 */ 888if(ce->ce_flags & CE_REMOVE) 889return0; 890 891/* 892 * We check if the path is a sub-path of a subsequent pathname 893 * first, since removing those will not change the position 894 * in the array. 895 */ 896 retval =has_file_name(istate, ce, pos, ok_to_replace); 897 898/* 899 * Then check if the path might have a clashing sub-directory 900 * before it. 901 */ 902return retval +has_dir_name(istate, ce, pos, ok_to_replace); 903} 904 905static intadd_index_entry_with_check(struct index_state *istate,struct cache_entry *ce,int option) 906{ 907int pos; 908int ok_to_add = option & ADD_CACHE_OK_TO_ADD; 909int ok_to_replace = option & ADD_CACHE_OK_TO_REPLACE; 910int skip_df_check = option & ADD_CACHE_SKIP_DFCHECK; 911int new_only = option & ADD_CACHE_NEW_ONLY; 912 913cache_tree_invalidate_path(istate->cache_tree, ce->name); 914 pos =index_name_pos(istate, ce->name, ce->ce_flags); 915 916/* existing match? Just replace it. */ 917if(pos >=0) { 918if(!new_only) 919replace_index_entry(istate, pos, ce); 920return0; 921} 922 pos = -pos-1; 923 924/* 925 * Inserting a merged entry ("stage 0") into the index 926 * will always replace all non-merged entries.. 927 */ 928if(pos < istate->cache_nr &&ce_stage(ce) ==0) { 929while(ce_same_name(istate->cache[pos], ce)) { 930 ok_to_add =1; 931if(!remove_index_entry_at(istate, pos)) 932break; 933} 934} 935 936if(!ok_to_add) 937return-1; 938if(!verify_path(ce->name)) 939returnerror("Invalid path '%s'", ce->name); 940 941if(!skip_df_check && 942check_file_directory_conflict(istate, ce, pos, ok_to_replace)) { 943if(!ok_to_replace) 944returnerror("'%s' appears as both a file and as a directory", 945 ce->name); 946 pos =index_name_pos(istate, ce->name, ce->ce_flags); 947 pos = -pos-1; 948} 949return pos +1; 950} 951 952intadd_index_entry(struct index_state *istate,struct cache_entry *ce,int option) 953{ 954int pos; 955 956if(option & ADD_CACHE_JUST_APPEND) 957 pos = istate->cache_nr; 958else{ 959int ret; 960 ret =add_index_entry_with_check(istate, ce, option); 961if(ret <=0) 962return ret; 963 pos = ret -1; 964} 965 966/* Make sure the array is big enough .. */ 967if(istate->cache_nr == istate->cache_alloc) { 968 istate->cache_alloc =alloc_nr(istate->cache_alloc); 969 istate->cache =xrealloc(istate->cache, 970 istate->cache_alloc *sizeof(struct cache_entry *)); 971} 972 973/* Add it in.. */ 974 istate->cache_nr++; 975if(istate->cache_nr > pos +1) 976memmove(istate->cache + pos +1, 977 istate->cache + pos, 978(istate->cache_nr - pos -1) *sizeof(ce)); 979set_index_entry(istate, pos, ce); 980 istate->cache_changed =1; 981return0; 982} 983 984/* 985 * "refresh" does not calculate a new sha1 file or bring the 986 * cache up-to-date for mode/content changes. But what it 987 * _does_ do is to "re-match" the stat information of a file 988 * with the cache, so that you can refresh the cache for a 989 * file that hasn't been changed but where the stat entry is 990 * out of date. 991 * 992 * For example, you'd want to do this after doing a "git-read-tree", 993 * to link up the stat cache details with the proper files. 994 */ 995static struct cache_entry *refresh_cache_ent(struct index_state *istate, 996struct cache_entry *ce, 997unsigned int options,int*err) 998{ 999struct stat st;1000struct cache_entry *updated;1001int changed, size;1002int ignore_valid = options & CE_MATCH_IGNORE_VALID;10031004if(ce_uptodate(ce))1005return ce;10061007if(!ignore_valid && ((ce->ce_flags & CE_VALID) ||ce_skip_worktree(ce))) {1008ce_mark_uptodate(ce);1009return ce;1010}10111012if(lstat(ce->name, &st) <0) {1013if(err)1014*err = errno;1015return NULL;1016}10171018 changed =ie_match_stat(istate, ce, &st, options);1019if(!changed) {1020/*1021 * The path is unchanged. If we were told to ignore1022 * valid bit, then we did the actual stat check and1023 * found that the entry is unmodified. If the entry1024 * is not marked VALID, this is the place to mark it1025 * valid again, under "assume unchanged" mode.1026 */1027if(ignore_valid && assume_unchanged &&1028!(ce->ce_flags & CE_VALID))1029;/* mark this one VALID again */1030else{1031/*1032 * We do not mark the index itself "modified"1033 * because CE_UPTODATE flag is in-core only;1034 * we are not going to write this change out.1035 */1036ce_mark_uptodate(ce);1037return ce;1038}1039}10401041if(ie_modified(istate, ce, &st, options)) {1042if(err)1043*err = EINVAL;1044return NULL;1045}10461047 size =ce_size(ce);1048 updated =xmalloc(size);1049memcpy(updated, ce, size);1050fill_stat_cache_info(updated, &st);1051/*1052 * If ignore_valid is not set, we should leave CE_VALID bit1053 * alone. Otherwise, paths marked with --no-assume-unchanged1054 * (i.e. things to be edited) will reacquire CE_VALID bit1055 * automatically, which is not really what we want.1056 */1057if(!ignore_valid && assume_unchanged &&1058!(ce->ce_flags & CE_VALID))1059 updated->ce_flags &= ~CE_VALID;10601061return updated;1062}10631064intrefresh_index(struct index_state *istate,unsigned int flags,const char**pathspec,char*seen)1065{1066int i;1067int has_errors =0;1068int really = (flags & REFRESH_REALLY) !=0;1069int allow_unmerged = (flags & REFRESH_UNMERGED) !=0;1070int quiet = (flags & REFRESH_QUIET) !=0;1071int not_new = (flags & REFRESH_IGNORE_MISSING) !=0;1072int ignore_submodules = (flags & REFRESH_IGNORE_SUBMODULES) !=0;1073unsigned int options = really ? CE_MATCH_IGNORE_VALID :0;1074const char*needs_update_message;10751076 needs_update_message = ((flags & REFRESH_SAY_CHANGED)1077?"locally modified":"needs update");1078for(i =0; i < istate->cache_nr; i++) {1079struct cache_entry *ce, *new;1080int cache_errno =0;10811082 ce = istate->cache[i];1083if(ignore_submodules &&S_ISGITLINK(ce->ce_mode))1084continue;10851086if(ce_stage(ce)) {1087while((i < istate->cache_nr) &&1088!strcmp(istate->cache[i]->name, ce->name))1089 i++;1090 i--;1091if(allow_unmerged)1092continue;1093printf("%s: needs merge\n", ce->name);1094 has_errors =1;1095continue;1096}10971098if(pathspec && !match_pathspec(pathspec, ce->name,strlen(ce->name),0, seen))1099continue;11001101new=refresh_cache_ent(istate, ce, options, &cache_errno);1102if(new== ce)1103continue;1104if(!new) {1105if(not_new && cache_errno == ENOENT)1106continue;1107if(really && cache_errno == EINVAL) {1108/* If we are doing --really-refresh that1109 * means the index is not valid anymore.1110 */1111 ce->ce_flags &= ~CE_VALID;1112 istate->cache_changed =1;1113}1114if(quiet)1115continue;1116printf("%s:%s\n", ce->name, needs_update_message);1117 has_errors =1;1118continue;1119}11201121replace_index_entry(istate, i,new);1122}1123return has_errors;1124}11251126struct cache_entry *refresh_cache_entry(struct cache_entry *ce,int really)1127{1128returnrefresh_cache_ent(&the_index, ce, really, NULL);1129}11301131static intverify_hdr(struct cache_header *hdr,unsigned long size)1132{1133 git_SHA_CTX c;1134unsigned char sha1[20];11351136if(hdr->hdr_signature !=htonl(CACHE_SIGNATURE))1137returnerror("bad signature");1138if(hdr->hdr_version !=htonl(2) && hdr->hdr_version !=htonl(3))1139returnerror("bad index version");1140git_SHA1_Init(&c);1141git_SHA1_Update(&c, hdr, size -20);1142git_SHA1_Final(sha1, &c);1143if(hashcmp(sha1, (unsigned char*)hdr + size -20))1144returnerror("bad index file sha1 signature");1145return0;1146}11471148static intread_index_extension(struct index_state *istate,1149const char*ext,void*data,unsigned long sz)1150{1151switch(CACHE_EXT(ext)) {1152case CACHE_EXT_TREE:1153 istate->cache_tree =cache_tree_read(data, sz);1154break;1155default:1156if(*ext <'A'||'Z'< *ext)1157returnerror("index uses %.4s extension, which we do not understand",1158 ext);1159fprintf(stderr,"ignoring %.4s extension\n", ext);1160break;1161}1162return0;1163}11641165intread_index(struct index_state *istate)1166{1167returnread_index_from(istate,get_index_file());1168}11691170static voidconvert_from_disk(struct ondisk_cache_entry *ondisk,struct cache_entry *ce)1171{1172size_t len;1173const char*name;11741175 ce->ce_ctime.sec =ntohl(ondisk->ctime.sec);1176 ce->ce_mtime.sec =ntohl(ondisk->mtime.sec);1177 ce->ce_ctime.nsec =ntohl(ondisk->ctime.nsec);1178 ce->ce_mtime.nsec =ntohl(ondisk->mtime.nsec);1179 ce->ce_dev =ntohl(ondisk->dev);1180 ce->ce_ino =ntohl(ondisk->ino);1181 ce->ce_mode =ntohl(ondisk->mode);1182 ce->ce_uid =ntohl(ondisk->uid);1183 ce->ce_gid =ntohl(ondisk->gid);1184 ce->ce_size =ntohl(ondisk->size);1185/* On-disk flags are just 16 bits */1186 ce->ce_flags =ntohs(ondisk->flags);11871188hashcpy(ce->sha1, ondisk->sha1);11891190 len = ce->ce_flags & CE_NAMEMASK;11911192if(ce->ce_flags & CE_EXTENDED) {1193struct ondisk_cache_entry_extended *ondisk2;1194int extended_flags;1195 ondisk2 = (struct ondisk_cache_entry_extended *)ondisk;1196 extended_flags =ntohs(ondisk2->flags2) <<16;1197/* We do not yet understand any bit out of CE_EXTENDED_FLAGS */1198if(extended_flags & ~CE_EXTENDED_FLAGS)1199die("Unknown index entry format%08x", extended_flags);1200 ce->ce_flags |= extended_flags;1201 name = ondisk2->name;1202}1203else1204 name = ondisk->name;12051206if(len == CE_NAMEMASK)1207 len =strlen(name);1208/*1209 * NEEDSWORK: If the original index is crafted, this copy could1210 * go unchecked.1211 */1212memcpy(ce->name, name, len +1);1213}12141215staticinlinesize_testimate_cache_size(size_t ondisk_size,unsigned int entries)1216{1217long per_entry;12181219 per_entry =sizeof(struct cache_entry) -sizeof(struct ondisk_cache_entry);12201221/*1222 * Alignment can cause differences. This should be "alignof", but1223 * since that's a gcc'ism, just use the size of a pointer.1224 */1225 per_entry +=sizeof(void*);1226return ondisk_size + entries*per_entry;1227}12281229/* remember to discard_cache() before reading a different cache! */1230intread_index_from(struct index_state *istate,const char*path)1231{1232int fd, i;1233struct stat st;1234unsigned long src_offset, dst_offset;1235struct cache_header *hdr;1236void*mmap;1237size_t mmap_size;12381239 errno = EBUSY;1240if(istate->initialized)1241return istate->cache_nr;12421243 errno = ENOENT;1244 istate->timestamp.sec =0;1245 istate->timestamp.nsec =0;1246 fd =open(path, O_RDONLY);1247if(fd <0) {1248if(errno == ENOENT)1249return0;1250die_errno("index file open failed");1251}12521253if(fstat(fd, &st))1254die_errno("cannot stat the open index");12551256 errno = EINVAL;1257 mmap_size =xsize_t(st.st_size);1258if(mmap_size <sizeof(struct cache_header) +20)1259die("index file smaller than expected");12601261 mmap =xmmap(NULL, mmap_size, PROT_READ | PROT_WRITE, MAP_PRIVATE, fd,0);1262close(fd);1263if(mmap == MAP_FAILED)1264die_errno("unable to map index file");12651266 hdr = mmap;1267if(verify_hdr(hdr, mmap_size) <0)1268goto unmap;12691270 istate->cache_nr =ntohl(hdr->hdr_entries);1271 istate->cache_alloc =alloc_nr(istate->cache_nr);1272 istate->cache =xcalloc(istate->cache_alloc,sizeof(struct cache_entry *));12731274/*1275 * The disk format is actually larger than the in-memory format,1276 * due to space for nsec etc, so even though the in-memory one1277 * has room for a few more flags, we can allocate using the same1278 * index size1279 */1280 istate->alloc =xmalloc(estimate_cache_size(mmap_size, istate->cache_nr));1281 istate->initialized =1;12821283 src_offset =sizeof(*hdr);1284 dst_offset =0;1285for(i =0; i < istate->cache_nr; i++) {1286struct ondisk_cache_entry *disk_ce;1287struct cache_entry *ce;12881289 disk_ce = (struct ondisk_cache_entry *)((char*)mmap + src_offset);1290 ce = (struct cache_entry *)((char*)istate->alloc + dst_offset);1291convert_from_disk(disk_ce, ce);1292set_index_entry(istate, i, ce);12931294 src_offset +=ondisk_ce_size(ce);1295 dst_offset +=ce_size(ce);1296}1297 istate->timestamp.sec = st.st_mtime;1298 istate->timestamp.nsec =ST_MTIME_NSEC(st);12991300while(src_offset <= mmap_size -20-8) {1301/* After an array of active_nr index entries,1302 * there can be arbitrary number of extended1303 * sections, each of which is prefixed with1304 * extension name (4-byte) and section length1305 * in 4-byte network byte order.1306 */1307unsigned long extsize;1308memcpy(&extsize, (char*)mmap + src_offset +4,4);1309 extsize =ntohl(extsize);1310if(read_index_extension(istate,1311(const char*) mmap + src_offset,1312(char*) mmap + src_offset +8,1313 extsize) <0)1314goto unmap;1315 src_offset +=8;1316 src_offset += extsize;1317}1318munmap(mmap, mmap_size);1319return istate->cache_nr;13201321unmap:1322munmap(mmap, mmap_size);1323 errno = EINVAL;1324die("index file corrupt");1325}13261327intis_index_unborn(struct index_state *istate)1328{1329return(!istate->cache_nr && !istate->alloc && !istate->timestamp.sec);1330}13311332intdiscard_index(struct index_state *istate)1333{1334 istate->cache_nr =0;1335 istate->cache_changed =0;1336 istate->timestamp.sec =0;1337 istate->timestamp.nsec =0;1338 istate->name_hash_initialized =0;1339free_hash(&istate->name_hash);1340cache_tree_free(&(istate->cache_tree));1341free(istate->alloc);1342 istate->alloc = NULL;1343 istate->initialized =0;13441345/* no need to throw away allocated active_cache */1346return0;1347}13481349intunmerged_index(const struct index_state *istate)1350{1351int i;1352for(i =0; i < istate->cache_nr; i++) {1353if(ce_stage(istate->cache[i]))1354return1;1355}1356return0;1357}13581359#define WRITE_BUFFER_SIZE 81921360static unsigned char write_buffer[WRITE_BUFFER_SIZE];1361static unsigned long write_buffer_len;13621363static intce_write_flush(git_SHA_CTX *context,int fd)1364{1365unsigned int buffered = write_buffer_len;1366if(buffered) {1367git_SHA1_Update(context, write_buffer, buffered);1368if(write_in_full(fd, write_buffer, buffered) != buffered)1369return-1;1370 write_buffer_len =0;1371}1372return0;1373}13741375static intce_write(git_SHA_CTX *context,int fd,void*data,unsigned int len)1376{1377while(len) {1378unsigned int buffered = write_buffer_len;1379unsigned int partial = WRITE_BUFFER_SIZE - buffered;1380if(partial > len)1381 partial = len;1382memcpy(write_buffer + buffered, data, partial);1383 buffered += partial;1384if(buffered == WRITE_BUFFER_SIZE) {1385 write_buffer_len = buffered;1386if(ce_write_flush(context, fd))1387return-1;1388 buffered =0;1389}1390 write_buffer_len = buffered;1391 len -= partial;1392 data = (char*) data + partial;1393}1394return0;1395}13961397static intwrite_index_ext_header(git_SHA_CTX *context,int fd,1398unsigned int ext,unsigned int sz)1399{1400 ext =htonl(ext);1401 sz =htonl(sz);1402return((ce_write(context, fd, &ext,4) <0) ||1403(ce_write(context, fd, &sz,4) <0)) ? -1:0;1404}14051406static intce_flush(git_SHA_CTX *context,int fd)1407{1408unsigned int left = write_buffer_len;14091410if(left) {1411 write_buffer_len =0;1412git_SHA1_Update(context, write_buffer, left);1413}14141415/* Flush first if not enough space for SHA1 signature */1416if(left +20> WRITE_BUFFER_SIZE) {1417if(write_in_full(fd, write_buffer, left) != left)1418return-1;1419 left =0;1420}14211422/* Append the SHA1 signature at the end */1423git_SHA1_Final(write_buffer + left, context);1424 left +=20;1425return(write_in_full(fd, write_buffer, left) != left) ? -1:0;1426}14271428static voidce_smudge_racily_clean_entry(struct cache_entry *ce)1429{1430/*1431 * The only thing we care about in this function is to smudge the1432 * falsely clean entry due to touch-update-touch race, so we leave1433 * everything else as they are. We are called for entries whose1434 * ce_mtime match the index file mtime.1435 *1436 * Note that this actually does not do much for gitlinks, for1437 * which ce_match_stat_basic() always goes to the actual1438 * contents. The caller checks with is_racy_timestamp() which1439 * always says "no" for gitlinks, so we are not called for them ;-)1440 */1441struct stat st;14421443if(lstat(ce->name, &st) <0)1444return;1445if(ce_match_stat_basic(ce, &st))1446return;1447if(ce_modified_check_fs(ce, &st)) {1448/* This is "racily clean"; smudge it. Note that this1449 * is a tricky code. At first glance, it may appear1450 * that it can break with this sequence:1451 *1452 * $ echo xyzzy >frotz1453 * $ git-update-index --add frotz1454 * $ : >frotz1455 * $ sleep 31456 * $ echo filfre >nitfol1457 * $ git-update-index --add nitfol1458 *1459 * but it does not. When the second update-index runs,1460 * it notices that the entry "frotz" has the same timestamp1461 * as index, and if we were to smudge it by resetting its1462 * size to zero here, then the object name recorded1463 * in index is the 6-byte file but the cached stat information1464 * becomes zero --- which would then match what we would1465 * obtain from the filesystem next time we stat("frotz").1466 *1467 * However, the second update-index, before calling1468 * this function, notices that the cached size is 61469 * bytes and what is on the filesystem is an empty1470 * file, and never calls us, so the cached size information1471 * for "frotz" stays 6 which does not match the filesystem.1472 */1473 ce->ce_size =0;1474}1475}14761477static intce_write_entry(git_SHA_CTX *c,int fd,struct cache_entry *ce)1478{1479int size =ondisk_ce_size(ce);1480struct ondisk_cache_entry *ondisk =xcalloc(1, size);1481char*name;14821483 ondisk->ctime.sec =htonl(ce->ce_ctime.sec);1484 ondisk->mtime.sec =htonl(ce->ce_mtime.sec);1485 ondisk->ctime.nsec =htonl(ce->ce_ctime.nsec);1486 ondisk->mtime.nsec =htonl(ce->ce_mtime.nsec);1487 ondisk->dev =htonl(ce->ce_dev);1488 ondisk->ino =htonl(ce->ce_ino);1489 ondisk->mode =htonl(ce->ce_mode);1490 ondisk->uid =htonl(ce->ce_uid);1491 ondisk->gid =htonl(ce->ce_gid);1492 ondisk->size =htonl(ce->ce_size);1493hashcpy(ondisk->sha1, ce->sha1);1494 ondisk->flags =htons(ce->ce_flags);1495if(ce->ce_flags & CE_EXTENDED) {1496struct ondisk_cache_entry_extended *ondisk2;1497 ondisk2 = (struct ondisk_cache_entry_extended *)ondisk;1498 ondisk2->flags2 =htons((ce->ce_flags & CE_EXTENDED_FLAGS) >>16);1499 name = ondisk2->name;1500}1501else1502 name = ondisk->name;1503memcpy(name, ce->name,ce_namelen(ce));15041505returnce_write(c, fd, ondisk, size);1506}15071508intwrite_index(struct index_state *istate,int newfd)1509{1510 git_SHA_CTX c;1511struct cache_header hdr;1512int i, err, removed, extended;1513struct cache_entry **cache = istate->cache;1514int entries = istate->cache_nr;1515struct stat st;15161517for(i = removed = extended =0; i < entries; i++) {1518if(cache[i]->ce_flags & CE_REMOVE)1519 removed++;15201521/* reduce extended entries if possible */1522 cache[i]->ce_flags &= ~CE_EXTENDED;1523if(cache[i]->ce_flags & CE_EXTENDED_FLAGS) {1524 extended++;1525 cache[i]->ce_flags |= CE_EXTENDED;1526}1527}15281529 hdr.hdr_signature =htonl(CACHE_SIGNATURE);1530/* for extended format, increase version so older git won't try to read it */1531 hdr.hdr_version =htonl(extended ?3:2);1532 hdr.hdr_entries =htonl(entries - removed);15331534git_SHA1_Init(&c);1535if(ce_write(&c, newfd, &hdr,sizeof(hdr)) <0)1536return-1;15371538for(i =0; i < entries; i++) {1539struct cache_entry *ce = cache[i];1540if(ce->ce_flags & CE_REMOVE)1541continue;1542if(!ce_uptodate(ce) &&is_racy_timestamp(istate, ce))1543ce_smudge_racily_clean_entry(ce);1544if(ce_write_entry(&c, newfd, ce) <0)1545return-1;1546}15471548/* Write extension data here */1549if(istate->cache_tree) {1550struct strbuf sb = STRBUF_INIT;15511552cache_tree_write(&sb, istate->cache_tree);1553 err =write_index_ext_header(&c, newfd, CACHE_EXT_TREE, sb.len) <01554||ce_write(&c, newfd, sb.buf, sb.len) <0;1555strbuf_release(&sb);1556if(err)1557return-1;1558}15591560if(ce_flush(&c, newfd) ||fstat(newfd, &st))1561return-1;1562 istate->timestamp.sec = (unsigned int)st.st_mtime;1563 istate->timestamp.nsec =ST_MTIME_NSEC(st);1564return0;1565}15661567/*1568 * Read the index file that is potentially unmerged into given1569 * index_state, dropping any unmerged entries. Returns true if1570 * the index is unmerged. Callers who want to refuse to work1571 * from an unmerged state can call this and check its return value,1572 * instead of calling read_cache().1573 */1574intread_index_unmerged(struct index_state *istate)1575{1576int i;1577int unmerged =0;15781579read_index(istate);1580for(i =0; i < istate->cache_nr; i++) {1581struct cache_entry *ce = istate->cache[i];1582struct cache_entry *new_ce;1583int size, len;15841585if(!ce_stage(ce))1586continue;1587 unmerged =1;1588 len =strlen(ce->name);1589 size =cache_entry_size(len);1590 new_ce =xcalloc(1, size);1591hashcpy(new_ce->sha1, ce->sha1);1592memcpy(new_ce->name, ce->name, len);1593 new_ce->ce_flags =create_ce_flags(len,0);1594 new_ce->ce_mode = ce->ce_mode;1595if(add_index_entry(istate, new_ce,0))1596returnerror("%s: cannot drop to stage #0",1597 ce->name);1598 i =index_name_pos(istate, new_ce->name, len);1599}1600return unmerged;1601}16021603struct update_callback_data1604{1605int flags;1606int add_errors;1607};16081609static voidupdate_callback(struct diff_queue_struct *q,1610struct diff_options *opt,void*cbdata)1611{1612int i;1613struct update_callback_data *data = cbdata;16141615for(i =0; i < q->nr; i++) {1616struct diff_filepair *p = q->queue[i];1617const char*path = p->one->path;1618switch(p->status) {1619default:1620die("unexpected diff status%c", p->status);1621case DIFF_STATUS_UNMERGED:1622/*1623 * ADD_CACHE_IGNORE_REMOVAL is unset if "git1624 * add -u" is calling us, In such a case, a1625 * missing work tree file needs to be removed1626 * if there is an unmerged entry at stage #2,1627 * but such a diff record is followed by1628 * another with DIFF_STATUS_DELETED (and if1629 * there is no stage #2, we won't see DELETED1630 * nor MODIFIED). We can simply continue1631 * either way.1632 */1633if(!(data->flags & ADD_CACHE_IGNORE_REMOVAL))1634continue;1635/*1636 * Otherwise, it is "git add path" is asking1637 * to explicitly add it; we fall through. A1638 * missing work tree file is an error and is1639 * caught by add_file_to_index() in such a1640 * case.1641 */1642case DIFF_STATUS_MODIFIED:1643case DIFF_STATUS_TYPE_CHANGED:1644if(add_file_to_index(&the_index, path, data->flags)) {1645if(!(data->flags & ADD_CACHE_IGNORE_ERRORS))1646die("updating files failed");1647 data->add_errors++;1648}1649break;1650case DIFF_STATUS_DELETED:1651if(data->flags & ADD_CACHE_IGNORE_REMOVAL)1652break;1653if(!(data->flags & ADD_CACHE_PRETEND))1654remove_file_from_index(&the_index, path);1655if(data->flags & (ADD_CACHE_PRETEND|ADD_CACHE_VERBOSE))1656printf("remove '%s'\n", path);1657break;1658}1659}1660}16611662intadd_files_to_cache(const char*prefix,const char**pathspec,int flags)1663{1664struct update_callback_data data;1665struct rev_info rev;1666init_revisions(&rev, prefix);1667setup_revisions(0, NULL, &rev, NULL);1668 rev.prune_data = pathspec;1669 rev.diffopt.output_format = DIFF_FORMAT_CALLBACK;1670 rev.diffopt.format_callback = update_callback;1671 data.flags = flags;1672 data.add_errors =0;1673 rev.diffopt.format_callback_data = &data;1674run_diff_files(&rev, DIFF_RACY_IS_MODIFIED);1675return!!data.add_errors;1676}16771678/*1679 * Returns 1 if the path is an "other" path with respect to1680 * the index; that is, the path is not mentioned in the index at all,1681 * either as a file, a directory with some files in the index,1682 * or as an unmerged entry.1683 *1684 * We helpfully remove a trailing "/" from directories so that1685 * the output of read_directory can be used as-is.1686 */1687intindex_name_is_other(const struct index_state *istate,const char*name,1688int namelen)1689{1690int pos;1691if(namelen && name[namelen -1] =='/')1692 namelen--;1693 pos =index_name_pos(istate, name, namelen);1694if(0<= pos)1695return0;/* exact match */1696 pos = -pos -1;1697if(pos < istate->cache_nr) {1698struct cache_entry *ce = istate->cache[pos];1699if(ce_namelen(ce) == namelen &&1700!memcmp(ce->name, name, namelen))1701return0;/* Yup, this one exists unmerged */1702}1703return1;1704}