From c03dc13bb74205d15a83ce3bd6ecb6b76b869878 Mon Sep 17 00:00:00 2001 From: ZyX Date: Mon, 16 Oct 2017 03:05:27 +0300 Subject: [PATCH] klee: Fix possible assertion error No idea how it did not happen to hit me yet. --- test/symbolic/klee/nvim/memory.c | 3 +++ 1 file changed, 3 insertions(+) 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;