From 2b8e100539fbbf2c27a6acbc9905ba50b0f352b1 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 29 Aug 2021 07:28:08 +0200 Subject: synth-vhdl_stmts: fix a crash on never triggered PSL assertion. For #1832 --- src/synth/synth-vhdl_stmts.adb | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src') diff --git a/src/synth/synth-vhdl_stmts.adb b/src/synth/synth-vhdl_stmts.adb index 89c96012a..ddf579656 100644 --- a/src/synth/synth-vhdl_stmts.adb +++ b/src/synth/synth-vhdl_stmts.adb @@ -3283,10 +3283,16 @@ package body Synth.Vhdl_Stmts is S := Get_Next_State (S); end loop; + -- Maybe there is no edge to the first state (common for restrict). if D_Arr (Nbr_States - 1) = No_Net then D_Arr (Nbr_States - 1) := Build_Const_UB32 (Ctxt, 0, 1); end if; + -- Maybe there is no edge to the final state. + if D_Arr (0) = No_Net then + D_Arr (0) := Build_Const_UB32 (Ctxt, 0, 1); + end if; + Concat_Array (Ctxt, D_Arr.all, Res); Free_Net_Array (D_Arr); -- cgit v1.2.3