From f7887b6234530f435142c99e0eeb7b67bfe85020 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 6 Nov 2019 04:17:40 +0100
Subject: synth-expr: do subtype conversion in fill_record_aggregate.  Fix
 #1009

---
 src/synth/synth-expr.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb
index fddc32954..0e3b4cc46 100644
--- a/src/synth/synth-expr.adb
+++ b/src/synth/synth-expr.adb
@@ -423,7 +423,8 @@ package body Synth.Expr is
          El_Type := Get_Value_Type
            (Syn_Inst, Get_Type (Get_Nth_Element (El_List, Pos)));
          Val := Synth_Expression_With_Type (Syn_Inst, Value, El_Type);
-         Rec.V (Iir_Index32 (Pos + 1)) := Val;
+         Rec.V (Iir_Index32 (Pos + 1)) := Synth_Subtype_Conversion
+           (Val, El_Type, False, Value);
          if Const_P and not Is_Const (Val) then
             Const_P := False;
          end if;
-- 
cgit v1.2.3