--- /dev/null
+-- { dg-do compile }
+
+procedure interface4 is
+ generic
+ type I1 is interface;
+ type I2 is limited interface;
+ type I3 is interface and I1;
+ type I4 is limited interface and I2;
+ package Pack_I is
+ end Pack_I;
+begin
+ null;
+end interface4;
--- /dev/null
+-- { dg-do run }
+
+with GNAT.Regpat; use GNAT.Regpat;
+procedure Quote is
+begin
+ if Quote (".+") /= "\.\+" then
+ raise Program_Error;
+ end if;
+end Quote;
--- /dev/null
+-- { dg-do run }
+
+with GNAT.Sockets; use GNAT.Sockets;
+procedure socket2 is
+ X : Character;
+begin
+ X := 'x';
+ GNAT.Sockets.Initialize;
+ declare
+ H : Host_Entry_Type := Get_Host_By_Address (Inet_Addr ("127.0.0.1"));
+ begin
+ null;
+ end;
+end socket2;
--- /dev/null
+-- { dg-do compile }
+
+procedure str1 is
+ Str : constant string := "--";
+ generic
+ package Gen is
+ procedure P;
+ end Gen;
+ package body Gen is
+ procedure P is
+ inner : String := Str;
+ begin
+ null;
+ end;
+ end Gen;
+
+ package Inst is new Gen;
+begin
+ null;
+end;