diff options
author | Paolo Carlini <paolo.carlini@oracle.com> | 2015-03-04 10:20:23 +0000 |
---|---|---|
committer | Paolo Carlini <paolo@gcc.gnu.org> | 2015-03-04 10:20:23 +0000 |
commit | 550671691ee841093b72631af3b4bcf7dbad68d6 (patch) | |
tree | ba48dd2011f7bd1c7eccbd41b8b2c27813e039c1 | |
parent | 203876fcae96c1b556fbe86a70975597a547beaf (diff) | |
download | gcc-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/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/cpp1y/lambda-generic-ice1.C | 42 |
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)); +} |