From e2f4c6385e223c2a328639b2b935153107002bde Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Thu, 10 Dec 2015 12:12:59 +0000 Subject: [PATCH] * alias.c (get_alias_set): Add cut-off for recursion. From-SVN: r231505 --- gcc/ChangeLog | 1 + gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gnat.dg/specs/access1.ads | 9 +++++++++ gcc/testsuite/gnat.dg/specs/access2.ads | 10 ++++++++++ 4 files changed, 25 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/specs/access1.ads create mode 100644 gcc/testsuite/gnat.dg/specs/access2.ads diff --git a/gcc/ChangeLog b/gcc/ChangeLog index aca8e94..e68d688 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 3706aae..131596c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-12-10 Eric Botcazou + + * gnat.dg/specs/access1.ads: New test. + * gnat.dg/specs/access2.ads: Likewise. + 2015-12-10 Jakub Jelinek 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 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 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; -- 2.7.4