[libcxx-commits] [PATCH] D61761: P1144 "Trivially relocatable" (1/3): is_trivially_relocatable, relocate_at, and uninitialized_relocate

[Arthur O'Dwyer via Phabricator via libcxx-commits]

Quuxplusone updated this revision to Diff 205918.
Quuxplusone edited the summary of this revision.
Quuxplusone added a comment.

- Hide all the P1144 <https://reviews.llvm.org/P1144> names consistently behind a `__libcpp_` prefix.
- Add a unit test for `__libcpp_relocate_at`.
- Use `remove_all_extents` in the fallback implementation of `is_trivially_relocatable<T>`, so that `is_trivially_relocatable_v<int[10]>` will be `true`. (`is_trivially_relocatable_v<int[]>` currently has UB according to P1144 <https://reviews.llvm.org/P1144>, because `int[]` is an incomplete type.)


Repository:
  rCXX libc++

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D61761/new/

https://reviews.llvm.org/D61761

Files:
  include/memory
  include/type_traits
  test/libcxx/type_traits/is_trivially_relocatable.pass.cpp
  test/libcxx/utilities/memory/specialized.algorithms/specialized.relocate/relocate_at.pass.cpp
  test/libcxx/utilities/memory/specialized.algorithms/uninitialized.relocate/uninitialized_relocate.pass.cpp
  test/libcxx/utilities/memory/specialized.algorithms/uninitialized.relocate/uninitialized_relocate_n.pass.cpp
  test/libcxx/utilities/meta/meta.unary/meta.unary.prop/is_trivially_relocatable.pass.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D61761.205918.patch
Type: text/x-patch
Size: 39570 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/libcxx-commits/attachments/20190620/084a3731/attachment-0001.bin>