CWG2929 Lifetime of trivially-destructible static or thread-local objects

Author: eisenwave

source/basic.tex

@@ -7496,7 +7496,7 @@
 \indextext{program!termination|(}%
 \indextext{object!destructor static}%
 \indextext{\idxcode{main} function!return from}%
-Constructed objects\iref{dcl.init}
+Constructed complete objects\iref{dcl.init}
 with static storage duration are destroyed
 and functions registered with \tcode{std::atexit}
 are called as part of a call to
@@ -7510,13 +7510,29 @@
 \end{note}
 
 \pnum
-Constructed objects with thread storage duration within a given thread
+Constructed complete objects with thread storage duration within a given thread
 are destroyed as a result of returning from the initial function of that thread and as a
 result of that thread calling \tcode{std::exit}.
-The destruction of all constructed objects with thread storage
-duration within that thread strongly happens before destroying
+The destruction of those constructed objects
+is sequenced before releasing the storage for
+any object with thread storage duration within that thread\iref{basic.stc.thread}.
+The destruction of those constructed objects
+strongly happens before destroying
 any object with static storage duration.
 
+\pnum
+The destruction of a complete object with thread storage duration within a given thread
+and having constant destruction\iref{expr.const}
+is sequenced after the destruction of any other complete object
+with thread storage duration within the thread.
+The destruction of a complete object with static storage duration
+and having constant destruction
+is sequenced after the destruction of any other complete object
+with static storage duration
+and after any call to a function passed to \tcode{std::atexit}.
+The sequencing rules in the remainder of this subclause
+apply only to complete objects not having constant destruction.
+
 \pnum
 If the completion of the constructor or dynamic initialization of an object with static
 storage duration strongly happens before that of another, the completion of the destructor