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

From-SVN: r231505

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index aca8e94..e68d688 100644 (file)
--- 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 3706aae..131596c 100644 (file)
--- 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 (file)
index 0000000..2464e48
--- /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 (file)
index 0000000..ff0046f
--- /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;