diff options
| author | ZyX <kp-pav@yandex.ru> | 2017-10-16 03:05:27 +0300 |
|---|---|---|
| committer | ZyX <kp-pav@yandex.ru> | 2017-10-16 03:05:27 +0300 |
| commit | c03dc13bb74205d15a83ce3bd6ecb6b76b869878 (patch) | |
| tree | 1cfb752232a458fec86286745d1e1cdda848822f | |
| parent | 4c8ed65b608df06b4c72b641f4ecc86985295633 (diff) | |
| download | rneovim-c03dc13bb74205d15a83ce3bd6ecb6b76b869878.tar.gz rneovim-c03dc13bb74205d15a83ce3bd6ecb6b76b869878.tar.bz2 rneovim-c03dc13bb74205d15a83ce3bd6ecb6b76b869878.zip | |
klee: Fix possible assertion error
No idea how it did not happen to hit me yet.
| -rw-r--r-- | test/symbolic/klee/nvim/memory.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/symbolic/klee/nvim/memory.c b/test/symbolic/klee/nvim/memory.c index 1f9cdce6c0..df422cea3e 100644 --- a/test/symbolic/klee/nvim/memory.c +++ b/test/symbolic/klee/nvim/memory.c @@ -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; |