From 48105de5752700a8625a89027d3617907bb503a8 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 2 Jul 2022 07:38:50 +0200
Subject: vhdl-sem_decls: avoid crash on self use of a generic package.

For #2116
---
 src/vhdl/vhdl-sem_decls.adb | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/vhdl')

diff --git a/src/vhdl/vhdl-sem_decls.adb b/src/vhdl/vhdl-sem_decls.adb
index 282137e90..843b24123 100644
--- a/src/vhdl/vhdl-sem_decls.adb
+++ b/src/vhdl/vhdl-sem_decls.adb
@@ -505,6 +505,16 @@ package body Vhdl.Sem_Decls is
          return;
       end if;
 
+      if Get_Is_Within_Flag (Pkg) then
+         --  Looks obvious, but there is apparently no such rule in the LRM.
+         --  Catch error like:
+         --    package gen is
+         --      generic(package g2 is new gen generic map(<>));
+         --    end;
+         Error_Msg_Sem (+Inter, "generic package formal cannot be itself");
+         return;
+      end if;
+
       if Get_Generic_Map_Aspect_Chain (Inter) /= Null_Iir then
          Sem_Generic_Association_Chain (Get_Package_Header (Pkg), Inter);
          --  Not yet fully supported - need to check the instance.
-- 
cgit v1.2.3