1 files changed, 41 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/opt/ice1.C b/gcc/testsuite/g++.dg/opt/ice1.C
new file mode 100644
index 000000000..701897166
--- /dev/null
+++ b/gcc/testsuite/g++.dg/opt/ice1.C
@@ -0,0 +1,41 @@
+// PR c++/43024
+// { dg-options "-O2" }
+
+void foo();
+
+template<int> struct X
+{
+  enum { e };
+  typedef int Y;
+};
+
+template<int N = 0> struct A
+{
+  ~A() { foo(); }
+  A() { a<0>(0); }
+  template<int> void a(typename X<!X<N>::e>::Y);
+  struct B b();
+};
+
+struct B
+{
+  A<> b0, b1, b2, b3;
+  B operator+ (const B&);
+};
+
+struct C
+{
+  A<> c0, c1, c2, c3, c4, c5, c6, c7, c8;
+};
+
+inline void bar(int i)
+{
+  A<> a0, a1;
+  if (i) a0.b() + a0.b() + a0.b() + a0.b();
+}
+
+void baz()
+{
+  C c;
+  bar(0);
+}