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

re PR c++/70563 (SFINAE fails when trying invalid template instantiation)

Browse source 
2018-05-08  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/70563
	* g++.dg/cpp0x/sfinae62.C: New.

From-SVN: r260030
This commit is contained in:
Paolo Carlini 2018-05-08 10:03:39 +00:00 • committed by Paolo Carlini
parent f22d79731a
commit 4430130d28
2 changed files with 46 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 @@
2018-05-08 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/70563
* g++.dg/cpp0x/sfinae62.C: New.
2018-05-08 Richard Sandiford <richard.sandiford@linaro.org>
* gcc.target/aarch64/sve/vcond_6.c (LOOP): Unconditionally

41
gcc/testsuite/g++.dg/cpp0x/sfinae62.C Normal file
View file

@ -0,0 +1,41 @@
// PR c++/70563
// { dg-do compile { target c++11 } }
template<typename... T> using void_t = void;
template<typename T> struct TemporaryBindObject
{
};
struct MyTrueType
{
static constexpr bool value = true;
};
struct MyFalseType
{
static constexpr bool value = false;
};
template<template<typename...> class Dest> struct TestValidBind
{
template<typename T, typename = void_t<>> struct toTypesOf : MyFalseType
{};
template<template<typename...> class Src, typename... Ts> struct toTypesOf<Src<Ts...>, void_t<Dest<Ts...,float>>> : MyTrueType
{};
};
template<typename T> struct OneParamStruct
{
};
template<typename T1, typename T2> struct TwoParamStruct
{
};
using tmp = TemporaryBindObject<int>;
int main()
{
bool value1 = TestValidBind<TwoParamStruct>::toTypesOf<TemporaryBindObject<int>>::value;
bool value2 = TestValidBind<OneParamStruct>::toTypesOf<TemporaryBindObject<int>>::value;
}