diff options
| -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; |