diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2018-02-02 18:09:58 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2018-02-02 18:09:58 +0000 |
| commit | dacdc68f3bd5e7c4de0dd54f9dcb1465686ac01a (patch) | |
| tree | 68191fae7ddfba51fd55ae27bfe30d1659ab4d37 /gcc/ada/gcc-interface/decl.c | |
| parent | ee034d3108105353a2130a2d0d3630e5f8214811 (diff) | |
| download | gcc-dacdc68f3bd5e7c4de0dd54f9dcb1465686ac01a.zip gcc-dacdc68f3bd5e7c4de0dd54f9dcb1465686ac01a.tar.gz gcc-dacdc68f3bd5e7c4de0dd54f9dcb1465686ac01a.tar.bz2 | |
decl.c (array_type_has_nonaliased_component): Return false if the component type is a pointer.
* gcc-interface/decl.c (array_type_has_nonaliased_component): Return
false if the component type is a pointer.
From-SVN: r257344
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
| -rw-r--r-- | gcc/ada/gcc-interface/decl.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index e8c48c7..e0466f3 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -6113,6 +6113,11 @@ array_type_has_nonaliased_component (tree gnu_type, Entity_Id gnat_type) return TYPE_NONALIASED_COMPONENT (gnu_parent_type); } + /* Consider that an array of pointers has an aliased component, which is + sort of logical and helps with Taft Amendment types in LTO mode. */ + if (POINTER_TYPE_P (TREE_TYPE (gnu_type))) + return false; + /* Otherwise, rely exclusively on properties of the element type. */ return type_for_nonaliased_component_p (TREE_TYPE (gnu_type)); } |