]> git.proxmox.com Git - libgit2.git/blob - src/index.c
New upstream version 1.0.1+dfsg.1
[libgit2.git] / src / index.c
1 /*
2 * Copyright (C) the libgit2 contributors. All rights reserved.
3 *
4 * This file is part of libgit2, distributed under the GNU GPL v2 with
5 * a Linking Exception. For full terms see the included COPYING file.
6 */
7
8 #include "index.h"
9
10 #include <stddef.h>
11
12 #include "repository.h"
13 #include "tree.h"
14 #include "tree-cache.h"
15 #include "hash.h"
16 #include "iterator.h"
17 #include "pathspec.h"
18 #include "ignore.h"
19 #include "blob.h"
20 #include "idxmap.h"
21 #include "diff.h"
22 #include "varint.h"
23
24 #include "git2/odb.h"
25 #include "git2/oid.h"
26 #include "git2/blob.h"
27 #include "git2/config.h"
28 #include "git2/sys/index.h"
29
30 static int index_apply_to_wd_diff(git_index *index, int action, const git_strarray *paths,
31 unsigned int flags,
32 git_index_matched_path_cb cb, void *payload);
33
34 #define minimal_entry_size (offsetof(struct entry_short, path))
35
36 static const size_t INDEX_FOOTER_SIZE = GIT_OID_RAWSZ;
37 static const size_t INDEX_HEADER_SIZE = 12;
38
39 static const unsigned int INDEX_VERSION_NUMBER_DEFAULT = 2;
40 static const unsigned int INDEX_VERSION_NUMBER_LB = 2;
41 static const unsigned int INDEX_VERSION_NUMBER_EXT = 3;
42 static const unsigned int INDEX_VERSION_NUMBER_COMP = 4;
43 static const unsigned int INDEX_VERSION_NUMBER_UB = 4;
44
45 static const unsigned int INDEX_HEADER_SIG = 0x44495243;
46 static const char INDEX_EXT_TREECACHE_SIG[] = {'T', 'R', 'E', 'E'};
47 static const char INDEX_EXT_UNMERGED_SIG[] = {'R', 'E', 'U', 'C'};
48 static const char INDEX_EXT_CONFLICT_NAME_SIG[] = {'N', 'A', 'M', 'E'};
49
50 #define INDEX_OWNER(idx) ((git_repository *)(GIT_REFCOUNT_OWNER(idx)))
51
52 struct index_header {
53 uint32_t signature;
54 uint32_t version;
55 uint32_t entry_count;
56 };
57
58 struct index_extension {
59 char signature[4];
60 uint32_t extension_size;
61 };
62
63 struct entry_time {
64 uint32_t seconds;
65 uint32_t nanoseconds;
66 };
67
68 struct entry_short {
69 struct entry_time ctime;
70 struct entry_time mtime;
71 uint32_t dev;
72 uint32_t ino;
73 uint32_t mode;
74 uint32_t uid;
75 uint32_t gid;
76 uint32_t file_size;
77 git_oid oid;
78 uint16_t flags;
79 char path[1]; /* arbitrary length */
80 };
81
82 struct entry_long {
83 struct entry_time ctime;
84 struct entry_time mtime;
85 uint32_t dev;
86 uint32_t ino;
87 uint32_t mode;
88 uint32_t uid;
89 uint32_t gid;
90 uint32_t file_size;
91 git_oid oid;
92 uint16_t flags;
93 uint16_t flags_extended;
94 char path[1]; /* arbitrary length */
95 };
96
97 struct entry_srch_key {
98 const char *path;
99 size_t pathlen;
100 int stage;
101 };
102
103 struct entry_internal {
104 git_index_entry entry;
105 size_t pathlen;
106 char path[GIT_FLEX_ARRAY];
107 };
108
109 struct reuc_entry_internal {
110 git_index_reuc_entry entry;
111 size_t pathlen;
112 char path[GIT_FLEX_ARRAY];
113 };
114
115 bool git_index__enforce_unsaved_safety = false;
116
117 /* local declarations */
118 static int read_extension(size_t *read_len, git_index *index, const char *buffer, size_t buffer_size);
119 static int read_header(struct index_header *dest, const void *buffer);
120
121 static int parse_index(git_index *index, const char *buffer, size_t buffer_size);
122 static bool is_index_extended(git_index *index);
123 static int write_index(git_oid *checksum, git_index *index, git_filebuf *file);
124
125 static void index_entry_free(git_index_entry *entry);
126 static void index_entry_reuc_free(git_index_reuc_entry *reuc);
127
128 GIT_INLINE(int) index_map_set(git_idxmap *map, git_index_entry *e, bool ignore_case)
129 {
130 if (ignore_case)
131 return git_idxmap_icase_set((git_idxmap_icase *) map, e, e);
132 else
133 return git_idxmap_set(map, e, e);
134 }
135
136 GIT_INLINE(int) index_map_delete(git_idxmap *map, git_index_entry *e, bool ignore_case)
137 {
138 if (ignore_case)
139 return git_idxmap_icase_delete((git_idxmap_icase *) map, e);
140 else
141 return git_idxmap_delete(map, e);
142 }
143
144 GIT_INLINE(int) index_map_resize(git_idxmap *map, size_t count, bool ignore_case)
145 {
146 if (ignore_case)
147 return git_idxmap_icase_resize((git_idxmap_icase *) map, count);
148 else
149 return git_idxmap_resize(map, count);
150 }
151
152 int git_index_entry_srch(const void *key, const void *array_member)
153 {
154 const struct entry_srch_key *srch_key = key;
155 const struct entry_internal *entry = array_member;
156 int cmp;
157 size_t len1, len2, len;
158
159 len1 = srch_key->pathlen;
160 len2 = entry->pathlen;
161 len = len1 < len2 ? len1 : len2;
162
163 cmp = memcmp(srch_key->path, entry->path, len);
164 if (cmp)
165 return cmp;
166 if (len1 < len2)
167 return -1;
168 if (len1 > len2)
169 return 1;
170
171 if (srch_key->stage != GIT_INDEX_STAGE_ANY)
172 return srch_key->stage - GIT_INDEX_ENTRY_STAGE(&entry->entry);
173
174 return 0;
175 }
176
177 int git_index_entry_isrch(const void *key, const void *array_member)
178 {
179 const struct entry_srch_key *srch_key = key;
180 const struct entry_internal *entry = array_member;
181 int cmp;
182 size_t len1, len2, len;
183
184 len1 = srch_key->pathlen;
185 len2 = entry->pathlen;
186 len = len1 < len2 ? len1 : len2;
187
188 cmp = strncasecmp(srch_key->path, entry->path, len);
189
190 if (cmp)
191 return cmp;
192 if (len1 < len2)
193 return -1;
194 if (len1 > len2)
195 return 1;
196
197 if (srch_key->stage != GIT_INDEX_STAGE_ANY)
198 return srch_key->stage - GIT_INDEX_ENTRY_STAGE(&entry->entry);
199
200 return 0;
201 }
202
203 static int index_entry_srch_path(const void *path, const void *array_member)
204 {
205 const git_index_entry *entry = array_member;
206
207 return strcmp((const char *)path, entry->path);
208 }
209
210 static int index_entry_isrch_path(const void *path, const void *array_member)
211 {
212 const git_index_entry *entry = array_member;
213
214 return strcasecmp((const char *)path, entry->path);
215 }
216
217 int git_index_entry_cmp(const void *a, const void *b)
218 {
219 int diff;
220 const git_index_entry *entry_a = a;
221 const git_index_entry *entry_b = b;
222
223 diff = strcmp(entry_a->path, entry_b->path);
224
225 if (diff == 0)
226 diff = (GIT_INDEX_ENTRY_STAGE(entry_a) - GIT_INDEX_ENTRY_STAGE(entry_b));
227
228 return diff;
229 }
230
231 int git_index_entry_icmp(const void *a, const void *b)
232 {
233 int diff;
234 const git_index_entry *entry_a = a;
235 const git_index_entry *entry_b = b;
236
237 diff = strcasecmp(entry_a->path, entry_b->path);
238
239 if (diff == 0)
240 diff = (GIT_INDEX_ENTRY_STAGE(entry_a) - GIT_INDEX_ENTRY_STAGE(entry_b));
241
242 return diff;
243 }
244
245 static int conflict_name_cmp(const void *a, const void *b)
246 {
247 const git_index_name_entry *name_a = a;
248 const git_index_name_entry *name_b = b;
249
250 if (name_a->ancestor && !name_b->ancestor)
251 return 1;
252
253 if (!name_a->ancestor && name_b->ancestor)
254 return -1;
255
256 if (name_a->ancestor)
257 return strcmp(name_a->ancestor, name_b->ancestor);
258
259 if (!name_a->ours || !name_b->ours)
260 return 0;
261
262 return strcmp(name_a->ours, name_b->ours);
263 }
264
265 /**
266 * TODO: enable this when resolving case insensitive conflicts
267 */
268 #if 0
269 static int conflict_name_icmp(const void *a, const void *b)
270 {
271 const git_index_name_entry *name_a = a;
272 const git_index_name_entry *name_b = b;
273
274 if (name_a->ancestor && !name_b->ancestor)
275 return 1;
276
277 if (!name_a->ancestor && name_b->ancestor)
278 return -1;
279
280 if (name_a->ancestor)
281 return strcasecmp(name_a->ancestor, name_b->ancestor);
282
283 if (!name_a->ours || !name_b->ours)
284 return 0;
285
286 return strcasecmp(name_a->ours, name_b->ours);
287 }
288 #endif
289
290 static int reuc_srch(const void *key, const void *array_member)
291 {
292 const git_index_reuc_entry *reuc = array_member;
293
294 return strcmp(key, reuc->path);
295 }
296
297 static int reuc_isrch(const void *key, const void *array_member)
298 {
299 const git_index_reuc_entry *reuc = array_member;
300
301 return strcasecmp(key, reuc->path);
302 }
303
304 static int reuc_cmp(const void *a, const void *b)
305 {
306 const git_index_reuc_entry *info_a = a;
307 const git_index_reuc_entry *info_b = b;
308
309 return strcmp(info_a->path, info_b->path);
310 }
311
312 static int reuc_icmp(const void *a, const void *b)
313 {
314 const git_index_reuc_entry *info_a = a;
315 const git_index_reuc_entry *info_b = b;
316
317 return strcasecmp(info_a->path, info_b->path);
318 }
319
320 static void index_entry_reuc_free(git_index_reuc_entry *reuc)
321 {
322 git__free(reuc);
323 }
324
325 static void index_entry_free(git_index_entry *entry)
326 {
327 if (!entry)
328 return;
329
330 memset(&entry->id, 0, sizeof(entry->id));
331 git__free(entry);
332 }
333
334 unsigned int git_index__create_mode(unsigned int mode)
335 {
336 if (S_ISLNK(mode))
337 return S_IFLNK;
338
339 if (S_ISDIR(mode) || (mode & S_IFMT) == (S_IFLNK | S_IFDIR))
340 return (S_IFLNK | S_IFDIR);
341
342 return S_IFREG | GIT_PERMS_CANONICAL(mode);
343 }
344
345 static unsigned int index_merge_mode(
346 git_index *index, git_index_entry *existing, unsigned int mode)
347 {
348 if (index->no_symlinks && S_ISREG(mode) &&
349 existing && S_ISLNK(existing->mode))
350 return existing->mode;
351
352 if (index->distrust_filemode && S_ISREG(mode))
353 return (existing && S_ISREG(existing->mode)) ?
354 existing->mode : git_index__create_mode(0666);
355
356 return git_index__create_mode(mode);
357 }
358
359 GIT_INLINE(int) index_find_in_entries(
360 size_t *out, git_vector *entries, git_vector_cmp entry_srch,
361 const char *path, size_t path_len, int stage)
362 {
363 struct entry_srch_key srch_key;
364 srch_key.path = path;
365 srch_key.pathlen = !path_len ? strlen(path) : path_len;
366 srch_key.stage = stage;
367 return git_vector_bsearch2(out, entries, entry_srch, &srch_key);
368 }
369
370 GIT_INLINE(int) index_find(
371 size_t *out, git_index *index,
372 const char *path, size_t path_len, int stage)
373 {
374 git_vector_sort(&index->entries);
375
376 return index_find_in_entries(
377 out, &index->entries, index->entries_search, path, path_len, stage);
378 }
379
380 void git_index__set_ignore_case(git_index *index, bool ignore_case)
381 {
382 index->ignore_case = ignore_case;
383
384 if (ignore_case) {
385 index->entries_cmp_path = git__strcasecmp_cb;
386 index->entries_search = git_index_entry_isrch;
387 index->entries_search_path = index_entry_isrch_path;
388 index->reuc_search = reuc_isrch;
389 } else {
390 index->entries_cmp_path = git__strcmp_cb;
391 index->entries_search = git_index_entry_srch;
392 index->entries_search_path = index_entry_srch_path;
393 index->reuc_search = reuc_srch;
394 }
395
396 git_vector_set_cmp(&index->entries,
397 ignore_case ? git_index_entry_icmp : git_index_entry_cmp);
398 git_vector_sort(&index->entries);
399
400 git_vector_set_cmp(&index->reuc, ignore_case ? reuc_icmp : reuc_cmp);
401 git_vector_sort(&index->reuc);
402 }
403
404 int git_index_open(git_index **index_out, const char *index_path)
405 {
406 git_index *index;
407 int error = -1;
408
409 assert(index_out);
410
411 index = git__calloc(1, sizeof(git_index));
412 GIT_ERROR_CHECK_ALLOC(index);
413
414 git_pool_init(&index->tree_pool, 1);
415
416 if (index_path != NULL) {
417 index->index_file_path = git__strdup(index_path);
418 if (!index->index_file_path)
419 goto fail;
420
421 /* Check if index file is stored on disk already */
422 if (git_path_exists(index->index_file_path) == true)
423 index->on_disk = 1;
424 }
425
426 if (git_vector_init(&index->entries, 32, git_index_entry_cmp) < 0 ||
427 git_idxmap_new(&index->entries_map) < 0 ||
428 git_vector_init(&index->names, 8, conflict_name_cmp) < 0 ||
429 git_vector_init(&index->reuc, 8, reuc_cmp) < 0 ||
430 git_vector_init(&index->deleted, 8, git_index_entry_cmp) < 0)
431 goto fail;
432
433 index->entries_cmp_path = git__strcmp_cb;
434 index->entries_search = git_index_entry_srch;
435 index->entries_search_path = index_entry_srch_path;
436 index->reuc_search = reuc_srch;
437 index->version = INDEX_VERSION_NUMBER_DEFAULT;
438
439 if (index_path != NULL && (error = git_index_read(index, true)) < 0)
440 goto fail;
441
442 *index_out = index;
443 GIT_REFCOUNT_INC(index);
444
445 return 0;
446
447 fail:
448 git_pool_clear(&index->tree_pool);
449 git_index_free(index);
450 return error;
451 }
452
453 int git_index_new(git_index **out)
454 {
455 return git_index_open(out, NULL);
456 }
457
458 static void index_free(git_index *index)
459 {
460 /* index iterators increment the refcount of the index, so if we
461 * get here then there should be no outstanding iterators.
462 */
463 assert(!git_atomic_get(&index->readers));
464
465 git_index_clear(index);
466 git_idxmap_free(index->entries_map);
467 git_vector_free(&index->entries);
468 git_vector_free(&index->names);
469 git_vector_free(&index->reuc);
470 git_vector_free(&index->deleted);
471
472 git__free(index->index_file_path);
473
474 git__memzero(index, sizeof(*index));
475 git__free(index);
476 }
477
478 void git_index_free(git_index *index)
479 {
480 if (index == NULL)
481 return;
482
483 GIT_REFCOUNT_DEC(index, index_free);
484 }
485
486 /* call with locked index */
487 static void index_free_deleted(git_index *index)
488 {
489 int readers = (int)git_atomic_get(&index->readers);
490 size_t i;
491
492 if (readers > 0 || !index->deleted.length)
493 return;
494
495 for (i = 0; i < index->deleted.length; ++i) {
496 git_index_entry *ie = git__swap(index->deleted.contents[i], NULL);
497 index_entry_free(ie);
498 }
499
500 git_vector_clear(&index->deleted);
501 }
502
503 /* call with locked index */
504 static int index_remove_entry(git_index *index, size_t pos)
505 {
506 int error = 0;
507 git_index_entry *entry = git_vector_get(&index->entries, pos);
508
509 if (entry != NULL) {
510 git_tree_cache_invalidate_path(index->tree, entry->path);
511 index_map_delete(index->entries_map, entry, index->ignore_case);
512 }
513
514 error = git_vector_remove(&index->entries, pos);
515
516 if (!error) {
517 if (git_atomic_get(&index->readers) > 0) {
518 error = git_vector_insert(&index->deleted, entry);
519 } else {
520 index_entry_free(entry);
521 }
522
523 index->dirty = 1;
524 }
525
526 return error;
527 }
528
529 int git_index_clear(git_index *index)
530 {
531 int error = 0;
532
533 assert(index);
534
535 index->dirty = 1;
536 index->tree = NULL;
537 git_pool_clear(&index->tree_pool);
538
539 git_idxmap_clear(index->entries_map);
540 while (!error && index->entries.length > 0)
541 error = index_remove_entry(index, index->entries.length - 1);
542
543 if (error)
544 goto done;
545
546 index_free_deleted(index);
547
548 if ((error = git_index_name_clear(index)) < 0 ||
549 (error = git_index_reuc_clear(index)) < 0)
550 goto done;
551
552 git_futils_filestamp_set(&index->stamp, NULL);
553
554 done:
555 return error;
556 }
557
558 static int create_index_error(int error, const char *msg)
559 {
560 git_error_set_str(GIT_ERROR_INDEX, msg);
561 return error;
562 }
563
564 int git_index_set_caps(git_index *index, int caps)
565 {
566 unsigned int old_ignore_case;
567
568 assert(index);
569
570 old_ignore_case = index->ignore_case;
571
572 if (caps == GIT_INDEX_CAPABILITY_FROM_OWNER) {
573 git_repository *repo = INDEX_OWNER(index);
574 int val;
575
576 if (!repo)
577 return create_index_error(
578 -1, "cannot access repository to set index caps");
579
580 if (!git_repository__configmap_lookup(&val, repo, GIT_CONFIGMAP_IGNORECASE))
581 index->ignore_case = (val != 0);
582 if (!git_repository__configmap_lookup(&val, repo, GIT_CONFIGMAP_FILEMODE))
583 index->distrust_filemode = (val == 0);
584 if (!git_repository__configmap_lookup(&val, repo, GIT_CONFIGMAP_SYMLINKS))
585 index->no_symlinks = (val == 0);
586 }
587 else {
588 index->ignore_case = ((caps & GIT_INDEX_CAPABILITY_IGNORE_CASE) != 0);
589 index->distrust_filemode = ((caps & GIT_INDEX_CAPABILITY_NO_FILEMODE) != 0);
590 index->no_symlinks = ((caps & GIT_INDEX_CAPABILITY_NO_SYMLINKS) != 0);
591 }
592
593 if (old_ignore_case != index->ignore_case) {
594 git_index__set_ignore_case(index, (bool)index->ignore_case);
595 }
596
597 return 0;
598 }
599
600 int git_index_caps(const git_index *index)
601 {
602 return ((index->ignore_case ? GIT_INDEX_CAPABILITY_IGNORE_CASE : 0) |
603 (index->distrust_filemode ? GIT_INDEX_CAPABILITY_NO_FILEMODE : 0) |
604 (index->no_symlinks ? GIT_INDEX_CAPABILITY_NO_SYMLINKS : 0));
605 }
606
607 const git_oid *git_index_checksum(git_index *index)
608 {
609 return &index->checksum;
610 }
611
612 /**
613 * Returns 1 for changed, 0 for not changed and <0 for errors
614 */
615 static int compare_checksum(git_index *index)
616 {
617 int fd;
618 ssize_t bytes_read;
619 git_oid checksum = {{ 0 }};
620
621 if ((fd = p_open(index->index_file_path, O_RDONLY)) < 0)
622 return fd;
623
624 if (p_lseek(fd, -20, SEEK_END) < 0) {
625 p_close(fd);
626 git_error_set(GIT_ERROR_OS, "failed to seek to end of file");
627 return -1;
628 }
629
630 bytes_read = p_read(fd, &checksum, GIT_OID_RAWSZ);
631 p_close(fd);
632
633 if (bytes_read < 0)
634 return -1;
635
636 return !!git_oid_cmp(&checksum, &index->checksum);
637 }
638
639 int git_index_read(git_index *index, int force)
640 {
641 int error = 0, updated;
642 git_buf buffer = GIT_BUF_INIT;
643 git_futils_filestamp stamp = index->stamp;
644
645 if (!index->index_file_path)
646 return create_index_error(-1,
647 "failed to read index: The index is in-memory only");
648
649 index->on_disk = git_path_exists(index->index_file_path);
650
651 if (!index->on_disk) {
652 if (force && (error = git_index_clear(index)) < 0)
653 return error;
654
655 index->dirty = 0;
656 return 0;
657 }
658
659 if ((updated = git_futils_filestamp_check(&stamp, index->index_file_path) < 0) ||
660 ((updated = compare_checksum(index)) < 0)) {
661 git_error_set(
662 GIT_ERROR_INDEX,
663 "failed to read index: '%s' no longer exists",
664 index->index_file_path);
665 return updated;
666 }
667
668 if (!updated && !force)
669 return 0;
670
671 error = git_futils_readbuffer(&buffer, index->index_file_path);
672 if (error < 0)
673 return error;
674
675 index->tree = NULL;
676 git_pool_clear(&index->tree_pool);
677
678 error = git_index_clear(index);
679
680 if (!error)
681 error = parse_index(index, buffer.ptr, buffer.size);
682
683 if (!error) {
684 git_futils_filestamp_set(&index->stamp, &stamp);
685 index->dirty = 0;
686 }
687
688 git_buf_dispose(&buffer);
689 return error;
690 }
691
692 int git_index_read_safely(git_index *index)
693 {
694 if (git_index__enforce_unsaved_safety && index->dirty) {
695 git_error_set(GIT_ERROR_INDEX,
696 "the index has unsaved changes that would be overwritten by this operation");
697 return GIT_EINDEXDIRTY;
698 }
699
700 return git_index_read(index, false);
701 }
702
703 int git_index__changed_relative_to(
704 git_index *index, const git_oid *checksum)
705 {
706 /* attempt to update index (ignoring errors) */
707 if (git_index_read(index, false) < 0)
708 git_error_clear();
709
710 return !!git_oid_cmp(&index->checksum, checksum);
711 }
712
713 static bool is_racy_entry(git_index *index, const git_index_entry *entry)
714 {
715 /* Git special-cases submodules in the check */
716 if (S_ISGITLINK(entry->mode))
717 return false;
718
719 return git_index_entry_newer_than_index(entry, index);
720 }
721
722 /*
723 * Force the next diff to take a look at those entries which have the
724 * same timestamp as the current index.
725 */
726 static int truncate_racily_clean(git_index *index)
727 {
728 size_t i;
729 int error;
730 git_index_entry *entry;
731 git_diff_options diff_opts = GIT_DIFF_OPTIONS_INIT;
732 git_diff *diff = NULL;
733 git_vector paths = GIT_VECTOR_INIT;
734 git_diff_delta *delta;
735
736 /* Nothing to do if there's no repo to talk about */
737 if (!INDEX_OWNER(index))
738 return 0;
739
740 /* If there's no workdir, we can't know where to even check */
741 if (!git_repository_workdir(INDEX_OWNER(index)))
742 return 0;
743
744 diff_opts.flags |= GIT_DIFF_INCLUDE_TYPECHANGE | GIT_DIFF_IGNORE_SUBMODULES | GIT_DIFF_DISABLE_PATHSPEC_MATCH;
745 git_vector_foreach(&index->entries, i, entry) {
746 if ((entry->flags_extended & GIT_INDEX_ENTRY_UPTODATE) == 0 &&
747 is_racy_entry(index, entry))
748 git_vector_insert(&paths, (char *)entry->path);
749 }
750
751 if (paths.length == 0)
752 goto done;
753
754 diff_opts.pathspec.count = paths.length;
755 diff_opts.pathspec.strings = (char **)paths.contents;
756
757 if ((error = git_diff_index_to_workdir(&diff, INDEX_OWNER(index), index, &diff_opts)) < 0)
758 return error;
759
760 git_vector_foreach(&diff->deltas, i, delta) {
761 entry = (git_index_entry *)git_index_get_bypath(index, delta->old_file.path, 0);
762
763 /* Ensure that we have a stage 0 for this file (ie, it's not a
764 * conflict), otherwise smudging it is quite pointless.
765 */
766 if (entry) {
767 entry->file_size = 0;
768 index->dirty = 1;
769 }
770 }
771
772 done:
773 git_diff_free(diff);
774 git_vector_free(&paths);
775 return 0;
776 }
777
778 unsigned git_index_version(git_index *index)
779 {
780 assert(index);
781
782 return index->version;
783 }
784
785 int git_index_set_version(git_index *index, unsigned int version)
786 {
787 assert(index);
788
789 if (version < INDEX_VERSION_NUMBER_LB ||
790 version > INDEX_VERSION_NUMBER_UB) {
791 git_error_set(GIT_ERROR_INDEX, "invalid version number");
792 return -1;
793 }
794
795 index->version = version;
796
797 return 0;
798 }
799
800 int git_index_write(git_index *index)
801 {
802 git_indexwriter writer = GIT_INDEXWRITER_INIT;
803 int error;
804
805 truncate_racily_clean(index);
806
807 if ((error = git_indexwriter_init(&writer, index)) == 0 &&
808 (error = git_indexwriter_commit(&writer)) == 0)
809 index->dirty = 0;
810
811 git_indexwriter_cleanup(&writer);
812
813 return error;
814 }
815
816 const char * git_index_path(const git_index *index)
817 {
818 assert(index);
819 return index->index_file_path;
820 }
821
822 int git_index_write_tree(git_oid *oid, git_index *index)
823 {
824 git_repository *repo;
825
826 assert(oid && index);
827
828 repo = INDEX_OWNER(index);
829
830 if (repo == NULL)
831 return create_index_error(-1, "Failed to write tree. "
832 "the index file is not backed up by an existing repository");
833
834 return git_tree__write_index(oid, index, repo);
835 }
836
837 int git_index_write_tree_to(
838 git_oid *oid, git_index *index, git_repository *repo)
839 {
840 assert(oid && index && repo);
841 return git_tree__write_index(oid, index, repo);
842 }
843
844 size_t git_index_entrycount(const git_index *index)
845 {
846 assert(index);
847 return index->entries.length;
848 }
849
850 const git_index_entry *git_index_get_byindex(
851 git_index *index, size_t n)
852 {
853 assert(index);
854 git_vector_sort(&index->entries);
855 return git_vector_get(&index->entries, n);
856 }
857
858 const git_index_entry *git_index_get_bypath(
859 git_index *index, const char *path, int stage)
860 {
861 git_index_entry key = {{ 0 }};
862 git_index_entry *value;
863
864 assert(index);
865
866 key.path = path;
867 GIT_INDEX_ENTRY_STAGE_SET(&key, stage);
868
869 if (index->ignore_case)
870 value = git_idxmap_icase_get((git_idxmap_icase *) index->entries_map, &key);
871 else
872 value = git_idxmap_get(index->entries_map, &key);
873
874 if (!value) {
875 git_error_set(GIT_ERROR_INDEX, "index does not contain '%s'", path);
876 return NULL;
877 }
878
879 return value;
880 }
881
882 void git_index_entry__init_from_stat(
883 git_index_entry *entry, struct stat *st, bool trust_mode)
884 {
885 entry->ctime.seconds = (int32_t)st->st_ctime;
886 entry->mtime.seconds = (int32_t)st->st_mtime;
887 #if defined(GIT_USE_NSEC)
888 entry->mtime.nanoseconds = st->st_mtime_nsec;
889 entry->ctime.nanoseconds = st->st_ctime_nsec;
890 #endif
891 entry->dev = st->st_rdev;
892 entry->ino = st->st_ino;
893 entry->mode = (!trust_mode && S_ISREG(st->st_mode)) ?
894 git_index__create_mode(0666) : git_index__create_mode(st->st_mode);
895 entry->uid = st->st_uid;
896 entry->gid = st->st_gid;
897 entry->file_size = (uint32_t)st->st_size;
898 }
899
900 static void index_entry_adjust_namemask(
901 git_index_entry *entry,
902 size_t path_length)
903 {
904 entry->flags &= ~GIT_INDEX_ENTRY_NAMEMASK;
905
906 if (path_length < GIT_INDEX_ENTRY_NAMEMASK)
907 entry->flags |= path_length & GIT_INDEX_ENTRY_NAMEMASK;
908 else
909 entry->flags |= GIT_INDEX_ENTRY_NAMEMASK;
910 }
911
912 /* When `from_workdir` is true, we will validate the paths to avoid placing
913 * paths that are invalid for the working directory on the current filesystem
914 * (eg, on Windows, we will disallow `GIT~1`, `AUX`, `COM1`, etc). This
915 * function will *always* prevent `.git` and directory traversal `../` from
916 * being added to the index.
917 */
918 static int index_entry_create(
919 git_index_entry **out,
920 git_repository *repo,
921 const char *path,
922 struct stat *st,
923 bool from_workdir)
924 {
925 size_t pathlen = strlen(path), alloclen;
926 struct entry_internal *entry;
927 unsigned int path_valid_flags = GIT_PATH_REJECT_INDEX_DEFAULTS;
928 uint16_t mode = 0;
929
930 /* always reject placing `.git` in the index and directory traversal.
931 * when requested, disallow platform-specific filenames and upgrade to
932 * the platform-specific `.git` tests (eg, `git~1`, etc).
933 */
934 if (from_workdir)
935 path_valid_flags |= GIT_PATH_REJECT_WORKDIR_DEFAULTS;
936 if (st)
937 mode = st->st_mode;
938
939 if (!git_path_isvalid(repo, path, mode, path_valid_flags)) {
940 git_error_set(GIT_ERROR_INDEX, "invalid path: '%s'", path);
941 return -1;
942 }
943
944 GIT_ERROR_CHECK_ALLOC_ADD(&alloclen, sizeof(struct entry_internal), pathlen);
945 GIT_ERROR_CHECK_ALLOC_ADD(&alloclen, alloclen, 1);
946 entry = git__calloc(1, alloclen);
947 GIT_ERROR_CHECK_ALLOC(entry);
948
949 entry->pathlen = pathlen;
950 memcpy(entry->path, path, pathlen);
951 entry->entry.path = entry->path;
952
953 *out = (git_index_entry *)entry;
954 return 0;
955 }
956
957 static int index_entry_init(
958 git_index_entry **entry_out,
959 git_index *index,
960 const char *rel_path)
961 {
962 int error = 0;
963 git_index_entry *entry = NULL;
964 git_buf path = GIT_BUF_INIT;
965 struct stat st;
966 git_oid oid;
967 git_repository *repo;
968
969 if (INDEX_OWNER(index) == NULL)
970 return create_index_error(-1,
971 "could not initialize index entry. "
972 "Index is not backed up by an existing repository.");
973
974 /*
975 * FIXME: this is duplicated with the work in
976 * git_blob__create_from_paths. It should accept an optional stat
977 * structure so we can pass in the one we have to do here.
978 */
979 repo = INDEX_OWNER(index);
980 if (git_repository__ensure_not_bare(repo, "create blob from file") < 0)
981 return GIT_EBAREREPO;
982
983 if (git_buf_joinpath(&path, git_repository_workdir(repo), rel_path) < 0)
984 return -1;
985
986 error = git_path_lstat(path.ptr, &st);
987 git_buf_dispose(&path);
988
989 if (error < 0)
990 return error;
991
992 if (index_entry_create(&entry, INDEX_OWNER(index), rel_path, &st, true) < 0)
993 return -1;
994
995 /* write the blob to disk and get the oid and stat info */
996 error = git_blob__create_from_paths(
997 &oid, &st, INDEX_OWNER(index), NULL, rel_path, 0, true);
998
999 if (error < 0) {
1000 index_entry_free(entry);
1001 return error;
1002 }
1003
1004 entry->id = oid;
1005 git_index_entry__init_from_stat(entry, &st, !index->distrust_filemode);
1006
1007 *entry_out = (git_index_entry *)entry;
1008 return 0;
1009 }
1010
1011 static git_index_reuc_entry *reuc_entry_alloc(const char *path)
1012 {
1013 size_t pathlen = strlen(path),
1014 structlen = sizeof(struct reuc_entry_internal),
1015 alloclen;
1016 struct reuc_entry_internal *entry;
1017
1018 if (GIT_ADD_SIZET_OVERFLOW(&alloclen, structlen, pathlen) ||
1019 GIT_ADD_SIZET_OVERFLOW(&alloclen, alloclen, 1))
1020 return NULL;
1021
1022 entry = git__calloc(1, alloclen);
1023 if (!entry)
1024 return NULL;
1025
1026 entry->pathlen = pathlen;
1027 memcpy(entry->path, path, pathlen);
1028 entry->entry.path = entry->path;
1029
1030 return (git_index_reuc_entry *)entry;
1031 }
1032
1033 static int index_entry_reuc_init(git_index_reuc_entry **reuc_out,
1034 const char *path,
1035 int ancestor_mode, const git_oid *ancestor_oid,
1036 int our_mode, const git_oid *our_oid,
1037 int their_mode, const git_oid *their_oid)
1038 {
1039 git_index_reuc_entry *reuc = NULL;
1040
1041 assert(reuc_out && path);
1042
1043 *reuc_out = reuc = reuc_entry_alloc(path);
1044 GIT_ERROR_CHECK_ALLOC(reuc);
1045
1046 if ((reuc->mode[0] = ancestor_mode) > 0) {
1047 assert(ancestor_oid);
1048 git_oid_cpy(&reuc->oid[0], ancestor_oid);
1049 }
1050
1051 if ((reuc->mode[1] = our_mode) > 0) {
1052 assert(our_oid);
1053 git_oid_cpy(&reuc->oid[1], our_oid);
1054 }
1055
1056 if ((reuc->mode[2] = their_mode) > 0) {
1057 assert(their_oid);
1058 git_oid_cpy(&reuc->oid[2], their_oid);
1059 }
1060
1061 return 0;
1062 }
1063
1064 static void index_entry_cpy(
1065 git_index_entry *tgt,
1066 const git_index_entry *src)
1067 {
1068 const char *tgt_path = tgt->path;
1069 memcpy(tgt, src, sizeof(*tgt));
1070 tgt->path = tgt_path;
1071 }
1072
1073 static int index_entry_dup(
1074 git_index_entry **out,
1075 git_index *index,
1076 const git_index_entry *src)
1077 {
1078 if (index_entry_create(out, INDEX_OWNER(index), src->path, NULL, false) < 0)
1079 return -1;
1080
1081 index_entry_cpy(*out, src);
1082 return 0;
1083 }
1084
1085 static void index_entry_cpy_nocache(
1086 git_index_entry *tgt,
1087 const git_index_entry *src)
1088 {
1089 git_oid_cpy(&tgt->id, &src->id);
1090 tgt->mode = src->mode;
1091 tgt->flags = src->flags;
1092 tgt->flags_extended = (src->flags_extended & GIT_INDEX_ENTRY_EXTENDED_FLAGS);
1093 }
1094
1095 static int index_entry_dup_nocache(
1096 git_index_entry **out,
1097 git_index *index,
1098 const git_index_entry *src)
1099 {
1100 if (index_entry_create(out, INDEX_OWNER(index), src->path, NULL, false) < 0)
1101 return -1;
1102
1103 index_entry_cpy_nocache(*out, src);
1104 return 0;
1105 }
1106
1107 static int has_file_name(git_index *index,
1108 const git_index_entry *entry, size_t pos, int ok_to_replace)
1109 {
1110 size_t len = strlen(entry->path);
1111 int stage = GIT_INDEX_ENTRY_STAGE(entry);
1112 const char *name = entry->path;
1113
1114 while (pos < index->entries.length) {
1115 struct entry_internal *p = index->entries.contents[pos++];
1116
1117 if (len >= p->pathlen)
1118 break;
1119 if (memcmp(name, p->path, len))
1120 break;
1121 if (GIT_INDEX_ENTRY_STAGE(&p->entry) != stage)
1122 continue;
1123 if (p->path[len] != '/')
1124 continue;
1125 if (!ok_to_replace)
1126 return -1;
1127
1128 if (index_remove_entry(index, --pos) < 0)
1129 break;
1130 }
1131 return 0;
1132 }
1133
1134 /*
1135 * Do we have another file with a pathname that is a proper
1136 * subset of the name we're trying to add?
1137 */
1138 static int has_dir_name(git_index *index,
1139 const git_index_entry *entry, int ok_to_replace)
1140 {
1141 int stage = GIT_INDEX_ENTRY_STAGE(entry);
1142 const char *name = entry->path;
1143 const char *slash = name + strlen(name);
1144
1145 for (;;) {
1146 size_t len, pos;
1147
1148 for (;;) {
1149 if (*--slash == '/')
1150 break;
1151 if (slash <= entry->path)
1152 return 0;
1153 }
1154 len = slash - name;
1155
1156 if (!index_find(&pos, index, name, len, stage)) {
1157 if (!ok_to_replace)
1158 return -1;
1159
1160 if (index_remove_entry(index, pos) < 0)
1161 break;
1162 continue;
1163 }
1164
1165 /*
1166 * Trivial optimization: if we find an entry that
1167 * already matches the sub-directory, then we know
1168 * we're ok, and we can exit.
1169 */
1170 for (; pos < index->entries.length; ++pos) {
1171 struct entry_internal *p = index->entries.contents[pos];
1172
1173 if (p->pathlen <= len ||
1174 p->path[len] != '/' ||
1175 memcmp(p->path, name, len))
1176 break; /* not our subdirectory */
1177
1178 if (GIT_INDEX_ENTRY_STAGE(&p->entry) == stage)
1179 return 0;
1180 }
1181 }
1182
1183 return 0;
1184 }
1185
1186 static int check_file_directory_collision(git_index *index,
1187 git_index_entry *entry, size_t pos, int ok_to_replace)
1188 {
1189 if (has_file_name(index, entry, pos, ok_to_replace) < 0 ||
1190 has_dir_name(index, entry, ok_to_replace) < 0) {
1191 git_error_set(GIT_ERROR_INDEX,
1192 "'%s' appears as both a file and a directory", entry->path);
1193 return -1;
1194 }
1195
1196 return 0;
1197 }
1198
1199 static int canonicalize_directory_path(
1200 git_index *index,
1201 git_index_entry *entry,
1202 git_index_entry *existing)
1203 {
1204 const git_index_entry *match, *best = NULL;
1205 char *search, *sep;
1206 size_t pos, search_len, best_len;
1207
1208 if (!index->ignore_case)
1209 return 0;
1210
1211 /* item already exists in the index, simply re-use the existing case */
1212 if (existing) {
1213 memcpy((char *)entry->path, existing->path, strlen(existing->path));
1214 return 0;
1215 }
1216
1217 /* nothing to do */
1218 if (strchr(entry->path, '/') == NULL)
1219 return 0;
1220
1221 if ((search = git__strdup(entry->path)) == NULL)
1222 return -1;
1223
1224 /* starting at the parent directory and descending to the root, find the
1225 * common parent directory.
1226 */
1227 while (!best && (sep = strrchr(search, '/'))) {
1228 sep[1] = '\0';
1229
1230 search_len = strlen(search);
1231
1232 git_vector_bsearch2(
1233 &pos, &index->entries, index->entries_search_path, search);
1234
1235 while ((match = git_vector_get(&index->entries, pos))) {
1236 if (GIT_INDEX_ENTRY_STAGE(match) != 0) {
1237 /* conflicts do not contribute to canonical paths */
1238 } else if (strncmp(search, match->path, search_len) == 0) {
1239 /* prefer an exact match to the input filename */
1240 best = match;
1241 best_len = search_len;
1242 break;
1243 } else if (strncasecmp(search, match->path, search_len) == 0) {
1244 /* continue walking, there may be a path with an exact
1245 * (case sensitive) match later in the index, but use this
1246 * as the best match until that happens.
1247 */
1248 if (!best) {
1249 best = match;
1250 best_len = search_len;
1251 }
1252 } else {
1253 break;
1254 }
1255
1256 pos++;
1257 }
1258
1259 sep[0] = '\0';
1260 }
1261
1262 if (best)
1263 memcpy((char *)entry->path, best->path, best_len);
1264
1265 git__free(search);
1266 return 0;
1267 }
1268
1269 static int index_no_dups(void **old, void *new)
1270 {
1271 const git_index_entry *entry = new;
1272 GIT_UNUSED(old);
1273 git_error_set(GIT_ERROR_INDEX, "'%s' appears multiple times at stage %d",
1274 entry->path, GIT_INDEX_ENTRY_STAGE(entry));
1275 return GIT_EEXISTS;
1276 }
1277
1278 static void index_existing_and_best(
1279 git_index_entry **existing,
1280 size_t *existing_position,
1281 git_index_entry **best,
1282 git_index *index,
1283 const git_index_entry *entry)
1284 {
1285 git_index_entry *e;
1286 size_t pos;
1287 int error;
1288
1289 error = index_find(&pos,
1290 index, entry->path, 0, GIT_INDEX_ENTRY_STAGE(entry));
1291
1292 if (error == 0) {
1293 *existing = index->entries.contents[pos];
1294 *existing_position = pos;
1295 *best = index->entries.contents[pos];
1296 return;
1297 }
1298
1299 *existing = NULL;
1300 *existing_position = 0;
1301 *best = NULL;
1302
1303 if (GIT_INDEX_ENTRY_STAGE(entry) == 0) {
1304 for (; pos < index->entries.length; pos++) {
1305 int (*strcomp)(const char *a, const char *b) =
1306 index->ignore_case ? git__strcasecmp : git__strcmp;
1307
1308 e = index->entries.contents[pos];
1309
1310 if (strcomp(entry->path, e->path) != 0)
1311 break;
1312
1313 if (GIT_INDEX_ENTRY_STAGE(e) == GIT_INDEX_STAGE_ANCESTOR) {
1314 *best = e;
1315 continue;
1316 } else {
1317 *best = e;
1318 break;
1319 }
1320 }
1321 }
1322 }
1323
1324 /* index_insert takes ownership of the new entry - if it can't insert
1325 * it, then it will return an error **and also free the entry**. When
1326 * it replaces an existing entry, it will update the entry_ptr with the
1327 * actual entry in the index (and free the passed in one).
1328 *
1329 * trust_path is whether we use the given path, or whether (on case
1330 * insensitive systems only) we try to canonicalize the given path to
1331 * be within an existing directory.
1332 *
1333 * trust_mode is whether we trust the mode in entry_ptr.
1334 *
1335 * trust_id is whether we trust the id or it should be validated.
1336 */
1337 static int index_insert(
1338 git_index *index,
1339 git_index_entry **entry_ptr,
1340 int replace,
1341 bool trust_path,
1342 bool trust_mode,
1343 bool trust_id)
1344 {
1345 git_index_entry *existing, *best, *entry;
1346 size_t path_length, position;
1347 int error;
1348
1349 assert(index && entry_ptr);
1350
1351 entry = *entry_ptr;
1352
1353 /* Make sure that the path length flag is correct */
1354 path_length = ((struct entry_internal *)entry)->pathlen;
1355 index_entry_adjust_namemask(entry, path_length);
1356
1357 /* This entry is now up-to-date and should not be checked for raciness */
1358 entry->flags_extended |= GIT_INDEX_ENTRY_UPTODATE;
1359
1360 git_vector_sort(&index->entries);
1361
1362 /*
1363 * Look if an entry with this path already exists, either staged, or (if
1364 * this entry is a regular staged item) as the "ours" side of a conflict.
1365 */
1366 index_existing_and_best(&existing, &position, &best, index, entry);
1367
1368 /* Update the file mode */
1369 entry->mode = trust_mode ?
1370 git_index__create_mode(entry->mode) :
1371 index_merge_mode(index, best, entry->mode);
1372
1373 /* Canonicalize the directory name */
1374 if (!trust_path && (error = canonicalize_directory_path(index, entry, best)) < 0)
1375 goto out;
1376
1377 /* Ensure that the given id exists (unless it's a submodule) */
1378 if (!trust_id && INDEX_OWNER(index) &&
1379 (entry->mode & GIT_FILEMODE_COMMIT) != GIT_FILEMODE_COMMIT) {
1380
1381 if (!git_object__is_valid(INDEX_OWNER(index), &entry->id,
1382 git_object__type_from_filemode(entry->mode))) {
1383 error = -1;
1384 goto out;
1385 }
1386 }
1387
1388 /* Look for tree / blob name collisions, removing conflicts if requested */
1389 if ((error = check_file_directory_collision(index, entry, position, replace)) < 0)
1390 goto out;
1391
1392 /*
1393 * If we are replacing an existing item, overwrite the existing entry
1394 * and return it in place of the passed in one.
1395 */
1396 if (existing) {
1397 if (replace) {
1398 index_entry_cpy(existing, entry);
1399
1400 if (trust_path)
1401 memcpy((char *)existing->path, entry->path, strlen(entry->path));
1402 }
1403
1404 index_entry_free(entry);
1405 *entry_ptr = existing;
1406 } else {
1407 /*
1408 * If replace is not requested or no existing entry exists, insert
1409 * at the sorted position. (Since we re-sort after each insert to
1410 * check for dups, this is actually cheaper in the long run.)
1411 */
1412 if ((error = git_vector_insert_sorted(&index->entries, entry, index_no_dups)) < 0 ||
1413 (error = index_map_set(index->entries_map, entry, index->ignore_case)) < 0)
1414 goto out;
1415 }
1416
1417 index->dirty = 1;
1418
1419 out:
1420 if (error < 0) {
1421 index_entry_free(*entry_ptr);
1422 *entry_ptr = NULL;
1423 }
1424
1425 return error;
1426 }
1427
1428 static int index_conflict_to_reuc(git_index *index, const char *path)
1429 {
1430 const git_index_entry *conflict_entries[3];
1431 int ancestor_mode, our_mode, their_mode;
1432 git_oid const *ancestor_oid, *our_oid, *their_oid;
1433 int ret;
1434
1435 if ((ret = git_index_conflict_get(&conflict_entries[0],
1436 &conflict_entries[1], &conflict_entries[2], index, path)) < 0)
1437 return ret;
1438
1439 ancestor_mode = conflict_entries[0] == NULL ? 0 : conflict_entries[0]->mode;
1440 our_mode = conflict_entries[1] == NULL ? 0 : conflict_entries[1]->mode;
1441 their_mode = conflict_entries[2] == NULL ? 0 : conflict_entries[2]->mode;
1442
1443 ancestor_oid = conflict_entries[0] == NULL ? NULL : &conflict_entries[0]->id;
1444 our_oid = conflict_entries[1] == NULL ? NULL : &conflict_entries[1]->id;
1445 their_oid = conflict_entries[2] == NULL ? NULL : &conflict_entries[2]->id;
1446
1447 if ((ret = git_index_reuc_add(index, path, ancestor_mode, ancestor_oid,
1448 our_mode, our_oid, their_mode, their_oid)) >= 0)
1449 ret = git_index_conflict_remove(index, path);
1450
1451 return ret;
1452 }
1453
1454 GIT_INLINE(bool) is_file_or_link(const int filemode)
1455 {
1456 return (filemode == GIT_FILEMODE_BLOB ||
1457 filemode == GIT_FILEMODE_BLOB_EXECUTABLE ||
1458 filemode == GIT_FILEMODE_LINK);
1459 }
1460
1461 GIT_INLINE(bool) valid_filemode(const int filemode)
1462 {
1463 return (is_file_or_link(filemode) || filemode == GIT_FILEMODE_COMMIT);
1464 }
1465
1466 int git_index_add_from_buffer(
1467 git_index *index, const git_index_entry *source_entry,
1468 const void *buffer, size_t len)
1469 {
1470 git_index_entry *entry = NULL;
1471 int error = 0;
1472 git_oid id;
1473
1474 assert(index && source_entry->path);
1475
1476 if (INDEX_OWNER(index) == NULL)
1477 return create_index_error(-1,
1478 "could not initialize index entry. "
1479 "Index is not backed up by an existing repository.");
1480
1481 if (!is_file_or_link(source_entry->mode)) {
1482 git_error_set(GIT_ERROR_INDEX, "invalid filemode");
1483 return -1;
1484 }
1485
1486 if (len > UINT32_MAX) {
1487 git_error_set(GIT_ERROR_INDEX, "buffer is too large");
1488 return -1;
1489 }
1490
1491 if (index_entry_dup(&entry, index, source_entry) < 0)
1492 return -1;
1493
1494 error = git_blob_create_from_buffer(&id, INDEX_OWNER(index), buffer, len);
1495 if (error < 0) {
1496 index_entry_free(entry);
1497 return error;
1498 }
1499
1500 git_oid_cpy(&entry->id, &id);
1501 entry->file_size = (uint32_t)len;
1502
1503 if ((error = index_insert(index, &entry, 1, true, true, true)) < 0)
1504 return error;
1505
1506 /* Adding implies conflict was resolved, move conflict entries to REUC */
1507 if ((error = index_conflict_to_reuc(index, entry->path)) < 0 && error != GIT_ENOTFOUND)
1508 return error;
1509
1510 git_tree_cache_invalidate_path(index->tree, entry->path);
1511 return 0;
1512 }
1513
1514 static int add_repo_as_submodule(git_index_entry **out, git_index *index, const char *path)
1515 {
1516 git_repository *sub;
1517 git_buf abspath = GIT_BUF_INIT;
1518 git_repository *repo = INDEX_OWNER(index);
1519 git_reference *head;
1520 git_index_entry *entry;
1521 struct stat st;
1522 int error;
1523
1524 if ((error = git_buf_joinpath(&abspath, git_repository_workdir(repo), path)) < 0)
1525 return error;
1526
1527 if ((error = p_stat(abspath.ptr, &st)) < 0) {
1528 git_error_set(GIT_ERROR_OS, "failed to stat repository dir");
1529 return -1;
1530 }
1531
1532 if (index_entry_create(&entry, INDEX_OWNER(index), path, &st, true) < 0)
1533 return -1;
1534
1535 git_index_entry__init_from_stat(entry, &st, !index->distrust_filemode);
1536
1537 if ((error = git_repository_open(&sub, abspath.ptr)) < 0)
1538 return error;
1539
1540 if ((error = git_repository_head(&head, sub)) < 0)
1541 return error;
1542
1543 git_oid_cpy(&entry->id, git_reference_target(head));
1544 entry->mode = GIT_FILEMODE_COMMIT;
1545
1546 git_reference_free(head);
1547 git_repository_free(sub);
1548 git_buf_dispose(&abspath);
1549
1550 *out = entry;
1551 return 0;
1552 }
1553
1554 int git_index_add_bypath(git_index *index, const char *path)
1555 {
1556 git_index_entry *entry = NULL;
1557 int ret;
1558
1559 assert(index && path);
1560
1561 if ((ret = index_entry_init(&entry, index, path)) == 0)
1562 ret = index_insert(index, &entry, 1, false, false, true);
1563
1564 /* If we were given a directory, let's see if it's a submodule */
1565 if (ret < 0 && ret != GIT_EDIRECTORY)
1566 return ret;
1567
1568 if (ret == GIT_EDIRECTORY) {
1569 git_submodule *sm;
1570 git_error_state err;
1571
1572 git_error_state_capture(&err, ret);
1573
1574 ret = git_submodule_lookup(&sm, INDEX_OWNER(index), path);
1575 if (ret == GIT_ENOTFOUND)
1576 return git_error_state_restore(&err);
1577
1578 git_error_state_free(&err);
1579
1580 /*
1581 * EEXISTS means that there is a repository at that path, but it's not known
1582 * as a submodule. We add its HEAD as an entry and don't register it.
1583 */
1584 if (ret == GIT_EEXISTS) {
1585 if ((ret = add_repo_as_submodule(&entry, index, path)) < 0)
1586 return ret;
1587
1588 if ((ret = index_insert(index, &entry, 1, false, false, true)) < 0)
1589 return ret;
1590 } else if (ret < 0) {
1591 return ret;
1592 } else {
1593 ret = git_submodule_add_to_index(sm, false);
1594 git_submodule_free(sm);
1595 return ret;
1596 }
1597 }
1598
1599 /* Adding implies conflict was resolved, move conflict entries to REUC */
1600 if ((ret = index_conflict_to_reuc(index, path)) < 0 && ret != GIT_ENOTFOUND)
1601 return ret;
1602
1603 git_tree_cache_invalidate_path(index->tree, entry->path);
1604 return 0;
1605 }
1606
1607 int git_index_remove_bypath(git_index *index, const char *path)
1608 {
1609 int ret;
1610
1611 assert(index && path);
1612
1613 if (((ret = git_index_remove(index, path, 0)) < 0 &&
1614 ret != GIT_ENOTFOUND) ||
1615 ((ret = index_conflict_to_reuc(index, path)) < 0 &&
1616 ret != GIT_ENOTFOUND))
1617 return ret;
1618
1619 if (ret == GIT_ENOTFOUND)
1620 git_error_clear();
1621
1622 return 0;
1623 }
1624
1625 int git_index__fill(git_index *index, const git_vector *source_entries)
1626 {
1627 const git_index_entry *source_entry = NULL;
1628 int error = 0;
1629 size_t i;
1630
1631 assert(index);
1632
1633 if (!source_entries->length)
1634 return 0;
1635
1636 if (git_vector_size_hint(&index->entries, source_entries->length) < 0 ||
1637 index_map_resize(index->entries_map, (size_t)(source_entries->length * 1.3),
1638 index->ignore_case) < 0)
1639 return -1;
1640
1641 git_vector_foreach(source_entries, i, source_entry) {
1642 git_index_entry *entry = NULL;
1643
1644 if ((error = index_entry_dup(&entry, index, source_entry)) < 0)
1645 break;
1646
1647 index_entry_adjust_namemask(entry, ((struct entry_internal *)entry)->pathlen);
1648 entry->flags_extended |= GIT_INDEX_ENTRY_UPTODATE;
1649 entry->mode = git_index__create_mode(entry->mode);
1650
1651 if ((error = git_vector_insert(&index->entries, entry)) < 0)
1652 break;
1653
1654 if ((error = index_map_set(index->entries_map, entry, index->ignore_case)) < 0)
1655 break;
1656
1657 index->dirty = 1;
1658 }
1659
1660 if (!error)
1661 git_vector_sort(&index->entries);
1662
1663 return error;
1664 }
1665
1666
1667 int git_index_add(git_index *index, const git_index_entry *source_entry)
1668 {
1669 git_index_entry *entry = NULL;
1670 int ret;
1671
1672 assert(index && source_entry && source_entry->path);
1673
1674 if (!valid_filemode(source_entry->mode)) {
1675 git_error_set(GIT_ERROR_INDEX, "invalid entry mode");
1676 return -1;
1677 }
1678
1679 if ((ret = index_entry_dup(&entry, index, source_entry)) < 0 ||
1680 (ret = index_insert(index, &entry, 1, true, true, false)) < 0)
1681 return ret;
1682
1683 git_tree_cache_invalidate_path(index->tree, entry->path);
1684 return 0;
1685 }
1686
1687 int git_index_remove(git_index *index, const char *path, int stage)
1688 {
1689 int error;
1690 size_t position;
1691 git_index_entry remove_key = {{ 0 }};
1692
1693 remove_key.path = path;
1694 GIT_INDEX_ENTRY_STAGE_SET(&remove_key, stage);
1695
1696 index_map_delete(index->entries_map, &remove_key, index->ignore_case);
1697
1698 if (index_find(&position, index, path, 0, stage) < 0) {
1699 git_error_set(
1700 GIT_ERROR_INDEX, "index does not contain %s at stage %d", path, stage);
1701 error = GIT_ENOTFOUND;
1702 } else {
1703 error = index_remove_entry(index, position);
1704 }
1705
1706 return error;
1707 }
1708
1709 int git_index_remove_directory(git_index *index, const char *dir, int stage)
1710 {
1711 git_buf pfx = GIT_BUF_INIT;
1712 int error = 0;
1713 size_t pos;
1714 git_index_entry *entry;
1715
1716 if (!(error = git_buf_sets(&pfx, dir)) &&
1717 !(error = git_path_to_dir(&pfx)))
1718 index_find(&pos, index, pfx.ptr, pfx.size, GIT_INDEX_STAGE_ANY);
1719
1720 while (!error) {
1721 entry = git_vector_get(&index->entries, pos);
1722 if (!entry || git__prefixcmp(entry->path, pfx.ptr) != 0)
1723 break;
1724
1725 if (GIT_INDEX_ENTRY_STAGE(entry) != stage) {
1726 ++pos;
1727 continue;
1728 }
1729
1730 error = index_remove_entry(index, pos);
1731
1732 /* removed entry at 'pos' so we don't need to increment */
1733 }
1734
1735 git_buf_dispose(&pfx);
1736
1737 return error;
1738 }
1739
1740 int git_index_find_prefix(size_t *at_pos, git_index *index, const char *prefix)
1741 {
1742 int error = 0;
1743 size_t pos;
1744 const git_index_entry *entry;
1745
1746 index_find(&pos, index, prefix, strlen(prefix), GIT_INDEX_STAGE_ANY);
1747 entry = git_vector_get(&index->entries, pos);
1748 if (!entry || git__prefixcmp(entry->path, prefix) != 0)
1749 error = GIT_ENOTFOUND;
1750
1751 if (!error && at_pos)
1752 *at_pos = pos;
1753
1754 return error;
1755 }
1756
1757 int git_index__find_pos(
1758 size_t *out, git_index *index, const char *path, size_t path_len, int stage)
1759 {
1760 assert(index && path);
1761 return index_find(out, index, path, path_len, stage);
1762 }
1763
1764 int git_index_find(size_t *at_pos, git_index *index, const char *path)
1765 {
1766 size_t pos;
1767
1768 assert(index && path);
1769
1770 if (git_vector_bsearch2(
1771 &pos, &index->entries, index->entries_search_path, path) < 0) {
1772 git_error_set(GIT_ERROR_INDEX, "index does not contain %s", path);
1773 return GIT_ENOTFOUND;
1774 }
1775
1776 /* Since our binary search only looked at path, we may be in the
1777 * middle of a list of stages.
1778 */
1779 for (; pos > 0; --pos) {
1780 const git_index_entry *prev = git_vector_get(&index->entries, pos - 1);
1781
1782 if (index->entries_cmp_path(prev->path, path) != 0)
1783 break;
1784 }
1785
1786 if (at_pos)
1787 *at_pos = pos;
1788
1789 return 0;
1790 }
1791
1792 int git_index_conflict_add(git_index *index,
1793 const git_index_entry *ancestor_entry,
1794 const git_index_entry *our_entry,
1795 const git_index_entry *their_entry)
1796 {
1797 git_index_entry *entries[3] = { 0 };
1798 unsigned short i;
1799 int ret = 0;
1800
1801 assert (index);
1802
1803 if ((ancestor_entry &&
1804 (ret = index_entry_dup(&entries[0], index, ancestor_entry)) < 0) ||
1805 (our_entry &&
1806 (ret = index_entry_dup(&entries[1], index, our_entry)) < 0) ||
1807 (their_entry &&
1808 (ret = index_entry_dup(&entries[2], index, their_entry)) < 0))
1809 goto on_error;
1810
1811 /* Validate entries */
1812 for (i = 0; i < 3; i++) {
1813 if (entries[i] && !valid_filemode(entries[i]->mode)) {
1814 git_error_set(GIT_ERROR_INDEX, "invalid filemode for stage %d entry",
1815 i + 1);
1816 ret = -1;
1817 goto on_error;
1818 }
1819 }
1820
1821 /* Remove existing index entries for each path */
1822 for (i = 0; i < 3; i++) {
1823 if (entries[i] == NULL)
1824 continue;
1825
1826 if ((ret = git_index_remove(index, entries[i]->path, 0)) != 0) {
1827 if (ret != GIT_ENOTFOUND)
1828 goto on_error;
1829
1830 git_error_clear();
1831 ret = 0;
1832 }
1833 }
1834
1835 /* Add the conflict entries */
1836 for (i = 0; i < 3; i++) {
1837 if (entries[i] == NULL)
1838 continue;
1839
1840 /* Make sure stage is correct */
1841 GIT_INDEX_ENTRY_STAGE_SET(entries[i], i + 1);
1842
1843 if ((ret = index_insert(index, &entries[i], 1, true, true, false)) < 0)
1844 goto on_error;
1845
1846 entries[i] = NULL; /* don't free if later entry fails */
1847 }
1848
1849 return 0;
1850
1851 on_error:
1852 for (i = 0; i < 3; i++) {
1853 if (entries[i] != NULL)
1854 index_entry_free(entries[i]);
1855 }
1856
1857 return ret;
1858 }
1859
1860 static int index_conflict__get_byindex(
1861 const git_index_entry **ancestor_out,
1862 const git_index_entry **our_out,
1863 const git_index_entry **their_out,
1864 git_index *index,
1865 size_t n)
1866 {
1867 const git_index_entry *conflict_entry;
1868 const char *path = NULL;
1869 size_t count;
1870 int stage, len = 0;
1871
1872 assert(ancestor_out && our_out && their_out && index);
1873
1874 *ancestor_out = NULL;
1875 *our_out = NULL;
1876 *their_out = NULL;
1877
1878 for (count = git_index_entrycount(index); n < count; ++n) {
1879 conflict_entry = git_vector_get(&index->entries, n);
1880
1881 if (path && index->entries_cmp_path(conflict_entry->path, path) != 0)
1882 break;
1883
1884 stage = GIT_INDEX_ENTRY_STAGE(conflict_entry);
1885 path = conflict_entry->path;
1886
1887 switch (stage) {
1888 case 3:
1889 *their_out = conflict_entry;
1890 len++;
1891 break;
1892 case 2:
1893 *our_out = conflict_entry;
1894 len++;
1895 break;
1896 case 1:
1897 *ancestor_out = conflict_entry;
1898 len++;
1899 break;
1900 default:
1901 break;
1902 };
1903 }
1904
1905 return len;
1906 }
1907
1908 int git_index_conflict_get(
1909 const git_index_entry **ancestor_out,
1910 const git_index_entry **our_out,
1911 const git_index_entry **their_out,
1912 git_index *index,
1913 const char *path)
1914 {
1915 size_t pos;
1916 int len = 0;
1917
1918 assert(ancestor_out && our_out && their_out && index && path);
1919
1920 *ancestor_out = NULL;
1921 *our_out = NULL;
1922 *their_out = NULL;
1923
1924 if (git_index_find(&pos, index, path) < 0)
1925 return GIT_ENOTFOUND;
1926
1927 if ((len = index_conflict__get_byindex(
1928 ancestor_out, our_out, their_out, index, pos)) < 0)
1929 return len;
1930 else if (len == 0)
1931 return GIT_ENOTFOUND;
1932
1933 return 0;
1934 }
1935
1936 static int index_conflict_remove(git_index *index, const char *path)
1937 {
1938 size_t pos = 0;
1939 git_index_entry *conflict_entry;
1940 int error = 0;
1941
1942 if (path != NULL && git_index_find(&pos, index, path) < 0)
1943 return GIT_ENOTFOUND;
1944
1945 while ((conflict_entry = git_vector_get(&index->entries, pos)) != NULL) {
1946
1947 if (path != NULL &&
1948 index->entries_cmp_path(conflict_entry->path, path) != 0)
1949 break;
1950
1951 if (GIT_INDEX_ENTRY_STAGE(conflict_entry) == 0) {
1952 pos++;
1953 continue;
1954 }
1955
1956 if ((error = index_remove_entry(index, pos)) < 0)
1957 break;
1958 }
1959
1960 return error;
1961 }
1962
1963 int git_index_conflict_remove(git_index *index, const char *path)
1964 {
1965 assert(index && path);
1966 return index_conflict_remove(index, path);
1967 }
1968
1969 int git_index_conflict_cleanup(git_index *index)
1970 {
1971 assert(index);
1972 return index_conflict_remove(index, NULL);
1973 }
1974
1975 int git_index_has_conflicts(const git_index *index)
1976 {
1977 size_t i;
1978 git_index_entry *entry;
1979
1980 assert(index);
1981
1982 git_vector_foreach(&index->entries, i, entry) {
1983 if (GIT_INDEX_ENTRY_STAGE(entry) > 0)
1984 return 1;
1985 }
1986
1987 return 0;
1988 }
1989
1990 int git_index_iterator_new(
1991 git_index_iterator **iterator_out,
1992 git_index *index)
1993 {
1994 git_index_iterator *it;
1995 int error;
1996
1997 assert(iterator_out && index);
1998
1999 it = git__calloc(1, sizeof(git_index_iterator));
2000 GIT_ERROR_CHECK_ALLOC(it);
2001
2002 if ((error = git_index_snapshot_new(&it->snap, index)) < 0) {
2003 git__free(it);
2004 return error;
2005 }
2006
2007 it->index = index;
2008
2009 *iterator_out = it;
2010 return 0;
2011 }
2012
2013 int git_index_iterator_next(
2014 const git_index_entry **out,
2015 git_index_iterator *it)
2016 {
2017 assert(out && it);
2018
2019 if (it->cur >= git_vector_length(&it->snap))
2020 return GIT_ITEROVER;
2021
2022 *out = (git_index_entry *)git_vector_get(&it->snap, it->cur++);
2023 return 0;
2024 }
2025
2026 void git_index_iterator_free(git_index_iterator *it)
2027 {
2028 if (it == NULL)
2029 return;
2030
2031 git_index_snapshot_release(&it->snap, it->index);
2032 git__free(it);
2033 }
2034
2035 int git_index_conflict_iterator_new(
2036 git_index_conflict_iterator **iterator_out,
2037 git_index *index)
2038 {
2039 git_index_conflict_iterator *it = NULL;
2040
2041 assert(iterator_out && index);
2042
2043 it = git__calloc(1, sizeof(git_index_conflict_iterator));
2044 GIT_ERROR_CHECK_ALLOC(it);
2045
2046 it->index = index;
2047
2048 *iterator_out = it;
2049 return 0;
2050 }
2051
2052 int git_index_conflict_next(
2053 const git_index_entry **ancestor_out,
2054 const git_index_entry **our_out,
2055 const git_index_entry **their_out,
2056 git_index_conflict_iterator *iterator)
2057 {
2058 const git_index_entry *entry;
2059 int len;
2060
2061 assert(ancestor_out && our_out && their_out && iterator);
2062
2063 *ancestor_out = NULL;
2064 *our_out = NULL;
2065 *their_out = NULL;
2066
2067 while (iterator->cur < iterator->index->entries.length) {
2068 entry = git_index_get_byindex(iterator->index, iterator->cur);
2069
2070 if (git_index_entry_is_conflict(entry)) {
2071 if ((len = index_conflict__get_byindex(
2072 ancestor_out,
2073 our_out,
2074 their_out,
2075 iterator->index,
2076 iterator->cur)) < 0)
2077 return len;
2078
2079 iterator->cur += len;
2080 return 0;
2081 }
2082
2083 iterator->cur++;
2084 }
2085
2086 return GIT_ITEROVER;
2087 }
2088
2089 void git_index_conflict_iterator_free(git_index_conflict_iterator *iterator)
2090 {
2091 if (iterator == NULL)
2092 return;
2093
2094 git__free(iterator);
2095 }
2096
2097 size_t git_index_name_entrycount(git_index *index)
2098 {
2099 assert(index);
2100 return index->names.length;
2101 }
2102
2103 const git_index_name_entry *git_index_name_get_byindex(
2104 git_index *index, size_t n)
2105 {
2106 assert(index);
2107
2108 git_vector_sort(&index->names);
2109 return git_vector_get(&index->names, n);
2110 }
2111
2112 static void index_name_entry_free(git_index_name_entry *ne)
2113 {
2114 if (!ne)
2115 return;
2116 git__free(ne->ancestor);
2117 git__free(ne->ours);
2118 git__free(ne->theirs);
2119 git__free(ne);
2120 }
2121
2122 int git_index_name_add(git_index *index,
2123 const char *ancestor, const char *ours, const char *theirs)
2124 {
2125 git_index_name_entry *conflict_name;
2126
2127 assert((ancestor && ours) || (ancestor && theirs) || (ours && theirs));
2128
2129 conflict_name = git__calloc(1, sizeof(git_index_name_entry));
2130 GIT_ERROR_CHECK_ALLOC(conflict_name);
2131
2132 if ((ancestor && !(conflict_name->ancestor = git__strdup(ancestor))) ||
2133 (ours && !(conflict_name->ours = git__strdup(ours))) ||
2134 (theirs && !(conflict_name->theirs = git__strdup(theirs))) ||
2135 git_vector_insert(&index->names, conflict_name) < 0)
2136 {
2137 index_name_entry_free(conflict_name);
2138 return -1;
2139 }
2140
2141 index->dirty = 1;
2142 return 0;
2143 }
2144
2145 int git_index_name_clear(git_index *index)
2146 {
2147 size_t i;
2148 git_index_name_entry *conflict_name;
2149
2150 assert(index);
2151
2152 git_vector_foreach(&index->names, i, conflict_name)
2153 index_name_entry_free(conflict_name);
2154
2155 git_vector_clear(&index->names);
2156
2157 index->dirty = 1;
2158
2159 return 0;
2160 }
2161
2162 size_t git_index_reuc_entrycount(git_index *index)
2163 {
2164 assert(index);
2165 return index->reuc.length;
2166 }
2167
2168 static int index_reuc_on_dup(void **old, void *new)
2169 {
2170 index_entry_reuc_free(*old);
2171 *old = new;
2172 return GIT_EEXISTS;
2173 }
2174
2175 static int index_reuc_insert(
2176 git_index *index,
2177 git_index_reuc_entry *reuc)
2178 {
2179 int res;
2180
2181 assert(index && reuc && reuc->path != NULL);
2182 assert(git_vector_is_sorted(&index->reuc));
2183
2184 res = git_vector_insert_sorted(&index->reuc, reuc, &index_reuc_on_dup);
2185 index->dirty = 1;
2186
2187 return res == GIT_EEXISTS ? 0 : res;
2188 }
2189
2190 int git_index_reuc_add(git_index *index, const char *path,
2191 int ancestor_mode, const git_oid *ancestor_oid,
2192 int our_mode, const git_oid *our_oid,
2193 int their_mode, const git_oid *their_oid)
2194 {
2195 git_index_reuc_entry *reuc = NULL;
2196 int error = 0;
2197
2198 assert(index && path);
2199
2200 if ((error = index_entry_reuc_init(&reuc, path, ancestor_mode,
2201 ancestor_oid, our_mode, our_oid, their_mode, their_oid)) < 0 ||
2202 (error = index_reuc_insert(index, reuc)) < 0)
2203 index_entry_reuc_free(reuc);
2204
2205 return error;
2206 }
2207
2208 int git_index_reuc_find(size_t *at_pos, git_index *index, const char *path)
2209 {
2210 return git_vector_bsearch2(at_pos, &index->reuc, index->reuc_search, path);
2211 }
2212
2213 const git_index_reuc_entry *git_index_reuc_get_bypath(
2214 git_index *index, const char *path)
2215 {
2216 size_t pos;
2217 assert(index && path);
2218
2219 if (!index->reuc.length)
2220 return NULL;
2221
2222 assert(git_vector_is_sorted(&index->reuc));
2223
2224 if (git_index_reuc_find(&pos, index, path) < 0)
2225 return NULL;
2226
2227 return git_vector_get(&index->reuc, pos);
2228 }
2229
2230 const git_index_reuc_entry *git_index_reuc_get_byindex(
2231 git_index *index, size_t n)
2232 {
2233 assert(index);
2234 assert(git_vector_is_sorted(&index->reuc));
2235
2236 return git_vector_get(&index->reuc, n);
2237 }
2238
2239 int git_index_reuc_remove(git_index *index, size_t position)
2240 {
2241 int error;
2242 git_index_reuc_entry *reuc;
2243
2244 assert(git_vector_is_sorted(&index->reuc));
2245
2246 reuc = git_vector_get(&index->reuc, position);
2247 error = git_vector_remove(&index->reuc, position);
2248
2249 if (!error)
2250 index_entry_reuc_free(reuc);
2251
2252 index->dirty = 1;
2253 return error;
2254 }
2255
2256 int git_index_reuc_clear(git_index *index)
2257 {
2258 size_t i;
2259
2260 assert(index);
2261
2262 for (i = 0; i < index->reuc.length; ++i)
2263 index_entry_reuc_free(git__swap(index->reuc.contents[i], NULL));
2264
2265 git_vector_clear(&index->reuc);
2266
2267 index->dirty = 1;
2268
2269 return 0;
2270 }
2271
2272 static int index_error_invalid(const char *message)
2273 {
2274 git_error_set(GIT_ERROR_INDEX, "invalid data in index - %s", message);
2275 return -1;
2276 }
2277
2278 static int read_reuc(git_index *index, const char *buffer, size_t size)
2279 {
2280 const char *endptr;
2281 size_t len;
2282 int i;
2283
2284 /* If called multiple times, the vector might already be initialized */
2285 if (index->reuc._alloc_size == 0 &&
2286 git_vector_init(&index->reuc, 16, reuc_cmp) < 0)
2287 return -1;
2288
2289 while (size) {
2290 git_index_reuc_entry *lost;
2291
2292 len = p_strnlen(buffer, size) + 1;
2293 if (size <= len)
2294 return index_error_invalid("reading reuc entries");
2295
2296 lost = reuc_entry_alloc(buffer);
2297 GIT_ERROR_CHECK_ALLOC(lost);
2298
2299 size -= len;
2300 buffer += len;
2301
2302 /* read 3 ASCII octal numbers for stage entries */
2303 for (i = 0; i < 3; i++) {
2304 int64_t tmp;
2305
2306 if (git__strntol64(&tmp, buffer, size, &endptr, 8) < 0 ||
2307 !endptr || endptr == buffer || *endptr ||
2308 tmp < 0 || tmp > UINT32_MAX) {
2309 index_entry_reuc_free(lost);
2310 return index_error_invalid("reading reuc entry stage");
2311 }
2312
2313 lost->mode[i] = (uint32_t)tmp;
2314
2315 len = (endptr + 1) - buffer;
2316 if (size <= len) {
2317 index_entry_reuc_free(lost);
2318 return index_error_invalid("reading reuc entry stage");
2319 }
2320
2321 size -= len;
2322 buffer += len;
2323 }
2324
2325 /* read up to 3 OIDs for stage entries */
2326 for (i = 0; i < 3; i++) {
2327 if (!lost->mode[i])
2328 continue;
2329 if (size < 20) {
2330 index_entry_reuc_free(lost);
2331 return index_error_invalid("reading reuc entry oid");
2332 }
2333
2334 git_oid_fromraw(&lost->oid[i], (const unsigned char *) buffer);
2335 size -= 20;
2336 buffer += 20;
2337 }
2338
2339 /* entry was read successfully - insert into reuc vector */
2340 if (git_vector_insert(&index->reuc, lost) < 0)
2341 return -1;
2342 }
2343
2344 /* entries are guaranteed to be sorted on-disk */
2345 git_vector_set_sorted(&index->reuc, true);
2346
2347 return 0;
2348 }
2349
2350
2351 static int read_conflict_names(git_index *index, const char *buffer, size_t size)
2352 {
2353 size_t len;
2354
2355 /* This gets called multiple times, the vector might already be initialized */
2356 if (index->names._alloc_size == 0 &&
2357 git_vector_init(&index->names, 16, conflict_name_cmp) < 0)
2358 return -1;
2359
2360 #define read_conflict_name(ptr) \
2361 len = p_strnlen(buffer, size) + 1; \
2362 if (size < len) { \
2363 index_error_invalid("reading conflict name entries"); \
2364 goto out_err; \
2365 } \
2366 if (len == 1) \
2367 ptr = NULL; \
2368 else { \
2369 ptr = git__malloc(len); \
2370 GIT_ERROR_CHECK_ALLOC(ptr); \
2371 memcpy(ptr, buffer, len); \
2372 } \
2373 \
2374 buffer += len; \
2375 size -= len;
2376
2377 while (size) {
2378 git_index_name_entry *conflict_name = git__calloc(1, sizeof(git_index_name_entry));
2379 GIT_ERROR_CHECK_ALLOC(conflict_name);
2380
2381 read_conflict_name(conflict_name->ancestor);
2382 read_conflict_name(conflict_name->ours);
2383 read_conflict_name(conflict_name->theirs);
2384
2385 if (git_vector_insert(&index->names, conflict_name) < 0)
2386 goto out_err;
2387
2388 continue;
2389
2390 out_err:
2391 git__free(conflict_name->ancestor);
2392 git__free(conflict_name->ours);
2393 git__free(conflict_name->theirs);
2394 git__free(conflict_name);
2395 return -1;
2396 }
2397
2398 #undef read_conflict_name
2399
2400 /* entries are guaranteed to be sorted on-disk */
2401 git_vector_set_sorted(&index->names, true);
2402
2403 return 0;
2404 }
2405
2406 static size_t index_entry_size(size_t path_len, size_t varint_len, uint32_t flags)
2407 {
2408 if (varint_len) {
2409 if (flags & GIT_INDEX_ENTRY_EXTENDED)
2410 return offsetof(struct entry_long, path) + path_len + 1 + varint_len;
2411 else
2412 return offsetof(struct entry_short, path) + path_len + 1 + varint_len;
2413 } else {
2414 #define entry_size(type,len) ((offsetof(type, path) + (len) + 8) & ~7)
2415 if (flags & GIT_INDEX_ENTRY_EXTENDED)
2416 return entry_size(struct entry_long, path_len);
2417 else
2418 return entry_size(struct entry_short, path_len);
2419 #undef entry_size
2420 }
2421 }
2422
2423 static int read_entry(
2424 git_index_entry **out,
2425 size_t *out_size,
2426 git_index *index,
2427 const void *buffer,
2428 size_t buffer_size,
2429 const char *last)
2430 {
2431 size_t path_length, entry_size;
2432 const char *path_ptr;
2433 struct entry_short source;
2434 git_index_entry entry = {{0}};
2435 bool compressed = index->version >= INDEX_VERSION_NUMBER_COMP;
2436 char *tmp_path = NULL;
2437
2438 if (INDEX_FOOTER_SIZE + minimal_entry_size > buffer_size)
2439 return -1;
2440
2441 /* buffer is not guaranteed to be aligned */
2442 memcpy(&source, buffer, sizeof(struct entry_short));
2443
2444 entry.ctime.seconds = (git_time_t)ntohl(source.ctime.seconds);
2445 entry.ctime.nanoseconds = ntohl(source.ctime.nanoseconds);
2446 entry.mtime.seconds = (git_time_t)ntohl(source.mtime.seconds);
2447 entry.mtime.nanoseconds = ntohl(source.mtime.nanoseconds);
2448 entry.dev = ntohl(source.dev);
2449 entry.ino = ntohl(source.ino);
2450 entry.mode = ntohl(source.mode);
2451 entry.uid = ntohl(source.uid);
2452 entry.gid = ntohl(source.gid);
2453 entry.file_size = ntohl(source.file_size);
2454 git_oid_cpy(&entry.id, &source.oid);
2455 entry.flags = ntohs(source.flags);
2456
2457 if (entry.flags & GIT_INDEX_ENTRY_EXTENDED) {
2458 uint16_t flags_raw;
2459 size_t flags_offset;
2460
2461 flags_offset = offsetof(struct entry_long, flags_extended);
2462 memcpy(&flags_raw, (const char *) buffer + flags_offset,
2463 sizeof(flags_raw));
2464 flags_raw = ntohs(flags_raw);
2465
2466 memcpy(&entry.flags_extended, &flags_raw, sizeof(flags_raw));
2467 path_ptr = (const char *) buffer + offsetof(struct entry_long, path);
2468 } else
2469 path_ptr = (const char *) buffer + offsetof(struct entry_short, path);
2470
2471 if (!compressed) {
2472 path_length = entry.flags & GIT_INDEX_ENTRY_NAMEMASK;
2473
2474 /* if this is a very long string, we must find its
2475 * real length without overflowing */
2476 if (path_length == 0xFFF) {
2477 const char *path_end;
2478
2479 path_end = memchr(path_ptr, '\0', buffer_size);
2480 if (path_end == NULL)
2481 return -1;
2482
2483 path_length = path_end - path_ptr;
2484 }
2485
2486 entry_size = index_entry_size(path_length, 0, entry.flags);
2487 entry.path = (char *)path_ptr;
2488 } else {
2489 size_t varint_len, last_len, prefix_len, suffix_len, path_len;
2490 uintmax_t strip_len;
2491
2492 strip_len = git_decode_varint((const unsigned char *)path_ptr, &varint_len);
2493 last_len = strlen(last);
2494
2495 if (varint_len == 0 || last_len < strip_len)
2496 return index_error_invalid("incorrect prefix length");
2497
2498 prefix_len = last_len - (size_t)strip_len;
2499 suffix_len = strlen(path_ptr + varint_len);
2500
2501 GIT_ERROR_CHECK_ALLOC_ADD(&path_len, prefix_len, suffix_len);
2502 GIT_ERROR_CHECK_ALLOC_ADD(&path_len, path_len, 1);
2503
2504 if (path_len > GIT_PATH_MAX)
2505 return index_error_invalid("unreasonable path length");
2506
2507 tmp_path = git__malloc(path_len);
2508 GIT_ERROR_CHECK_ALLOC(tmp_path);
2509
2510 memcpy(tmp_path, last, prefix_len);
2511 memcpy(tmp_path + prefix_len, path_ptr + varint_len, suffix_len + 1);
2512 entry_size = index_entry_size(suffix_len, varint_len, entry.flags);
2513 entry.path = tmp_path;
2514 }
2515
2516 if (entry_size == 0)
2517 return -1;
2518
2519 if (INDEX_FOOTER_SIZE + entry_size > buffer_size)
2520 return -1;
2521
2522 if (index_entry_dup(out, index, &entry) < 0) {
2523 git__free(tmp_path);
2524 return -1;
2525 }
2526
2527 git__free(tmp_path);
2528 *out_size = entry_size;
2529 return 0;
2530 }
2531
2532 static int read_header(struct index_header *dest, const void *buffer)
2533 {
2534 const struct index_header *source = buffer;
2535
2536 dest->signature = ntohl(source->signature);
2537 if (dest->signature != INDEX_HEADER_SIG)
2538 return index_error_invalid("incorrect header signature");
2539
2540 dest->version = ntohl(source->version);
2541 if (dest->version < INDEX_VERSION_NUMBER_LB ||
2542 dest->version > INDEX_VERSION_NUMBER_UB)
2543 return index_error_invalid("incorrect header version");
2544
2545 dest->entry_count = ntohl(source->entry_count);
2546 return 0;
2547 }
2548
2549 static int read_extension(size_t *read_len, git_index *index, const char *buffer, size_t buffer_size)
2550 {
2551 struct index_extension dest;
2552 size_t total_size;
2553
2554 /* buffer is not guaranteed to be aligned */
2555 memcpy(&dest, buffer, sizeof(struct index_extension));
2556 dest.extension_size = ntohl(dest.extension_size);
2557
2558 total_size = dest.extension_size + sizeof(struct index_extension);
2559
2560 if (dest.extension_size > total_size ||
2561 buffer_size < total_size ||
2562 buffer_size - total_size < INDEX_FOOTER_SIZE) {
2563 index_error_invalid("extension is truncated");
2564 return -1;
2565 }
2566
2567 /* optional extension */
2568 if (dest.signature[0] >= 'A' && dest.signature[0] <= 'Z') {
2569 /* tree cache */
2570 if (memcmp(dest.signature, INDEX_EXT_TREECACHE_SIG, 4) == 0) {
2571 if (git_tree_cache_read(&index->tree, buffer + 8, dest.extension_size, &index->tree_pool) < 0)
2572 return -1;
2573 } else if (memcmp(dest.signature, INDEX_EXT_UNMERGED_SIG, 4) == 0) {
2574 if (read_reuc(index, buffer + 8, dest.extension_size) < 0)
2575 return -1;
2576 } else if (memcmp(dest.signature, INDEX_EXT_CONFLICT_NAME_SIG, 4) == 0) {
2577 if (read_conflict_names(index, buffer + 8, dest.extension_size) < 0)
2578 return -1;
2579 }
2580 /* else, unsupported extension. We cannot parse this, but we can skip
2581 * it by returning `total_size */
2582 } else {
2583 /* we cannot handle non-ignorable extensions;
2584 * in fact they aren't even defined in the standard */
2585 git_error_set(GIT_ERROR_INDEX, "unsupported mandatory extension: '%.4s'", dest.signature);
2586 return -1;
2587 }
2588
2589 *read_len = total_size;
2590
2591 return 0;
2592 }
2593
2594 static int parse_index(git_index *index, const char *buffer, size_t buffer_size)
2595 {
2596 int error = 0;
2597 unsigned int i;
2598 struct index_header header = { 0 };
2599 git_oid checksum_calculated, checksum_expected;
2600 const char *last = NULL;
2601 const char *empty = "";
2602
2603 #define seek_forward(_increase) { \
2604 if (_increase >= buffer_size) { \
2605 error = index_error_invalid("ran out of data while parsing"); \
2606 goto done; } \
2607 buffer += _increase; \
2608 buffer_size -= _increase;\
2609 }
2610
2611 if (buffer_size < INDEX_HEADER_SIZE + INDEX_FOOTER_SIZE)
2612 return index_error_invalid("insufficient buffer space");
2613
2614 /* Precalculate the SHA1 of the files's contents -- we'll match it to
2615 * the provided SHA1 in the footer */
2616 git_hash_buf(&checksum_calculated, buffer, buffer_size - INDEX_FOOTER_SIZE);
2617
2618 /* Parse header */
2619 if ((error = read_header(&header, buffer)) < 0)
2620 return error;
2621
2622 index->version = header.version;
2623 if (index->version >= INDEX_VERSION_NUMBER_COMP)
2624 last = empty;
2625
2626 seek_forward(INDEX_HEADER_SIZE);
2627
2628 assert(!index->entries.length);
2629
2630 if ((error = index_map_resize(index->entries_map, header.entry_count, index->ignore_case)) < 0)
2631 return error;
2632
2633 /* Parse all the entries */
2634 for (i = 0; i < header.entry_count && buffer_size > INDEX_FOOTER_SIZE; ++i) {
2635 git_index_entry *entry = NULL;
2636 size_t entry_size;
2637
2638 if ((error = read_entry(&entry, &entry_size, index, buffer, buffer_size, last)) < 0) {
2639 error = index_error_invalid("invalid entry");
2640 goto done;
2641 }
2642
2643 if ((error = git_vector_insert(&index->entries, entry)) < 0) {
2644 index_entry_free(entry);
2645 goto done;
2646 }
2647
2648 if ((error = index_map_set(index->entries_map, entry, index->ignore_case)) < 0) {
2649 index_entry_free(entry);
2650 goto done;
2651 }
2652 error = 0;
2653
2654 if (index->version >= INDEX_VERSION_NUMBER_COMP)
2655 last = entry->path;
2656
2657 seek_forward(entry_size);
2658 }
2659
2660 if (i != header.entry_count) {
2661 error = index_error_invalid("header entries changed while parsing");
2662 goto done;
2663 }
2664
2665 /* There's still space for some extensions! */
2666 while (buffer_size > INDEX_FOOTER_SIZE) {
2667 size_t extension_size;
2668
2669 if ((error = read_extension(&extension_size, index, buffer, buffer_size)) < 0) {
2670 goto done;
2671 }
2672
2673 seek_forward(extension_size);
2674 }
2675
2676 if (buffer_size != INDEX_FOOTER_SIZE) {
2677 error = index_error_invalid(
2678 "buffer size does not match index footer size");
2679 goto done;
2680 }
2681
2682 /* 160-bit SHA-1 over the content of the index file before this checksum. */
2683 git_oid_fromraw(&checksum_expected, (const unsigned char *)buffer);
2684
2685 if (git_oid__cmp(&checksum_calculated, &checksum_expected) != 0) {
2686 error = index_error_invalid(
2687 "calculated checksum does not match expected");
2688 goto done;
2689 }
2690
2691 git_oid_cpy(&index->checksum, &checksum_calculated);
2692
2693 #undef seek_forward
2694
2695 /* Entries are stored case-sensitively on disk, so re-sort now if
2696 * in-memory index is supposed to be case-insensitive
2697 */
2698 git_vector_set_sorted(&index->entries, !index->ignore_case);
2699 git_vector_sort(&index->entries);
2700
2701 index->dirty = 0;
2702 done:
2703 return error;
2704 }
2705
2706 static bool is_index_extended(git_index *index)
2707 {
2708 size_t i, extended;
2709 git_index_entry *entry;
2710
2711 extended = 0;
2712
2713 git_vector_foreach(&index->entries, i, entry) {
2714 entry->flags &= ~GIT_INDEX_ENTRY_EXTENDED;
2715 if (entry->flags_extended & GIT_INDEX_ENTRY_EXTENDED_FLAGS) {
2716 extended++;
2717 entry->flags |= GIT_INDEX_ENTRY_EXTENDED;
2718 }
2719 }
2720
2721 return (extended > 0);
2722 }
2723
2724 static int write_disk_entry(git_filebuf *file, git_index_entry *entry, const char *last)
2725 {
2726 void *mem = NULL;
2727 struct entry_short ondisk;
2728 size_t path_len, disk_size;
2729 int varint_len = 0;
2730 char *path;
2731 const char *path_start = entry->path;
2732 size_t same_len = 0;
2733
2734 path_len = ((struct entry_internal *)entry)->pathlen;
2735
2736 if (last) {
2737 const char *last_c = last;
2738
2739 while (*path_start == *last_c) {
2740 if (!*path_start || !*last_c)
2741 break;
2742 ++path_start;
2743 ++last_c;
2744 ++same_len;
2745 }
2746 path_len -= same_len;
2747 varint_len = git_encode_varint(NULL, 0, strlen(last) - same_len);
2748 }
2749
2750 disk_size = index_entry_size(path_len, varint_len, entry->flags);
2751
2752 if (git_filebuf_reserve(file, &mem, disk_size) < 0)
2753 return -1;
2754
2755 memset(mem, 0x0, disk_size);
2756
2757 /**
2758 * Yes, we have to truncate.
2759 *
2760 * The on-disk format for Index entries clearly defines
2761 * the time and size fields to be 4 bytes each -- so even if
2762 * we store these values with 8 bytes on-memory, they must
2763 * be truncated to 4 bytes before writing to disk.
2764 *
2765 * In 2038 I will be either too dead or too rich to care about this
2766 */
2767 ondisk.ctime.seconds = htonl((uint32_t)entry->ctime.seconds);
2768 ondisk.mtime.seconds = htonl((uint32_t)entry->mtime.seconds);
2769 ondisk.ctime.nanoseconds = htonl(entry->ctime.nanoseconds);
2770 ondisk.mtime.nanoseconds = htonl(entry->mtime.nanoseconds);
2771 ondisk.dev = htonl(entry->dev);
2772 ondisk.ino = htonl(entry->ino);
2773 ondisk.mode = htonl(entry->mode);
2774 ondisk.uid = htonl(entry->uid);
2775 ondisk.gid = htonl(entry->gid);
2776 ondisk.file_size = htonl((uint32_t)entry->file_size);
2777
2778 git_oid_cpy(&ondisk.oid, &entry->id);
2779
2780 ondisk.flags = htons(entry->flags);
2781
2782 if (entry->flags & GIT_INDEX_ENTRY_EXTENDED) {
2783 struct entry_long ondisk_ext;
2784 memcpy(&ondisk_ext, &ondisk, sizeof(struct entry_short));
2785 ondisk_ext.flags_extended = htons(entry->flags_extended &
2786 GIT_INDEX_ENTRY_EXTENDED_FLAGS);
2787 memcpy(mem, &ondisk_ext, offsetof(struct entry_long, path));
2788 path = ((struct entry_long*)mem)->path;
2789 disk_size -= offsetof(struct entry_long, path);
2790 } else {
2791 memcpy(mem, &ondisk, offsetof(struct entry_short, path));
2792 path = ((struct entry_short*)mem)->path;
2793 disk_size -= offsetof(struct entry_short, path);
2794 }
2795
2796 if (last) {
2797 varint_len = git_encode_varint((unsigned char *) path,
2798 disk_size, strlen(last) - same_len);
2799 assert(varint_len > 0);
2800 path += varint_len;
2801 disk_size -= varint_len;
2802
2803 /*
2804 * If using path compression, we are not allowed
2805 * to have additional trailing NULs.
2806 */
2807 assert(disk_size == path_len + 1);
2808 } else {
2809 /*
2810 * If no path compression is used, we do have
2811 * NULs as padding. As such, simply assert that
2812 * we have enough space left to write the path.
2813 */
2814 assert(disk_size > path_len);
2815 }
2816
2817 memcpy(path, path_start, path_len + 1);
2818
2819 return 0;
2820 }
2821
2822 static int write_entries(git_index *index, git_filebuf *file)
2823 {
2824 int error = 0;
2825 size_t i;
2826 git_vector case_sorted, *entries;
2827 git_index_entry *entry;
2828 const char *last = NULL;
2829
2830 /* If index->entries is sorted case-insensitively, then we need
2831 * to re-sort it case-sensitively before writing */
2832 if (index->ignore_case) {
2833 git_vector_dup(&case_sorted, &index->entries, git_index_entry_cmp);
2834 git_vector_sort(&case_sorted);
2835 entries = &case_sorted;
2836 } else {
2837 entries = &index->entries;
2838 }
2839
2840 if (index->version >= INDEX_VERSION_NUMBER_COMP)
2841 last = "";
2842
2843 git_vector_foreach(entries, i, entry) {
2844 if ((error = write_disk_entry(file, entry, last)) < 0)
2845 break;
2846 if (index->version >= INDEX_VERSION_NUMBER_COMP)
2847 last = entry->path;
2848 }
2849
2850 if (index->ignore_case)
2851 git_vector_free(&case_sorted);
2852
2853 return error;
2854 }
2855
2856 static int write_extension(git_filebuf *file, struct index_extension *header, git_buf *data)
2857 {
2858 struct index_extension ondisk;
2859
2860 memset(&ondisk, 0x0, sizeof(struct index_extension));
2861 memcpy(&ondisk, header, 4);
2862 ondisk.extension_size = htonl(header->extension_size);
2863
2864 git_filebuf_write(file, &ondisk, sizeof(struct index_extension));
2865 return git_filebuf_write(file, data->ptr, data->size);
2866 }
2867
2868 static int create_name_extension_data(git_buf *name_buf, git_index_name_entry *conflict_name)
2869 {
2870 int error = 0;
2871
2872 if (conflict_name->ancestor == NULL)
2873 error = git_buf_put(name_buf, "\0", 1);
2874 else
2875 error = git_buf_put(name_buf, conflict_name->ancestor, strlen(conflict_name->ancestor) + 1);
2876
2877 if (error != 0)
2878 goto on_error;
2879
2880 if (conflict_name->ours == NULL)
2881 error = git_buf_put(name_buf, "\0", 1);
2882 else
2883 error = git_buf_put(name_buf, conflict_name->ours, strlen(conflict_name->ours) + 1);
2884
2885 if (error != 0)
2886 goto on_error;
2887
2888 if (conflict_name->theirs == NULL)
2889 error = git_buf_put(name_buf, "\0", 1);
2890 else
2891 error = git_buf_put(name_buf, conflict_name->theirs, strlen(conflict_name->theirs) + 1);
2892
2893 on_error:
2894 return error;
2895 }
2896
2897 static int write_name_extension(git_index *index, git_filebuf *file)
2898 {
2899 git_buf name_buf = GIT_BUF_INIT;
2900 git_vector *out = &index->names;
2901 git_index_name_entry *conflict_name;
2902 struct index_extension extension;
2903 size_t i;
2904 int error = 0;
2905
2906 git_vector_foreach(out, i, conflict_name) {
2907 if ((error = create_name_extension_data(&name_buf, conflict_name)) < 0)
2908 goto done;
2909 }
2910
2911 memset(&extension, 0x0, sizeof(struct index_extension));
2912 memcpy(&extension.signature, INDEX_EXT_CONFLICT_NAME_SIG, 4);
2913 extension.extension_size = (uint32_t)name_buf.size;
2914
2915 error = write_extension(file, &extension, &name_buf);
2916
2917 git_buf_dispose(&name_buf);
2918
2919 done:
2920 return error;
2921 }
2922
2923 static int create_reuc_extension_data(git_buf *reuc_buf, git_index_reuc_entry *reuc)
2924 {
2925 int i;
2926 int error = 0;
2927
2928 if ((error = git_buf_put(reuc_buf, reuc->path, strlen(reuc->path) + 1)) < 0)
2929 return error;
2930
2931 for (i = 0; i < 3; i++) {
2932 if ((error = git_buf_printf(reuc_buf, "%o", reuc->mode[i])) < 0 ||
2933 (error = git_buf_put(reuc_buf, "\0", 1)) < 0)
2934 return error;
2935 }
2936
2937 for (i = 0; i < 3; i++) {
2938 if (reuc->mode[i] && (error = git_buf_put(reuc_buf, (char *)&reuc->oid[i].id, GIT_OID_RAWSZ)) < 0)
2939 return error;
2940 }
2941
2942 return 0;
2943 }
2944
2945 static int write_reuc_extension(git_index *index, git_filebuf *file)
2946 {
2947 git_buf reuc_buf = GIT_BUF_INIT;
2948 git_vector *out = &index->reuc;
2949 git_index_reuc_entry *reuc;
2950 struct index_extension extension;
2951 size_t i;
2952 int error = 0;
2953
2954 git_vector_foreach(out, i, reuc) {
2955 if ((error = create_reuc_extension_data(&reuc_buf, reuc)) < 0)
2956 goto done;
2957 }
2958
2959 memset(&extension, 0x0, sizeof(struct index_extension));
2960 memcpy(&extension.signature, INDEX_EXT_UNMERGED_SIG, 4);
2961 extension.extension_size = (uint32_t)reuc_buf.size;
2962
2963 error = write_extension(file, &extension, &reuc_buf);
2964
2965 git_buf_dispose(&reuc_buf);
2966
2967 done:
2968 return error;
2969 }
2970
2971 static int write_tree_extension(git_index *index, git_filebuf *file)
2972 {
2973 struct index_extension extension;
2974 git_buf buf = GIT_BUF_INIT;
2975 int error;
2976
2977 if (index->tree == NULL)
2978 return 0;
2979
2980 if ((error = git_tree_cache_write(&buf, index->tree)) < 0)
2981 return error;
2982
2983 memset(&extension, 0x0, sizeof(struct index_extension));
2984 memcpy(&extension.signature, INDEX_EXT_TREECACHE_SIG, 4);
2985 extension.extension_size = (uint32_t)buf.size;
2986
2987 error = write_extension(file, &extension, &buf);
2988
2989 git_buf_dispose(&buf);
2990
2991 return error;
2992 }
2993
2994 static void clear_uptodate(git_index *index)
2995 {
2996 git_index_entry *entry;
2997 size_t i;
2998
2999 git_vector_foreach(&index->entries, i, entry)
3000 entry->flags_extended &= ~GIT_INDEX_ENTRY_UPTODATE;
3001 }
3002
3003 static int write_index(git_oid *checksum, git_index *index, git_filebuf *file)
3004 {
3005 git_oid hash_final;
3006 struct index_header header;
3007 bool is_extended;
3008 uint32_t index_version_number;
3009
3010 assert(index && file);
3011
3012 if (index->version <= INDEX_VERSION_NUMBER_EXT) {
3013 is_extended = is_index_extended(index);
3014 index_version_number = is_extended ? INDEX_VERSION_NUMBER_EXT : INDEX_VERSION_NUMBER_LB;
3015 } else {
3016 index_version_number = index->version;
3017 }
3018
3019 header.signature = htonl(INDEX_HEADER_SIG);
3020 header.version = htonl(index_version_number);
3021 header.entry_count = htonl((uint32_t)index->entries.length);
3022
3023 if (git_filebuf_write(file, &header, sizeof(struct index_header)) < 0)
3024 return -1;
3025
3026 if (write_entries(index, file) < 0)
3027 return -1;
3028
3029 /* write the tree cache extension */
3030 if (index->tree != NULL && write_tree_extension(index, file) < 0)
3031 return -1;
3032
3033 /* write the rename conflict extension */
3034 if (index->names.length > 0 && write_name_extension(index, file) < 0)
3035 return -1;
3036
3037 /* write the reuc extension */
3038 if (index->reuc.length > 0 && write_reuc_extension(index, file) < 0)
3039 return -1;
3040
3041 /* get out the hash for all the contents we've appended to the file */
3042 git_filebuf_hash(&hash_final, file);
3043 git_oid_cpy(checksum, &hash_final);
3044
3045 /* write it at the end of the file */
3046 if (git_filebuf_write(file, hash_final.id, GIT_OID_RAWSZ) < 0)
3047 return -1;
3048
3049 /* file entries are no longer up to date */
3050 clear_uptodate(index);
3051
3052 return 0;
3053 }
3054
3055 int git_index_entry_stage(const git_index_entry *entry)
3056 {
3057 return GIT_INDEX_ENTRY_STAGE(entry);
3058 }
3059
3060 int git_index_entry_is_conflict(const git_index_entry *entry)
3061 {
3062 return (GIT_INDEX_ENTRY_STAGE(entry) > 0);
3063 }
3064
3065 typedef struct read_tree_data {
3066 git_index *index;
3067 git_vector *old_entries;
3068 git_vector *new_entries;
3069 git_vector_cmp entry_cmp;
3070 git_tree_cache *tree;
3071 } read_tree_data;
3072
3073 static int read_tree_cb(
3074 const char *root, const git_tree_entry *tentry, void *payload)
3075 {
3076 read_tree_data *data = payload;
3077 git_index_entry *entry = NULL, *old_entry;
3078 git_buf path = GIT_BUF_INIT;
3079 size_t pos;
3080
3081 if (git_tree_entry__is_tree(tentry))
3082 return 0;
3083
3084 if (git_buf_joinpath(&path, root, tentry->filename) < 0)
3085 return -1;
3086
3087 if (index_entry_create(&entry, INDEX_OWNER(data->index), path.ptr, NULL, false) < 0)
3088 return -1;
3089
3090 entry->mode = tentry->attr;
3091 git_oid_cpy(&entry->id, git_tree_entry_id(tentry));
3092
3093 /* look for corresponding old entry and copy data to new entry */
3094 if (data->old_entries != NULL &&
3095 !index_find_in_entries(
3096 &pos, data->old_entries, data->entry_cmp, path.ptr, 0, 0) &&
3097 (old_entry = git_vector_get(data->old_entries, pos)) != NULL &&
3098 entry->mode == old_entry->mode &&
3099 git_oid_equal(&entry->id, &old_entry->id))
3100 {
3101 index_entry_cpy(entry, old_entry);
3102 entry->flags_extended = 0;
3103 }
3104
3105 index_entry_adjust_namemask(entry, path.size);
3106 git_buf_dispose(&path);
3107
3108 if (git_vector_insert(data->new_entries, entry) < 0) {
3109 index_entry_free(entry);
3110 return -1;
3111 }
3112
3113 return 0;
3114 }
3115
3116 int git_index_read_tree(git_index *index, const git_tree *tree)
3117 {
3118 int error = 0;
3119 git_vector entries = GIT_VECTOR_INIT;
3120 git_idxmap *entries_map;
3121 read_tree_data data;
3122 size_t i;
3123 git_index_entry *e;
3124
3125 if (git_idxmap_new(&entries_map) < 0)
3126 return -1;
3127
3128 git_vector_set_cmp(&entries, index->entries._cmp); /* match sort */
3129
3130 data.index = index;
3131 data.old_entries = &index->entries;
3132 data.new_entries = &entries;
3133 data.entry_cmp = index->entries_search;
3134
3135 index->tree = NULL;
3136 git_pool_clear(&index->tree_pool);
3137
3138 git_vector_sort(&index->entries);
3139
3140 if ((error = git_tree_walk(tree, GIT_TREEWALK_POST, read_tree_cb, &data)) < 0)
3141 goto cleanup;
3142
3143 if ((error = index_map_resize(entries_map, entries.length, index->ignore_case)) < 0)
3144 goto cleanup;
3145
3146 git_vector_foreach(&entries, i, e) {
3147 if ((error = index_map_set(entries_map, e, index->ignore_case)) < 0) {
3148 git_error_set(GIT_ERROR_INDEX, "failed to insert entry into map");
3149 return error;
3150 }
3151 }
3152
3153 error = 0;
3154
3155 git_vector_sort(&entries);
3156
3157 if ((error = git_index_clear(index)) < 0) {
3158 /* well, this isn't good */;
3159 } else {
3160 git_vector_swap(&entries, &index->entries);
3161 entries_map = git__swap(index->entries_map, entries_map);
3162 }
3163
3164 index->dirty = 1;
3165
3166 cleanup:
3167 git_vector_free(&entries);
3168 git_idxmap_free(entries_map);
3169 if (error < 0)
3170 return error;
3171
3172 error = git_tree_cache_read_tree(&index->tree, tree, &index->tree_pool);
3173
3174 return error;
3175 }
3176
3177 static int git_index_read_iterator(
3178 git_index *index,
3179 git_iterator *new_iterator,
3180 size_t new_length_hint)
3181 {
3182 git_vector new_entries = GIT_VECTOR_INIT,
3183 remove_entries = GIT_VECTOR_INIT;
3184 git_idxmap *new_entries_map = NULL;
3185 git_iterator *index_iterator = NULL;
3186 git_iterator_options opts = GIT_ITERATOR_OPTIONS_INIT;
3187 const git_index_entry *old_entry, *new_entry;
3188 git_index_entry *entry;
3189 size_t i;
3190 int error;
3191
3192 assert((new_iterator->flags & GIT_ITERATOR_DONT_IGNORE_CASE));
3193
3194 if ((error = git_vector_init(&new_entries, new_length_hint, index->entries._cmp)) < 0 ||
3195 (error = git_vector_init(&remove_entries, index->entries.length, NULL)) < 0 ||
3196 (error = git_idxmap_new(&new_entries_map)) < 0)
3197 goto done;
3198
3199 if (new_length_hint && (error = index_map_resize(new_entries_map, new_length_hint,
3200 index->ignore_case)) < 0)
3201 goto done;
3202
3203 opts.flags = GIT_ITERATOR_DONT_IGNORE_CASE |
3204 GIT_ITERATOR_INCLUDE_CONFLICTS;
3205
3206 if ((error = git_iterator_for_index(&index_iterator,
3207 git_index_owner(index), index, &opts)) < 0 ||
3208 ((error = git_iterator_current(&old_entry, index_iterator)) < 0 &&
3209 error != GIT_ITEROVER) ||
3210 ((error = git_iterator_current(&new_entry, new_iterator)) < 0 &&
3211 error != GIT_ITEROVER))
3212 goto done;
3213
3214 while (true) {
3215 git_index_entry
3216 *dup_entry = NULL,
3217 *add_entry = NULL,
3218 *remove_entry = NULL;
3219 int diff;
3220
3221 error = 0;
3222
3223 if (old_entry && new_entry)
3224 diff = git_index_entry_cmp(old_entry, new_entry);
3225 else if (!old_entry && new_entry)
3226 diff = 1;
3227 else if (old_entry && !new_entry)
3228 diff = -1;
3229 else
3230 break;
3231
3232 if (diff < 0) {
3233 remove_entry = (git_index_entry *)old_entry;
3234 } else if (diff > 0) {
3235 dup_entry = (git_index_entry *)new_entry;
3236 } else {
3237 /* Path and stage are equal, if the OID is equal, keep it to
3238 * keep the stat cache data.
3239 */
3240 if (git_oid_equal(&old_entry->id, &new_entry->id) &&
3241 old_entry->mode == new_entry->mode) {
3242 add_entry = (git_index_entry *)old_entry;
3243 } else {
3244 dup_entry = (git_index_entry *)new_entry;
3245 remove_entry = (git_index_entry *)old_entry;
3246 }
3247 }
3248
3249 if (dup_entry) {
3250 if ((error = index_entry_dup_nocache(&add_entry, index, dup_entry)) < 0)
3251 goto done;
3252
3253 index_entry_adjust_namemask(add_entry,
3254 ((struct entry_internal *)add_entry)->pathlen);
3255 }
3256
3257 /* invalidate this path in the tree cache if this is new (to
3258 * invalidate the parent trees)
3259 */
3260 if (dup_entry && !remove_entry && index->tree)
3261 git_tree_cache_invalidate_path(index->tree, dup_entry->path);
3262
3263 if (add_entry) {
3264 if ((error = git_vector_insert(&new_entries, add_entry)) == 0)
3265 error = index_map_set(new_entries_map, add_entry,
3266 index->ignore_case);
3267 }
3268
3269 if (remove_entry && error >= 0)
3270 error = git_vector_insert(&remove_entries, remove_entry);
3271
3272 if (error < 0) {
3273 git_error_set(GIT_ERROR_INDEX, "failed to insert entry");
3274 goto done;
3275 }
3276
3277 if (diff <= 0) {
3278 if ((error = git_iterator_advance(&old_entry, index_iterator)) < 0 &&
3279 error != GIT_ITEROVER)
3280 goto done;
3281 }
3282
3283 if (diff >= 0) {
3284 if ((error = git_iterator_advance(&new_entry, new_iterator)) < 0 &&
3285 error != GIT_ITEROVER)
3286 goto done;
3287 }
3288 }
3289
3290 if ((error = git_index_name_clear(index)) < 0 ||
3291 (error = git_index_reuc_clear(index)) < 0)
3292 goto done;
3293
3294 git_vector_swap(&new_entries, &index->entries);
3295 new_entries_map = git__swap(index->entries_map, new_entries_map);
3296
3297 git_vector_foreach(&remove_entries, i, entry) {
3298 if (index->tree)
3299 git_tree_cache_invalidate_path(index->tree, entry->path);
3300
3301 index_entry_free(entry);
3302 }
3303
3304 clear_uptodate(index);
3305
3306 index->dirty = 1;
3307 error = 0;
3308
3309 done:
3310 git_idxmap_free(new_entries_map);
3311 git_vector_free(&new_entries);
3312 git_vector_free(&remove_entries);
3313 git_iterator_free(index_iterator);
3314 return error;
3315 }
3316
3317 int git_index_read_index(
3318 git_index *index,
3319 const git_index *new_index)
3320 {
3321 git_iterator *new_iterator = NULL;
3322 git_iterator_options opts = GIT_ITERATOR_OPTIONS_INIT;
3323 int error;
3324
3325 opts.flags = GIT_ITERATOR_DONT_IGNORE_CASE |
3326 GIT_ITERATOR_INCLUDE_CONFLICTS;
3327
3328 if ((error = git_iterator_for_index(&new_iterator,
3329 git_index_owner(new_index), (git_index *)new_index, &opts)) < 0 ||
3330 (error = git_index_read_iterator(index, new_iterator,
3331 new_index->entries.length)) < 0)
3332 goto done;
3333
3334 done:
3335 git_iterator_free(new_iterator);
3336 return error;
3337 }
3338
3339 git_repository *git_index_owner(const git_index *index)
3340 {
3341 return INDEX_OWNER(index);
3342 }
3343
3344 enum {
3345 INDEX_ACTION_NONE = 0,
3346 INDEX_ACTION_UPDATE = 1,
3347 INDEX_ACTION_REMOVE = 2,
3348 INDEX_ACTION_ADDALL = 3,
3349 };
3350
3351 int git_index_add_all(
3352 git_index *index,
3353 const git_strarray *paths,
3354 unsigned int flags,
3355 git_index_matched_path_cb cb,
3356 void *payload)
3357 {
3358 int error;
3359 git_repository *repo;
3360 git_iterator *wditer = NULL;
3361 git_pathspec ps;
3362 bool no_fnmatch = (flags & GIT_INDEX_ADD_DISABLE_PATHSPEC_MATCH) != 0;
3363
3364 assert(index);
3365
3366 repo = INDEX_OWNER(index);
3367 if ((error = git_repository__ensure_not_bare(repo, "index add all")) < 0)
3368 return error;
3369
3370 if ((error = git_pathspec__init(&ps, paths)) < 0)
3371 return error;
3372
3373 /* optionally check that pathspec doesn't mention any ignored files */
3374 if ((flags & GIT_INDEX_ADD_CHECK_PATHSPEC) != 0 &&
3375 (flags & GIT_INDEX_ADD_FORCE) == 0 &&
3376 (error = git_ignore__check_pathspec_for_exact_ignores(
3377 repo, &ps.pathspec, no_fnmatch)) < 0)
3378 goto cleanup;
3379
3380 error = index_apply_to_wd_diff(index, INDEX_ACTION_ADDALL, paths, flags, cb, payload);
3381
3382 if (error)
3383 git_error_set_after_callback(error);
3384
3385 cleanup:
3386 git_iterator_free(wditer);
3387 git_pathspec__clear(&ps);
3388
3389 return error;
3390 }
3391
3392 struct foreach_diff_data {
3393 git_index *index;
3394 const git_pathspec *pathspec;
3395 unsigned int flags;
3396 git_index_matched_path_cb cb;
3397 void *payload;
3398 };
3399
3400 static int apply_each_file(const git_diff_delta *delta, float progress, void *payload)
3401 {
3402 struct foreach_diff_data *data = payload;
3403 const char *match, *path;
3404 int error = 0;
3405
3406 GIT_UNUSED(progress);
3407
3408 path = delta->old_file.path;
3409
3410 /* We only want those which match the pathspecs */
3411 if (!git_pathspec__match(
3412 &data->pathspec->pathspec, path, false, (bool)data->index->ignore_case,
3413 &match, NULL))
3414 return 0;
3415
3416 if (data->cb)
3417 error = data->cb(path, match, data->payload);
3418
3419 if (error > 0) /* skip this entry */
3420 return 0;
3421 if (error < 0) /* actual error */
3422 return error;
3423
3424 /* If the workdir item does not exist, remove it from the index. */
3425 if ((delta->new_file.flags & GIT_DIFF_FLAG_EXISTS) == 0)
3426 error = git_index_remove_bypath(data->index, path);
3427 else
3428 error = git_index_add_bypath(data->index, delta->new_file.path);
3429
3430 return error;
3431 }
3432
3433 static int index_apply_to_wd_diff(git_index *index, int action, const git_strarray *paths,
3434 unsigned int flags,
3435 git_index_matched_path_cb cb, void *payload)
3436 {
3437 int error;
3438 git_diff *diff;
3439 git_pathspec ps;
3440 git_repository *repo;
3441 git_diff_options opts = GIT_DIFF_OPTIONS_INIT;
3442 struct foreach_diff_data data = {
3443 index,
3444 NULL,
3445 flags,
3446 cb,
3447 payload,
3448 };
3449
3450 assert(index);
3451 assert(action == INDEX_ACTION_UPDATE || action == INDEX_ACTION_ADDALL);
3452
3453 repo = INDEX_OWNER(index);
3454
3455 if (!repo) {
3456 return create_index_error(-1,
3457 "cannot run update; the index is not backed up by a repository.");
3458 }
3459
3460 /*
3461 * We do the matching ourselves intead of passing the list to
3462 * diff because we want to tell the callback which one
3463 * matched, which we do not know if we ask diff to filter for us.
3464 */
3465 if ((error = git_pathspec__init(&ps, paths)) < 0)
3466 return error;
3467
3468 opts.flags = GIT_DIFF_INCLUDE_TYPECHANGE;
3469 if (action == INDEX_ACTION_ADDALL) {
3470 opts.flags |= GIT_DIFF_INCLUDE_UNTRACKED |
3471 GIT_DIFF_RECURSE_UNTRACKED_DIRS;
3472
3473 if (flags == GIT_INDEX_ADD_FORCE)
3474 opts.flags |= GIT_DIFF_INCLUDE_IGNORED;
3475 }
3476
3477 if ((error = git_diff_index_to_workdir(&diff, repo, index, &opts)) < 0)
3478 goto cleanup;
3479
3480 data.pathspec = &ps;
3481 error = git_diff_foreach(diff, apply_each_file, NULL, NULL, NULL, &data);
3482 git_diff_free(diff);
3483
3484 if (error) /* make sure error is set if callback stopped iteration */
3485 git_error_set_after_callback(error);
3486
3487 cleanup:
3488 git_pathspec__clear(&ps);
3489 return error;
3490 }
3491
3492 static int index_apply_to_all(
3493 git_index *index,
3494 int action,
3495 const git_strarray *paths,
3496 git_index_matched_path_cb cb,
3497 void *payload)
3498 {
3499 int error = 0;
3500 size_t i;
3501 git_pathspec ps;
3502 const char *match;
3503 git_buf path = GIT_BUF_INIT;
3504
3505 assert(index);
3506
3507 if ((error = git_pathspec__init(&ps, paths)) < 0)
3508 return error;
3509
3510 git_vector_sort(&index->entries);
3511
3512 for (i = 0; !error && i < index->entries.length; ++i) {
3513 git_index_entry *entry = git_vector_get(&index->entries, i);
3514
3515 /* check if path actually matches */
3516 if (!git_pathspec__match(
3517 &ps.pathspec, entry->path, false, (bool)index->ignore_case,
3518 &match, NULL))
3519 continue;
3520
3521 /* issue notification callback if requested */
3522 if (cb && (error = cb(entry->path, match, payload)) != 0) {
3523 if (error > 0) { /* return > 0 means skip this one */
3524 error = 0;
3525 continue;
3526 }
3527 if (error < 0) /* return < 0 means abort */
3528 break;
3529 }
3530
3531 /* index manipulation may alter entry, so don't depend on it */
3532 if ((error = git_buf_sets(&path, entry->path)) < 0)
3533 break;
3534
3535 switch (action) {
3536 case INDEX_ACTION_NONE:
3537 break;
3538 case INDEX_ACTION_UPDATE:
3539 error = git_index_add_bypath(index, path.ptr);
3540
3541 if (error == GIT_ENOTFOUND) {
3542 git_error_clear();
3543
3544 error = git_index_remove_bypath(index, path.ptr);
3545
3546 if (!error) /* back up foreach if we removed this */
3547 i--;
3548 }
3549 break;
3550 case INDEX_ACTION_REMOVE:
3551 if (!(error = git_index_remove_bypath(index, path.ptr)))
3552 i--; /* back up foreach if we removed this */
3553 break;
3554 default:
3555 git_error_set(GIT_ERROR_INVALID, "unknown index action %d", action);
3556 error = -1;
3557 break;
3558 }
3559 }
3560
3561 git_buf_dispose(&path);
3562 git_pathspec__clear(&ps);
3563
3564 return error;
3565 }
3566
3567 int git_index_remove_all(
3568 git_index *index,
3569 const git_strarray *pathspec,
3570 git_index_matched_path_cb cb,
3571 void *payload)
3572 {
3573 int error = index_apply_to_all(
3574 index, INDEX_ACTION_REMOVE, pathspec, cb, payload);
3575
3576 if (error) /* make sure error is set if callback stopped iteration */
3577 git_error_set_after_callback(error);
3578
3579 return error;
3580 }
3581
3582 int git_index_update_all(
3583 git_index *index,
3584 const git_strarray *pathspec,
3585 git_index_matched_path_cb cb,
3586 void *payload)
3587 {
3588 int error = index_apply_to_wd_diff(index, INDEX_ACTION_UPDATE, pathspec, 0, cb, payload);
3589 if (error) /* make sure error is set if callback stopped iteration */
3590 git_error_set_after_callback(error);
3591
3592 return error;
3593 }
3594
3595 int git_index_snapshot_new(git_vector *snap, git_index *index)
3596 {
3597 int error;
3598
3599 GIT_REFCOUNT_INC(index);
3600
3601 git_atomic_inc(&index->readers);
3602 git_vector_sort(&index->entries);
3603
3604 error = git_vector_dup(snap, &index->entries, index->entries._cmp);
3605
3606 if (error < 0)
3607 git_index_snapshot_release(snap, index);
3608
3609 return error;
3610 }
3611
3612 void git_index_snapshot_release(git_vector *snap, git_index *index)
3613 {
3614 git_vector_free(snap);
3615
3616 git_atomic_dec(&index->readers);
3617
3618 git_index_free(index);
3619 }
3620
3621 int git_index_snapshot_find(
3622 size_t *out, git_vector *entries, git_vector_cmp entry_srch,
3623 const char *path, size_t path_len, int stage)
3624 {
3625 return index_find_in_entries(out, entries, entry_srch, path, path_len, stage);
3626 }
3627
3628 int git_indexwriter_init(
3629 git_indexwriter *writer,
3630 git_index *index)
3631 {
3632 int error;
3633
3634 GIT_REFCOUNT_INC(index);
3635
3636 writer->index = index;
3637
3638 if (!index->index_file_path)
3639 return create_index_error(-1,
3640 "failed to write index: The index is in-memory only");
3641
3642 if ((error = git_filebuf_open(
3643 &writer->file, index->index_file_path, GIT_FILEBUF_HASH_CONTENTS, GIT_INDEX_FILE_MODE)) < 0) {
3644
3645 if (error == GIT_ELOCKED)
3646 git_error_set(GIT_ERROR_INDEX, "the index is locked; this might be due to a concurrent or crashed process");
3647
3648 return error;
3649 }
3650
3651 writer->should_write = 1;
3652
3653 return 0;
3654 }
3655
3656 int git_indexwriter_init_for_operation(
3657 git_indexwriter *writer,
3658 git_repository *repo,
3659 unsigned int *checkout_strategy)
3660 {
3661 git_index *index;
3662 int error;
3663
3664 if ((error = git_repository_index__weakptr(&index, repo)) < 0 ||
3665 (error = git_indexwriter_init(writer, index)) < 0)
3666 return error;
3667
3668 writer->should_write = (*checkout_strategy & GIT_CHECKOUT_DONT_WRITE_INDEX) == 0;
3669 *checkout_strategy |= GIT_CHECKOUT_DONT_WRITE_INDEX;
3670
3671 return 0;
3672 }
3673
3674 int git_indexwriter_commit(git_indexwriter *writer)
3675 {
3676 int error;
3677 git_oid checksum = {{ 0 }};
3678
3679 if (!writer->should_write)
3680 return 0;
3681
3682 git_vector_sort(&writer->index->entries);
3683 git_vector_sort(&writer->index->reuc);
3684
3685 if ((error = write_index(&checksum, writer->index, &writer->file)) < 0) {
3686 git_indexwriter_cleanup(writer);
3687 return error;
3688 }
3689
3690 if ((error = git_filebuf_commit(&writer->file)) < 0)
3691 return error;
3692
3693 if ((error = git_futils_filestamp_check(
3694 &writer->index->stamp, writer->index->index_file_path)) < 0) {
3695 git_error_set(GIT_ERROR_OS, "could not read index timestamp");
3696 return -1;
3697 }
3698
3699 writer->index->dirty = 0;
3700 writer->index->on_disk = 1;
3701 git_oid_cpy(&writer->index->checksum, &checksum);
3702
3703 git_index_free(writer->index);
3704 writer->index = NULL;
3705
3706 return 0;
3707 }
3708
3709 void git_indexwriter_cleanup(git_indexwriter *writer)
3710 {
3711 git_filebuf_cleanup(&writer->file);
3712
3713 git_index_free(writer->index);
3714 writer->index = NULL;
3715 }
3716
3717 /* Deprecated functions */
3718
3719 int git_index_add_frombuffer(
3720 git_index *index, const git_index_entry *source_entry,
3721 const void *buffer, size_t len)
3722 {
3723 return git_index_add_from_buffer(index, source_entry, buffer, len);
3724 }