Merge branch 'main' into motions-2025-06-lwg-8

Author: eisenwave

.gitignore

@@ -21,3 +21,4 @@ std-gram.ext
 tools/sections
 *.synctex.gz
 *.synctex*
+.check.stamp

source/Makefile

@@ -30,3 +30,12 @@ clean-examples:
 	rm -f $(EXAMPLES)
 
 examples: $(EXAMPLES)
+
+check: .check.stamp
+
+.check.stamp: ../tools/check-source.sh *.tex
+	@echo "Running tools/check-source.sh"
+	@../tools/check-source.sh
+	@touch $@
+
+.PHONY: default refresh refresh full quiet clean-figures figures clean-examples examples check

source/algorithms.tex

@@ -640,7 +640,7 @@
 
 \indexlibraryglobal{is_execution_policy}%
 \begin{itemdecl}
-template<class T> struct is_execution_policy { @\seebelow@ };
+template<class T> struct is_execution_policy;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -9900,24 +9900,24 @@
 
 \indexlibrary{generalized_noncommutative_sum@\tcode{\placeholder{GENERALIZED_NONCOMMUTATIVE_SUM}}}%
 \pnum
-Define \tcode{\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(op, a1, ..., aN)}
+Define \tcode{\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(op, a1, $\dotsc$, aN)}
 as follows:
 \begin{itemize}
 \item
 \tcode{a1} when \tcode{N} is \tcode{1}, otherwise
 
 \item
-\tcode{op(\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(op, a1, ..., aK),} \\
-\tcode{\phantom{op(}\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(op, aM, ..., aN))}
+\tcode{op(\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(op, a1, $\dotsc$, aK),} \\
+\tcode{\phantom{op(}\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(op, aM, $\dotsc$, aN))}
 for any \tcode{K} where $1 < \mathtt{K}+1 = \mathtt{M} \leq \mathtt{N}$.
 \end{itemize}
 
 \indexlibrary{generalized_sum@\tcode{\placeholder{GENERALIZED_SUM}}}%
 \pnum
-Define \tcode{\placeholdernc{GENERALIZED_SUM}(op, a1, ..., aN)} as
-\tcode{\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(op, b1, ..., bN)},
-where
-\tcode{b1, ..., bN} may be any permutation of \tcode{a1, ..., aN}.
+Define \tcode{\placeholdernc{GENERALIZED_SUM}(op, a1, $\dotsc$, aN)} as
+\tcode{\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(op, b1, $\dotsc$, bN)},
+\linebreak{}where
+\tcode{b1, $\dotsc$, bN} may be any permutation of \tcode{a1, $\dotsc$, aN}.
 
 \rSec2[accumulate]{Accumulate}
 
@@ -10065,7 +10065,7 @@
 
 \pnum
 \returns
-\tcode{\placeholdernc{GENERALIZED_SUM}(binary_op, init, *i, ...)}
+\tcode{\placeholdernc{GENERALIZED_SUM}(binary_op, init, *i, $\dotsc$)}
 for every \tcode{i} in \range{first}{last}.
 
 \pnum
@@ -10207,7 +10207,7 @@
 \pnum
 \returns
 \begin{codeblock}
-@\placeholdernc{GENERALIZED_SUM}@(binary_op1, init, binary_op2(*i, *(first2 + (i - first1))), ...)
+@\placeholdernc{GENERALIZED_SUM}@(binary_op1, init, binary_op2(*i, *(first2 + (i - first1))), @$\dotsc$@)
 \end{codeblock}
 for every iterator \tcode{i} in \range{first1}{last1}.
 
@@ -10256,7 +10256,7 @@
 \pnum
 \returns
 \begin{codeblock}
-@\placeholdernc{GENERALIZED_SUM}@(binary_op, init, unary_op(*i), ...)
+@\placeholdernc{GENERALIZED_SUM}@(binary_op, init, unary_op(*i), @$\dotsc$@)
 \end{codeblock}
 for every iterator \tcode{i} in \range{first}{last}.
 
@@ -10409,7 +10409,7 @@
 assigns through \tcode{result + K} the value of:
 \begin{codeblock}
 @\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}@(
-    binary_op, init, *(first + 0), *(first + 1), ..., *(first + K - 1))
+    binary_op, init, *(first + 0), *(first + 1), @$\dotsc$@, *(first + K - 1))
 \end{codeblock}
 
 \pnum
