re PR c++/80805 (ICE in sufficiently complex code with -g (dump_aggr_type))

2017-10-07  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/80805
	* g++.dg/cpp0x/pr80805.C: New.

From-SVN: r253510

1 files changed, 21 insertions, 0 deletions

diff --git a/gcc/testsuite/g++.dg/cpp0x/pr80805.C b/gcc/testsuite/g++.dg/cpp0x/pr80805.C
new file mode 100644
index 0000000..a13ee11
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/pr80805.C
@@ -0,0 +1,21 @@
+// { dg-do compile { target c++11 } }
+// { dg-options "-g" }
+
+template<class T> struct R { using type = T; };
+template<class F> F r(typename R<F>::type f) { return f; }
+template<class F> void s(F) {}
+template<bool, class F> void t(F f) { s(r<F>(f)); }
+template<bool> struct S {};
+template<class> struct P { constexpr static bool value = false; };
+template<class D>
+void g()
+{
+    constexpr static bool H = P<D>::value;
+    using X = S<H>;
+    []() -> X
+    {
+        t<false>([]{});
+        return X{};
+    }();
+}
+int main() { g<int>(); }