Changes in list

f4fb72e6 - [libc++] Use uninitialized algorithms for vector

Tue, 26 Jul 2022 14:13:56 +0000

[libc++] Use uninitialized algorithms for vectorReviewed By: ldionne, #libcSpies: huixie90, eaeltsin, joanahalili, bgraur, alexfh, hans, avogelsgesang, augusto2112, libcxx-commits, mgornyDifferential Revision: https://reviews.llvm.org/D128146 List of files: /llvm-project-15.0.7/libcxx/include/list

1d057a6d - Revert "[libc++] Use uninitialized algorithms for vector"

Thu, 21 Jul 2022 21:19:20 +0000

Revert "[libc++] Use uninitialized algorithms for vector"This reverts commit 23cf42e706fbc2a939ce1470da16599b42258aea. List of files: /llvm-project-15.0.7/libcxx/include/list

23cf42e7 - [libc++] Use uninitialized algorithms for vector

Wed, 20 Jul 2022 18:24:46 +0000

[libc++] Use uninitialized algorithms for vectorReviewed By: ldionne, #libcSpies: libcxx-commits, mgornyDifferential Revision: https://reviews.llvm.org/D128146 List of files: /llvm-project-15.0.7/libcxx/include/list

4887d047 - [libc++][NFC] Replace enable_if with __enable_if_t in a few places

Sun, 03 Jul 2022 23:21:44 +0000

[libc++][NFC] Replace enable_if with __enable_if_t in a few placesReviewed By: ldionne, #libcSpies: jloser, libcxx-commitsDifferential Revision: https://reviews.llvm.org/D128400 List of files: /llvm-project-15.0.7/libcxx/include/list

de4a57cb - [libc++] Re-add transitive includes that had been removed since LLVM 14

Mon, 27 Jun 2022 19:53:41 +0000

[libc++] Re-add transitive includes that had been removed since LLVM 14This commit re-adds transitive includes that had been removed by4cd04d1687f1, c36870c8e79c, a83f4b9cda57, 1458458b558d, 2e2f3158c604,and 489637e66dd3. This should cover almost all the includes that hadbeen removed since LLVM 14 and that would contribute to breaking usercode when releasing LLVM 15.It is possible to disable the inclusion of these headers by defining_LIBCPP_REMOVE_TRANSITIVE_INCLUDES. The intent is that vendors willenable that macro and start fixing downstream issues immediately. Wecan then remove the macro (and the transitive includes) by default ina future release. That way, we will break users only once by removingtransitive includes in bulk instead of doing it bit by bit a everyrelease, which is more disruptive for users.Note 1: The set of headers to re-add was found by re-generating the transitive include test on a checkout of release/14.x, which provided the list of all transitive includes we used to provide.Note 2: Several includes of , , and have been added in this commit. These transitive inclusions were added when we implemented boyer_moore_searcher in .Note 3: This is a best effort patch to try and resolve downstream breakage caused since branching LLVM 14. I wasn't able to perfectly mirror transitive includes in LLVM 14 for a few headers, so I added a release note explaining it. To summarize, adding boyer_moore_searcher created a bunch of circular dependencies, so we have to break backwards compatibility in a few cases.Differential Revision: https://reviews.llvm.org/D128661 List of files: /llvm-project-15.0.7/libcxx/include/list

db1978b6 - [libc++] Mark standard-mandated includes as such

Thu, 16 Jun 2022 20:43:46 +0000

[libc++] Mark standard-mandated includes as suchReviewed By: ldionne, Mordante, #libc, saugustineSpies: saugustine, MaskRay, arichardson, mstorsjo, jloser, libcxx-commits, arphamanDifferential Revision: https://reviews.llvm.org/D127953 List of files: /llvm-project-15.0.7/libcxx/include/list

4cd04d16 - [libc++] Removes unneeded includes.

Mon, 13 Jun 2022 18:05:36 +0000

[libc++] Removes unneeded includes.Reviewed By: #libc, philnikDifferential Revision: https://reviews.llvm.org/D127675 List of files: /llvm-project-15.0.7/libcxx/include/list

3cd4531b - [libc++] Granularize includes

