diff options
author | Douglas Gregor <dgregor@apple.com> | 2009-02-18 21:56:37 +0000 |
---|---|---|
committer | Douglas Gregor <dgregor@apple.com> | 2009-02-18 21:56:37 +0000 |
commit | 48f3bb9f780f6e64ab71ba0202ca04b07473805a (patch) | |
tree | df7ad34f04fbb5b8a22e75e34e31471a6ee6d511 /lib/Sema/SemaExprCXX.cpp | |
parent | 4fd83ea566f4a0c083001c84b75da6cc8c99c1d6 (diff) |
Downgrade complaints about calling unavailable functions to a warning
(as GCC does), except when we've performed overload resolution and
found an unavailable function: in this case, we actually error.
Merge the checking of unavailable functions with the checking for
deprecated functions. This unifies a bit of code, and makes sure that
we're checking for unavailable functions in the right places. Also,
this check can cause an error. We may, eventually, want an option to
make "unavailable" warnings into errors.
Implement much of the logic needed for C++0x deleted functions, which
are effectively the same as "unavailable" functions (but always cause
an error when referenced). However, we don't have the syntax to
specify deleted functions yet :)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@64955 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/SemaExprCXX.cpp')
-rw-r--r-- | lib/Sema/SemaExprCXX.cpp | 21 |
1 files changed, 15 insertions, 6 deletions
diff --git a/lib/Sema/SemaExprCXX.cpp b/lib/Sema/SemaExprCXX.cpp index d5d2b08130..ea59b644c9 100644 --- a/lib/Sema/SemaExprCXX.cpp +++ b/lib/Sema/SemaExprCXX.cpp @@ -473,6 +473,13 @@ bool Sema::FindAllocationOverload(SourceLocation StartLoc, SourceRange Range, << Name << Range; PrintOverloadCandidates(Candidates, /*OnlyViable=*/true); return true; + + case OR_Deleted: + Diag(StartLoc, diag::err_ovl_deleted_call) + << Best->Function->isDeleted() + << Name << Range; + PrintOverloadCandidates(Candidates, /*OnlyViable=*/true); + return true; } assert(false && "Unreachable, bad result from BestViableFunction"); return true; @@ -775,20 +782,22 @@ Sema::PerformImplicitConversion(Expr *&From, QualType ToType, break; case ICK_Array_To_Pointer: + FromType = Context.getArrayDecayedType(FromType); + ImpCastExprToType(From, FromType); + break; + + case ICK_Function_To_Pointer: if (FromType->isOverloadType()) { FunctionDecl *Fn = ResolveAddressOfOverloadedFunction(From, ToType, true); if (!Fn) return true; + if (DiagnoseUseOfDecl(Fn, From->getSourceRange().getBegin())) + return true; + FixOverloadedFunctionReference(From, Fn); FromType = From->getType(); - } else { - FromType = Context.getArrayDecayedType(FromType); } - ImpCastExprToType(From, FromType); - break; - - case ICK_Function_To_Pointer: FromType = Context.getPointerType(FromType); ImpCastExprToType(From, FromType); break; |