diff options
author | Ben Cheng <bccheng@google.com> | 2014-03-25 22:37:19 -0700 |
---|---|---|
committer | Ben Cheng <bccheng@google.com> | 2014-03-25 22:37:19 -0700 |
commit | 1bc5aee63eb72b341f506ad058502cd0361f0d10 (patch) | |
tree | c607e8252f3405424ff15bc2d00aa38dadbb2518 /gcc-4.9/gcc/testsuite/g++.dg/template/sfinae4.C | |
parent | 283a0bf58fcf333c58a2a92c3ebbc41fb9eb1fdb (diff) | |
download | toolchain_gcc-1bc5aee63eb72b341f506ad058502cd0361f0d10.tar.gz toolchain_gcc-1bc5aee63eb72b341f506ad058502cd0361f0d10.tar.bz2 toolchain_gcc-1bc5aee63eb72b341f506ad058502cd0361f0d10.zip |
Initial checkin of GCC 4.9.0 from trunk (r208799).
Change-Id: I48a3c08bb98542aa215912a75f03c0890e497dba
Diffstat (limited to 'gcc-4.9/gcc/testsuite/g++.dg/template/sfinae4.C')
-rw-r--r-- | gcc-4.9/gcc/testsuite/g++.dg/template/sfinae4.C | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/g++.dg/template/sfinae4.C b/gcc-4.9/gcc/testsuite/g++.dg/template/sfinae4.C new file mode 100644 index 000000000..a9650511e --- /dev/null +++ b/gcc-4.9/gcc/testsuite/g++.dg/template/sfinae4.C @@ -0,0 +1,35 @@ +// DR 339 +// +// Test of the use of free functions with SFINAE +void foo(int) { } +template<typename T> void foo(T*) { } + +typedef char yes_type; +struct no_type { char data[2]; }; + +template<typename T> T create_a(); + +template<bool, typename T = void> struct enable_if { typedef T type; }; +template<typename T> struct enable_if<false, T> { }; + +template<typename T> + typename enable_if<(sizeof(foo(create_a<T const&>()), 1) > 0), + yes_type>::type + check_has_foo(const volatile T&); + +no_type check_has_foo(...); + +template<typename T> +struct has_foo +{ + static const bool value = + (sizeof(check_has_foo(create_a<T const&>())) == sizeof(yes_type)); +}; + +struct X { }; + +int a1[has_foo<int>::value? 1 : -1]; +int a2[has_foo<long>::value? 1 : -1]; +int a3[has_foo<int*>::value? 1 : -1]; +int a4[has_foo<X>::value? -1 : 1]; +int a5[has_foo<int X::*>::value? -1 : 1]; |