From f34371c33b486df225d29c3cc4902dc5adbcbc06 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 12 Jan 2020 15:09:18 +0100 Subject: synth: convert constant default value subtype. For #1080 --- src/synth/synth-decls.adb | 1 + 1 file changed, 1 insertion(+) diff --git a/src/synth/synth-decls.adb b/src/synth/synth-decls.adb index f5c60d766..f59253ea1 100644 --- a/src/synth/synth-decls.adb +++ b/src/synth/synth-decls.adb @@ -476,6 +476,7 @@ package body Synth.Decls is Obj_Type := Get_Value_Type (Syn_Inst, Decl_Type); Val := Synth_Expression_With_Type (Syn_Inst, Get_Default_Value (Decl), Obj_Type); + Val := Synth_Subtype_Conversion (Val, Obj_Type, True, Decl); -- For constant functions, the value must be constant. pragma Assert (not Get_Instance_Const (Syn_Inst) or else Is_Static (Val)); -- cgit v1.2.3