[ 2014-06-08, Daniel improves wording ]
It has been ensured that the wording is in sync with the recent working paper and the usage of "any" has been improved to say "every" instead (the fix is similar to that applied by LWG 2150).
Previous resolution from Daniel [SUPERSEDED]:
Change header <memory> synopsis, [memory.syn] as indicated:
namespace std { […] // [specialized.algorithms], specialized algorithms: template <class T> constexpr T* addressof(T& r) noexcept; […] }
Change [specialized.addressof] as indicated:
template <class T> constexpr T* addressof(T& r) noexcept;-1- Returns: The actual address of the object or function referenced by r, even in the presence of an overloaded operator&.
-?- Remarks: For every lvalue core constant expression e ([expr.const]), the expression std::addressof(e) is a core constant expression.