On 06/09/2016 05:01 PM, Ilia Mirkin wrote: > Is this all because Graph doesn't have a virtual destructor? We don't > construct/destruct those too often, I'd much rather just make it > virtual rather than moving DominatorTree. Yes, that of course also works. Corresponding patch coming.