diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/sfinae66.C | 32 |
2 files changed, 37 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 320095c..008e448 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2020-05-18 Marek Polacek <polacek@redhat.com> + + PR c++/95143 + * g++.dg/cpp0x/sfinae66.C: New test. + 2020-05-18 Uroš Bizjak <ubizjak@gmail.com> PR target/95169 diff --git a/gcc/testsuite/g++.dg/cpp0x/sfinae66.C b/gcc/testsuite/g++.dg/cpp0x/sfinae66.C new file mode 100644 index 0000000..49067cd --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/sfinae66.C @@ -0,0 +1,32 @@ +// PR c++/95143 +// { dg-do compile { target c++11 } } + +struct false_type { + static constexpr bool value = false; +}; + +struct true_type{ + static constexpr bool value = true; +}; + +template<class T> +T&& declval() noexcept; + +template<typename T, typename U, typename = U> +struct is_static_castable : false_type +{}; +template<typename T, typename U> +struct is_static_castable<T, U, decltype(static_cast<U>(declval<T>()))> : true_type +{}; + +class Base { }; +struct A { }; +class B: public Base { }; + +int main() +{ + constexpr auto canCast = is_static_castable<A, B>::value; + static_assert(!canCast, ""); + constexpr auto canCast2 = is_static_castable<A, A>::value; + static_assert(canCast2, ""); +} |