<br><br><div class="gmail_quote">On Thu, Nov 27, 2008 at 2:31 PM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Wow.  Thanks Zhongxing.  I guess this wasn't noticed before because all sets are allocated using the shared BumpPtrAllocator, so this wasn't a correctness problem (as the sets would stay in memory).  </blockquote>
<div><br>Yeah. The FoldingSet's dtor only deletes the buckets, not the objects themselves.<br></div><div><br></div></div><br>