efriedma added inline comments.
================
Comment at: include/new:174
+_LIBCPP_NODISCARD_AFTER_CXX17 inline _LIBCPP_INLINE_VISIBILITY
+constexpr _Tp* launder(_Tp* __p) noexcept { return __p;}
+#endif
----------------
efriedma wrote:
> How is the compiler supposed to know that "std::__1::launder()" has special
> semantics?
Oh, wait, is this actually not in the __1 namespace? Sort of hard to tell
because the patch wasn't posted with enough context.
It isn't exactly great to special-case functions named "std::launder"... but
wouldn't be the first name in the std namespace which has special compiler
semantics.
https://reviews.llvm.org/D40144
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
