diff options
| author | Patrick Palka <ppalka@redhat.com> | 2020-05-13 09:20:44 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2020-05-13 09:42:55 -0400 |
| commit | 6cc6b087c8cdfdf58a4bb166aa53950c4bfdef2d (patch) | |
| tree | 6c05bcc4d16f55de34c1194c7af03d3d710a74d1 /gcc | |
| parent | ab5934a8fe1dc70030fd73703c0fb6c68e96b086 (diff) | |
| download | gcc-6cc6b087c8cdfdf58a4bb166aa53950c4bfdef2d.zip gcc-6cc6b087c8cdfdf58a4bb166aa53950c4bfdef2d.tar.gz gcc-6cc6b087c8cdfdf58a4bb166aa53950c4bfdef2d.tar.bz2 | |
c++: Add testcase for already-fixed PR [PR70642]
We correctly reject the testcase in this PR ever since commit r9-7046.
gcc/testsuite/ChangeLog:
PR c++/70642
* g++.dg/cpp0x/alias-decl-70.C: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/alias-decl-70.C | 23 |
2 files changed, 28 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 22adacb..4f602ed 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2020-05-13 Patrick Palka <ppalka@redhat.com> + + PR c++/70642 + * g++.dg/cpp0x/alias-decl-70.C: New test. + 2020-05-13 Jakub Jelinek <jakub@redhat.com> PR debug/95080 diff --git a/gcc/testsuite/g++.dg/cpp0x/alias-decl-70.C b/gcc/testsuite/g++.dg/cpp0x/alias-decl-70.C new file mode 100644 index 0000000..28d9279 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/alias-decl-70.C @@ -0,0 +1,23 @@ +// PR c++/70642 +// { dg-do compile { target c++11 } } + +template<bool, class> struct enable_if {}; +template<class T> struct enable_if<true, T> { using type = T; }; + +template <typename X> +struct foo +{ + template <typename R> + using meow = typename enable_if<sizeof(X) == 0, R>::type; // { dg-error "no type named .type." } + + template <typename R = int> // 1 + meow<R> bar () = delete; + + int bar () + { + meow<int> i; // 2 + return 0; // 3 + } +}; + +int j = foo<long>().bar(); |