From 3fbe77dabdb4735c0904df4a8e1f77473609d30f Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 26 Sep 2019 19:41:59 +0200
Subject: synth: do subtype conversion for variable default

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

diff --git a/src/synth/synth-decls.adb b/src/synth/synth-decls.adb
index 874b9d303..3208a61f9 100644
--- a/src/synth/synth-decls.adb
+++ b/src/synth/synth-decls.adb
@@ -481,6 +481,8 @@ package body Synth.Decls is
                if Is_Valid (Def) then
                   Obj_Type := Get_Value_Type (Syn_Inst, Get_Type (Decl));
                   Init := Synth_Expression_With_Type (Syn_Inst, Def, Obj_Type);
+                  Init := Synth_Subtype_Conversion
+                    (Init, Obj_Type, False, Decl);
                else
                   Init := null;
                end if;
-- 
cgit v1.2.3