diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2008-05-26 09:46:06 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-05-26 11:46:06 +0200 |
| commit | 68e92eab6f77d6969b81e12556568725d988ff9b (patch) | |
| tree | 08ed714cd4b697d8e6cca0161289deb16d6f699e /gcc | |
| parent | 1c331d2dffca267004726c24b1aadd700e2cf1d6 (diff) | |
| download | gcc-68e92eab6f77d6969b81e12556568725d988ff9b.zip gcc-68e92eab6f77d6969b81e12556568725d988ff9b.tar.gz gcc-68e92eab6f77d6969b81e12556568725d988ff9b.tar.bz2 | |
set_in_pproc.adb: New test.
* gnat.dg/set_in_pproc.adb: New test.
* gnat.dg/modular2.adb: New test.
From-SVN: r135910
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/modular2.adb | 8 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/set_in_pproc.adb | 20 |
3 files changed, 33 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b81a420..5060df6 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 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 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; |