diff options
| author | Douglas Gregor <dgregor@apple.com> | 2009-09-14 20:00:47 +0000 |
|---|---|---|
| committer | Douglas Gregor <dgregor@apple.com> | 2009-09-14 20:00:47 +0000 |
| commit | 1282029f3d37f482bbba3c38ea9da17a78d11d40 (patch) | |
| tree | 571056bc540ad53f9df86da01bf106564b3bfac1 /test | |
| parent | a7c5b0832cc78efa899463b8faa573a1473d53d2 (diff) | |
Tighten up checking of non-dependent arguments as part of template
argument deduction. This fixes the new test case (since partial
ordering does not have a "verify the results of deduction" step), and
will allow failed template argument deductions to return more quickly
for, e.g., matching class template partial specializations.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@81779 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/CXX/temp/temp.fct.spec/temp.deduct/temp.deduct.partial/p11.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/CXX/temp/temp.fct.spec/temp.deduct/temp.deduct.partial/p11.cpp b/test/CXX/temp/temp.fct.spec/temp.deduct/temp.deduct.partial/p11.cpp new file mode 100644 index 0000000000..a93b541213 --- /dev/null +++ b/test/CXX/temp/temp.fct.spec/temp.deduct/temp.deduct.partial/p11.cpp @@ -0,0 +1,10 @@ +// RUN: clang-cc -fsyntax-only %s + +template <class T> T* f(int); // #1 +template <class T, class U> T& f(U); // #2 + +void g() { + int *ip = f<int>(1); // calls #1 +} + +// FIXME: test occurrences of template parameters in non-deduced contexts. |