mgudim wrote: I can measure the size of `BoUpSLP` object right after it's created and right after deleteTree and assert that they are equal. Test would check that the assert is not hit. Will this be acceptable? https://github.com/llvm/llvm-project/pull/160544