diff options
| author | Paolo Carlini <paolo.carlini@oracle.com> | 2014-09-29 09:06:31 +0000 |
|---|---|---|
| committer | Paolo Carlini <paolo@gcc.gnu.org> | 2014-09-29 09:06:31 +0000 |
| commit | f1d6f494666f6fb9ee061d21a1a190e45c2ea83c (patch) | |
| tree | 0c3264a2f2196153730aeeb0209da9381eb4d179 | |
| parent | 0fe81a0f05867af6818da309fb3b54678ca0e93f (diff) | |
| download | gcc-f1d6f494666f6fb9ee061d21a1a190e45c2ea83c.zip gcc-f1d6f494666f6fb9ee061d21a1a190e45c2ea83c.tar.gz gcc-f1d6f494666f6fb9ee061d21a1a190e45c2ea83c.tar.bz2 | |
re PR c++/51385 (Unnecessary instantiation converting to pointer to template class instance)
2014-09-29 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/51385
* g++.dg/template/pr51385.C: New.
From-SVN: r215680
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/pr51385.C | 24 |
2 files changed, 29 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 870ca0e..925adf8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2014-09-29 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/51385 + * g++.dg/template/pr51385.C: New. + 2014-09-28 Robert Suchanek <robert.suchanek@imgtec.com> * gcc.target/mips/20140928.c: New test. diff --git a/gcc/testsuite/g++.dg/template/pr51385.C b/gcc/testsuite/g++.dg/template/pr51385.C new file mode 100644 index 0000000..e769954 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/pr51385.C @@ -0,0 +1,24 @@ +// PR c++/51385 + +template <__SIZE_TYPE__ N> struct NTmpl; +template <typename T, typename U, typename V = NTmpl<sizeof(T *)> > +struct PtrConvs { + enum { bad = 1 }; +}; + +template <typename Target, typename Source> +struct PtrConvs<Target, Source, NTmpl<sizeof (*(Target **)0 = (Source *)0)> >; + +template<typename T> struct test { static const bool value = true; }; +template<> struct test<short> { static const bool value = false; }; + +template <typename T> +struct FussyTemplate +{ + int sa[test<T>::value ? 1 : -1]; +}; + +struct B { }; + +typedef char chk[1]; +typedef char chk[PtrConvs<FussyTemplate<short>, B>::bad]; |