aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaolo Carlini <paolo.carlini@oracle.com>2015-03-04 10:20:23 +0000
committerPaolo Carlini <paolo@gcc.gnu.org>2015-03-04 10:20:23 +0000
commit550671691ee841093b72631af3b4bcf7dbad68d6 (patch)
treeba48dd2011f7bd1c7eccbd41b8b2c27813e039c1
parent203876fcae96c1b556fbe86a70975597a547beaf (diff)
downloadgcc-550671691ee841093b72631af3b4bcf7dbad68d6.zip
gcc-550671691ee841093b72631af3b4bcf7dbad68d6.tar.gz
gcc-550671691ee841093b72631af3b4bcf7dbad68d6.tar.bz2
re PR c++/64227 (Forwarding an argument of a function template to a generic lambda causes a compiler crash)
2015-03-04 Paolo Carlini <paolo.carlini@oracle.com> PR c++/64227 * g++.dg/cpp1y/lambda-generic-ice1.C: New. From-SVN: r221181
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/g++.dg/cpp1y/lambda-generic-ice1.C42
2 files changed, 47 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a2dadbf..f3e7f88 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-03-04 Paolo Carlini <paolo.carlini@oracle.com>
+
+ PR c++/64227
+ * g++.dg/cpp1y/lambda-generic-ice1.C: New.
+
2015-03-04 James Greenhalgh <james.greenhalgh@arm.com>
* gcc.target/aarch64/atomic-comp-swap-release-acquire.c: Add
diff --git a/gcc/testsuite/g++.dg/cpp1y/lambda-generic-ice1.C b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-ice1.C
new file mode 100644
index 0000000..0e40e62
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-ice1.C
@@ -0,0 +1,42 @@
+// PR c++/64227
+// { dg-do compile { target c++14 } }
+
+template<typename T>
+struct remove_reference
+{ typedef T type; };
+
+template<typename T>
+struct remove_reference<T&>
+{ typedef T type; };
+
+template<typename T>
+struct remove_reference<T&&>
+{ typedef T type; };
+
+template<typename T>
+constexpr T&&
+forward(typename remove_reference<T>::type& t) noexcept
+{ return static_cast<T&&>(t); }
+
+template<typename T>
+constexpr T&&
+forward(typename remove_reference<T>::type&& t) noexcept
+{ return static_cast<T&&>(t); }
+
+template<typename T>
+auto greater_than(T&& t)
+{
+ return [val = forward<T&&>(t)] (const auto& arg) { return arg > val; };
+}
+
+template<typename Functor>
+void g(Functor f)
+{
+ for (int i = 0; i < 100000; i++)
+ f(i);
+}
+
+int main()
+{
+ g(greater_than(10));
+}