From a5b13e2e4b25d8b1258fa2af19b8840b39a2942f Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 7 May 2019 20:05:19 +0200 Subject: vhdl: remove too strict assertion in canon. Fix #816 --- src/vhdl/vhdl-canon.adb | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) (limited to 'src/vhdl') diff --git a/src/vhdl/vhdl-canon.adb b/src/vhdl/vhdl-canon.adb index 85bc4190b..181e55217 100644 --- a/src/vhdl/vhdl-canon.adb +++ b/src/vhdl/vhdl-canon.adb @@ -562,20 +562,12 @@ package body Vhdl.Canon is raise Internal_Error; when Unknown => - -- Must be a subprogram declared in a different design unit. + -- Must be a subprogram declared in a different design unit, + -- or a subprogram calling such a subprogram. -- Only a package can apply to this case. -- Will be checked at elaboration. pragma Assert (not Flags.Flag_Elaborate); - declare - Parent : Iir; - begin - Parent := Get_Parent (Callee); - pragma Assert - (Get_Kind (Parent) = Iir_Kind_Package_Declaration); - Parent := Get_Parent (Parent); - pragma Assert - (Get_Kind (Parent) = Iir_Kind_Design_Unit); - end; + null; end case; end if; Next (It); -- cgit v1.2.3