From 3b45e4600aa046b3979798737b1aa3090f2070c3 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 26 Jul 2020 16:38:07 +0200 Subject: ortho/debug: check subtype for array subtype. --- src/ortho/debug/ortho_debug.adb | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/src/ortho/debug/ortho_debug.adb b/src/ortho/debug/ortho_debug.adb index 3617ebbc8..58e46b098 100644 --- a/src/ortho/debug/ortho_debug.adb +++ b/src/ortho/debug/ortho_debug.adb @@ -786,14 +786,11 @@ package body Ortho_Debug is -- The element must either be ATYPE element or a constrained subtype -- of it. if El_Type /= Atype.El_Type then - if El_Type.Kind = ON_Array_Subtype then - if El_Type.Arr_Base /= Atype.El_Type then - raise Type_Error; - end if; - else + if Get_Base_Type (El_Type) /= Atype.El_Type then raise Type_Error; end if; end if; + Check_Constrained_Type (El_Type); return new O_Tnode_Sub_Array'(Kind => ON_Array_Subtype, Decl => O_Dnode_Null, -- cgit v1.2.3