git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

re PR c++/59204 (Incorrect metaprogram evaluation in SFINAE context) 

2014-12-18  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/59204
	* g++.dg/cpp0x/sfinae53.C: New.

From-SVN: r218878
This commit is contained in:
Paolo Carlini 2014-12-18 23:43:46 +00:00 committed by Paolo Carlini
parent 3696ea5851
commit 18d27358a5
2 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2014-12-18 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/59204
* g++.dg/cpp0x/sfinae53.C: New.
2014-12-18 Vladimir Makarov <vmakarov@redhat.com> 2014-12-18 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/64291 PR rtl-optimization/64291

23
gcc/testsuite/g++.dg/cpp0x/sfinae53.C Normal file
View File

@ -0,0 +1,23 @@
// PR c++/59204
// { dg-do compile { target c++11 } }
template< class T >
using void_t = void;
template< class T, class = void >
struct has_type
{ constexpr static bool value = false; };
template< class T >
struct has_type<T, void_t<typename T::type>>
{ constexpr static bool value = true; };
struct yes { using type = int; };
struct no { };
int
main( )
{
static_assert( has_type<yes>::value, "false negative!" );
static_assert( not has_type<no >::value, "false positive!" );
}