From: Arnaud Charlet <charlet@adacore.com>
Date: Mon, 26 May 2008 09:46:06 +0000 (+0000)
Subject: set_in_pproc.adb: New test.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=68e92eab6f77d6969b81e12556568725d988ff9b;p=gcc.git

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 b81a420aaf0..5060df6af49 100644
--- 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
index 00000000000..4e01bd60909
--- /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
index 00000000000..8e9ae1c8b4c
--- /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;