lto-common.c (lto_register_canonical_types_for_odr_types): Copy CXX_ODR_P from the...

	* lto-common.c (lto_register_canonical_types_for_odr_types):
	Copy CXX_ODR_P from the main variant.

From-SVN: r272923

diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog
index e853f5c9827ce1a60f580ed2570c31d3baf79c8d..ae4e1572496edbc097458a1dddf65aebade714b9 100644 (file)
--- a/gcc/lto/ChangeLog
+++ b/gcc/lto/ChangeLog
@@ -1,3 +1,8 @@
+2019-06-27  Jan Hubicka  <jh@suse.cz>
+
+       * lto-common.c (lto_register_canonical_types_for_odr_types):
+       Copy CXX_ODR_P from the main variant.
+
 2019-06-27  Jan Hubicka  <jh@suse.cz>
 
        * lto-common.c: tree-pretty-print.h

diff --git a/gcc/lto/lto-common.c b/gcc/lto/lto-common.c
index 1275b673506a414add8fe24d532947a863f7ecaa..2b3165a77f481fdd6fa9b18c062eb12eb4490157 100644 (file)
--- a/gcc/lto/lto-common.c
+++ b/gcc/lto/lto-common.c
@@ -568,8 +568,17 @@ lto_register_canonical_types_for_odr_types ()
 
   /* Register all remaining types.  */
   FOR_EACH_VEC_ELT (*types_to_register, i, t)
-    if (!TYPE_CANONICAL (t))
-      gimple_register_canonical_type (t);
+    {
+      /* For pre-streamed types like va-arg it is possible that main variant
+        is !CXX_ODR_P while the variant (which is streamed) is.
+        Copy CXX_ODR_P to make type verifier happy.  This is safe because
+        in canonical type calculation we only consider main variants.
+        However we can not change this flag before streaming is finished
+        to not affect tree merging.  */
+      TYPE_CXX_ODR_P (t) = TYPE_CXX_ODR_P (TYPE_MAIN_VARIANT (t));
+      if (!TYPE_CANONICAL (t))
+        gimple_register_canonical_type (t);
+    }
 }