Changes in span

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/span

c166a9c713ec86b86f1f178a5133bc128fd0a610 - [libc++] Add #if 0 block to all the top-level headers (#119234)

Tue, 10 Dec 2024 15:02:12 +0000

[libc++] Add #if 0 block to all the top-level headers (#119234)Including The frozen C++03 headers results in a lot of formattingchanges in the main headers, so this splits these changes into aseparate commit instead.This is part ofhttps://discourse.llvm.org/t/rfc-freezing-c-03-headers-in-libc. List of files: /llvm-project/libcxx/include/span

4c4606a743d26ebe5fdd84e953254627a459a991 - [libc++] Add missing assertion in std::span constructor (#118396)

Mon, 09 Dec 2024 16:51:07 +0000

[libc++] Add missing assertion in std::span constructor (#118396)The (iterator, size) constructor should ensure that it gets passed a valid range when the size is not 0. Fixes #107789 List of files: /llvm-project/libcxx/include/span

e99c4906e44ae3f921fa05356909d006cda8d954 - [libc++] Granularize includes (#108696)

Thu, 31 Oct 2024 01:20:10 +0000

[libc++] Granularize includes (#108696) List of files: /llvm-project/libcxx/include/span

7a785d46d6c31937c620f186464fdc59c265b4bf - [libc++][modules] Use inline variable instead of true_type (#106797)

Wed, 04 Sep 2024 15:18:00 +0000

[libc++][modules] Use inline variable instead of true_type (#106797)This allows breaking up a dependency from __fwd/array.h onto __type_traits, which is a circular dependency once __type_traits becomes a module of its own. This is also a small consistency improvement since we've been using inline variables for traits like this elsewhere in the library. List of files: /llvm-project/libcxx/include/span

99696b35bc8a0054e0b0c1a26e8dd5049fa8c41b - [libc++] Fix rejects-valid in std::span copy construction (#104500)

Fri, 16 Aug 2024 15:08:34 +0000

[libc++] Fix rejects-valid in std::span copy construction (#104500)Trying to copy-construct a std::span from another std::span holding an incomplete type would fail as we evaluate the SFINAE for the range-based constructor. The problem was that we checked for __is_std_span after checking for the range being a contiguous_range, which hard-errored because of arithmetic on a pointer to incomplete type. As a drive-by, refactor the whole test and format it. Fixes #104496 List of files: /llvm-project/libcxx/include/span

e2c2ffbe7a1b5d9e32a2ce64279475b50c4cba5b - [libc++][NFC] Run clang-format on libcxx/include again (#95874)

Tue, 18 Jun 2024 13:13:45 +0000

[libc++][NFC] Run clang-format on libcxx/include again (#95874)As time went by, a few files have become mis-formatted w.r.t. clang-format. This was made worse by the fact that formatting was not being enforced in extensionless headers. This commit simply brings all of libcxx/include in-line with clang-format again. We might have to do this from time to time as we update our clang-format version, but frankly this is really low effort now that we've formatted everything once. List of files: /llvm-project/libcxx/include/span

38bf6840e8589ebe22e8157aee79a57d9db9393d - [libc++] Add missing noexcept to span constructor (#94381)

Wed, 05 Jun 2024 14:21:57 +0000

[libc++] Add missing noexcept to span constructor (#94381)Thanks to Marshall Clow for noticing. Fixes #94364 List of files: /llvm-project/libcxx/include/span

7cafe04e0d74c1e9f7e3871a0bcdf4ccb1c89f0c - [libc++] P3029R1: Better `mdspan`'s CTAD (#87873)

Fri, 12 Apr 2024 17:25:22 +0000

[libc++] P3029R1: Better `mdspan`'s CTAD (#87873)## Abstract This pull request implements [P3029R1](https://wg21.link/P3029R1). The paper discusses the current behavior of `mdspan`'s most common pointer-indices CTAD, where the `Extents` template parameter is deduced as `dextents` (dynamic extents), even when passing compile-time constant values. The author believes this behavior is suboptimal, as it doesn't take advantage of the compile-time information. The proposed change suggests deducing static extents if `integral_constant`-like constants are passed, resulting in more intuitive syntax and less error-prone code. ## Reference - [P3029R1](https://wg21.link/P3029R1) - [Draft C++ Standard: [span.syn]](https://eel.is/c++draft/span.syn) - [Draft C++ Standard: [mdspan.syn]](https://eel.is/c++draft/mdspan.syn) List of files: /llvm-project/libcxx/include/span

ee22e255648ee9b056280484b4b70d4542bc807e - [libc++] Remove include from (#83742)

Sat, 09 Mar 2024 11:49:36 +0000

[libc++] Remove include from (#83742)This reduces the include time of `` from 122ms to 78ms. List of files: /llvm-project/libcxx/include/span

8e4887ff6de135680512f21fb41e949f73cbf262 - [libc++][NFC] Remove redundant preprocessor directive

Wed, 06 Mar 2024 15:56:18 +0000

[libc++][NFC] Remove redundant preprocessor directive List of files: /llvm-project/libcxx/include/span

37dca605c9bd41732da010ee97ed15ad9585a37d - [libc++] Clean up includes of <__assert> (#80091)

Thu, 29 Feb 2024 15:12:22 +0000

[libc++] Clean up includes of <__assert> (#80091)Originally, we used __libcpp_verbose_abort to handle assertion failures. That function was declared from all public headers. Since we don't use that mechanism anymore, we don't need to declare __libcpp_verbose_abort from all public headers, and we can clean up a lot of unnecessary includes. This patch also moves the definition of the various assertion categories to the <__assert> header, since we now rely on regular IWYU for these assertion macros. rdar://105510916 List of files: /llvm-project/libcxx/include/span

dbbeee6b8357c5a68543f612f3b2b607f1911b4c - [libc++][span] P2447R4: `std::span` over an initializer list (#78157)

Sat, 20 Jan 2024 04:09:46 +0000

[libc++][span] P2447R4: `std::span` over an initializer list (#78157)Implements: https://wg21.link/P2447R6 - https://eel.is/c++draft/span.syn - https://eel.is/c++draft/span.overview - https://eel.is/c++draft/span.cons - https://eel.is/c++draft/diff --------- Co-authored-by: Zingam List of files: /llvm-project/libcxx/include/span

a72ab9c14d604ae857acad5ed7d6b5be6914c619 - [libc++][span] P2821R5: `span.at()` (#74994)

Fri, 05 Jan 2024 09:41:22 +0000

[libc++][span] P2821R5: `span.at()` (#74994)- Implements: [P2821R5: span.at()](https://wg21.link/P2821R5) (https://eel.is/c++draft/views.contiguous#views.span) - Cleaned up `span.operator[]` test --------- Co-authored-by: Zingam List of files: /llvm-project/libcxx/include/span

9783f28cbb155e4a8d49c12e1c60ce14dcfaf0c7 - [libc++] Format the code base (#74334)

Mon, 18 Dec 2023 19:01:33 +0000

[libc++] Format the code base (#74334)This patch runs clang-format on all of libcxx/include and libcxx/src, in accordance with the RFC discussed at [1]. Follow-up patches will format the benchmarks, the test suite and remaining parts of the code. I'm splitting this one into its own patch so the diff is a bit easier to review. This patch was generated with: find libcxx/include libcxx/src -type f \ | grep -v 'module.modulemap.in' \ | grep -v 'CMakeLists.txt' \ | grep -v 'README.txt' \ | grep -v 'libcxx.imp' \ | grep -v '__config_site.in' \ | xargs clang-format -i A Git merge driver is available in libcxx/utils/clang-format-merge-driver.sh to help resolve merge and rebase issues across these formatting changes. [1]: https://discourse.llvm.org/t/rfc-clang-formatting-all-of-libc-once-and-for-all List of files: /llvm-project/libcxx/include/span

77a00c0d546cd4aa8311b5b9031ae9ea8cdb050c - [libc++] Replace uses of _VSTD:: by std:: (#74331)

Tue, 05 Dec 2023 16:19:15 +0000

[libc++] Replace uses of _VSTD:: by std:: (#74331)As part of the upcoming clang-formatting of libc++, this patch performs the long desired removal of the _VSTD macro. See https://discourse.llvm.org/t/rfc-clang-formatting-all-of-libc-once-and-for-all for the clang-format proposal. List of files: /llvm-project/libcxx/include/span

b18a46e35d69e4148a147256c70472d0a16e00e8 - [libc++][NFC] Add a few clang-format annotations (#74352)

Mon, 04 Dec 2023 20:17:31 +0000

[libc++][NFC] Add a few clang-format annotations (#74352)This is in preparation for clang-formatting the whole code base. These annotations are required either to avoid clang-format bugs or because the manually formatted code is significantly more readable than the clang-formatted alternative. All in all, it seems like very few annotations are required, which means that clang-format is doing a very good job in most cases. List of files: /llvm-project/libcxx/include/span

4c198542226223f6a5c5511a1f89b37d15ee10b9 - [libc++] Rename _LIBCPP_INLINE_VISIBILITY to _LIBCPP_HIDE_FROM_ABI (#74095)

Mon, 04 Dec 2023 15:25:14 +0000

[libc++] Rename _LIBCPP_INLINE_VISIBILITY to _LIBCPP_HIDE_FROM_ABI (#74095)In preparation for running clang-format on the whole code base, we are also removing mentions of the legacy _LIBCPP_INLINE_VISIBILITY macro in favor of the newer _LIBCPP_HIDE_FROM_ABI. We're still leaving the definition of _LIBCPP_INLINE_VISIBILITY to avoid creating needless breakage in case some older patches are checked-in with mentions of the old macro. After we branch for LLVM 18, we can do another pass to clean up remaining uses of the macro that might have gotten introduced by mistake (if any) and remove the macro itself at the same time. This is just a minor convenience to smooth out the transition as much as possible. See https://discourse.llvm.org/t/rfc-clang-formatting-all-of-libc-once-and-for-all for the clang-format proposal. List of files: /llvm-project/libcxx/include/span

a65070a76a7c823c28f1c95a21e4857ed6e123ef - [libc++] Remove a few transitive includes (#70553)

Sun, 29 Oct 2023 17:31:37 +0000

[libc++] Remove a few transitive includes (#70553) List of files: /llvm-project/libcxx/include/span

4122db1fbdeb7a9c5a7c8f0cd7afedd53754eaad - [libc++][hardening] Categorize most assertions inside the container classes.

Thu, 20 Jul 2023 17:13:54 +0000

[libc++][hardening] Categorize most assertions inside the container classes.This introduces:- `_LIBCPP_ASSERT_VALID_INPUT_RANGE`;- `_LIBCPP_ASSERT_VALID_CONTAINER_ACCESS`;- `_LIBCPP_ASSERT_VALID_ITERATOR_ACCESS`;- `_LIBCPP_ASSERT_VALID_ALLOCATOR`;- `_LIBCPP_ASSERT_INTERNAL`.Differential Revision: https://reviews.llvm.org/D155349 List of files: /llvm-project/libcxx/include/span