re PR ipa/87957 (ICE tree check: expected tree that contains ‘decl minimal’ structure...

	PR lto/87957
	* g++.dg/lto/odr-1_0.C: Extend by mismatched enum.
	* g++.dg/lto/odr-1_1.C: Extend by mismatched enum.
	* g++.dg/lto/odr-2_0.C: New.
	* g++.dg/lto/odr-2_0.C: New.
	* g++.dg/lto/odr-3_1.C: New.
	* g++.dg/lto/odr-3_1.C: New.

From-SVN: r266351

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f12fb97745ec34ca1d76d9c76b63ca7600140801..29b0c83fc8961fd17a85d4780b0fdb59c32b6649 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,13 @@
+2018-11-21  Jan Hubicka  <hubicka@ucw.cz>
+
+       PR lto/87957
+       * g++.dg/lto/odr-1_0.C: Extend by mismatched enum.
+       * g++.dg/lto/odr-1_1.C: Extend by mismatched enum.
+       * g++.dg/lto/odr-2_0.C: New.
+       * g++.dg/lto/odr-2_0.C: New.
+       * g++.dg/lto/odr-3_1.C: New.
+       * g++.dg/lto/odr-3_1.C: New.
+
 2018-11-21  Jakub Jelinek  <jakub@redhat.com>
 
        PR target/87839

diff --git a/gcc/testsuite/g++.dg/lto/odr-1_0.C b/gcc/testsuite/g++.dg/lto/odr-1_0.C
index 7967e1d895ec091fd9514b3e35fe29bd07fb9535..6fff88844c302f24e670661a72614b163c511641 100644 (file)
--- a/gcc/testsuite/g++.dg/lto/odr-1_0.C
+++ b/gcc/testsuite/g++.dg/lto/odr-1_0.C
@@ -1,8 +1,11 @@
 // PR c++/82414
 // { dg-lto-do link }
+enum vals {aa,cc}; // { dg-lto-warning "6: type 'vals' violates the C\\+\\+ One Definition Rule" }
 struct a { // { dg-lto-warning "8: type 'struct a' violates the C\\+\\+ One Definition Rule" }
   struct b *ptr; // { dg-lto-message "13: the first difference of corresponding definitions is field 'ptr'" }
+  enum vals vals;
 };
-void test(struct a *)
+void test(struct a *a)
 {
+  a->vals = cc;
 }

diff --git a/gcc/testsuite/g++.dg/lto/odr-1_1.C b/gcc/testsuite/g++.dg/lto/odr-1_1.C
index 5cd6f6c0ebc3cb79fd042d21d07bdd91d5928e57..33a13f01bf27a3134efb6eb5854de42cb2cae20e 100644 (file)
--- a/gcc/testsuite/g++.dg/lto/odr-1_1.C
+++ b/gcc/testsuite/g++.dg/lto/odr-1_1.C
@@ -1,12 +1,16 @@
 namespace {
-  struct b;
+  struct b; // { dg-lto-message "type 'struct b' defined in anonymous namespace can not match across the translation unit boundary" }
  }
-struct a {
-  struct b *ptr;
-};
+enum vals {aa,bb,cc}; // { dg-lto-message "an enum with different value name is defined in another translation unit" }
+struct a { // { dg-lto-message "a different type is defined in another translation unit" }
+  struct b *ptr; // { dg-lto-message "a field of same name but different type is defined in another translation unit" }
+  enum vals vals;
+} a;
 void test(struct a *);
 int
 main(void)
 {
-  test (0);
+  test (&a);
+  if (a.vals==aa)
+    return 1;
 }

diff --git a/gcc/testsuite/g++.dg/lto/odr-2_0.C b/gcc/testsuite/g++.dg/lto/odr-2_0.C
new file mode 100644 (file)
index 0000000..222fa2c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/lto/odr-2_0.C
@@ -0,0 +1,8 @@
+// { dg-lto-do link }
+// { dg-lto-options { { -O0 -flto }  } 
+enum a {} b; // { dg-lto-warning "6: type 'a' violates the C\\+\\+ One Definition Rule" }
+int
+main(void)
+{
+  return 0;
+}

diff --git a/gcc/testsuite/g++.dg/lto/odr-2_1.C b/gcc/testsuite/g++.dg/lto/odr-2_1.C
new file mode 100644 (file)
index 0000000..f384ae8
--- /dev/null
+++ b/gcc/testsuite/g++.dg/lto/odr-2_1.C
@@ -0,0 +1,4 @@
+class a { // { dg-lto-message "a different type is defined in another translation unit" }
+  int *b() const;
+};
+int *a::b() const { return 0; }

diff --git a/gcc/testsuite/g++.dg/lto/odr-3_0.C b/gcc/testsuite/g++.dg/lto/odr-3_0.C
new file mode 100644 (file)
index 0000000..bfa6c0b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/lto/odr-3_0.C
@@ -0,0 +1,12 @@
+// { dg-lto-do link }
+// { dg-lto-options { -O0 -flto }  } 
+
+typedef struct {
+  int a; // { dg-lto-message "the first difference of corresponding definitions is field 'a'" }
+} YYSTYPE; // { dg-lto-warning "3: warning: type ‘struct YYSTYPE’ violates the C\\+\\+ One Definition Rule" }
+union yyalloc { // { dg-lto-warning "7: type ‘union yyalloc’ violates the C\\+\\+ One Definition Rule" }
+  short yyss;
+  YYSTYPE yyvs; // { dg-lto-message "the first difference of corresponding definitions is field ‘yyvs’" }
+};
+void b() { yyalloc c; }
+

diff --git a/gcc/testsuite/g++.dg/lto/odr-3_1.C b/gcc/testsuite/g++.dg/lto/odr-3_1.C
new file mode 100644 (file)
index 0000000..8a44486
--- /dev/null
+++ b/gcc/testsuite/g++.dg/lto/odr-3_1.C
@@ -0,0 +1,9 @@
+typedef struct YYSTYPE { // { dg-lto-message ":16 a different type is defined in another translation unit" }
+} YYSTYPE;
+union yyalloc { 
+  short yyss;
+  YYSTYPE yyvs; // { dg-lto-message "the first difference of corresponding definitions is field ‘yyvs’" }
+
+};
+void a() { yyalloc b; }
+