diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2012-12-15 18:47:53 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2012-12-15 18:47:53 +0000 |
| commit | 8ffcc234e8bf004568745aa52391c1434c2ad3df (patch) | |
| tree | 8dd47addc085df3f3f32f6053328393a0141bb38 | |
| parent | 4e8661cd7c5ef423c34723483a9ac5cf7b65169c (diff) | |
| download | gcc-8ffcc234e8bf004568745aa52391c1434c2ad3df.zip gcc-8ffcc234e8bf004568745aa52391c1434c2ad3df.tar.gz gcc-8ffcc234e8bf004568745aa52391c1434c2ad3df.tar.bz2 | |
re PR ada/52735 (ICE in gnat_to_gnu_entity at gcc-interface/decl.c:4156)
PR ada/52735
* gnat.dg/nested_generic1.adb: New test.
* gnat.dg/nested_generic1_pkg.ad[sb]: New helper.
From-SVN: r194523
| -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 fc21c18..67fa553 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 0000000..1a20cdf --- /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 0000000..1227626 --- /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 0000000..a783388 --- /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; |