diff options
| author | Patrick Palka <ppalka@redhat.com> | 2020-05-13 09:20:44 -0400 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:03:13 -0300 |
| commit | e75a64879fbf5ebd62ca913259acf08d744590b7 (patch) | |
| tree | 758fb1dc52e0f028e54774ecbb1c0fae10c17bfa | |
| parent | b461e01bbdd58bb701215634e2a950dde44a2528 (diff) | |
| download | gcc-e75a64879fbf5ebd62ca913259acf08d744590b7.zip gcc-e75a64879fbf5ebd62ca913259acf08d744590b7.tar.gz gcc-e75a64879fbf5ebd62ca913259acf08d744590b7.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.
| -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(); |