Searched refs:single_derived_state (Results 1 – 2 of 2) sorted by relevance
307 #define VERIFY_DERIVED_STATE() verify_state_sanity(&(single_derived_state->s))
1535 fcs_collectible_state *const single_derived_state = derived_states[ in dfs_solve() local1546 if ((!fcs__is_state_a_dead_end(single_derived_state)) && in dfs_solve()1547 (!is_scan_visited(single_derived_state, soft_thread_id))) in dfs_solve()1551 set_scan_visited(single_derived_state, soft_thread_id); in dfs_solve()1553 FCS_S_VISITED_ITER(single_derived_state) = in dfs_solve()1570 the_soft_dfs_info->state = PTR_STATE = single_derived_state; in dfs_solve()