/** * move a stack state to the completed SCC set */ static void move_scc (wctx_t *ctx, ref_t state) { alg_local_t *loc = ctx->local; hash32_t hash; int success; Debug ("Marking %zu as SCC", state); // remove reference to stack state hash = ref_hash (state); success = fset_delete (loc->visited_states, &hash, &state); HREassert (success, "Could not remove SCC state from set"); // set SCC globally state_store_try_color (state, SCC_STATE, 0); }
void _fset_node_delete(fset_node_t *node){ fset_delete(node->data); free(node); }