re PR c++/89285 (ICE after casting the this pointer in the constructor in C++17 mode)

	PR c++/89285
	* g++.dg/cpp1y/constexpr-89285-2.C: New test.

From-SVN: r269188

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index bbe27aa83a6e3919960b38be699b6612cbcb7d6f..70abccc4d1af83bb52e207ea6c530d3cdcf5bae3 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-02-25  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/89285
+       * g++.dg/cpp1y/constexpr-89285-2.C: New test.
+
 2019-02-25  Dominique d'Humieres  <dominiq@gcc.gnu.org>
 
        PR libfortran/89274

diff --git a/gcc/testsuite/g++.dg/cpp1y/constexpr-89285-2.C b/gcc/testsuite/g++.dg/cpp1y/constexpr-89285-2.C
new file mode 100644 (file)
index 0000000..656bc9c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/constexpr-89285-2.C
@@ -0,0 +1,20 @@
+// PR c++/89285
+// { dg-do compile { target c++14 } }
+
+struct A {
+  int a {};
+};
+struct B {
+  int b {};
+  constexpr B (A *x) {
+    int *c = &x->a;
+    while (*c)
+      c = reinterpret_cast<int *>((reinterpret_cast<char *>(c) + *c));
+    *c = reinterpret_cast<char *>(this) - reinterpret_cast<char *>(c);
+  }
+};
+struct C : A {
+  B bar {this};
+};
+
+C foo {};