diff options
| author | Paolo Carlini <paolo.carlini@oracle.com> | 2013-07-10 17:45:43 +0000 |
|---|---|---|
| committer | Paolo Carlini <paolo@gcc.gnu.org> | 2013-07-10 17:45:43 +0000 |
| commit | 1fe62960d35e6cdf262a0417d2d81e2cad5e025f (patch) | |
| tree | 5d70dff603e62a63f8c30e3b4644bd5c011c2ad9 | |
| parent | d5e48350b40fcec6459dceef282f2ecf6eba3201 (diff) | |
| download | gcc-1fe62960d35e6cdf262a0417d2d81e2cad5e025f.zip gcc-1fe62960d35e6cdf262a0417d2d81e2cad5e025f.tar.gz gcc-1fe62960d35e6cdf262a0417d2d81e2cad5e025f.tar.bz2 | |
re PR c++/57874 (No SFINAE on ADL lookup failure)
2013-07-10 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/57874
* g++.dg/cpp0x/sfinae48.C: New.
From-SVN: r200880
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/sfinae48.C | 21 |
2 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index cbe3ae0..7191eb5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2013-07-10 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/57874 + * g++.dg/cpp0x/sfinae48.C: New. + 2013-07-10 Jakub Jelinek <jakub@redhat.com> PR preprocessor/57824 diff --git a/gcc/testsuite/g++.dg/cpp0x/sfinae48.C b/gcc/testsuite/g++.dg/cpp0x/sfinae48.C new file mode 100644 index 0000000..ba728d9 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/sfinae48.C @@ -0,0 +1,21 @@ +// PR c++/57874 +// { dg-do compile { target c++11 } } + +namespace NX +{ + struct X {}; + void foo(X) {} +} + +namespace NY +{ + struct Y {}; +} + +template<class T> +auto ADLfoo(T&&) -> decltype((foo(T{}), short())); + +char ADLfoo(...); + +static_assert(sizeof(ADLfoo(NY::Y{})) == 1, ""); +static_assert(sizeof(ADLfoo(NX::X{})) == 2, ""); |