From 8ffcc234e8bf004568745aa52391c1434c2ad3df Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Sat, 15 Dec 2012 18:47:53 +0000 Subject: [PATCH] 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 --- gcc/testsuite/ChangeLog | 6 ++++++ gcc/testsuite/gnat.dg/nested_generic1.adb | 12 ++++++++++++ gcc/testsuite/gnat.dg/nested_generic1_pkg.adb | 11 +++++++++++ gcc/testsuite/gnat.dg/nested_generic1_pkg.ads | 8 ++++++++ 4 files changed, 37 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/nested_generic1.adb create mode 100644 gcc/testsuite/gnat.dg/nested_generic1_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/nested_generic1_pkg.ads diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fc21c18bae9..67fa5537378 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2012-12-15 Eric Botcazou + + PR ada/52735 + * gnat.dg/nested_generic1.adb: New test. + * gnat.dg/nested_generic1_pkg.ad[sb]: New helper. + 2012-12-15 Eric Botcazou PR ada/53766 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 + +-- { 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; -- 2.30.2