LWG3814 Add freestanding items requested by NB comments

Fixes NB GB 085, GB 110, (partially) GB 130 (C++23 CD).

Author: burblebee

source/memory.tex

@@ -86,21 +86,22 @@
 
   // \ref{obj.lifetime}, explicit lifetime management
   template<class T>
-    T* start_lifetime_as(void* p) noexcept;
+    T* start_lifetime_as(void* p) noexcept;                                         // freestanding
   template<class T>
-    const T* start_lifetime_as(const void* p) noexcept;
+    const T* start_lifetime_as(const void* p) noexcept;                             // freestanding
   template<class T>
-    volatile T* start_lifetime_as(volatile void* p) noexcept;
+    volatile T* start_lifetime_as(volatile void* p) noexcept;                       // freestanding
   template<class T>
-    const volatile T* start_lifetime_as(const volatile void* p) noexcept;
+    const volatile T* start_lifetime_as(const volatile void* p) noexcept;           // freestanding
   template<class T>
-    T* start_lifetime_as_array(void* p, size_t n) noexcept;
+    T* start_lifetime_as_array(void* p, size_t n) noexcept;                         // freestanding
   template<class T>
-    const T* start_lifetime_as_array(const void* p, size_t n) noexcept;
+    const T* start_lifetime_as_array(const void* p, size_t n) noexcept;             // freestanding
   template<class T>
-    volatile T* start_lifetime_as_array(volatile void* p, size_t n) noexcept;
+    volatile T* start_lifetime_as_array(volatile void* p, size_t n) noexcept;       // freestanding
   template<class T>
-    const volatile T* start_lifetime_as_array(const volatile void* p, size_t n) noexcept;
+    const volatile T* start_lifetime_as_array(const volatile void* p,               // freestanding
+	                                      size_t n) noexcept;
 
   // \ref{allocator.tag}, allocator argument tag
   struct allocator_arg_t {                                                          // freestanding

source/ranges.tex

@@ -214,9 +214,9 @@
   template<@\libconcept{move_constructible}@ W, @\libconcept{semiregular}@ Bound = unreachable_sentinel_t>
     requires (is_object_v<W> && @\libconcept{same_as}@<W, remove_cv_t<W>>
       && (@\exposid{is-integer-like}@<Bound> || @\libconcept{same_as}@<Bound, unreachable_sentinel_t>))
-  class repeat_view;
+  class repeat_view;                                                                // freestanding
 
-  namespace views { inline constexpr @\unspec@ repeat = @\unspec@; }
+  namespace views { inline constexpr @\unspecnc@ repeat = @\unspecnc@; }            // freestanding
 
   // \ref{range.istream}, istream view
   template<@\libconcept{movable}@ Val, class CharT, class Traits = char_traits<CharT>>
@@ -513,19 +513,20 @@
   // \ref{range.stride}, stride view
   template<@\libconcept{input_range}@ V>
     requires @\libconcept{view}@<V>
-  class stride_view;
+  class stride_view;                                                                // freestanding
 
   template<class V>
-    inline constexpr bool enable_borrowed_range<stride_view<V>> = enable_borrowed_range<V>;
+    inline constexpr bool enable_borrowed_range<stride_view<V>> =                   // freestanding
+      enable_borrowed_range<V>;
 
-  namespace views { inline constexpr @\unspecnc@ stride = @\unspecnc@; }
+  namespace views { inline constexpr @\unspecnc@ stride = @\unspecnc@; }            // freestanding
 
   // \ref{range.cartesian}, cartesian product view
   template<@\libconcept{input_range}@ First, @\libconcept{forward_range}@... Vs>
     requires (@\libconcept{view}@<First> && ... && @\libconcept{view}@<Vs>)
-  class cartesian_product_view;
+  class cartesian_product_view;                                                     // freestanding
 
-  namespace views { inline constexpr @\unspecnc@ cartesian_product = @\unspecnc@; }
+  namespace views { inline constexpr @\unspecnc@ cartesian_product = @\unspecnc@; } // freestanding
 }
 
 namespace std {

source/threads.tex

@@ -2049,13 +2049,13 @@
 \begin{codeblock}
 namespace std {
   // \ref{atomics.order}, order and consistency
-  enum class memory_order : @\unspec@;                                            // freestanding
-  inline constexpr memory_order memory_order_relaxed = memory_order::relaxed;
-  inline constexpr memory_order memory_order_consume = memory_order::consume;
-  inline constexpr memory_order memory_order_acquire = memory_order::acquire;
-  inline constexpr memory_order memory_order_release = memory_order::release;
-  inline constexpr memory_order memory_order_acq_rel = memory_order::acq_rel;
-  inline constexpr memory_order memory_order_seq_cst = memory_order::seq_cst;
+  enum class memory_order : @\unspecnc@;                                            // freestanding
+  inline constexpr memory_order memory_order_relaxed = memory_order::relaxed;       // freestanding
+  inline constexpr memory_order memory_order_consume = memory_order::consume;       // freestanding
+  inline constexpr memory_order memory_order_acquire = memory_order::acquire;       // freestanding
+  inline constexpr memory_order memory_order_release = memory_order::release;       // freestanding
+  inline constexpr memory_order memory_order_acq_rel = memory_order::acq_rel;       // freestanding
+  inline constexpr memory_order memory_order_seq_cst = memory_order::seq_cst;       // freestanding
 
   template<class T>
     T kill_dependency(T y) noexcept;                                                // freestanding