set_in_pproc.adb: New test.

	* gnat.dg/set_in_pproc.adb: New test.
	* gnat.dg/modular2.adb: New test.

From-SVN: r135910

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b81a420aaf0558d8d97bc14fbbe59a9a0188f425..5060df6af49422fb8124186f007d6b5a72e93dbd 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-05-26  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat.dg/set_in_pproc.adb: New test.
+       * gnat.dg/modular2.adb: New test.
+
 2008-05-25  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gnat.dg/trampoline1.adb: New test.

diff --git a/gcc/testsuite/gnat.dg/modular2.adb b/gcc/testsuite/gnat.dg/modular2.adb
new file mode 100644 (file)
index 0000000..4e01bd6
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/modular2.adb
@@ -0,0 +1,8 @@
+--  { dg-do run }
+
+procedure modular2 is
+   type x is mod 2 ** 64;
+   r : x := x'last;
+begin
+   r := r + 1;
+end;

diff --git a/gcc/testsuite/gnat.dg/set_in_pproc.adb b/gcc/testsuite/gnat.dg/set_in_pproc.adb
new file mode 100644 (file)
index 0000000..8e9ae1c
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/set_in_pproc.adb
@@ -0,0 +1,20 @@
+--  { dg-do compile }
+
+with Ada.Containers.Ordered_Sets;
+procedure Set_In_Pproc is
+
+   protected type Ptype is
+      procedure Pproc;
+   end;
+   
+   protected body Ptype is
+      procedure Pproc is
+         package Sets is
+            new Ada.Containers.Ordered_Sets (Element_Type => Integer);
+      begin
+         null;
+      end;
+   end; 
+begin   
+   null;
+end;