In our MozJS integration, we track allocations in a shadow data structure so that ASAN can see reachability. During teardown, we assert that all allocations recorded in that data structure have been freed. However, doing so means that if we actually have a leak, we will hard terminate before we give the leak checker a chance to report leaks.