diff --git a/clang/lib/Sema/SemaChecking.cpp b/clang/lib/Sema/SemaChecking.cpp --- a/clang/lib/Sema/SemaChecking.cpp +++ b/clang/lib/Sema/SemaChecking.cpp @@ -2413,7 +2413,7 @@ bool ReturnsPointer = BuiltinID == Builtin::BIaddressof || BuiltinID == Builtin::BI__addressof; if (!(Param->isReferenceType() && - (ReturnsPointer ? Result->isPointerType() + (ReturnsPointer ? Result->isAnyPointerType() : Result->isReferenceType()) && Context.hasSameUnqualifiedType(Param->getPointeeType(), Result->getPointeeType()))) { diff --git a/clang/test/SemaObjCXX/unsupported-signature-std-addressof-id.mm b/clang/test/SemaObjCXX/unsupported-signature-std-addressof-id.mm new file mode 100644 --- /dev/null +++ b/clang/test/SemaObjCXX/unsupported-signature-std-addressof-id.mm @@ -0,0 +1,11 @@ +// RUN: %clang_cc1 -fsyntax-only -fobjc-arc -fobjc-runtime-has-weak -verify %s +// expected-no-diagnostics + +namespace std { + template + T* addressof(T&); +} + +void f(id obj) { + (void)std::addressof(*obj); +}