[cfe-commits] r83177 - in /cfe/trunk: lib/Sema/SemaTemplateDeduction.cpp test/CXX/temp/temp.fct.spec/temp.deduct/temp.deduct.call/p3.cpp

[Douglas Gregor]

Author: dgregor
Date: Wed Sep 30 17:13:51 2009
New Revision: 83177

URL: http://llvm.org/viewvc/llvm-project?rev=83177&view=rev
Log:
Improve template argument deduction in the case where the parameter
type is a template-id (e.g., basic_ostream<CharT, Traits>) and the
argument type is a class that has a derived class matching the
parameter type. Previously, we were giving up on template argument
deduction too early.


Modified:
    cfe/trunk/lib/Sema/SemaTemplateDeduction.cpp
    cfe/trunk/test/CXX/temp/temp.fct.spec/temp.deduct/temp.deduct.call/p3.cpp

Modified: cfe/trunk/lib/Sema/SemaTemplateDeduction.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaTemplateDeduction.cpp?rev=83177&r1=83176&r2=83177&view=diff

==============================================================================
--- cfe/trunk/lib/Sema/SemaTemplateDeduction.cpp (original)
+++ cfe/trunk/lib/Sema/SemaTemplateDeduction.cpp Wed Sep 30 17:13:51 2009
@@ -651,8 +651,7 @@
         = DeduceTemplateArguments(Context, TemplateParams, SpecParam, Arg,
                                   Info, Deduced);
 
-      if (Result && (TDF & TDF_DerivedClass) &&
-          Result != Sema::TDK_Inconsistent) {
+      if (Result && (TDF & TDF_DerivedClass)) {
         // C++ [temp.deduct.call]p3b3:
         //   If P is a class, and P has the form template-id, then A can be a
         //   derived class of the deduced A. Likewise, if P is a pointer to a
@@ -690,11 +689,6 @@
               // note that we had some success.
               if (BaseResult == Sema::TDK_Success)
                 Successful = true;
-              // If deduction against this base resulted in an inconsistent
-              // set of deduced template arguments, template argument
-              // deduction fails.
-              else if (BaseResult == Sema::TDK_Inconsistent)
-                return BaseResult;
             }
 
             // Visit base classes

Modified: cfe/trunk/test/CXX/temp/temp.fct.spec/temp.deduct/temp.deduct.call/p3.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CXX/temp/temp.fct.spec/temp.deduct/temp.deduct.call/p3.cpp?rev=83177&r1=83176&r2=83177&view=diff

==============================================================================
--- cfe/trunk/test/CXX/temp/temp.fct.spec/temp.deduct/temp.deduct.call/p3.cpp (original)
+++ cfe/trunk/test/CXX/temp/temp.fct.spec/temp.deduct/temp.deduct.call/p3.cpp Wed Sep 30 17:13:51 2009
@@ -66,6 +66,7 @@
 struct D : public C<int, 1> { };
 struct E : public D { };
 struct F : A<float> { };
+struct G : A<float>, C<int, 1> { };
 
 template<typename T, int I>
   C<T, I> *f4a(const C<T, I>&);
@@ -75,12 +76,13 @@
   C<T, I> *f4c(C<T, I>*);
 int *f4c(...);
 
-void test_f4(D d, E e, F f) {
+void test_f4(D d, E e, F f, G g) {
   C<int, 1> *ci1a = f4a(d);
   C<int, 1> *ci2a = f4a(e);
   C<int, 1> *ci1b = f4b(d);
   C<int, 1> *ci2b = f4b(e);
   C<int, 1> *ci1c = f4c(&d);
   C<int, 1> *ci2c = f4c(&e);
+  C<int, 1> *ci3c = f4c(&g);
   int       *ip1 = f4c(&f);
 }