procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

c++: Add test for c++/95143

Browse source 
Already fixed by r10-8124-gceae6a13366d9646e172fc943fe8e221b70f0920.

	PR c++/95143
	* g++.dg/cpp0x/sfinae66.C: New test.
This commit is contained in:
Marek Polacek 2020-05-18 13:50:39 -04:00
parent 24f68831d2
commit be464161b4
2 changed files with 37 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 @@
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

32
gcc/testsuite/g++.dg/cpp0x/sfinae66.C Normal file
View file

@ -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, "");
}