[libcxx-commits] [PATCH] D116380: [libc++] Use std::addressof in std::function::target
Louis Dionne via Phabricator via libcxx-commits
libcxx-commits at lists.llvm.org
Mon Jan 3 13:40:20 PST 2022
ldionne updated this revision to Diff 397130.
ldionne added a comment.
Rebase onto main for CI.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D116380/new/
https://reviews.llvm.org/D116380
Files:
libcxx/include/__functional/function.h
libcxx/test/std/utilities/function.objects/func.wrap/func.wrap.func/addressof.pass.cpp
libcxx/test/std/utilities/function.objects/func.wrap/func.wrap.func/robust_against_adl.pass.cpp
Index: libcxx/test/std/utilities/function.objects/func.wrap/func.wrap.func/robust_against_adl.pass.cpp
===================================================================
--- libcxx/test/std/utilities/function.objects/func.wrap/func.wrap.func/robust_against_adl.pass.cpp
+++ libcxx/test/std/utilities/function.objects/func.wrap/func.wrap.func/robust_against_adl.pass.cpp
@@ -27,8 +27,14 @@
struct Incomplete;
template<class T> struct Holder { T t; };
+
typedef Holder<Incomplete> *Ptr;
+template<class T>
+struct Callable {
+ void operator()() const { }
+};
+
Ptr no_args() { return nullptr; }
Ptr one_arg(Ptr p) { return p; }
Ptr two_args(Ptr p, Ptr) { return p; }
@@ -37,11 +43,11 @@
void one_arg_void(Ptr) { }
-int main(int, char**)
-{
+int main(int, char**) {
Ptr x = nullptr;
std::function<Ptr()> f(no_args); f();
std::function<Ptr(Ptr)> g(one_arg); g(x);
std::function<void(Ptr)> h(one_arg_void); h(x);
+ std::function<void()> i(Callable<Holder<Incomplete>>{});
return 0;
}
Index: libcxx/test/std/utilities/function.objects/func.wrap/func.wrap.func/addressof.pass.cpp
===================================================================
--- /dev/null
+++ libcxx/test/std/utilities/function.objects/func.wrap/func.wrap.func/addressof.pass.cpp
@@ -0,0 +1,32 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// <functional>
+
+// class function<R(ArgTypes...)>
+
+// This test runs in C++03, but we have deprecated using std::function in C++03.
+// ADDITIONAL_COMPILE_FLAGS: -D_LIBCPP_DISABLE_DEPRECATION_WARNINGS
+
+// Make sure we can use std::function with a type that has a hostile overload
+// of operator&().
+
+#include <functional>
+#include <cassert>
+
+#include "operator_hijacker.h"
+
+struct TrapAddressof : operator_hijacker {
+ int operator()() const { return 1; }
+};
+
+int main(int, char**) {
+ std::function<int()> f(TrapAddressof{});
+ assert(f() == 1);
+ return 0;
+}
Index: libcxx/include/__functional/function.h
===================================================================
--- libcxx/include/__functional/function.h
+++ libcxx/include/__functional/function.h
@@ -16,6 +16,7 @@
#include <__functional/invoke.h>
#include <__functional/unary_function.h>
#include <__iterator/iterator_traits.h>
+#include <__memory/addressof.h>
#include <__memory/allocator_traits.h>
#include <__memory/compressed_pair.h>
#include <__memory/shared_ptr.h>
@@ -360,7 +361,7 @@
__func<_Fp, _Alloc, _Rp(_ArgTypes...)>::target(const type_info& __ti) const _NOEXCEPT
{
if (__ti == typeid(_Fp))
- return &__f_.__target();
+ return _VSTD::addressof(__f_.__target());
return nullptr;
}
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D116380.397130.patch
Type: text/x-patch
Size: 3014 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/libcxx-commits/attachments/20220103/7d3bdaf3/attachment-0001.bin>
More information about the libcxx-commits
mailing list