Ejemplo n.º 1
0
void sg_delete(Segment* const sg)
{
  s_segments_alive_count--;

  tl_assert(sg);
  sg_cleanup(sg);
  VG_(free)(sg);
}
Ejemplo n.º 2
0
static
void sg_delete(Segment* const sg)
{
#if 1
  if (sg_get_trace())
  {
    char msg[256];
    VG_(snprintf)(msg, sizeof(msg),
                  "Discarding the segment with vector clock ");
    vc_snprint(msg + VG_(strlen)(msg), sizeof(msg) - VG_(strlen)(msg),
               &sg->vc);
    VG_(message)(Vg_UserMsg, "%s", msg);
  }
#endif

  s_alive_segments_count--;

  tl_assert(sg);
  sg_cleanup(sg);
  VG_(free)(sg);
}