diff options
| author | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2015-12-10 12:12:59 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2015-12-10 12:12:59 +0000 |
| commit | e2f4c6385e223c2a328639b2b935153107002bde (patch) | |
| tree | 3aa74f694d0dc1aa307088b19d27fcf25d1d5ee6 /gcc | |
| parent | f9e71dcedac03922385b50f3061fb8302fb1d4bb (diff) | |
| download | gcc-e2f4c6385e223c2a328639b2b935153107002bde.zip gcc-e2f4c6385e223c2a328639b2b935153107002bde.tar.gz gcc-e2f4c6385e223c2a328639b2b935153107002bde.tar.bz2 | |
* alias.c (get_alias_set): Add cut-off for recursion.
From-SVN: r231505
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 1 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/access1.ads | 9 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/access2.ads | 10 |
4 files changed, 25 insertions, 0 deletions
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 <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 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; |