From: Eric Botcazou <ebotcazou@gcc.gnu.org>
Date: Thu, 10 Dec 2015 12:12:59 +0000 (+0000)
Subject: * alias.c (get_alias_set): Add cut-off for recursion.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e2f4c6385e223c2a328639b2b935153107002bde;p=gcc.git

* alias.c (get_alias_set): Add cut-off for recursion.

From-SVN: r231505
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index aca8e944477..e68d6887679 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -88,6 +88,7 @@
 	(nonoverlapping_component_refs_of_decl_p): Update sanity check.
 	(decl_refs_may_alias_p): Use compare_base_decls.
 	* alias.c: Include cgraph.h
+	(get_alias_set): Add cut-off for recursion.
 	(rtx_equal_for_memref_p): Use rtx_equal_for_memref_p.
 	(compare_base_decls): New function.
 	(base_alias_check): Likewise.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3706aaed090..131596c0699 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-12-10  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/specs/access1.ads: New test.
+	* gnat.dg/specs/access2.ads: Likewise.
+
 2015-12-10  Jakub Jelinek  <jakub@redhat.com>
 
 	PR tree-optimization/68785
diff --git a/gcc/testsuite/gnat.dg/specs/access1.ads b/gcc/testsuite/gnat.dg/specs/access1.ads
new file mode 100644
index 00000000000..2464e484abd
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/access1.ads
@@ -0,0 +1,9 @@
+--  { dg-do compile }
+
+package Access1 is
+
+   type R;
+   type S is access R;
+   type R is new S;
+
+end Access1;
diff --git a/gcc/testsuite/gnat.dg/specs/access2.ads b/gcc/testsuite/gnat.dg/specs/access2.ads
new file mode 100644
index 00000000000..ff0046f8cef
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/access2.ads
@@ -0,0 +1,10 @@
+--  { dg-do compile }
+
+package Access2 is
+
+    type Priv;
+    type Inc is access Priv;
+    type Priv is access Inc;
+    C : constant Priv := new Inc;
+
+end Access2;