diff options
| author | Paolo Carlini <paolo.carlini@oracle.com> | 2017-10-10 20:46:26 +0000 |
|---|---|---|
| committer | Paolo Carlini <paolo@gcc.gnu.org> | 2017-10-10 20:46:26 +0000 |
| commit | 507ea98d58f471e00a717bc5e21ed8bdd240628b (patch) | |
| tree | edfc4e07fe89cdec12db64b50acfe4d49d428679 | |
| parent | d6b605f6ae91ad83e2c7cae9c420f05a572c973d (diff) | |
| download | gcc-507ea98d58f471e00a717bc5e21ed8bdd240628b.zip gcc-507ea98d58f471e00a717bc5e21ed8bdd240628b.tar.gz gcc-507ea98d58f471e00a717bc5e21ed8bdd240628b.tar.bz2 | |
re PR c++/78006 (Segmentation fault with 'using' and generic lambda trailing return types)
2017-10-10 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/78006
* g++.dg/cpp1y/auto-fn40.C: New.
From-SVN: r253621
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp1y/auto-fn40.C | 37 |
2 files changed, 42 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 14c2a5a..b442420 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2017-10-10 Paolo Carlini <paolo.carlini@oracle.com> + PR c++/78006 + * g++.dg/cpp1y/auto-fn40.C: New. + +2017-10-10 Paolo Carlini <paolo.carlini@oracle.com> + PR c++/81032 * g++.dg/cpp1y/lambda-generic-ice6.C: New. diff --git a/gcc/testsuite/g++.dg/cpp1y/auto-fn40.C b/gcc/testsuite/g++.dg/cpp1y/auto-fn40.C new file mode 100644 index 0000000..e7f1bd4 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp1y/auto-fn40.C @@ -0,0 +1,37 @@ +// PR c++/78006 +// { dg-do compile { target c++14 } } + +template<typename T> T&& declval() noexcept; + +template<typename... _Tp> + struct common_type; + +template<typename _Tp> + struct common_type<_Tp> + { typedef _Tp type; }; + +template<typename _Tp, typename _Up> + struct common_type<_Tp, _Up> + { typedef decltype(true ? declval<_Tp>() : declval<_Up>()) type; }; + +template<typename _Tp, typename _Up, typename... _Vp> + struct common_type<_Tp, _Up, _Vp...> + { + typedef typename + common_type<typename common_type<_Tp, _Up>::type, _Vp...>::type type; + }; + +template<typename... _Tp> + using common_type_t = typename common_type<_Tp...>::type; + +template <typename... TFs> +auto x(TFs&&... fs) +{ + using rt = common_type_t<decltype(fs(0))...>; + return [](auto) -> rt { }; +} + +int main() +{ + x([](int){})(0); +} |