re PR c++/66919 (C++14 ICE during error reporting)
authorJason Merrill <jason@gcc.gnu.org>
Tue, 18 Aug 2015 21:29:07 +0000 (17:29 -0400)
committerJason Merrill <jason@gcc.gnu.org>
Tue, 18 Aug 2015 21:29:07 +0000 (17:29 -0400)
PR c++/66919
* g++.dg/cpp1y/auto-fn27.C: New.

From-SVN: r226993

gcc/testsuite/g++.dg/cpp1y/auto-fn27.C [new file with mode: 0644]

diff --git a/gcc/testsuite/g++.dg/cpp1y/auto-fn27.C b/gcc/testsuite/g++.dg/cpp1y/auto-fn27.C
new file mode 100644 (file)
index 0000000..c9291c2
--- /dev/null
@@ -0,0 +1,42 @@
+// PR c++/66919
+// { dg-do compile { target c++14 } }
+
+template <int>
+struct A {
+  template <typename F, typename R, typename T>
+    static auto run (F fn, R, T) { auto r =  fn (); } // { dg-error "" }
+};
+template <typename F, typename T>
+auto foo (F fn, T)
+{
+  A <0>::run (fn, 0, 0);
+}
+struct B;
+struct C {
+  typedef B D;
+};
+struct E {
+  virtual void bar (const int &);
+};
+template <typename C>
+struct F : E {
+  typedef typename C::D::G G;
+  void bar (const G &);
+  typename C::D::H I;
+};
+struct J { struct K {}; };
+template <typename T>
+void
+F<T>::bar (const G &)
+{
+  auto s = I;
+  typedef decltype (s) L;
+  auto u =[&](L) { auto t = foo (J::K (), 0); }; // { dg-error "" }
+}
+struct B {
+  typedef int G;
+  typedef int H;
+};
+struct M : F <C> {
+  M () {}
+};