[libcxx-commits] [libcxx] 2a9f19f - [libc++] Add tests for LWG3949 and mark it as done (#208272)

[via libcxx-commits]

Author: Louis Dionne
Date: 2026-07-09T12:48:33-04:00
New Revision: 2a9f19fb5240aa85c4225a5b5737c0eafe94b7ca

URL: https://github.com/llvm/llvm-project/commit/2a9f19fb5240aa85c4225a5b5737c0eafe94b7ca
DIFF: https://github.com/llvm/llvm-project/commit/2a9f19fb5240aa85c4225a5b5737c0eafe94b7ca.diff

LOG: [libc++] Add tests for LWG3949 and mark it as done (#208272)

Closes #105301

Added: 
    

Modified: 
    libcxx/docs/Status/Cxx26Issues.csv
    libcxx/test/std/atomics/atomics.types.generic/standard_layout.compile.pass.cpp
    libcxx/test/std/atomics/atomics.types.operations/atomics.types.operations.req/dtor.pass.cpp

Removed: 
    


################################################################################
diff  --git a/libcxx/docs/Status/Cxx26Issues.csv b/libcxx/docs/Status/Cxx26Issues.csv
index 2122fcd05dfb4..c74eff436b96d 100644
--- a/libcxx/docs/Status/Cxx26Issues.csv
+++ b/libcxx/docs/Status/Cxx26Issues.csv
@@ -28,7 +28,7 @@
 "`LWG3946 <https://wg21.link/LWG3946>`__","The definition of ``const_iterator_t`` should be reworked","2023-11 (Kona)","","","`#105298 <https://github.com/llvm/llvm-project/issues/105298>`__",""
 "`LWG3947 <https://wg21.link/LWG3947>`__","Unexpected constraints on ``adjacent_transform_view::base()``","2023-11 (Kona)","|Complete|","22","`#105299 <https://github.com/llvm/llvm-project/issues/105299>`__",""
 "`LWG3948 <https://wg21.link/LWG3948>`__","``possibly-const-range and as-const-pointer`` should be ``noexcept``","2023-11 (Kona)","","","`#105300 <https://github.com/llvm/llvm-project/issues/105300>`__",""
-"`LWG3949 <https://wg21.link/LWG3949>`__","``std::atomic<bool>``'s trivial destructor dropped in C++17 spec wording","2023-11 (Kona)","","","`#105301 <https://github.com/llvm/llvm-project/issues/105301>`__",""
+"`LWG3949 <https://wg21.link/LWG3949>`__","``std::atomic<bool>``'s trivial destructor dropped in C++17 spec wording","2023-11 (Kona)","|Nothing To Do|","","`#105301 <https://github.com/llvm/llvm-project/issues/105301>`__",""
 "`LWG3951 <https://wg21.link/LWG3951>`__","[expected.object.swap]: Using ``value()`` instead of ``has_value()``","2023-11 (Kona)","|Complete|","16","`#105302 <https://github.com/llvm/llvm-project/issues/105302>`__",""
 "`LWG3953 <https://wg21.link/LWG3953>`__","``iter_move`` for ``common_iterator`` and ``counted_iterator`` should return ``decltype(auto)``","2023-11 (Kona)","|Complete|","20","`#105303 <https://github.com/llvm/llvm-project/issues/105303>`__",""
 "`LWG3957 <https://wg21.link/LWG3957>`__","[container.alloc.reqmts] The value category of v should be claimed","2023-11 (Kona)","","","`#105304 <https://github.com/llvm/llvm-project/issues/105304>`__",""

diff  --git a/libcxx/test/std/atomics/atomics.types.generic/standard_layout.compile.pass.cpp b/libcxx/test/std/atomics/atomics.types.generic/standard_layout.compile.pass.cpp
index ca17657177f3c..52e48e3fc8482 100644
--- a/libcxx/test/std/atomics/atomics.types.generic/standard_layout.compile.pass.cpp
+++ b/libcxx/test/std/atomics/atomics.types.generic/standard_layout.compile.pass.cpp
@@ -26,6 +26,7 @@ struct CheckStandardLayout {
 };
 
 void tests() {
+  CheckStandardLayout<bool>()();
   TestEachIntegralType<CheckStandardLayout>()();
   TestEachFloatingPointType<CheckStandardLayout>()();
   TestEachPointerType<CheckStandardLayout>()();

diff  --git a/libcxx/test/std/atomics/atomics.types.operations/atomics.types.operations.req/dtor.pass.cpp b/libcxx/test/std/atomics/atomics.types.operations/atomics.types.operations.req/dtor.pass.cpp
index 2ecb580757d72..8f21554c97288 100644
--- a/libcxx/test/std/atomics/atomics.types.operations/atomics.types.operations.req/dtor.pass.cpp
+++ b/libcxx/test/std/atomics/atomics.types.operations/atomics.types.operations.req/dtor.pass.cpp
@@ -28,6 +28,7 @@ struct CheckTriviallyDestructible {
 };
 
 int main(int, char**) {
+  CheckTriviallyDestructible<bool>()(); // LWG3949
   TestEachIntegralType<CheckTriviallyDestructible>()();
   TestEachFloatingPointType<CheckTriviallyDestructible>()();
   TestEachPointerType<CheckTriviallyDestructible>()();