From fe420f2cd66a7769abdbdc804bb228b0105edb37 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Thu, 7 Jul 2022 08:21:18 +0200 Subject: vhdl-evaluation: make overflow_literal non locally static. Fix crash in translation (tentatively) --- src/vhdl/vhdl-canon.adb | 3 +++ src/vhdl/vhdl-evaluation.adb | 4 +++- 2 files changed, 6 insertions(+), 1 deletion(-) (limited to 'src/vhdl') diff --git a/src/vhdl/vhdl-canon.adb b/src/vhdl/vhdl-canon.adb index 2a8ef8aa0..67d91478d 100644 --- a/src/vhdl/vhdl-canon.adb +++ b/src/vhdl/vhdl-canon.adb @@ -116,6 +116,9 @@ package body Vhdl.Canon is end if; case Get_Kind (Expr) is + when Iir_Kind_Overflow_Literal => + null; + when Iir_Kind_Slice_Name => if not Is_Target and then Get_Name_Staticness (Expr) >= Globally diff --git a/src/vhdl/vhdl-evaluation.adb b/src/vhdl/vhdl-evaluation.adb index 0cf803f97..653cbdb31 100644 --- a/src/vhdl/vhdl-evaluation.adb +++ b/src/vhdl/vhdl-evaluation.adb @@ -228,7 +228,9 @@ package body Vhdl.Evaluation is Location_Copy (Res, Origin); Set_Type (Res, Expr_Type); Set_Literal_Origin (Res, Origin); - Set_Expr_Staticness (Res, Locally); + -- Expression is not static so that it will be an error if it needs + -- to. Otherwise, the error will occur at runtime. + Set_Expr_Staticness (Res, None); return Res; end Build_Overflow; -- cgit v1.2.3