Add CheckCallReturnType and start using it for regular call expressions. This will improve error messages. For

struct B;

B f();

void g() {
f();
}

We now get

t.cpp:6:3: error: calling 'f' with incomplete return type 'struct B'
  f();
  ^~~
t.cpp:3:3: note: 'f' declared here
B f();
  ^
t.cpp:1:8: note: forward declaration of 'struct B'
struct B;
       ^



git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@83692 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 4 insertions, 4 deletions

diff --git a/lib/Sema/SemaOverload.cpp b/lib/Sema/SemaOverload.cpp
index 04568a5d3a..9615a3cf57 100644
--- a/lib/Sema/SemaOverload.cpp
+++ b/lib/Sema/SemaOverload.cpp
@@ -2759,7 +2759,7 @@ void Sema::AddMemberOperatorCandidates(OverloadedOperatorKind Op,
   //        empty.
   if (const RecordType *T1Rec = T1->getAs<RecordType>()) {
     // Complete the type if it can be completed. Otherwise, we're done.
-    if (RequireCompleteType(OpLoc, T1, PartialDiagnostic(0)))
+    if (RequireCompleteType(OpLoc, T1, PDiag()))
       return;
 
     LookupResult Operators;
@@ -4219,10 +4219,10 @@ Sema::ResolveAddressOfOverloadedFunction(Expr *From, QualType ToType,
                                                          Matches.end());
     return getMostSpecialized(TemplateMatches.data(), TemplateMatches.size(), 
                               TPOC_Other, From->getLocStart(),
-                              PartialDiagnostic(0),
-                            PartialDiagnostic(diag::err_addr_ovl_ambiguous)
+                              PDiag(),
+                              PDiag(diag::err_addr_ovl_ambiguous)
                               << TemplateMatches[0]->getDeclName(), 
-                       PartialDiagnostic(diag::err_ovl_template_candidate));
+                              PDiag(diag::err_ovl_template_candidate));
   }
 
   //   [...] any function template specializations in the set are