Example #1
0
/**
 * 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);
}
Example #2
0
void _fset_node_delete(fset_node_t *node){
    fset_delete(node->data);
    free(node);
}