From 2ed54856c718effcc12b521fea8268fc805b0dfc Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 9 Jul 2025 15:12:54 +0800 Subject: [PATCH] [libc++][docs] Update paper & LWG issue lists after 2025-06 meeting CWG papers requiring library support are also listed. --- libcxx/docs/Status/Cxx2cIssues.csv | 25 +++++++++++++++++++ libcxx/docs/Status/Cxx2cPapers.csv | 39 ++++++++++++++++++++++++++++++ 2 files changed, 64 insertions(+) diff --git a/libcxx/docs/Status/Cxx2cIssues.csv b/libcxx/docs/Status/Cxx2cIssues.csv index d3feecf6513e4..f9dc8d31e70e1 100644 --- a/libcxx/docs/Status/Cxx2cIssues.csv +++ b/libcxx/docs/Status/Cxx2cIssues.csv @@ -121,6 +121,31 @@ "`LWG4191 `__","P1467 changed the return type of ``pow(complex, int)``","2025-02 (Hagenberg)","","","" "`LWG4196 `__","Complexity of ``inplace_merge()`` is incorrect","2025-02 (Hagenberg)","","","" "","","","","","" +"`LWG4198 `__","``schedule_from`` isn't starting the schedule sender if decay-copying results throws","2025-06 (Sofia)","","","" +"`LWG4202 `__","``enable-sender`` should be a variable template","2025-06 (Sofia)","","","" +"`LWG4203 `__","Constraints on ``get-state`` functions are incorrect","2025-06 (Sofia)","","","" +"`LWG4204 `__","specification of ``as-sndr2(Sig)`` in [exec.let] is incomplete","2025-06 (Sofia)","","","" +"`LWG4205 `__","let_[*].transform_env is specified in terms of the let_* sender itself instead of its child","2025-06 (Sofia)","","","" +"`LWG4208 `__","Wording needs to ensure that in ``connect(sndr, rcvr)`` that ``rcvr`` expression is only evaluated once","2025-06 (Sofia)","","","" +"`LWG4209 `__","``default_domain::transform_env`` should be returning ``FWD-ENV(env)``","2025-06 (Sofia)","","","" +"`LWG4188 `__","``ostream::sentry`` destructor should handle exceptions","2025-06 (Sofia)","","","" +"`LWG4200 `__","The ``operation_state`` concept can be simplified","2025-06 (Sofia)","","","" +"`LWG4201 `__","``with-await-transform::await_transform`` should not use a deduced return type","2025-06 (Sofia)","","","" +"`LWG4217 `__","Clarify ``mdspan`` layout mapping requirements for ``rank == 0``","2025-06 (Sofia)","","","" +"`LWG4222 `__","``expected`` constructor from a single value missing a constraint","2025-06 (Sofia)","","","" +"`LWG4224 `__","Philox engines should be freestanding","2025-06 (Sofia)","","","" +"`LWG4227 `__","Missing ``noexcept`` operator in [exec.when.all]","2025-06 (Sofia)","","","" +"`LWG4231 `__","``datapar::chunk`` should use ``simd-size-type`` instead of ``size_t``","2025-06 (Sofia)","","","" +"`LWG4232 `__","``datapar::resize`` does not resize","2025-06 (Sofia)","","","" +"`LWG4233 `__","The helper lambda of ``std::erase`` for ``hive`` should specify return type as ``bool``","2025-06 (Sofia)","","","" +"`LWG4234 `__","Including ```` doesn't provide ``std::begin/end``","2025-06 (Sofia)","","","" +"`LWG4235 `__","``cache_latest_view`` and ``to_input_view`` miss ``reserve_hint``","2025-06 (Sofia)","","","" +"`LWG4236 `__","``chunk_view::outer-iterator::value_type`` should provide ``reserve_hint``","2025-06 (Sofia)","","","" +"`LWG4239 `__","``flat_map``'s transparent comparator no longer works for string literals","2025-06 (Sofia)","","","" +"`LWG4242 `__","``ranges::distance`` does not work with volatile iterators","2025-06 (Sofia)","","","" +"`LWG4245 `__","Operators that interact with ``counted_iterator`` and ``default_sentinel_t`` should be ``noexcept``","2025-06 (Sofia)","","","" +"`LWG4247 `__","Header ```` is not yet freestanding","2025-06 (Sofia)","","","" +"","","","","","" "`LWG3343 `__","Ordering of calls to ``unlock()`` and ``notify_all()`` in Effects element of ``notify_all_at_thread_exit()`` should be reversed","Not Adopted Yet","|Complete|","16","" "`LWG4139 `__","§[time.zone.leap] recursive constraint in <=>","Not Adopted Yet","|Complete|","20","" "`LWG3456 `__","Pattern used by std::from_chars is underspecified (option B)","Not Adopted Yet","|Complete|","20","" diff --git a/libcxx/docs/Status/Cxx2cPapers.csv b/libcxx/docs/Status/Cxx2cPapers.csv index dc18127525a3e..a1854a6acc41a 100644 --- a/libcxx/docs/Status/Cxx2cPapers.csv +++ b/libcxx/docs/Status/Cxx2cPapers.csv @@ -117,3 +117,42 @@ "`P0447R28 `__","Introduction of ``std::hive`` to the standard library","2025-02 (Hagenberg)","","","" "`P3019R14 `__","``indirect`` and ``polymorphic``: Vocabulary Types for Composite Class Design","2025-02 (Hagenberg)","","","" "","","","","","" +"`P2996R13 `__","Reflection for C++26","2025-06 (Sofia)","","","" +"`P3394R4 `__","Annotations for Reflection","2025-06 (Sofia)","","","" +"`P3293R3 `__","Splicing a base class subobject","2025-06 (Sofia)","","","" +"`P3096R12 `__","Function Parameter Reflection in Reflection for C++26","2025-06 (Sofia)","","","" +"`P2988R12 `__","``std::optional<‍T&‍>``","2025-06 (Sofia)","","","" +"`P3348R4 `__","C++26 should refer to C23 not C17","2025-06 (Sofia)","","","" +"`P3037R6 `__","``constexpr`` ``std::shared_ptr`` and friends","2025-06 (Sofia)","","","" +"`P3284R4 `__","``write_env`` and ``unstoppable`` Sender Adaptors","2025-06 (Sofia)","","","" +"`P3179R9 `__","Parallel Range Algorithms","2025-06 (Sofia)","","","" +"`P3709R2 `__","Reconsider parallel ``ranges::rotate_copy`` and ``ranges::reverse_copy``","2025-06 (Sofia)","","","" +"`P3641R0 `__","Rename ``std::observable`` to ``std::observable_checkpoint``, and add a feature-test macro","2025-06 (Sofia)","","","" +"`P3044R2 `__","sub-``string_view`` from ``string``","2025-06 (Sofia)","","","" +"`P2876R3 `__","Proposal to extend ``std::simd`` with more constructors and accessors","2025-06 (Sofia)","","","" +"`P3480R6 `__","``std::simd`` is a range","2025-06 (Sofia)","","","" +"`P2664R11 `__","Extend ``std::simd`` with permutation API","2025-06 (Sofia)","","","" +"`P3691R1 `__","Reconsider naming of the namespace for ``std::simd``","2025-06 (Sofia)","","","" +"`P3383R3 `__","``mdspan.at()``","2025-06 (Sofia)","","","" +"`P2927R3 `__","Inspecting ``exception_ptr``","2025-06 (Sofia)","","","" +"`P3748R0 `__","Inspecting ``exception_ptr`` should be constexpr","2025-06 (Sofia)","","","" +"`P2830R10 `__","Standardized Constexpr Type Ordering","2025-06 (Sofia)","","","" +"`P3570R2 `__","optional variants in sender/receiver","2025-06 (Sofia)","","","" +"`P3481R5 `__","``std::execution::bulk()`` issues","2025-06 (Sofia)","","","" +"`P3433R1 `__","Allocator Support for Operation States","2025-06 (Sofia)","","","" +"`P3149R11 `__","``async_scope`` - Creating scopes for non-sequential concurrency","2025-06 (Sofia)","","","" +"`P3682R0 `__"," Remove ``std::execution::split``","2025-06 (Sofia)","","","" +"`P2079R10 `__","Parallel scheduler","2025-06 (Sofia)","","","" +"`P3557R3 `__","High-Quality Sender Diagnostics with Constexpr Exceptions","2025-06 (Sofia)","","","" +"`P3560R2 `__","Error Handling in Reflection","2025-06 (Sofia)","","","" +"`P3503R3 `__","Make type-erased allocator use in ``promise`` and ``packaged_task`` consistent","2025-06 (Sofia)","","","" +"`P3008R6 `__","Atomic floating-point min/max","2025-06 (Sofia)","","","" +"`P3111R8 `__","Atomic Reduction Operations","2025-06 (Sofia)","","","" +"`P3060R3 `__","Add ``std::views::indices(n)``","2025-06 (Sofia)","","","" +"`P2319R5 `__","Prevent ``path`` presentation problems","2025-06 (Sofia)","","","" +"`P3223R2 `__","Making ``std::istream::ignore`` less surprising","2025-06 (Sofia)","","","" +"`P2781R9 `__","``std::constant_wrapper``","2025-06 (Sofia)","","","" +"`P3697R1 `__","Minor additions to C++26 standard library hardening","2025-06 (Sofia)","","","" +"`P3552R3 `__","Add a Coroutine Task Type","2025-06 (Sofia)","","","" +"`P1317R2 `__","Remove return type deduction in ``std::apply``","2025-06 (Sofia)","","","" +"","","","","",""