diff options
author | John McCall <rjmccall@apple.com> | 2009-12-09 03:35:25 +0000 |
---|---|---|
committer | John McCall <rjmccall@apple.com> | 2009-12-09 03:35:25 +0000 |
commit | daa3d6bb502a356780ab112623ff64ff1f501e6f (patch) | |
tree | 400603ba67b58f53a11d78b3609fef68bf8bd021 /clang/lib/Sema/SemaOverload.cpp | |
parent | 31c7e88667174a4410e8eeb1f0322db7c1daa61e (diff) | |
download | bcm5719-llvm-daa3d6bb502a356780ab112623ff64ff1f501e6f.tar.gz bcm5719-llvm-daa3d6bb502a356780ab112623ff64ff1f501e6f.zip |
Rename Sema::IsOverload to Sema::CheckOverload. Teach it to ignore unresolved
using value decls; we optimistically assume they won't turn into conflicts.
Teach it to tell the caller *why* the function doesn't overload with the returned
decl; this will be useful for using hiding.
llvm-svn: 90939
Diffstat (limited to 'clang/lib/Sema/SemaOverload.cpp')
-rw-r--r-- | clang/lib/Sema/SemaOverload.cpp | 28 |
1 files changed, 15 insertions, 13 deletions
diff --git a/clang/lib/Sema/SemaOverload.cpp b/clang/lib/Sema/SemaOverload.cpp index 47393f7b234..e59b171f7e1 100644 --- a/clang/lib/Sema/SemaOverload.cpp +++ b/clang/lib/Sema/SemaOverload.cpp @@ -262,9 +262,9 @@ void ImplicitConversionSequence::DebugPrint() const { // New and Old cannot be overloaded, e.g., if New has the same // signature as some function in Old (C++ 1.3.10) or if the Old // declarations aren't functions (or function templates) at all. When -// it does return false and Old is an overload set, MatchedDecl will -// be set to point to the FunctionDecl that New cannot be overloaded -// with. +// it does return false, MatchedDecl will point to the decl that New +// cannot be overloaded with. This decl may be a UsingShadowDecl on +// top of the underlying declaration. // // Example: Given the following input: // @@ -286,31 +286,33 @@ void ImplicitConversionSequence::DebugPrint() const { // identical (return types of functions are not part of the // signature), IsOverload returns false and MatchedDecl will be set to // point to the FunctionDecl for #2. -bool -Sema::IsOverload(FunctionDecl *New, LookupResult &Old, NamedDecl *&Match) { +Sema::OverloadKind +Sema::CheckOverload(FunctionDecl *New, LookupResult &Old, NamedDecl *&Match) { for (LookupResult::iterator I = Old.begin(), E = Old.end(); I != E; ++I) { NamedDecl *OldD = (*I)->getUnderlyingDecl(); if (FunctionTemplateDecl *OldT = dyn_cast<FunctionTemplateDecl>(OldD)) { if (!IsOverload(New, OldT->getTemplatedDecl())) { - Match = OldT; - return false; + Match = *I; + return Ovl_Match; } } else if (FunctionDecl *OldF = dyn_cast<FunctionDecl>(OldD)) { if (!IsOverload(New, OldF)) { - Match = OldF; - return false; + Match = *I; + return Ovl_Match; } - } else { + } else if (!isa<UnresolvedUsingValueDecl>(OldD)) { // (C++ 13p1): // Only function declarations can be overloaded; object and type // declarations cannot be overloaded. - Match = OldD; - return false; + // But we permit unresolved using value decls and diagnose the error + // during template instantiation. + Match = *I; + return Ovl_NonFunction; } } - return true; + return Ovl_Overload; } bool Sema::IsOverload(FunctionDecl *New, FunctionDecl *Old) { |