remove_res()

void remove_res	(	void *	p,
		void *	cd )

Definition at line 132 of file finalize.cpp.

{
  (void) cd;
#ifdef MEMDEBUG
  p = M2_debug_to_inner(p);
#endif
  ResolutionComputation *G = static_cast<ResolutionComputation *>(p);
  std::atomic<int> nremoved = res_nremoved++;
  if (M2_gbTrace >= 3)
    fprintf(stderr, "\n -- removing res %d at %p\n", nremoved.load(), G);
  delete G;
}

References G, M2_gbTrace, p, and res_nremoved.

Referenced by intern_res().