diff options
| author | paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-09-28 21:18:36 +0000 |
|---|---|---|
| committer | paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-09-28 21:18:36 +0000 |
| commit | f9dbfe67325d1c4b73f8c4431c69ee2d0d737d1b (patch) | |
| tree | d9f342d425faea219c444589241d481343928576 | |
| parent | 4cedc476c94a41551d965bc57fbbe0186983c3c4 (diff) | |
| download | gcc-f9dbfe67325d1c4b73f8c4431c69ee2d0d737d1b.tar.gz | |
2017-09-28 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/79488
* g++.dg/cpp0x/lambda/lambda-ice22.C: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@253270 138bc75d-0d04-0410-961f-82ee72b054a4
| -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 0bc6fd4aedd..bc9b1a365b0 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 00000000000..6f2650dbe77 --- /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; |