Fri, 10 Jun 2022 17:53:10 +0000

[libc++] Granularize includesReviewed By: ldionne, #libcSpies: libcxx-commits, wenleiDifferential Revision: https://reviews.llvm.org/D127445 List of files: /llvm-project-15.0.7/libcxx/include/list

f3966eaf - [libc++] Make the Debug mode a configuration-time only option

Fri, 01 Apr 2022 20:38:30 +0000

[libc++] Make the Debug mode a configuration-time only optionThe debug mode has been broken pretty much ever since it was shippedbecause it was possible to enable the debug mode in user code withoutactually enabling it in the dylib, leading to ODR violations thatcaused various kinds of failures.This commit makes the debug mode a knob that is configured whenbuilding the library and which can't be changed afterwards. This isless flexible for users, however it will actually work as intendedand it will allow us, in the future, to add various kinds of checksthat do not assume the same ABI as the normal library. Furthermore,this will make the debug mode more robust, which means that vendorsmight be more tempted to support it properly, which hasn't been thecase with the current debug mode.This patch shouldn't break any user code, except folks who are buildingagainst a library that doesn't have the debug mode enabled and who tryto enable the debug mode in their code. Such users will get a compile-timeerror explaining that this configuration isn't supported anymore.In the future, we should further increase the granularity of the debugmode checks so that we can cherry-pick which checks to enable, like wedo for unspecified behavior randomization.Differential Revision: https://reviews.llvm.org/D122941 List of files: /llvm-project-15.0.7/libcxx/include/list

4eab04f8 - [libc++] Remove a bunch of conditionals on _LIBCPP_DEBUG_LEVEL

Fri, 03 Jun 2022 19:17:03 +0000

[libc++] Remove a bunch of conditionals on _LIBCPP_DEBUG_LEVELInstead of providing two different constructors for iterators thatsupport the debug mode, provide a single constructor but leave thecontainer parameter unused when the debug mode is not enabled.This allows simplifying all the call sites to unconditionally passthe container, which removes a bunch of duplication in the container'simplementation.Note that this patch does add some complexity to std::span, howeverthat is only because std::span has the ability to use raw pointersas iterators instead of __wrap_iter. In retrospect, I believe it wasa mistake to provide that capability, and so it will be removed in afuture patch, along with the complexity added by this patch.Differential Revision: https://reviews.llvm.org/D126993 List of files: /llvm-project-15.0.7/libcxx/include/list

c095440c - [libc++] Remove __invalidate_all_iterators and replace the uses with std::__debug_db_invalidate_all

Sun, 08 May 2022 14:40:04 +0000

[libc++] Remove __invalidate_all_iterators and replace the uses with std::__debug_db_invalidate_allReviewed By: ldionne, #libcSpies: libcxx-commitsDifferential Revision: https://reviews.llvm.org/D125188 List of files: /llvm-project-15.0.7/libcxx/include/list

08f68dfe - [libc++] Add a few more debug wrapper functions

Sat, 07 May 2022 20:20:23 +0000

[libc++] Add a few more debug wrapper functionsReviewed By: ldionne, #libc, jloserSpies: libcxx-commitsDifferential Revision: https://reviews.llvm.org/D125176 List of files: /llvm-project-15.0.7/libcxx/include/list

88930229 - [libc++][format][3/6] Adds a __container_buffer.

Sun, 26 Sep 2021 13:47:42 +0000

[libc++][format][3/6] Adds a __container_buffer.Instead of writing every character directly into the container by usinga `back_insert_iterator` the data is buffered in an `array`. This bufferis then inserted to the container by calling its `insert` member function.Since there's no guarantee every container's `insert` behaves properlycontainers need to opt-in to this behaviour. The appropriate standardcontainers opt-in to this behaviour.This change improves the performance of the format functions that use a`back_insert_iterator`.Depends on D110495Reviewed By: ldionne, vitaut, #libcDifferential Revision: https://reviews.llvm.org/D110497 List of files: /llvm-project-15.0.7/libcxx/include/list

385cc25a - [libc++] Ensure that all public C++ headers include <__assert>

