On Thu, Nov 27, 2008 at 2:31 PM, Ted Kremenek <[EMAIL PROTECTED]> wrote:
> 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). Yeah. The FoldingSet's dtor only deletes the buckets, not the objects themselves.
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
