diff options
| author | Paolo Carlini <paolo.carlini@oracle.com> | 2014-12-18 23:43:46 +0000 |
|---|---|---|
| committer | Paolo Carlini <paolo@gcc.gnu.org> | 2014-12-18 23:43:46 +0000 |
| commit | 18d27358a51ac42c918be18eff0d24ba0b1ef52a (patch) | |
| tree | e56c9954c897e34dca8033d9f37d493c2c54bc24 | |
| parent | 3696ea5851b122de32b3888be1a4121fc2038534 (diff) | |
| download | gcc-18d27358a51ac42c918be18eff0d24ba0b1ef52a.zip gcc-18d27358a51ac42c918be18eff0d24ba0b1ef52a.tar.gz gcc-18d27358a51ac42c918be18eff0d24ba0b1ef52a.tar.bz2 | |
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
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/sfinae53.C | 23 |
2 files changed, 28 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 24696e0..878a82e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -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> PR rtl-optimization/64291 diff --git a/gcc/testsuite/g++.dg/cpp0x/sfinae53.C b/gcc/testsuite/g++.dg/cpp0x/sfinae53.C new file mode 100644 index 0000000..19b00cf --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/sfinae53.C @@ -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!" ); +} |