From: Eric Botcazou <ebotcazou@adacore.com>
Date: Fri, 2 Feb 2018 18:09:32 +0000 (+0000)
Subject: re PR lto/83954 (LTO: Bogus -Wlto-type-mismatch warning for array of pointer to incom... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ee034d3108105353a2130a2d0d3630e5f8214811;p=gcc.git

re PR lto/83954 (LTO: Bogus -Wlto-type-mismatch warning for array of pointer to incomplete type)

	PR lto/83954
	* lto-symtab.c (warn_type_compatibility_p): Do not recurse into the
	component type of array types with non-aliased component.

From-SVN: r257343
---

diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog
index 7265b760865..e51fa1cdc58 100644
--- a/gcc/lto/ChangeLog
+++ b/gcc/lto/ChangeLog
@@ -1,3 +1,9 @@
+2018-02-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+	PR lto/83954
+	* lto-symtab.c (warn_type_compatibility_p): Do not recurse into the
+	component type of array types with non-aliased component.
+
 2018-01-30  Jan Hubicka  <hubicka@ucw.cz>
 
 	PR lto/83954
diff --git a/gcc/lto/lto-symtab.c b/gcc/lto/lto-symtab.c
index 0508c5e6750..4f186aed059 100644
--- a/gcc/lto/lto-symtab.c
+++ b/gcc/lto/lto-symtab.c
@@ -288,9 +288,12 @@ warn_type_compatibility_p (tree prevailing_type, tree type,
 	{
           tree t1 = type, t2 = prevailing_type;
 
-	  /* Alias sets of arrays are the same as alias sets of the inner
-	     types.  */
-	  while (TREE_CODE (t1) == ARRAY_TYPE && TREE_CODE (t2) == ARRAY_TYPE)
+	  /* Alias sets of arrays with aliased components are the same as alias
+	     sets of the inner types.  */
+	  while (TREE_CODE (t1) == ARRAY_TYPE
+		 && !TYPE_NONALIASED_COMPONENT (t1)
+		 && TREE_CODE (t2) == ARRAY_TYPE
+		 && !TYPE_NONALIASED_COMPONENT (t2))
 	    {
 	      t1 = TREE_TYPE (t1);
 	      t2 = TREE_TYPE (t2);