@@ -10533,10 +10533,10 @@
 \begin{itemize}
 \item
   \tcode{\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(\\\phantom{\tcode{\ \ \ \ }}binary_op,
-  init, *(first + 0), *(first + 1), ..., *(first + K))}\\if \tcode{init} is provided, or
+  init, *(first + 0), *(first + 1), $\dotsc$, *(first + K))}\\if \tcode{init} is provided, or
 \item
   \tcode{\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(\\\phantom{\tcode{\ \ \ \ }}binary_op,
-  *(first + 0), *(first + 1), ..., *(first + K))}\\otherwise.
+  *(first + 0), *(first + 1), $\dotsc$, *(first + K))}\\otherwise.
 \end{itemize}
 
 \pnum
@@ -10610,7 +10610,7 @@
 \begin{codeblock}
 @\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}@(
     binary_op, init,
-    unary_op(*(first + 0)), unary_op(*(first + 1)), ..., unary_op(*(first + K - 1)))
+    unary_op(*(first + 0)), unary_op(*(first + 1)), @$\dotsc$@, unary_op(*(first + K - 1)))
 \end{codeblock}
 
 \pnum
@@ -10710,10 +10710,10 @@
 assigns through \tcode{result + K} the value of
 \begin{itemize}
 \item
-  \tcode{\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(\\\phantom{\tcode{\ \ \ \ }}binary_op, init,\\\phantom{\tcode{\ \ \ \ }}unary_op(*(first + 0)), unary_op(*(first + 1)), ..., unary_op(*(first + K)))}\\
+  \tcode{\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(\\\phantom{\tcode{\ \ \ \ }}binary_op, init,\\\phantom{\tcode{\ \ \ \ }}unary_op(*(first + 0)), unary_op(*(first + 1)), $\dotsc$, unary_op(*(first + K)))}\\
   if \tcode{init} is provided, or
 \item
-  \tcode{\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(\\\phantom{\tcode{\ \ \ \ }}binary_op,\\\phantom{\tcode{\ \ \ \ }}unary_op(*(first + 0)), unary_op(*(first + 1)), ..., unary_op(*(first + K)))}\\
+  \tcode{\placeholdernc{GENERALIZED_NONCOMMUTATIVE_SUM}(\\\phantom{\tcode{\ \ \ \ }}binary_op,\\\phantom{\tcode{\ \ \ \ }}unary_op(*(first + 0)), unary_op(*(first + 1)), $\dotsc$, unary_op(*(first + K)))}\\
   otherwise.
 \end{itemize}
 
@@ -12006,10 +12006,14 @@
 \indexlibraryglobal{bsearch}%
 \indexlibraryglobal{qsort}%
 \begin{itemdecl}
-void* bsearch(const void* key, const void* base, size_t nmemb, size_t size,
+void* bsearch(const void* key, void* base, size_t nmemb, size_t size,
               @\placeholder{c-compare-pred}@* compar);
-void* bsearch(const void* key, const void* base, size_t nmemb, size_t size,
+void* bsearch(const void* key, void* base, size_t nmemb, size_t size,
               @\placeholder{compare-pred}@* compar);
+const void* bsearch(const void* key, const void* base, size_t nmemb, size_t size,
+                    @\placeholder{c-compare-pred}@* compar);
+const void* bsearch(const void* key, const void* base, size_t nmemb, size_t size,
+                    @\placeholder{compare-pred}@* compar);
 void qsort(void* base, size_t nmemb, size_t size, @\placeholder{c-compare-pred}@* compar);
 void qsort(void* base, size_t nmemb, size_t size, @\placeholder{compare-pred}@* compar);
 \end{itemdecl}
@@ -12029,4 +12033,4 @@
 Any exception thrown by \tcode{compar}\iref{res.on.exception.handling}.
 \end{itemdescr}
 
-\xrefc{7.22.5}
+\xrefc{7.24.5}