IntenseFinance/neovim
3
0
Fork 0
mirror of https://github.com/neovim/neovim.git synced 2025-02-25 18:55:25 -06:00
Code Issues Packages Projects Releases Wiki Activity

klee: Fix possible assertion error

Browse Source 
No idea how it did not happen to hit me yet.
This commit is contained in:
ZyX 2017-10-16 03:05:27 +03:00
parent 4c8ed65b60
commit c03dc13bb7
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
test/symbolic/klee/nvim/memory.c
View File

@ -35,6 +35,9 @@ void *xmalloc(const size_t size)
void xfree(void *const p)
{
if (p == NULL) {
return;
}
RINGBUF_FORALL(&arecs, AllocRecord, arec) {
if (arec->ptr == p) {
allocated_memory -= arec->size;