diff options
| author | Paolo Carlini <paolo.carlini@oracle.com> | 2017-09-28 21:18:36 +0000 |
|---|---|---|
| committer | Paolo Carlini <paolo@gcc.gnu.org> | 2017-09-28 21:18:36 +0000 |
| commit | 051e4e1c60ff2d545f19e31b07d50adc26616b4a (patch) | |
| tree | d9f342d425faea219c444589241d481343928576 | |
| parent | 281e6c1d8f1b4ca552d8ce2276ddecfcd6ffb15e (diff) | |
| download | gcc-051e4e1c60ff2d545f19e31b07d50adc26616b4a.zip gcc-051e4e1c60ff2d545f19e31b07d50adc26616b4a.tar.gz gcc-051e4e1c60ff2d545f19e31b07d50adc26616b4a.tar.bz2 | |
re PR c++/79488 (ICE from lambda that has invalid return type)
2017-09-28 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/79488
* g++.dg/cpp0x/lambda/lambda-ice22.C: New.
From-SVN: r253270
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice22.C | 25 |
2 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0bc6fd4..bc9b1a3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-09-28 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/79488 + * g++.dg/cpp0x/lambda/lambda-ice22.C: New. + 2017-09-28 Jakub Jelinek <jakub@redhat.com> PR target/82342 diff --git a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice22.C b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice22.C new file mode 100644 index 0000000..6f2650d --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice22.C @@ -0,0 +1,25 @@ +// PR c++/79488 +// { dg-do compile { target c++11 } } + +int f(); +static int g __attribute__((__weakref__("f"))); + +template <typename Fn> struct res { + static Fn val(); + using type = decltype(val()()); // { dg-error "no match for call" } +}; + +template <typename Fn> struct A { + template <typename T> void set_result(T) {} + + virtual void run() { + auto boundfn = []() -> typename res<Fn>::type{}; + set_result(boundfn); + } +}; + +struct F { + void operator()() &; +}; + +A<F> t; |