diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-06-14 11:24:07 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-06-14 11:24:07 +0200 |
commit | 3c95201d6f3ed87cba662b78e718dff48c2bd896 (patch) | |
tree | 33e9ea186b7d471cdf91ad1eaed1d3bee46c5443 /gcc | |
parent | a19e8f6495da78bb26641fda14fdcb8b4828a904 (diff) | |
download | gcc-3c95201d6f3ed87cba662b78e718dff48c2bd896.zip gcc-3c95201d6f3ed87cba662b78e718dff48c2bd896.tar.gz gcc-3c95201d6f3ed87cba662b78e718dff48c2bd896.tar.bz2 |
Add new tests.
From-SVN: r125702
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/testsuite/gnat.dg/interface4.adb | 13 | ||||
-rw-r--r-- | gcc/testsuite/gnat.dg/quote.adb | 9 | ||||
-rw-r--r-- | gcc/testsuite/gnat.dg/socket2.adb | 14 | ||||
-rw-r--r-- | gcc/testsuite/gnat.dg/str1.adb | 20 |
4 files changed, 56 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/interface4.adb b/gcc/testsuite/gnat.dg/interface4.adb new file mode 100644 index 0000000..8dde602 --- /dev/null +++ b/gcc/testsuite/gnat.dg/interface4.adb @@ -0,0 +1,13 @@ +-- { 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; diff --git a/gcc/testsuite/gnat.dg/quote.adb b/gcc/testsuite/gnat.dg/quote.adb new file mode 100644 index 0000000..4b12c9f --- /dev/null +++ b/gcc/testsuite/gnat.dg/quote.adb @@ -0,0 +1,9 @@ +-- { dg-do run } + +with GNAT.Regpat; use GNAT.Regpat; +procedure Quote is +begin + if Quote (".+") /= "\.\+" then + raise Program_Error; + end if; +end Quote; diff --git a/gcc/testsuite/gnat.dg/socket2.adb b/gcc/testsuite/gnat.dg/socket2.adb new file mode 100644 index 0000000..8f58f3c --- /dev/null +++ b/gcc/testsuite/gnat.dg/socket2.adb @@ -0,0 +1,14 @@ +-- { 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; diff --git a/gcc/testsuite/gnat.dg/str1.adb b/gcc/testsuite/gnat.dg/str1.adb new file mode 100644 index 0000000..833d0f1 --- /dev/null +++ b/gcc/testsuite/gnat.dg/str1.adb @@ -0,0 +1,20 @@ +-- { 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; |