cplusplus · tkoeppe · Feb 24, 2025 · Feb 15, 2025 · Feb 15, 2025 · Feb 15, 2025
diff --git a/source/basic.tex b/source/basic.tex
@@ -6586,7 +6586,8 @@
 \end{note}
 
 \pnum
-Two accesses to the same object of type \tcode{\keyword{volatile} std::sig_atomic_t} do not
+Two accesses to the same non-bit-field object
+of type \tcode{\keyword{volatile} std::sig_atomic_t} do not
 result in a data race if both occur in the same thread, even if one or more
 occurs in a signal handler. For each signal handler invocation, evaluations
 performed by the thread invoking a signal handler can be divided into two

diff --git a/source/classes.tex b/source/classes.tex
@@ -6551,7 +6551,8 @@
 \tcode{static_cast<R>(a <=> b)}.
 
 \item
-Otherwise, if overload resolution for \tcode{a <=> b} is performed and
+Otherwise, if \tcode{a <=> b} is usable or
+overload resolution for \tcode{a <=> b} is performed and
 finds at least one viable candidate,
 the synthesized three-way comparison is not defined.
 

diff --git a/source/declarations.tex b/source/declarations.tex
@@ -9563,6 +9563,7 @@
 \recommended
 Appearance of a nodiscard call as
 a potentially-evaluated discarded-value expression\iref{expr.prop}
+of non-void type
 is discouraged unless explicitly cast to \keyword{void}.
 Implementations should issue a warning in such cases.
 The value of

diff --git a/source/expressions.tex b/source/expressions.tex
@@ -1608,30 +1608,26 @@
 
 \pnum
 An \defnadj{implicitly movable}{entity} is
-a variable of automatic storage duration
+a variable with automatic storage duration
 that is either a non-volatile object or
 an rvalue reference to a non-volatile object type.
-In the following contexts,
-an \grammarterm{id-expression} is \defn{move-eligible}:
+An \grammarterm{id-expression} is \defn{move-eligible} if
 \begin{itemize}
 \item
-If the \grammarterm{id-expression} (possibly parenthesized)
-is the operand of a \tcode{return}\iref{stmt.return} or
-\keyword{co_return}\iref{stmt.return.coroutine} statement,
-and names an implicitly movable entity declared in the body
-or \grammarterm{parameter-declaration-clause} of the innermost enclosing
-function or \grammarterm{lambda-expression}, or
-\item
-if the \grammarterm{id-expression} (possibly parenthesized)
-is the operand of a \grammarterm{throw-expression}\iref{expr.throw},
-and names an implicitly movable entity
-that belongs to a scope that does not contain the \grammarterm{compound-statement}
-of the innermost
-\grammarterm{lambda-expression},
-\grammarterm{try-block}, or
-\grammarterm{function-try-block} (if any)
-whose \grammarterm{compound-statement} or \grammarterm{ctor-initializer}
-contains the \grammarterm{throw-expression}.
+it names an implicitly movable entity,
+\item
+it is the (possibly parenthesized)
+operand of a \tcode{return}\iref{stmt.return} or
+\keyword{co_return}\iref{stmt.return.coroutine} statement or
+of a \grammarterm{throw-expression}\iref{expr.throw}, and
+\item
+each intervening scope between
+the declaration of the entity and
+the innermost enclosing scope of the \grammarterm{id-expression}
+is a block scope and,
+for a \grammarterm{throw-expression},
+is not the block scope of
+a \grammarterm{try-block} or \grammarterm{function-try-block}.
 \end{itemize}
 
 \rSec3[expr.prim.id.qual]{Qualified names}

diff --git a/source/modules.tex b/source/modules.tex
@@ -312,14 +312,20 @@
 A redeclaration of an entity $X$
 is implicitly exported
 if $X$ was introduced by an exported declaration;
-otherwise it shall not be exported if it is attached to a named module.
+otherwise it shall not be exported unless it is a namespace.
 \begin{example}
 \begin{codeblock}
 export module M;
 struct S { int n; };
 typedef S S;
 export typedef S S;             // OK, does not redeclare an entity
 export struct S;                // error: exported declaration follows non-exported declaration
+namespace N {                   // external linkage, attached to global module, not exported
+  void f();
+}
+namespace N {                   // OK, exported namespace redeclaring non-exported namespace
+  export void g();
+}
 \end{codeblock}
 \end{example}