void linked_list::process()

in cnova/DFAchecks.cpp [187:191]


void linked_list::process() {
    for (node *pt = head; pt != nullptr; pt = pt->next) {
        delete pt;
    }
}