[libc++][ranges] Finish LWG issues directly related to the One Ranges Proposal.
authorKonstantin Varlamov <varconst@apple.com>
Tue, 28 Jun 2022 18:59:59 +0000 (11:59 -0700)
committerKonstantin Varlamov <varconst@apple.com>
Tue, 28 Jun 2022 19:00:15 +0000 (12:00 -0700)
commit79a2b4ba98a1eecc214b68fc31483ebbd7cf8c8a
tree9828022a2c175752071b3ecda0fc20b0a10c0366
parentf7bf9d13d50d785889952deb18cc93de0176cb96
[libc++][ranges] Finish LWG issues directly related to the One Ranges Proposal.

- P1252 ("Ranges Design Cleanup") -- deprecate
  `move_iterator::operator->` starting from C++20; add range comparisons
  to the `<functional>` synopsis. This restores
  `move_iterator::operator->` that was incorrectly deleted in D117656;
  it's still defined in the latest draft, see
  http://eel.is/c++draft/depr.move.iter.elem. Note that changes to
  `*_result` types from 6.1 in the paper are no longer relevant now that
  these types are aliases;
- P2106 ("Alternative wording for GB315 and GB316") -- add a few
  `*_result` types to the synopsis in `<algorithm>` (some algorithms are
  not implemented yet and thus some of the proposal still cannot be
  marked as done);

Also mark already done issues as done (or as nothing to do):
- P2091 ("Fixing Issues With Range Access CPOs") was already implemented
  (this patch adds tests for some ill-formed cases);
- LWG 3247 ("`ranges::iter_move` should perform ADL-only lookup of
  `iter_move`") was already implemented;
- LWG 3300 ("Non-array ssize overload is underconstrained") doesn't
  affect the implementation;
- LWG 3335 ("Resolve C++20 NB comments US 273 and GB 274") was already
  implemented;
- LWG 3355 ("The memory algorithms should support move-only input
  iterators introduced by P1207") was already implemented (except for
  testing).

Differential Revision: https://reviews.llvm.org/D126053
22 files changed:
libcxx/docs/Status/Cxx20Issues.csv
libcxx/docs/Status/Cxx20Papers.csv
libcxx/docs/Status/RangesIssues.csv
libcxx/include/__iterator/move_iterator.h
libcxx/include/__ranges/size.h
libcxx/include/algorithm
libcxx/include/functional
libcxx/include/iterator
libcxx/test/std/iterators/predef.iterators/move.iterators/move.iter.ops/move.iter.op.ref/deprecated.verify.cpp [new file with mode: 0644]
libcxx/test/std/iterators/predef.iterators/move.iterators/move.iter.ops/move.iter.op.ref/op_arrow.pass.cpp
libcxx/test/std/ranges/range.access/begin.verify.cpp [new file with mode: 0644]
libcxx/test/std/ranges/range.access/data.verify.cpp [new file with mode: 0644]
libcxx/test/std/ranges/range.access/empty.verify.cpp [new file with mode: 0644]
libcxx/test/std/ranges/range.access/end.verify.cpp [new file with mode: 0644]
libcxx/test/std/ranges/range.access/rbegin.verify.cpp [new file with mode: 0644]
libcxx/test/std/ranges/range.access/rend.verify.cpp [new file with mode: 0644]
libcxx/test/std/ranges/range.access/size.verify.cpp [new file with mode: 0644]
libcxx/test/std/ranges/range.access/ssize.verify.cpp [new file with mode: 0644]
libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.copy/ranges_uninitialized_copy.pass.cpp
libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.copy/ranges_uninitialized_copy_n.pass.cpp
libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.move/ranges_uninitialized_move.pass.cpp
libcxx/test/std/utilities/memory/specialized.algorithms/uninitialized.move/ranges_uninitialized_move_n.pass.cpp