diff options
author | Vicent Marti <tanoku@gmail.com> | 2015-10-28 10:28:43 +0100 |
---|---|---|
committer | Vicent Marti <tanoku@gmail.com> | 2015-10-28 10:28:43 +0100 |
commit | 410efda80b101d427aafcc151b44c8cf0197461d (patch) | |
tree | 2e22c47106511ce909216774313656da9427954d | |
parent | 4f971852d5b06d61e7a8782edd76bea876e79ed8 (diff) | |
download | libgit2-410efda80b101d427aafcc151b44c8cf0197461d.tar.gz |
pool: Take into account malloc overhead & pool page size
-rw-r--r-- | src/pool.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/pool.c b/src/pool.c index 78277eb40..fe6c42987 100644 --- a/src/pool.c +++ b/src/pool.c @@ -21,7 +21,8 @@ uint32_t git_pool__system_page_size(void) size_t page_size; if (git__page_size(&page_size) < 0) page_size = 4096; - size = page_size - 2 * sizeof(void *); /* allow space for malloc overhead */ + /* allow space for malloc overhead */ + size = page_size - (2 * sizeof(void *)) - sizeof(git_pool_page); } return size; |