From 8ea10774e2643e653dc6b5a07a6abd43fd01055d Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 19 Jun 2020 06:28:16 +0200 Subject: synth: avoid crash on invalid range. For ghdl/ghdl-yosys-plugin#126 --- src/synth/synth-expr.adb | 6 +++++- src/synth/synth-stmts.adb | 18 ++++++++++-------- 2 files changed, 15 insertions(+), 9 deletions(-) diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb index 71a9f7e70..85404d7e3 100644 --- a/src/synth/synth-expr.adb +++ b/src/synth/synth-expr.adb @@ -445,7 +445,11 @@ package body Synth.Expr is if not (Is_Static (L.Val) and Is_Static (R.Val)) then Error_Msg_Synth (+Rng, "limits of range are not constant"); - raise Internal_Error; + Set_Error (Syn_Inst); + return (Dir => Get_Direction (Rng), + Left => 0, + Right => 0, + Is_Signed => False); end if; Lval := Read_Discrete (L); diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb index af9f89143..16c70466c 100644 --- a/src/synth/synth-stmts.adb +++ b/src/synth/synth-stmts.adb @@ -3015,14 +3015,16 @@ package body Synth.Stmts is Set_Wire_Gate (C.W_En, Build_Control_Signal (Syn_Inst, 1, Proc)); Phi_Assign_Static (C.W_En, Bit1); - case Iir_Kinds_Process_Statement (Get_Kind (Proc)) is - when Iir_Kind_Sensitized_Process_Statement => - Synth_Sequential_Statements - (C, Get_Sequential_Statement_Chain (Proc)); - -- FIXME: check sensitivity list. - when Iir_Kind_Process_Statement => - Synth_Process_Sequential_Statements (C, Proc); - end case; + if not Is_Error (C.Inst) then + case Iir_Kinds_Process_Statement (Get_Kind (Proc)) is + when Iir_Kind_Sensitized_Process_Statement => + Synth_Sequential_Statements + (C, Get_Sequential_Statement_Chain (Proc)); + -- FIXME: check sensitivity list. + when Iir_Kind_Process_Statement => + Synth_Process_Sequential_Statements (C, Proc); + end case; + end if; -- FIXME: free W_En ? -- cgit v1.2.3