From d9d38eeedba7d650ff80e2b364f2f40e9ff1673b Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 25 Oct 2016 23:21:37 +0200 Subject: [PATCH] Bugfix in fsm_map for FSMs without reset state --- passes/fsm/fsm_map.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/passes/fsm/fsm_map.cc b/passes/fsm/fsm_map.cc index 5b32ed599..c42303752 100644 --- a/passes/fsm/fsm_map.cc +++ b/passes/fsm/fsm_map.cc @@ -272,7 +272,8 @@ static void map_fsm(RTLIL::Cell *fsm_cell, RTLIL::Module *module) } else { - RTLIL::SigSpec sig_a, sig_b, sig_s; + RTLIL::SigSpec sig_a(RTLIL::State::Sx, next_state_wire->width); + RTLIL::SigSpec sig_b, sig_s; int reset_state = fsm_data.reset_state; if (reset_state < 0) reset_state = 0; -- 2.30.2