static void clear_pp_node(Postprocessor *pp) { size_t i; PP_node *ppn = pp->pp_node; if (NULL == ppn) { alloc_pp_node(pp); ppn = pp->pp_node; } ppn->violation = NULL; for (i=0; i<ppn->dtsz; i++) { free_d_type(ppn->d_type_array[i]); ppn->d_type_array[i] = NULL; } }
static void reset_pp_node(Postprocessor *pp) { free_pp_node(pp); alloc_pp_node(pp); }