Daily bump.

[gcc.git] / libstdc++-v3 / ChangeLog

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 1b20d4eb783b935cff79e2cc372afbab7da7384b..4ef6242092600bace33a2b02f86d600d0a9c437e 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,69 @@
+2022-08-26  Patrick Palka  <ppalka@redhat.com>
+
+       * include/std/ranges (zip_view::_Iterator::operator<): Remove
+       as per LWG 3692.
+       (zip_view::_Iterator::operator>): Likewise.
+       (zip_view::_Iterator::operator<=): Likewise.
+       (zip_view::_Iterator::operator>=): Likewise.
+       (zip_view::_Iterator::operator<=>): Remove three_way_comparable
+       constraint as per LWG 3692.
+       (zip_transform_view::_Iterator): Ditto as per LWG 3702.
+
+2022-08-26  Patrick Palka  <ppalka@redhat.com>
+
+       * include/std/ranges (zip_view::_Iterator): Befriend
+       zip_transform_view.
+       (__detail::__range_iter_cat): Define.
+       (zip_transform_view): Define.
+       (zip_transform_view::_Iterator): Define.
+       (zip_transform_view::_Sentinel): Define.
+       (views::__detail::__can_zip_transform_view): Define.
+       (views::_ZipTransform): Define.
+       (views::zip_transform): Define.
+       * testsuite/std/ranges/zip_transform/1.cc: New test.
+
+2022-08-26  Patrick Palka  <ppalka@redhat.com>
+
+       * include/std/type_traits (enable_if, __enable_if_t): Define them
+       earlier.
+       (__detail::__first_t): Define.
+       (__detail::__or_fn, __detail::__and_fn): Declare.
+       (__or_, __and_): Redefine as alias templates in terms of __or_fn
+       and __and_fn.
+       (__not_): Redefine as an alias template.
+       (__detail::__disjunction_impl, __detail::__conjunction_impl):
+       Define.
+       (conjuction, disjunction): Redefine in terms of __disjunction_impl
+       and __conjunction_impl.
+
+2022-08-26  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/std/system_error (error_code::_Check): New alias
+       template for constructor SFINAE constraint.
+       (error_code::error_code(ErrorCodeEnum)): Use it.
+       (error_code::operator=(ErrorCodeEnum)): Remove.
+       (error_condition::_Check): New alias template for constraint.
+       (error_condition::error_condition(ErrorConditionEnum)): Use it.
+       (error_condition::operator=(ErrorConditionEnum)): Remove.
+       * testsuite/19_diagnostics/error_code/cons/1.cc: Check
+       constructor taking user-defined error enum.
+       * testsuite/19_diagnostics/error_condition/cons/1.cc: Likewise.
+
+2022-08-26  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/bits/basic_string.h (starts_with, ends_with, contains):
+       Add nonnull attribute.
+       * include/bits/cow_string.h (starts_with, ends_with, contains):
+       Likewise.
+       * include/std/string_view (starts_with, ends_with, contains):
+       Likewise.
+       * testsuite/21_strings/basic_string/operations/contains/nonnull.cc
+       * testsuite/21_strings/basic_string/operations/ends_with/nonnull.cc
+       * testsuite/21_strings/basic_string/operations/starts_with/nonnull.cc
+       * testsuite/21_strings/basic_string_view/operations/contains/nonnull.cc
+       * testsuite/21_strings/basic_string_view/operations/ends_with/nonnull.cc
+       * testsuite/21_strings/basic_string_view/operations/starts_with/nonnull.cc
+
 2022-08-25  Patrick Palka  <ppalka@redhat.com>
 
        * include/std/ranges (lazy_split_view::_OuterIter::_M_current):