diff --git a/libcxx/docs/Status/Cxx23Issues.csv b/libcxx/docs/Status/Cxx23Issues.csv index d1546f4a452b5..fe81a092df66d 100644 --- a/libcxx/docs/Status/Cxx23Issues.csv +++ b/libcxx/docs/Status/Cxx23Issues.csv @@ -261,7 +261,7 @@ "`LWG3733 `__","``ranges::to`` misuses ``cpp17-input-iterator``","2023-02 (Issaquah)","|Complete|","17","" "`LWG3742 `__","``deque::prepend_range`` needs to permute","2023-02 (Issaquah)","","","" "`LWG3790 `__","`P1467 `__ accidentally changed ``nexttoward``'s signature","2023-02 (Issaquah)","","","" -"`LWG3819 `__","``reference_meows_from_temporary`` should not use ``is_meowible``","2023-02 (Issaquah)","","","" +"`LWG3819 `__","``reference_meows_from_temporary`` should not use ``is_meowible``","2023-02 (Issaquah)","|Complete|","22","Changes are made in compilers but not libraries. The version number corresponds to Clang." "`LWG3821 `__","``uses_allocator_construction_args`` should have overload for ``pair-like``","2023-02 (Issaquah)","|Complete|","18","" "`LWG3834 `__","Missing ``constexpr`` for ``std::intmax_t`` math functions in ````","2023-02 (Issaquah)","","","" "`LWG3839 `__","``range_formatter``'s ``set_separator``, ``set_brackets``, and ``underlying`` functions should be ``noexcept``","2023-02 (Issaquah)","|Complete|","17","" diff --git a/libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/common.h b/libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/common.h index b51444915a5c5..4fba34e3817be 100644 --- a/libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/common.h +++ b/libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/common.h @@ -85,6 +85,14 @@ class ExplicitConversionRef { explicit operator int&(); }; +struct NonMovable { + NonMovable(NonMovable&&) = delete; +}; + +struct ConvertsFromNonMovable { + ConvertsFromNonMovable(NonMovable); +}; + #endif #endif // TEST_META_UNARY_COMP_COMMON_H diff --git a/libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/reference_constructs_from_temporary.pass.cpp b/libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/reference_constructs_from_temporary.pass.cpp index ad53c8176cc92..fc9817a4a0983 100644 --- a/libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/reference_constructs_from_temporary.pass.cpp +++ b/libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/reference_constructs_from_temporary.pass.cpp @@ -58,6 +58,7 @@ constexpr bool test() { assert((std::is_constructible_v>)); test_reference_constructs_from_temporary, true>(); #ifndef TEST_COMPILER_GCC + // TODO: Remove this guard once https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120529 gets fixed. test_reference_constructs_from_temporary, false>(); #endif @@ -66,6 +67,33 @@ constexpr bool test() { test_reference_constructs_from_temporary(); +#if defined(TEST_COMPILER_GCC) || \ + (defined(TEST_CLANG_VER) && \ + ((!defined(__ANDROID__) && TEST_CLANG_VER >= 2100) || (defined(__ANDROID__) && TEST_CLANG_VER >= 2200))) || \ + (defined(TEST_APPLE_CLANG_VER) && TEST_APPLE_CLANG_VER >= 1800) + // TODO: Bump the version numbers if newer Apple Clang or Android Clang hasn't implemented LWG3819 yet. + // TODO: Remove this guard once no supported Clang is affected by https://llvm.org/PR114344. + + // Test function references. + test_reference_constructs_from_temporary(); + test_reference_constructs_from_temporary(); + + // Test cv-qualification dropping for scalar prvalues. LWG3819 also covers this. + test_reference_constructs_from_temporary(); + test_reference_constructs_from_temporary(); +#endif + +#if !defined(TEST_COMPILER_GCC) && \ + ((defined(TEST_CLANG_VER) && \ + ((!defined(__ANDROID__) && TEST_CLANG_VER >= 2100) || (defined(__ANDROID__) && TEST_CLANG_VER >= 2200))) || \ + (defined(TEST_APPLE_CLANG_VER) && TEST_APPLE_CLANG_VER >= 1800)) + // TODO: Bump the version numbers if newer Apple Clang or Android Clang hasn't implemented LWG3819 yet. + // TODO: Remove this guard once supported Clang and GCC have LWG3819 implemented. + + // Test LWG3819: reference_meows_from_temporary should not use is_meowible. + test_reference_constructs_from_temporary(); +#endif + // Additional checks test_reference_constructs_from_temporary(); test_reference_constructs_from_temporary(); diff --git a/libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/reference_converts_from_temporary.pass.cpp b/libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/reference_converts_from_temporary.pass.cpp index 73cc4f3e29d5a..aeb5310468fe7 100644 --- a/libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/reference_converts_from_temporary.pass.cpp +++ b/libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/reference_converts_from_temporary.pass.cpp @@ -58,6 +58,7 @@ constexpr bool test() { assert((std::is_constructible_v>)); test_reference_converts_from_temporary, true>(); #ifndef TEST_COMPILER_GCC + // TODO: Remove this guard once https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120529 gets fixed. test_reference_converts_from_temporary, false>(); #endif @@ -66,6 +67,33 @@ constexpr bool test() { test_reference_converts_from_temporary(); +#if defined(TEST_COMPILER_GCC) || \ + (defined(TEST_CLANG_VER) && \ + ((!defined(__ANDROID__) && TEST_CLANG_VER >= 2100) || (defined(__ANDROID__) && TEST_CLANG_VER >= 2200))) || \ + (defined(TEST_APPLE_CLANG_VER) && TEST_APPLE_CLANG_VER >= 1800) + // TODO: Bump the version numbers if newer Apple Clang or Android Clang hasn't implemented LWG3819 yet. + // TODO: Remove this guard once no supported Clang is affected by https://llvm.org/PR114344. + + // Test function references. + test_reference_converts_from_temporary(); + test_reference_converts_from_temporary(); + + // Test cv-qualification dropping for scalar prvalues. LWG3819 also covers this. + test_reference_converts_from_temporary(); + test_reference_converts_from_temporary(); +#endif + +#if !defined(TEST_COMPILER_GCC) && \ + ((defined(TEST_CLANG_VER) && \ + ((!defined(__ANDROID__) && TEST_CLANG_VER >= 2100) || (defined(__ANDROID__) && TEST_CLANG_VER >= 2200))) || \ + (defined(TEST_APPLE_CLANG_VER) && TEST_APPLE_CLANG_VER >= 1800)) + // TODO: Bump the version numbers if newer Apple Clang or Android Clang hasn't implemented LWG3819 yet. + // TODO: Remove this guard once supported Clang and GCC have LWG3819 implemented. + + // Test LWG3819: reference_meows_from_temporary should not use is_meowible. + test_reference_converts_from_temporary(); +#endif + // Additional checks test_reference_converts_from_temporary(); test_reference_converts_from_temporary();