diff options
| author | Marek Polacek <polacek@redhat.com> | 2020-05-18 13:50:39 -0400 |
|---|---|---|
| committer | Marek Polacek <polacek@redhat.com> | 2020-05-18 13:50:39 -0400 |
| commit | be464161b4ae128681958d94aa460531cf30e0a4 (patch) | |
| tree | 8c4dea1f39970628b51e5b832040c407206a4847 /gcc | |
| parent | 24f68831d25bad739a6fe167a58b5b4c0c3cbf9a (diff) | |
| download | gcc-be464161b4ae128681958d94aa460531cf30e0a4.zip gcc-be464161b4ae128681958d94aa460531cf30e0a4.tar.gz gcc-be464161b4ae128681958d94aa460531cf30e0a4.tar.bz2 | |
c++: Add test for c++/95143
Already fixed by r10-8124-gceae6a13366d9646e172fc943fe8e221b70f0920.
PR c++/95143
* g++.dg/cpp0x/sfinae66.C: New test.
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, ""); +} |