- void Dtor()
- {
- inited = 0;
-
- for (size_t i = 0; i < npools; i++)
- {
- Pool *pool = pooltable[i];
- pool.Dtor();
- cstdlib.free(pool);
- }
-
- // Even when free() can be called with a null pointer, the extra call
- // might be significant. On hard GC benchmarks making the test for null
- // here (i.e. not making the call) can reduce the GC time by almost
- // ~5%.
- if (pooltable)
- cstdlib.free(pooltable);
- if (roots)
- cstdlib.free(roots);
- if (ranges)
- cstdlib.free(ranges);
- }
-
-