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/cpp0x/sfinae42.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/cpp0x/sfinae42.C')
-rw-r--r-- | gcc-4.9/gcc/testsuite/g++.dg/cpp0x/sfinae42.C | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/g++.dg/cpp0x/sfinae42.C b/gcc-4.9/gcc/testsuite/g++.dg/cpp0x/sfinae42.C new file mode 100644 index 000000000..a7a23a317 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/g++.dg/cpp0x/sfinae42.C @@ -0,0 +1,46 @@ +// PR c++/54738 +// { dg-do compile { target c++11 } } + +template<class T> +T&& declval(); + +template<class F, class T1, class... Ts> +decltype(((*declval<T1>()).*declval<F>())(declval<Ts>()...)) +test1(int); + +template<class...> +void test1(...); + +template<class F, class T1, class... Ts> +decltype((declval<T1>().*declval<F>())(declval<Ts>()...)) +test2(int); + +template<class...> +void test2(...); + +struct S {}; + +typedef void (S::*Func)(int) const; +typedef void (S::*Func2)(int); + +typedef decltype(test1<Func, S*>(0)) type1a; +typedef decltype(test1<Func, S*&>(0)) type1b; +typedef decltype(test1<Func, S*, int, int>(0)) type1c; +typedef decltype(test1<Func, S*&, int, int>(0)) type1d; + +typedef decltype(test2<Func, S>(0)) type2a; +typedef decltype(test2<Func, S&>(0)) type2b; +typedef decltype(test2<Func, S, int, int>(0)) type2c; +typedef decltype(test2<Func, S&, int, int>(0)) type2d; + +typedef decltype(test1<Func, S*, S>(0)) type3a; +typedef decltype(test1<Func, S*&, S>(0)) type3b; + +typedef decltype(test2<Func, S, S>(0)) type4a; +typedef decltype(test2<Func, S&, S>(0)) type4b; + +typedef decltype(test1<Func2, const S*, int>(0)) type5a; +typedef decltype(test1<Func2, const S*&, int>(0)) type5b; + +typedef decltype(test2<Func2, const S, int>(0)) type6a; +typedef decltype(test2<Func2, const S&, int>(0)) type6b; |