$ cat leak.smt2
(assert (< 0 (div 0 0)))
(check-sat)
$ z3 leak.smt2
sat

=================================================================
==2329==ERROR: LeakSanitizer: detected memory leaks

Indirect leak of 4268 byte(s) in 1 object(s) allocated from:
    #0 0x7f73aeb56510 in __interceptor_realloc ../../../../src/libsanitizer/asan/asan_malloc_linux.cpp:164
    #1 0x558ac6cf9908 in memory::reallocate(void*, unsigned long) ../src/util/memory_manager.cpp:336
    #2 0x558ac3552c2c in vector<int, false, unsigned int>::expand_vector() ../src/util/vector.h:639
    #3 0x558ac373b963 in void vector<int, false, unsigned int>::resize<int>(unsigned int, int, ...) ../src/util/vector.h:1042
    #4 0x558ac59a6101 in heap<lp::lpvar_lt>::set_bounds(int) ../src/util/heap.h:166
    #5 0x558ac5a7ef6a in heap<lp::lpvar_lt>::heap(int, lp::lpvar_lt const&) ../src/util/heap.h:134
...
SUMMARY: AddressSanitizer: 19512 byte(s) leaked in 151 allocation(s).