aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Guenther <rguenther@suse.de>2011-12-08 11:43:12 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2011-12-08 11:43:12 +0000
commitbefa62e74e117f401f2520a985e820fc1fff4399 (patch)
treeb60cdc2551760ddd13bde603e4e1d7d8df918d3e
parent3d0c32fe56b2c5891f3695d2ea7e9744650e15f3 (diff)
downloadgcc-befa62e74e117f401f2520a985e820fc1fff4399.zip
gcc-befa62e74e117f401f2520a985e820fc1fff4399.tar.gz
gcc-befa62e74e117f401f2520a985e820fc1fff4399.tar.bz2
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
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/lto-streamer-out.c10
2 files changed, 16 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1f26fa9..84083ed 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 655cf89..e5c79d1 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);
}