Changes in version

def50f701f6a2c1e0550bb341fd8b64bed299e72 - [libc++] implement `std::flat_multimap` (#113835)

Sat, 25 Jan 2025 18:30:00 +0000

[libc++] implement `std::flat_multimap` (#113835)fixes https://github.com/llvm/llvm-project/issues/105190 --------- Co-authored-by: Hui Xie Co-authored-by: Hui Xie List of files: /llvm-project/libcxx/include/version

24e70e3930724ce499ad05d669bfbc4423c542e0 - [libc++] Switch experimental library macros to 0/1 macros (#124030)

Fri, 24 Jan 2025 08:34:42 +0000

[libc++] Switch experimental library macros to 0/1 macros (#124030)This is a continuation of what's been started in #89178.As a drive-by, this also changes the PSTL macro to say `EXPERIMENTAL`instead of `INCOMPLETE`. List of files: /llvm-project/libcxx/include/version

c91d805e6627987bec8ec34ea67c1e8240940039 - [libc++] Implement std::not_fn (#86133)

Fri, 10 Jan 2025 19:14:14 +0000

[libc++] Implement std::not_fn (#86133)Implement `std::not_fn` from "P2714R1 Bind front and back to NTTP callables". List of files: /llvm-project/libcxx/include/version

b9a2658a3e8bd13b0f9e7a8a440832a95b377216 - [libc++][C++03] Use `__cxx03/` headers in C++03 mode (#109002)

Sat, 21 Dec 2024 12:01:48 +0000

[libc++][C++03] Use `__cxx03/` headers in C++03 mode (#109002)This patch implements the forwarding to frozen C++03 headers asdiscussed inhttps://discourse.llvm.org/t/rfc-freezing-c-03-headers-in-libc. In theRFC, we initially proposed selecting the right headers from the Clangdriver, however consensus seemed to steer towards handling this in thelibrary itself. This patch implements that direction.At a high level, the changes basically amount to making each publicheader look like this:```// inside #ifdef _LIBCPP_CXX03_LANG# include <__cxx03/vector>#else // normal content#endif```In most cases, public headers are simple umbrella headers so there isn'tmuch code in the #else branch. In other cases, the #else branch containsthe actual implementation of the header. List of files: /llvm-project/libcxx/include/version

c6f3b7bcd0596d30f8dabecdfb9e44f9a07b6e4c - [libc++] Refactor the configuration macros to being always defined (#112094)

Wed, 06 Nov 2024 09:39:19 +0000

[libc++] Refactor the configuration macros to being always defined (#112094)This is a follow-up to #89178. This updates the `<__config_site>`macros. List of files: /llvm-project/libcxx/include/version

76b71c0bc4fb2e5e77a4602ce03687a31064c156 - [libc++] Set `__cpp_lib_smart_ptr_for_overwrite` (#114700)

Tue, 05 Nov 2024 05:27:40 +0000

[libc++] Set `__cpp_lib_smart_ptr_for_overwrite` (#114700)The features were implemented in LLVM 16, but mistakenly considered unimplemented in FTM tools. List of files: /llvm-project/libcxx/include/version

cae351f3453a0a26ec8eb2ddaf773c24a29d929e - [libc++] Bump `__cpp_lib_optional` and `__cpp_lib_variant` (#113650)

Fri, 25 Oct 2024 23:38:52 +0000

[libc++] Bump `__cpp_lib_optional` and `__cpp_lib_variant` (#113650)In C++20 mode, `__cpp_lib_optional` and `__cpp_lib_variant` should be `202106L` due to DR P2231R1. In C++26 mode, `__cpp_lib_variant` should be bumped to `202306L` due to P2637R3. - Clang 16/17 shouldn't get this bumping (as member `visit` requires explicit object parameters), but it's very tricky to make the bumping conditionally enabled. I _hope_ unconditionally bumping in C++26 will be OK for LLVM 20 when the support for Clang 17 is dropped. Related PRs: - https://reviews.llvm.org/D102119 - #83335 - #76447 List of files: /llvm-project/libcxx/include/version

ba87515fea90b5d55836a8e3be63a7e683ce299d - [libc++][RFC] Always define internal feature test macros (#89178)

Sat, 12 Oct 2024 07:49:52 +0000

[libc++][RFC] Always define internal feature test macros (#89178)Currently, the library-internal feature test macros are only defined if the feature is not available, and always have the prefix `_LIBCPP_HAS_NO_`. This patch changes that, so that they are always defined and have the prefix `_LIBCPP_HAS_` instead. This changes the canonical use of these macros to `#if _LIBCPP_HAS_FEATURE`, which means that using an undefined macro (e.g. due to a missing include) is diagnosed now. While this is rather unlikely currently, a similar change in `<__configuration/availability.h>` caught a few bugs. This also improves readability, since it removes the double-negation of `#ifndef _LIBCPP_HAS_NO_FEATURE`. The current patch only touches the macros defined in `<__config>`. If people are happy with this approach, I'll make a follow-up PR to also change the macros defined in `<__config_site>`. List of files: /llvm-project/libcxx/include/version

a06591b4d4fb270b587fc5ef67b5a03dad752b40 - [libc++][type_traits] P2674R1: A trait for implicit lifetime types (#106870)

Wed, 09 Oct 2024 06:19:14 +0000

[libc++][type_traits] P2674R1: A trait for implicit lifetime types (#106870)Implements P2674R1: https://wg21.link/P2674R1 - https://eel.is/c++draft/type.traits - https://eel.is/c++draft/meta.type.synop - https://eel.is/c++draft/meta.unary.prop - https://eel.is/c++draft/support.limits - https://eel.is/c++draft/version.syn Implementation details: - Uses compiler intrinsic `__builtin_is_implicit_lifetime`: - https://github.com/llvm/llvm-project/pull/101807 - Tests based on: - https://github.com/llvm/llvm-project/blob/d213981c80626698a07b11ce872acba098a863d4/clang/test/SemaCXX/type-traits.cpp#L1989 References: - Implicit-lifetime - Implicit-lifetime types [basic.types.general]/9: https://eel.is/c++draft/basic.types.general - Implicit-lifetime class [class.prop]/9: https://eel.is/c++draft/class.prop - P0593R6 Implicit creation of objects for low-level object manipulation: https://wg21.link/P0593R6 - P1010R1 Container support for implicit lifetime types: https://wg21.link/P1010R1 - P0593R6 Implicit creation of objects for low-level object manipulation: https://wg21.link/P0593R6 Closes: #105259 --------- Co-authored-by: Hristo Hristov List of files: /llvm-project/libcxx/include/version

99174842aedf9aa571bdb23d07566965ff3c21e3 - [libc++] Make std::jthread supported in non-experimental mode (#107900)

Thu, 12 Sep 2024 13:48:59 +0000

[libc++] Make std::jthread supported in non-experimental mode (#107900)We waited before supporting std::jthread fully because we wanted to investigate other implementation strategies (in particular one involving std::mutex). Since then, we did some benchmarking and decided that we wouldn't be moving forward with std::mutex. Hence, there is no real reason to punt on making std::jthread & friends non-experimental. List of files: /llvm-project/libcxx/include/version

7808541fdea41b97dda6e5d6bf7831fabe5d5433 - [libc++] P2747R2: `constexpr` placement new (library part) (#105768)

Wed, 28 Aug 2024 13:35:57 +0000

[libc++] P2747R2: `constexpr` placement new (library part) (#105768)This patch implements https://wg21.link/P2747R2. The library changes affect direct `operator new` and `operator new[]` calls even when the core language changes are absent. The changes are not available for MS ABI because the `operator new` and `operator new[]` are from VCRuntime's ``. A feature request was submitted for that [1]. As a drive-by change, the patch reformatted the whole `new.pass.cpp` and `new_array.pass.cpp` tests. Closes #105427 [1]: https://developercommunity.visualstudio.com/t/constexpr-for-placement-operator-newope/10730304. List of files: /llvm-project/libcxx/include/version

026210e80d136099431c25be685020f9748e277f - [libc++][ranges] P2609R3: Relaxing Ranges Just A Smidge (#101715)

Wed, 28 Aug 2024 12:55:44 +0000

[libc++][ranges] P2609R3: Relaxing Ranges Just A Smidge (#101715)This patch implements https://wg21.link/p2609r3. The test code was originally authored by JMazurkiewicz. Notes: - P2609R3 is not officially a Defect Report, but MSVC STL implements it in C++20 mode. Moreover, P2609R3 and P2997R1 touch exactly the same set of concepts, and MSVC STL and libc++ have already treated P2997R1 as a DR. - This patch also adjusted feature-test macros. + In C++20 mode, the value of __cpp_lib_ranges should be `202110L` because - `202202L` covers `range_adaptor_closure` (P2387R3), and - `202207L` covers move-only types in range adaptors (P2494R2). And all of these changes are only available since C++23 mode. + In C++23 mode, the value should be `202406L` because - `202211L` covers removing poison overloads (P2602R2), - `202302L` covers relaxing projected value types (P2609R3), and - `202406L` covers removing requirements on `iter_common_reference_t` (P2997R1). And all of these changes are already or being implemented. Fixes #105253. Co-authored-by: Jakub Mazurkiewicz List of files: /llvm-project/libcxx/include/version

1c48c9cc43dbbbd1751e15d199b4d7d4fc52d828 - [libc++] Implement P2985R0: std::is_virtual_base_of (#105847)

Mon, 26 Aug 2024 13:58:19 +0000

[libc++] Implement P2985R0: std::is_virtual_base_of (#105847)This trait is implemented in C++26 conditionally on the compiler supporting the __builtin_is_virtual_base_of intrinsic. I believe only tip-of-trunk Clang currently implements that builtin. Closes #105432 List of files: /llvm-project/libcxx/include/version

3ce6f68ee736e2e6afaa2fe5fcde71f26b21d0cf - [libc++][spaceship] Marks P1614 as complete. (#99375)

Thu, 25 Jul 2024 16:37:36 +0000

[libc++][spaceship] Marks P1614 as complete. (#99375)Implements parts of: - P1902R1 Missing feature-test macros 2017-2019 Completes: - P1614R2 The Mothership has Landed Fixes #100018 List of files: /llvm-project/libcxx/include/version

04760bfadb399cc4ded9b32bd523ec7703aa7462 - [libc++][ranges] P1223R5: `find_last` (#99312)

Fri, 19 Jul 2024 16:42:16 +0000

[libc++][ranges] P1223R5: `find_last` (#99312)Implements [P1223R5][] completely. Includes an implementation of `find_last`, `find_last_if`, and `find_last_if_not`. [P1223R5]: https://wg21.link/p1223r5 List of files: /llvm-project/libcxx/include/version

e475bb7ac33d7bc0446fe86858f5c3073cd48c97 - [libc++][memory] P1132R8: `out_ptr` - a scalable output pointer abstraction (#73618)

Fri, 19 Jul 2024 03:38:02 +0000

[libc++][memory] P1132R8: `out_ptr` - a scalable output pointer abstraction (#73618)Differential Revision: https://reviews.llvm.org/D150525 Implements: - https://wg21.link/P1132R8 - `out_ptr` - a scalable output pointer abstraction - https://eel.is/c++draft/smartptr.adapt - 20.3.4 Smart pointer adaptors - https://wg21.link/LWG3734 - Inconsistency in `inout_ptr` and `out_ptr` for empty case - https://wg21.link/LWG3897- `inout_ptr` will not update raw pointer to 0 --------- Co-authored-by: Hristo Hristov List of files: /llvm-project/libcxx/include/version

4a19be5d45e4b1e02c2512023151be5d56ef5744 - [libc++][strings] P2591R5: Concatenation of strings and string views (#88389)

Thu, 18 Jul 2024 10:26:37 +0000

[libc++][strings] P2591R5: Concatenation of strings and string views (#88389)Implemented: https://wg21.link/P2591R5 - https://eel.is/c++draft/string.syn - https://eel.is/c++draft/string.op.plus --------- Co-authored-by: Hristo Hristov List of files: /llvm-project/libcxx/include/version

4e338dce4de4ca1476e2b8f9c907769691a9093b - [libc++] P2389R2: `dextents` Index Type Parameter (#97393)

Mon, 15 Jul 2024 15:23:34 +0000

[libc++] P2389R2: `dextents` Index Type Parameter (#97393)This patch implements P2389R2, which was adopted at the St. Louis meeting. It builds upon previous enhancements from P2299R3, which introduced deduction guides and the `dextents` alias template. List of files: /llvm-project/libcxx/include/version

deeb936863f26e124cc870319148b0576266f11c - [libc++][format] define __cpp_lib_format. (#98275)

Wed, 10 Jul 2024 15:52:43 +0000

[libc++][format] define __cpp_lib_format. (#98275)In order to define the format __cpp_lib_format to its initial value (201907) these papers need to be completed: - P0645R10 Text Formatting - P1652R1 Printf corner cases in std::format - 1361R2 Integration of chrono with text formatting The first two have been implemented for a while the latter is almost done. The next value (202106) requires: - P2216R3 std::format improvements which has been implemented The next value (202110) requires: - P2418R2 Add support for std::generator-like types to std::format - P2372R3 Fixing locale handling in chrono formatters The first one has been implemented for a while the latter is almost done. The latter paper is a DR against 1361R2 and both are implemented at the same time. We've had user feedback that the missing of the __cpp_lib_format makes their lives harder (https://github.com/llvm/llvm-project/issues/77773). The missing papers 1361R2 and P2372R3 are very close to completion and might completed before LLVM-19, but it will be a close call. This has been discussed in the monthly libc++ meeting and we decided to set the __cpp_lib_format so it will be set in LLVM-19. Based on the discussion and the implementation status the __cpp_lib_format is set to 202110. Fixes #77773 List of files: /llvm-project/libcxx/include/version

e42f760b6551d3674658d8c6bf5206e52822036b - [libc++] Define the __cpp_lib_atomic_ref feature test macro (#98081)

Tue, 09 Jul 2024 15:08:29 +0000

[libc++] Define the __cpp_lib_atomic_ref feature test macro (#98081)We forgot to enable it when we landed std::atomic_ref in 42ba740aff. List of files: /llvm-project/libcxx/include/version