From f5130442c175e7308e26b092dcebd0c6901e4881 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 6 Feb 2016 08:50:35 +0100 Subject: A subtype of a resolved array type is resolved. --- src/vhdl/sem_types.adb | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/vhdl/sem_types.adb b/src/vhdl/sem_types.adb index f80fc8679..47559c354 100644 --- a/src/vhdl/sem_types.adb +++ b/src/vhdl/sem_types.adb @@ -1569,6 +1569,9 @@ package body Sem_Types is Set_Resolution_Indication (Res, Resolv_Ind); end if; Set_Resolved_Flag (Res, Get_Resolved_Flag (Type_Mark)); + else + pragma Assert (Get_Kind (Type_Mark) = Iir_Kind_Array_Type_Definition); + Set_Resolved_Flag (Res, Get_Resolved_Flag (Type_Mark)); end if; return Res; -- cgit v1.2.3