re PR c++/87229 (ICE: tree code 'call_expr' is not supported in LTO streams)

2018-11-19  Richard Biener  <rguenther@suse.de>

	PR lto/87229
	* tree.c (free_lang_data_in_one_sizepos): Free non-gimple-val
	sizepos values.

	* g++.dg/lto/pr87229_0.C: New testcase.

From-SVN: r266271

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9803871..9cd89fb 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-11-19  Richard Biener  <rguenther@suse.de>
+
+       PR lto/87229
+       * tree.c (free_lang_data_in_one_sizepos): Free non-gimple-val
+       sizepos values.
+
 2018-11-19  Eric Botcazou  <ebotcazou@adacore.com>
 
        * compare-elim.c (struct comparison): Add not_in_a field.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3fff2c8..5fce6a8 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-11-19  Richard Biener  <rguenther@suse.de>
+
+       PR lto/87229
+       * g++.dg/lto/pr87229_0.C: New testcase.
+
 2018-11-19  Martin Liska  <mliska@suse.cz>
 
        * g++.dg/gcov/pr84548.C: Remove remove-gcda.

diff --git a/gcc/testsuite/g++.dg/lto/pr87229_0.C b/gcc/testsuite/g++.dg/lto/pr87229_0.C
new file mode 100644 (file)
index 0000000..1c20e80
--- /dev/null
+++ b/gcc/testsuite/g++.dg/lto/pr87229_0.C
@@ -0,0 +1,7 @@
+// { dg-lto-do assemble }
+
+struct Main { Main(char* x); };
+
+Main::Main(char* x) {
+    char cfg[__builtin_strlen(x)];
+}

diff --git a/gcc/tree.c b/gcc/tree.c
index be89897..48de9cf 100644 (file)
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -5254,6 +5254,13 @@ free_lang_data_in_one_sizepos (tree *expr_p)
   tree expr = *expr_p;
   if (CONTAINS_PLACEHOLDER_P (expr))
     *expr_p = build0 (PLACEHOLDER_EXPR, TREE_TYPE (expr));
+  /* ???  We have to reset all non-GIMPLE sizepos because those eventually
+     refer to trees we cannot stream.  See for example PR87229 which
+     shows an example with non-gimplified abstract origins in C++.
+     Note this should only happen for abstract copies so setting sizes
+     to NULL is OK (but we cannot easily assert this).  */
+  else if (expr && !is_gimple_val (expr))
+    *expr_p = NULL_TREE;
 }