intern_res()

void intern_res

(

ResolutionComputation *

G

)

Definition at line 144 of file finalize.cpp.

{
#ifdef MEMDEBUG
  GC_REGISTER_FINALIZER(M2_debug_to_outer(G), remove_res, 0, 0, 0);
#else
  GC_REGISTER_FINALIZER(                  G , remove_res, nullptr, nullptr, nullptr);
#endif
  std::atomic<int> nfinalized = res_nfinalized++;
  if (M2_gbTrace >= 3)
    fprintf(
        stderr, "\n   -- registering res %d at %p\n", nfinalized.load(),
        (void *)G);
}

References G, M2_gbTrace, remove_res(), and res_nfinalized.

Referenced by ResolutionComputation::choose_res().