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)) 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("%s: unable to stat (%s)", path,strerror(errno)); 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;10061007/*1008 * CE_VALID means the user promised us that the change to1009 * the work tree does not matter and told us not to worry.1010 */1011if(!ignore_valid && (ce->ce_flags & CE_VALID)) {1012ce_mark_uptodate(ce);1013return ce;1014}10151016if(lstat(ce->name, &st) <0) {1017if(err)1018*err = errno;1019return NULL;1020}10211022 changed =ie_match_stat(istate, ce, &st, options);1023if(!changed) {1024/*1025 * The path is unchanged. If we were told to ignore1026 * valid bit, then we did the actual stat check and1027 * found that the entry is unmodified. If the entry1028 * is not marked VALID, this is the place to mark it1029 * valid again, under "assume unchanged" mode.1030 */1031if(ignore_valid && assume_unchanged &&1032!(ce->ce_flags & CE_VALID))1033;/* mark this one VALID again */1034else{1035/*1036 * We do not mark the index itself "modified"1037 * because CE_UPTODATE flag is in-core only;1038 * we are not going to write this change out.1039 */1040ce_mark_uptodate(ce);1041return ce;1042}1043}10441045if(ie_modified(istate, ce, &st, options)) {1046if(err)1047*err = EINVAL;1048return NULL;1049}10501051 size =ce_size(ce);1052 updated =xmalloc(size);1053memcpy(updated, ce, size);1054fill_stat_cache_info(updated, &st);1055/*1056 * If ignore_valid is not set, we should leave CE_VALID bit1057 * alone. Otherwise, paths marked with --no-assume-unchanged1058 * (i.e. things to be edited) will reacquire CE_VALID bit1059 * automatically, which is not really what we want.1060 */1061if(!ignore_valid && assume_unchanged &&1062!(ce->ce_flags & CE_VALID))1063 updated->ce_flags &= ~CE_VALID;10641065return updated;1066}10671068intrefresh_index(struct index_state *istate,unsigned int flags,const char**pathspec,char*seen)1069{1070int i;1071int has_errors =0;1072int really = (flags & REFRESH_REALLY) !=0;1073int allow_unmerged = (flags & REFRESH_UNMERGED) !=0;1074int quiet = (flags & REFRESH_QUIET) !=0;1075int not_new = (flags & REFRESH_IGNORE_MISSING) !=0;1076int ignore_submodules = (flags & REFRESH_IGNORE_SUBMODULES) !=0;1077unsigned int options = really ? CE_MATCH_IGNORE_VALID :0;1078const char*needs_update_message;10791080 needs_update_message = ((flags & REFRESH_SAY_CHANGED)1081?"locally modified":"needs update");1082for(i =0; i < istate->cache_nr; i++) {1083struct cache_entry *ce, *new;1084int cache_errno =0;10851086 ce = istate->cache[i];1087if(ignore_submodules &&S_ISGITLINK(ce->ce_mode))1088continue;10891090if(ce_stage(ce)) {1091while((i < istate->cache_nr) &&1092!strcmp(istate->cache[i]->name, ce->name))1093 i++;1094 i--;1095if(allow_unmerged)1096continue;1097printf("%s: needs merge\n", ce->name);1098 has_errors =1;1099continue;1100}11011102if(pathspec && !match_pathspec(pathspec, ce->name,strlen(ce->name),0, seen))1103continue;11041105new=refresh_cache_ent(istate, ce, options, &cache_errno);1106if(new== ce)1107continue;1108if(!new) {1109if(not_new && cache_errno == ENOENT)1110continue;1111if(really && cache_errno == EINVAL) {1112/* If we are doing --really-refresh that1113 * means the index is not valid anymore.1114 */1115 ce->ce_flags &= ~CE_VALID;1116 istate->cache_changed =1;1117}1118if(quiet)1119continue;1120printf("%s:%s\n", ce->name, needs_update_message);1121 has_errors =1;1122continue;1123}11241125replace_index_entry(istate, i,new);1126}1127return has_errors;1128}11291130struct cache_entry *refresh_cache_entry(struct cache_entry *ce,int really)1131{1132returnrefresh_cache_ent(&the_index, ce, really, NULL);1133}11341135static intverify_hdr(struct cache_header *hdr,unsigned long size)1136{1137 git_SHA_CTX c;1138unsigned char sha1[20];11391140if(hdr->hdr_signature !=htonl(CACHE_SIGNATURE))1141returnerror("bad signature");1142if(hdr->hdr_version !=htonl(2) && hdr->hdr_version !=htonl(3))1143returnerror("bad index version");1144git_SHA1_Init(&c);1145git_SHA1_Update(&c, hdr, size -20);1146git_SHA1_Final(sha1, &c);1147if(hashcmp(sha1, (unsigned char*)hdr + size -20))1148returnerror("bad index file sha1 signature");1149return0;1150}11511152static intread_index_extension(struct index_state *istate,1153const char*ext,void*data,unsigned long sz)1154{1155switch(CACHE_EXT(ext)) {1156case CACHE_EXT_TREE:1157 istate->cache_tree =cache_tree_read(data, sz);1158break;1159default:1160if(*ext <'A'||'Z'< *ext)1161returnerror("index uses %.4s extension, which we do not understand",1162 ext);1163fprintf(stderr,"ignoring %.4s extension\n", ext);1164break;1165}1166return0;1167}11681169intread_index(struct index_state *istate)1170{1171returnread_index_from(istate,get_index_file());1172}11731174static voidconvert_from_disk(struct ondisk_cache_entry *ondisk,struct cache_entry *ce)1175{1176size_t len;1177const char*name;11781179 ce->ce_ctime.sec =ntohl(ondisk->ctime.sec);1180 ce->ce_mtime.sec =ntohl(ondisk->mtime.sec);1181 ce->ce_ctime.nsec =ntohl(ondisk->ctime.nsec);1182 ce->ce_mtime.nsec =ntohl(ondisk->mtime.nsec);1183 ce->ce_dev =ntohl(ondisk->dev);1184 ce->ce_ino =ntohl(ondisk->ino);1185 ce->ce_mode =ntohl(ondisk->mode);1186 ce->ce_uid =ntohl(ondisk->uid);1187 ce->ce_gid =ntohl(ondisk->gid);1188 ce->ce_size =ntohl(ondisk->size);1189/* On-disk flags are just 16 bits */1190 ce->ce_flags =ntohs(ondisk->flags);11911192hashcpy(ce->sha1, ondisk->sha1);11931194 len = ce->ce_flags & CE_NAMEMASK;11951196if(ce->ce_flags & CE_EXTENDED) {1197struct ondisk_cache_entry_extended *ondisk2;1198int extended_flags;1199 ondisk2 = (struct ondisk_cache_entry_extended *)ondisk;1200 extended_flags =ntohs(ondisk2->flags2) <<16;1201/* We do not yet understand any bit out of CE_EXTENDED_FLAGS */1202if(extended_flags & ~CE_EXTENDED_FLAGS)1203die("Unknown index entry format%08x", extended_flags);1204 ce->ce_flags |= extended_flags;1205 name = ondisk2->name;1206}1207else1208 name = ondisk->name;12091210if(len == CE_NAMEMASK)1211 len =strlen(name);1212/*1213 * NEEDSWORK: If the original index is crafted, this copy could1214 * go unchecked.1215 */1216memcpy(ce->name, name, len +1);1217}12181219staticinlinesize_testimate_cache_size(size_t ondisk_size,unsigned int entries)1220{1221long per_entry;12221223 per_entry =sizeof(struct cache_entry) -sizeof(struct ondisk_cache_entry);12241225/*1226 * Alignment can cause differences. This should be "alignof", but1227 * since that's a gcc'ism, just use the size of a pointer.1228 */1229 per_entry +=sizeof(void*);1230return ondisk_size + entries*per_entry;1231}12321233/* remember to discard_cache() before reading a different cache! */1234intread_index_from(struct index_state *istate,const char*path)1235{1236int fd, i;1237struct stat st;1238unsigned long src_offset, dst_offset;1239struct cache_header *hdr;1240void*mmap;1241size_t mmap_size;12421243 errno = EBUSY;1244if(istate->initialized)1245return istate->cache_nr;12461247 errno = ENOENT;1248 istate->timestamp.sec =0;1249 istate->timestamp.nsec =0;1250 fd =open(path, O_RDONLY);1251if(fd <0) {1252if(errno == ENOENT)1253return0;1254die("index file open failed (%s)",strerror(errno));1255}12561257if(fstat(fd, &st))1258die("cannot stat the open index (%s)",strerror(errno));12591260 errno = EINVAL;1261 mmap_size =xsize_t(st.st_size);1262if(mmap_size <sizeof(struct cache_header) +20)1263die("index file smaller than expected");12641265 mmap =xmmap(NULL, mmap_size, PROT_READ | PROT_WRITE, MAP_PRIVATE, fd,0);1266close(fd);1267if(mmap == MAP_FAILED)1268die("unable to map index file");12691270 hdr = mmap;1271if(verify_hdr(hdr, mmap_size) <0)1272goto unmap;12731274 istate->cache_nr =ntohl(hdr->hdr_entries);1275 istate->cache_alloc =alloc_nr(istate->cache_nr);1276 istate->cache =xcalloc(istate->cache_alloc,sizeof(struct cache_entry *));12771278/*1279 * The disk format is actually larger than the in-memory format,1280 * due to space for nsec etc, so even though the in-memory one1281 * has room for a few more flags, we can allocate using the same1282 * index size1283 */1284 istate->alloc =xmalloc(estimate_cache_size(mmap_size, istate->cache_nr));1285 istate->initialized =1;12861287 src_offset =sizeof(*hdr);1288 dst_offset =0;1289for(i =0; i < istate->cache_nr; i++) {1290struct ondisk_cache_entry *disk_ce;1291struct cache_entry *ce;12921293 disk_ce = (struct ondisk_cache_entry *)((char*)mmap + src_offset);1294 ce = (struct cache_entry *)((char*)istate->alloc + dst_offset);1295convert_from_disk(disk_ce, ce);1296set_index_entry(istate, i, ce);12971298 src_offset +=ondisk_ce_size(ce);1299 dst_offset +=ce_size(ce);1300}1301 istate->timestamp.sec = st.st_mtime;1302 istate->timestamp.nsec =ST_MTIME_NSEC(st);13031304while(src_offset <= mmap_size -20-8) {1305/* After an array of active_nr index entries,1306 * there can be arbitrary number of extended1307 * sections, each of which is prefixed with1308 * extension name (4-byte) and section length1309 * in 4-byte network byte order.1310 */1311unsigned long extsize;1312memcpy(&extsize, (char*)mmap + src_offset +4,4);1313 extsize =ntohl(extsize);1314if(read_index_extension(istate,1315(const char*) mmap + src_offset,1316(char*) mmap + src_offset +8,1317 extsize) <0)1318goto unmap;1319 src_offset +=8;1320 src_offset += extsize;1321}1322munmap(mmap, mmap_size);1323return istate->cache_nr;13241325unmap:1326munmap(mmap, mmap_size);1327 errno = EINVAL;1328die("index file corrupt");1329}13301331intis_index_unborn(struct index_state *istate)1332{1333return(!istate->cache_nr && !istate->alloc && !istate->timestamp.sec);1334}13351336intdiscard_index(struct index_state *istate)1337{1338 istate->cache_nr =0;1339 istate->cache_changed =0;1340 istate->timestamp.sec =0;1341 istate->timestamp.nsec =0;1342 istate->name_hash_initialized =0;1343free_hash(&istate->name_hash);1344cache_tree_free(&(istate->cache_tree));1345free(istate->alloc);1346 istate->alloc = NULL;1347 istate->initialized =0;13481349/* no need to throw away allocated active_cache */1350return0;1351}13521353intunmerged_index(const struct index_state *istate)1354{1355int i;1356for(i =0; i < istate->cache_nr; i++) {1357if(ce_stage(istate->cache[i]))1358return1;1359}1360return0;1361}13621363#define WRITE_BUFFER_SIZE 81921364static unsigned char write_buffer[WRITE_BUFFER_SIZE];1365static unsigned long write_buffer_len;13661367static intce_write_flush(git_SHA_CTX *context,int fd)1368{1369unsigned int buffered = write_buffer_len;1370if(buffered) {1371git_SHA1_Update(context, write_buffer, buffered);1372if(write_in_full(fd, write_buffer, buffered) != buffered)1373return-1;1374 write_buffer_len =0;1375}1376return0;1377}13781379static intce_write(git_SHA_CTX *context,int fd,void*data,unsigned int len)1380{1381while(len) {1382unsigned int buffered = write_buffer_len;1383unsigned int partial = WRITE_BUFFER_SIZE - buffered;1384if(partial > len)1385 partial = len;1386memcpy(write_buffer + buffered, data, partial);1387 buffered += partial;1388if(buffered == WRITE_BUFFER_SIZE) {1389 write_buffer_len = buffered;1390if(ce_write_flush(context, fd))1391return-1;1392 buffered =0;1393}1394 write_buffer_len = buffered;1395 len -= partial;1396 data = (char*) data + partial;1397}1398return0;1399}14001401static intwrite_index_ext_header(git_SHA_CTX *context,int fd,1402unsigned int ext,unsigned int sz)1403{1404 ext =htonl(ext);1405 sz =htonl(sz);1406return((ce_write(context, fd, &ext,4) <0) ||1407(ce_write(context, fd, &sz,4) <0)) ? -1:0;1408}14091410static intce_flush(git_SHA_CTX *context,int fd)1411{1412unsigned int left = write_buffer_len;14131414if(left) {1415 write_buffer_len =0;1416git_SHA1_Update(context, write_buffer, left);1417}14181419/* Flush first if not enough space for SHA1 signature */1420if(left +20> WRITE_BUFFER_SIZE) {1421if(write_in_full(fd, write_buffer, left) != left)1422return-1;1423 left =0;1424}14251426/* Append the SHA1 signature at the end */1427git_SHA1_Final(write_buffer + left, context);1428 left +=20;1429return(write_in_full(fd, write_buffer, left) != left) ? -1:0;1430}14311432static voidce_smudge_racily_clean_entry(struct cache_entry *ce)1433{1434/*1435 * The only thing we care about in this function is to smudge the1436 * falsely clean entry due to touch-update-touch race, so we leave1437 * everything else as they are. We are called for entries whose1438 * ce_mtime match the index file mtime.1439 *1440 * Note that this actually does not do much for gitlinks, for1441 * which ce_match_stat_basic() always goes to the actual1442 * contents. The caller checks with is_racy_timestamp() which1443 * always says "no" for gitlinks, so we are not called for them ;-)1444 */1445struct stat st;14461447if(lstat(ce->name, &st) <0)1448return;1449if(ce_match_stat_basic(ce, &st))1450return;1451if(ce_modified_check_fs(ce, &st)) {1452/* This is "racily clean"; smudge it. Note that this1453 * is a tricky code. At first glance, it may appear1454 * that it can break with this sequence:1455 *1456 * $ echo xyzzy >frotz1457 * $ git-update-index --add frotz1458 * $ : >frotz1459 * $ sleep 31460 * $ echo filfre >nitfol1461 * $ git-update-index --add nitfol1462 *1463 * but it does not. When the second update-index runs,1464 * it notices that the entry "frotz" has the same timestamp1465 * as index, and if we were to smudge it by resetting its1466 * size to zero here, then the object name recorded1467 * in index is the 6-byte file but the cached stat information1468 * becomes zero --- which would then match what we would1469 * obtain from the filesystem next time we stat("frotz").1470 *1471 * However, the second update-index, before calling1472 * this function, notices that the cached size is 61473 * bytes and what is on the filesystem is an empty1474 * file, and never calls us, so the cached size information1475 * for "frotz" stays 6 which does not match the filesystem.1476 */1477 ce->ce_size =0;1478}1479}14801481static intce_write_entry(git_SHA_CTX *c,int fd,struct cache_entry *ce)1482{1483int size =ondisk_ce_size(ce);1484struct ondisk_cache_entry *ondisk =xcalloc(1, size);1485char*name;14861487 ondisk->ctime.sec =htonl(ce->ce_ctime.sec);1488 ondisk->mtime.sec =htonl(ce->ce_mtime.sec);1489 ondisk->ctime.nsec =htonl(ce->ce_ctime.nsec);1490 ondisk->mtime.nsec =htonl(ce->ce_mtime.nsec);1491 ondisk->dev =htonl(ce->ce_dev);1492 ondisk->ino =htonl(ce->ce_ino);1493 ondisk->mode =htonl(ce->ce_mode);1494 ondisk->uid =htonl(ce->ce_uid);1495 ondisk->gid =htonl(ce->ce_gid);1496 ondisk->size =htonl(ce->ce_size);1497hashcpy(ondisk->sha1, ce->sha1);1498 ondisk->flags =htons(ce->ce_flags);1499if(ce->ce_flags & CE_EXTENDED) {1500struct ondisk_cache_entry_extended *ondisk2;1501 ondisk2 = (struct ondisk_cache_entry_extended *)ondisk;1502 ondisk2->flags2 =htons((ce->ce_flags & CE_EXTENDED_FLAGS) >>16);1503 name = ondisk2->name;1504}1505else1506 name = ondisk->name;1507memcpy(name, ce->name,ce_namelen(ce));15081509returnce_write(c, fd, ondisk, size);1510}15111512intwrite_index(struct index_state *istate,int newfd)1513{1514 git_SHA_CTX c;1515struct cache_header hdr;1516int i, err, removed, extended;1517struct cache_entry **cache = istate->cache;1518int entries = istate->cache_nr;1519struct stat st;15201521for(i = removed = extended =0; i < entries; i++) {1522if(cache[i]->ce_flags & CE_REMOVE)1523 removed++;15241525/* reduce extended entries if possible */1526 cache[i]->ce_flags &= ~CE_EXTENDED;1527if(cache[i]->ce_flags & CE_EXTENDED_FLAGS) {1528 extended++;1529 cache[i]->ce_flags |= CE_EXTENDED;1530}1531}15321533 hdr.hdr_signature =htonl(CACHE_SIGNATURE);1534/* for extended format, increase version so older git won't try to read it */1535 hdr.hdr_version =htonl(extended ?3:2);1536 hdr.hdr_entries =htonl(entries - removed);15371538git_SHA1_Init(&c);1539if(ce_write(&c, newfd, &hdr,sizeof(hdr)) <0)1540return-1;15411542for(i =0; i < entries; i++) {1543struct cache_entry *ce = cache[i];1544if(ce->ce_flags & CE_REMOVE)1545continue;1546if(!ce_uptodate(ce) &&is_racy_timestamp(istate, ce))1547ce_smudge_racily_clean_entry(ce);1548if(ce_write_entry(&c, newfd, ce) <0)1549return-1;1550}15511552/* Write extension data here */1553if(istate->cache_tree) {1554struct strbuf sb = STRBUF_INIT;15551556cache_tree_write(&sb, istate->cache_tree);1557 err =write_index_ext_header(&c, newfd, CACHE_EXT_TREE, sb.len) <01558||ce_write(&c, newfd, sb.buf, sb.len) <0;1559strbuf_release(&sb);1560if(err)1561return-1;1562}15631564if(ce_flush(&c, newfd) ||fstat(newfd, &st))1565return-1;1566 istate->timestamp.sec = (unsigned int)st.st_mtime;1567 istate->timestamp.nsec =ST_MTIME_NSEC(st);1568return0;1569}15701571/*1572 * Read the index file that is potentially unmerged into given1573 * index_state, dropping any unmerged entries. Returns true if1574 * the index is unmerged. Callers who want to refuse to work1575 * from an unmerged state can call this and check its return value,1576 * instead of calling read_cache().1577 */1578intread_index_unmerged(struct index_state *istate)1579{1580int i;1581int unmerged =0;15821583read_index(istate);1584for(i =0; i < istate->cache_nr; i++) {1585struct cache_entry *ce = istate->cache[i];1586struct cache_entry *new_ce;1587int size, len;15881589if(!ce_stage(ce))1590continue;1591 unmerged =1;1592 len =strlen(ce->name);1593 size =cache_entry_size(len);1594 new_ce =xcalloc(1, size);1595hashcpy(new_ce->sha1, ce->sha1);1596memcpy(new_ce->name, ce->name, len);1597 new_ce->ce_flags =create_ce_flags(len,0);1598 new_ce->ce_mode = ce->ce_mode;1599if(add_index_entry(istate, new_ce,0))1600returnerror("%s: cannot drop to stage #0",1601 ce->name);1602 i =index_name_pos(istate, new_ce->name, len);1603}1604return unmerged;1605}16061607struct update_callback_data1608{1609int flags;1610int add_errors;1611};16121613static voidupdate_callback(struct diff_queue_struct *q,1614struct diff_options *opt,void*cbdata)1615{1616int i;1617struct update_callback_data *data = cbdata;16181619for(i =0; i < q->nr; i++) {1620struct diff_filepair *p = q->queue[i];1621const char*path = p->one->path;1622switch(p->status) {1623default:1624die("unexpected diff status%c", p->status);1625case DIFF_STATUS_UNMERGED:1626/*1627 * ADD_CACHE_IGNORE_REMOVAL is unset if "git1628 * add -u" is calling us, In such a case, a1629 * missing work tree file needs to be removed1630 * if there is an unmerged entry at stage #2,1631 * but such a diff record is followed by1632 * another with DIFF_STATUS_DELETED (and if1633 * there is no stage #2, we won't see DELETED1634 * nor MODIFIED). We can simply continue1635 * either way.1636 */1637if(!(data->flags & ADD_CACHE_IGNORE_REMOVAL))1638continue;1639/*1640 * Otherwise, it is "git add path" is asking1641 * to explicitly add it; we fall through. A1642 * missing work tree file is an error and is1643 * caught by add_file_to_index() in such a1644 * case.1645 */1646case DIFF_STATUS_MODIFIED:1647case DIFF_STATUS_TYPE_CHANGED:1648if(add_file_to_index(&the_index, path, data->flags)) {1649if(!(data->flags & ADD_CACHE_IGNORE_ERRORS))1650die("updating files failed");1651 data->add_errors++;1652}1653break;1654case DIFF_STATUS_DELETED:1655if(data->flags & ADD_CACHE_IGNORE_REMOVAL)1656break;1657if(!(data->flags & ADD_CACHE_PRETEND))1658remove_file_from_index(&the_index, path);1659if(data->flags & (ADD_CACHE_PRETEND|ADD_CACHE_VERBOSE))1660printf("remove '%s'\n", path);1661break;1662}1663}1664}16651666intadd_files_to_cache(const char*prefix,const char**pathspec,int flags)1667{1668struct update_callback_data data;1669struct rev_info rev;1670init_revisions(&rev, prefix);1671setup_revisions(0, NULL, &rev, NULL);1672 rev.prune_data = pathspec;1673 rev.diffopt.output_format = DIFF_FORMAT_CALLBACK;1674 rev.diffopt.format_callback = update_callback;1675 data.flags = flags;1676 data.add_errors =0;1677 rev.diffopt.format_callback_data = &data;1678run_diff_files(&rev, DIFF_RACY_IS_MODIFIED);1679return!!data.add_errors;1680}16811682/*1683 * Returns 1 if the path is an "other" path with respect to1684 * the index; that is, the path is not mentioned in the index at all,1685 * either as a file, a directory with some files in the index,1686 * or as an unmerged entry.1687 *1688 * We helpfully remove a trailing "/" from directories so that1689 * the output of read_directory can be used as-is.1690 */1691intindex_name_is_other(const struct index_state *istate,const char*name,1692int namelen)1693{1694int pos;1695if(namelen && name[namelen -1] =='/')1696 namelen--;1697 pos =index_name_pos(istate, name, namelen);1698if(0<= pos)1699return0;/* exact match */1700 pos = -pos -1;1701if(pos < istate->cache_nr) {1702struct cache_entry *ce = istate->cache[pos];1703if(ce_namelen(ce) == namelen &&1704!memcmp(ce->name, name, namelen))1705return0;/* Yup, this one exists unmerged */1706}1707return1;1708}