alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

derive: no nullptr handling

Browse source
This commit is contained in:
Antoine Martin 2022-03-18 18:05:53 +01:00
parent 90be62be3d
commit 2c89e09a47
1 changed files with 0 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

9
spot/tl/derive.cc
View file

@ -141,12 +141,6 @@ namespace spot
aut->new_edge(curr_state, curr_state, bddfalse, acc_mark); aut->new_edge(curr_state, curr_state, bddfalse, acc_mark);
} }
// if we only have an initial state with no transitions, then our language
// is empty
if (aut->num_states() == 1
&& aut->get_graph().state_storage(aut->get_init_state_number()).succ == 0)
return nullptr;
aut->set_named_prop("state-names", state_names); aut->set_named_prop("state-names", state_names);
aut->merge_edges(); aut->merge_edges();
@ -159,9 +153,6 @@ namespace spot
{ {
auto finite = derive_finite_automaton(f, deterministic); auto finite = derive_finite_automaton(f, deterministic);
if (finite == nullptr)
return nullptr;
return from_finite(finite); return from_finite(finite);
} }