P2810R4 is_debugger_present is_replaceable

Author: jensmaurer

source/lib-intro.tex

@@ -3294,6 +3294,13 @@
 operator delete[](void*, std::align_val_t, const std::nothrow_t&)
 \end{codeblock}
 
+\pnum
+A \Cpp{} program may provide the definition of
+the following function signature declared in header \libheaderref{debugging}:
+\begin{codeblock}
+std::is_debugger_present()
+\end{codeblock}
+
 \pnum
 The program's definitions are used instead of the default versions supplied by
 the implementation\iref{new.delete}.

source/support.tex

@@ -619,7 +619,7 @@
   // \libheader{deque}, \libheader{queue}, \libheader{stack}, \libheader{string}
 #define @\defnlibxname{cpp_lib_copyable_function}@                 202306L // also in \libheader{functional}
 #define @\defnlibxname{cpp_lib_coroutine}@                         201902L // also in \libheader{coroutine}
-#define @\defnlibxname{cpp_lib_debugging}@                         202311L // freestanding, also in \libheader{debugging}
+#define @\defnlibxname{cpp_lib_debugging}@                         202403L // freestanding, also in \libheader{debugging}
 #define @\defnlibxname{cpp_lib_destroying_delete}@                 201806L // freestanding, also in \libheader{new}
 #define @\defnlibxname{cpp_lib_enable_shared_from_this}@           201603L // also in \libheader{memory}
 #define @\defnlibxname{cpp_lib_endian}@                            201907L // freestanding, also in \libheader{bit}

source/utilities.tex

@@ -19261,9 +19261,18 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+\pnum
+\replaceable
+A \Cpp{} program may define a function with this function signature, and
+thereby displace the default version defined by the \Cpp{} standard library.
+
+\pnum
+\required
+This function has no preconditions.
 
 \pnum
-The semantics of this function are \impldef{semantics of \tcode{is_debugger_present}}.
+\default
+Implementation-defined.
 
 \begin{note}
 When tracing the execution of a program with a debugger, an implementation