Method ~SharedMemory

gecode/kernel/memory/manager.hpp:190–197

    heap.hc = nullptr;
  }
  forceinline
  SharedMemory::~SharedMemory(void) {
    while (heap.hc != nullptr) {
      HeapChunk* hc = heap.hc;
      heap.hc = static_cast<HeapChunk*>(hc->next);
      Gecode::heap.rfree(hc);
    }
  }

  forceinline HeapChunk*
  SharedMemory::alloc(size_t s, size_t l) {