diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-12-15 18:47:53 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-12-15 18:47:53 +0000 |
| commit | 0a114449891899825e90aa6dadfe1d7ca7e293f2 (patch) | |
| tree | 8dd47addc085df3f3f32f6053328393a0141bb38 /gcc | |
| parent | 4a03cc91761bf48b3e1d0407e0bafd0bdf1fb327 (diff) | |
| download | gcc-0a114449891899825e90aa6dadfe1d7ca7e293f2.tar.gz | |
PR ada/52735
* gnat.dg/nested_generic1.adb: New test.
* gnat.dg/nested_generic1_pkg.ad[sb]: New helper.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194523 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/nested_generic1.adb | 12 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/nested_generic1_pkg.adb | 11 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/nested_generic1_pkg.ads | 8 |
4 files changed, 37 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fc21c18bae9..67fa5537378 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,11 @@ 2012-12-15 Eric Botcazou <ebotcazou@adacore.com> + PR ada/52735 + * gnat.dg/nested_generic1.adb: New test. + * gnat.dg/nested_generic1_pkg.ad[sb]: New helper. + +2012-12-15 Eric Botcazou <ebotcazou@adacore.com> + PR ada/53766 * gnat.dg/controlled7.ad[sb]: New test. diff --git a/gcc/testsuite/gnat.dg/nested_generic1.adb b/gcc/testsuite/gnat.dg/nested_generic1.adb new file mode 100644 index 00000000000..1a20cdf5d4b --- /dev/null +++ b/gcc/testsuite/gnat.dg/nested_generic1.adb @@ -0,0 +1,12 @@ +-- PR ada/52735 +-- Reported by Per Sandberg <per.sandberg@bredband.net> + +-- { dg-do compile } + +with Nested_Generic1_Pkg; + +procedure Nested_Generic1 is + package P is new Nested_Generic1_Pkg; +begin + null; +end; diff --git a/gcc/testsuite/gnat.dg/nested_generic1_pkg.adb b/gcc/testsuite/gnat.dg/nested_generic1_pkg.adb new file mode 100644 index 00000000000..12276261395 --- /dev/null +++ b/gcc/testsuite/gnat.dg/nested_generic1_pkg.adb @@ -0,0 +1,11 @@ +package body Nested_Generic1_Pkg is + + procedure Image_Generic + (Renderer : in not null Element_Renderer) is + begin + null; + end; + + procedure Image_Standard_Instance is new Image_Generic; + +end Nested_Generic1_Pkg; diff --git a/gcc/testsuite/gnat.dg/nested_generic1_pkg.ads b/gcc/testsuite/gnat.dg/nested_generic1_pkg.ads new file mode 100644 index 00000000000..a783388a69e --- /dev/null +++ b/gcc/testsuite/gnat.dg/nested_generic1_pkg.ads @@ -0,0 +1,8 @@ +generic +package Nested_Generic1_Pkg is + + type Element_Renderer is access procedure; + + generic procedure Image_Generic (Renderer : in not null Element_Renderer); + +end Nested_Generic1_Pkg; |