diff options
author | Marek Polacek <polacek@redhat.com> | 2019-06-22 16:29:06 +0000 |
---|---|---|
committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2019-06-22 16:29:06 +0000 |
commit | 943e7063e4eb691ecb43f383b4228d8601f10e97 (patch) | |
tree | 3ca42cfbaf856f2c4897e6a665a8185f64a858ba /gcc | |
parent | ec121f15f68b73d0c43d5fb485c93cf6dca4bc4d (diff) | |
download | gcc-943e7063e4eb691ecb43f383b4228d8601f10e97.zip gcc-943e7063e4eb691ecb43f383b4228d8601f10e97.tar.gz gcc-943e7063e4eb691ecb43f383b4228d8601f10e97.tar.bz2 |
re PR c++/65707 (internal compiler error: in unify, at cp/pt.c:18577)
PR c++/65707
PR c++/89480
PR c++/58836
* g++.dg/cpp0x/nondeduced5.C: New test.
* g++.dg/cpp0x/nondeduced6.C: New test.
* g++.dg/cpp0x/nondeduced7.C: New test.
From-SVN: r272589
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/testsuite/ChangeLog | 7 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/nondeduced5.C | 12 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/nondeduced6.C | 24 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/nondeduced7.C | 6 |
4 files changed, 49 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d1226e6..02a64ca 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,12 @@ 2019-06-22 Marek Polacek <polacek@redhat.com> + PR c++/65707 + PR c++/89480 + PR c++/58836 + * g++.dg/cpp0x/nondeduced5.C: New test. + * g++.dg/cpp0x/nondeduced6.C: New test. + * g++.dg/cpp0x/nondeduced7.C: New test. + PR c++/66256 * g++.dg/cpp0x/noexcept54.C: New test. diff --git a/gcc/testsuite/g++.dg/cpp0x/nondeduced5.C b/gcc/testsuite/g++.dg/cpp0x/nondeduced5.C new file mode 100644 index 0000000..dd890ec --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/nondeduced5.C @@ -0,0 +1,12 @@ +// PR c++/65707 +// { dg-do compile { target c++11 } } + +template <int a> struct b { + typedef int c; + constexpr operator c() { return a; } +}; +template <bool> struct d; +template <typename> struct e : b<true> {}; +template <typename, typename = d<true>> struct f; +template <typename g> struct f<g, d<e<g>{}>> {}; +template struct f<int>; diff --git a/gcc/testsuite/g++.dg/cpp0x/nondeduced6.C b/gcc/testsuite/g++.dg/cpp0x/nondeduced6.C new file mode 100644 index 0000000..9f68e30 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/nondeduced6.C @@ -0,0 +1,24 @@ +// PR c++/89480 +// { dg-do compile { target c++11 } } + +template <typename Foo, Foo Part> +struct TSelect {}; + +enum What { + The +}; + +template <typename Foo> +struct AnotherOneSelector { + static constexpr Foo Id = Foo::The; +}; + +template <typename Foo, typename SelectPartType> +struct THelper; + +template <typename Foo> +struct THelper<Foo, TSelect<Foo, Foo{AnotherOneSelector<Foo>::Id}>> {}; + +int main() { + THelper<What, TSelect<What, What::The>> t; +} diff --git a/gcc/testsuite/g++.dg/cpp0x/nondeduced7.C b/gcc/testsuite/g++.dg/cpp0x/nondeduced7.C new file mode 100644 index 0000000..a8aa073 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/nondeduced7.C @@ -0,0 +1,6 @@ +// PR c++/58836 +// { dg-do compile { target c++11 } } + +template<typename, int> struct A; +template<typename T> struct A<T, T{}> {}; // { dg-error "partial specialization" } +A<int, 0> a; |