Fri, 25 Mar 2022 16:55:36 +0000

[libc++] Ensure that all public C++ headers include <__assert>This patch changes the requirement for getting the declaration of theassertion handler from including <__assert> to including any publicC++ header of the library. Note that C compatibility headers areexcluded because we don't implement all the C headers ourselves --some of them are taken straight from the C library, like assert.h.It also adds a generated test to check it. Furthermore, this newgenerated test is designed in a way that will make it possible toreplace almost all the existing test-generation scripts with thissystem in upcoming patches.Differential Revision: https://reviews.llvm.org/D122506 List of files: /llvm-project-15.0.7/libcxx/include/list

3c6bd176 - [libc++] Rename identity to type_identity

Fri, 18 Mar 2022 16:49:02 +0000

[libc++] Rename __identity to __type_identityIn C++20 the type trait `type_identity` was introduced. For the same purpose there is `__identity` for pre-C++20 code. The name is confusing, because since C++20 there is also `identity`, which isn't a type trait.Reviewed By: ldionne, Mordante, #libcSpies: EricWF, libcxx-commitsDifferential Revision: https://reviews.llvm.org/D122017 List of files: /llvm-project-15.0.7/libcxx/include/list

c87c8917 - [libc++] Audit all uses of _LIBCPP_ASSERT and _LIBCPP_DEBUG_ASSERT

Thu, 24 Mar 2022 13:03:56 +0000

[libc++] Audit all uses of _LIBCPP_ASSERT and _LIBCPP_DEBUG_ASSERTI audited all uses of _LIBCPP_ASSERT to make sure that we only used itfor "basic assertions", i.e. assertions with constant-time conditions.I also audited all uses of _LIBCPP_DEBUG_ASSERT to make sure we used itonly for debug-mode assertions, and in one case had to change for_LIBCPP_ASSERT instead.As a fly-by, I also changed a couple of tests against nullptr or 0 tobe more explicit.After this patch, all uses of _LIBCPP_ASSERT should be with constant-timeconditions, and all uses of _LIBCPP_DEBUG_ASSERT should be with conditionsthat we only want to check when the debug mode is enabled.Differential Revision: https://reviews.llvm.org/D122395 List of files: /llvm-project-15.0.7/libcxx/include/list

52915d78 - [libc++] Granularize includes

Sat, 05 Mar 2022 18:17:07 +0000

[libc++] Granularize includesReviewed By: ldionne, #libcSpies: EricWF, libcxx-commits, arphamanDifferential Revision: https://reviews.llvm.org/D120466 List of files: /llvm-project-15.0.7/libcxx/include/list

f87aa19b - [libc++] Move everything related solely to _LIBCPP_ASSERT to its own file

Mon, 14 Feb 2022 18:41:09 +0000

[libc++] Move everything related solely to _LIBCPP_ASSERT to its own fileThis is the first step towards disentangling the debug mode and assertionsin libc++. This patch doesn't make any functional change: it simply moves_LIBCPP_ASSERT-related stuff to its own file so as to make it clear thatlibc++ assertions and the debug mode are different things. Future patcheswill make it possible to enable assertions without enabling the debugmode.Differential Revision: https://reviews.llvm.org/D119769 List of files: /llvm-project-15.0.7/libcxx/include/list

2e2f3158 - [libc++] Granularize algorithm includes

Tue, 15 Feb 2022 17:18:08 +0000

[libc++] Granularize algorithm includesReviewed By: Mordante, ldionne, Quuxplusone, #libc, #libc_abiSpies: #libc_vendors, libcxx-commits, miyukiDifferential Revision: https://reviews.llvm.org/D119667 List of files: /llvm-project-15.0.7/libcxx/include/list

fa6b9e40 - [libc++] Normalize all our '#pragma GCC system_header', and regression-test.

Wed, 02 Feb 2022 01:16:40 +0000

[libc++] Normalize all our '#pragma GCC system_header', and regression-test.Now we'll notice if a header forgets to include this magic phrase.Differential Revision: https://reviews.llvm.org/D118800 List of files: /llvm-project-15.0.7/libcxx/include/list