From: Richard Guenther <rguenther@suse.de>
Date: Thu, 8 Dec 2011 11:43:12 +0000 (+0000)
Subject: re PR middle-end/49945 (gcc.dg/guality/vla-1.c FAILs with -flto)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=befa62e74e117f401f2520a985e820fc1fff4399;p=gcc.git

re PR middle-end/49945 (gcc.dg/guality/vla-1.c FAILs with -flto)

2011-12-08  Richard Guenther  <rguenther@suse.de>

	PR lto/49945
	* lto-streamer-out.c (tree_is_indexable): Localize variably
	modified types and their FIELD_DECLs.

From-SVN: r182107
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1f26fa946c4..84083ed3ab2 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2011-12-08  Richard Guenther  <rguenther@suse.de>
+
+	PR lto/49945
+	* lto-streamer-out.c (tree_is_indexable): Localize variably
+	modified types and their FIELD_DECLs.
+
 2011-12-08  Eric Botcazou  <ebotcazou@adacore.com>
 
 	PR tree-optimization/51315
diff --git a/gcc/lto-streamer-out.c b/gcc/lto-streamer-out.c
index 655cf89bc28..e5c79d11f62 100644
--- a/gcc/lto-streamer-out.c
+++ b/gcc/lto-streamer-out.c
@@ -139,6 +139,16 @@ tree_is_indexable (tree t)
 	   && DECL_CONTEXT (t)
 	   && TREE_CODE (DECL_CONTEXT (t)) == FUNCTION_DECL)
     return false;
+  /* Variably modified types need to be streamed alongside function
+     bodies because they can refer to local entities.  Together with
+     them we have to localize their members as well.
+     ???  In theory that includes non-FIELD_DECLs as well.  */
+  else if (TYPE_P (t)
+	   && variably_modified_type_p (t, NULL_TREE))
+    return false;
+  else if (TREE_CODE (t) == FIELD_DECL
+	   && variably_modified_type_p (DECL_CONTEXT (t), NULL_TREE))
+    return false;
   else
     return (TYPE_P (t) || DECL_P (t) || TREE_CODE (t) == SSA_NAME);
 }