diff options
author | Richard Guenther <rguenther@suse.de> | 2011-12-08 11:43:12 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-12-08 11:43:12 +0000 |
commit | befa62e74e117f401f2520a985e820fc1fff4399 (patch) | |
tree | b60cdc2551760ddd13bde603e4e1d7d8df918d3e | |
parent | 3d0c32fe56b2c5891f3695d2ea7e9744650e15f3 (diff) | |
download | gcc-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/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/lto-streamer-out.c | 10 |
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); } |