Handle overflow during evaluation of type conversion. Forward on 'image.

1 files changed, 4 insertions, 2 deletions

diff --git a/src/vhdl/translate/trans-chap4.adb b/src/vhdl/translate/trans-chap4.adb
index 7c71cc7..3cbfc0b 100644
--- a/src/vhdl/translate/trans-chap4.adb
+++ b/src/vhdl/translate/trans-chap4.adb
@@ -543,7 +543,7 @@ package body Trans.Chap4 is
    --  Create code to elaborate OBJ.
    procedure Elab_Object (Obj : Iir)
    is
-      Value : Iir;
+      Value : constant Iir := Get_Default_Value (Obj);
       Obj1  : Iir;
    begin
       --  A locally static constant is pre-elaborated.
@@ -551,6 +551,9 @@ package body Trans.Chap4 is
       if Get_Expr_Staticness (Obj) = Locally
         and then Get_Deferred_Declaration (Obj) = Null_Iir
       then
+         if Get_Kind (Value) = Iir_Kind_Overflow_Literal then
+            Chap6.Gen_Bound_Error (Obj);
+         end if;
          return;
       end if;
 
@@ -575,7 +578,6 @@ package body Trans.Chap4 is
 
       --  Still use the default value of the not deferred constant.
       --  FIXME: what about composite types.
-      Value := Get_Default_Value (Obj);
       Elab_Object_Value (Obj1, Value);
    end Elab_Object;