+2021-06-11 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ Backported from master:
+ 2021-06-11 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ PR d/100999
+ * dmd/cond.c (lowerArrayAggregate): Run CTFE interpret on foreach
+ input range.
+ (createTupleType): Don't generate typeinfo when disabled.
+ (lowerNonArrayAggregate): Suppress errors when running type semantic.
+ (staticForeachPrepare): Don't run CTFE interpret from here.
+ * dmd/dinterpret.c (ctfeInterpret): Add more shortcut cases.
+ * dmd/expression.c (Expression::checkPostblit): Don't generate
+ typeinfo when type is missing from library.
+ * dmd/expressionsem.c (resolvePropertiesX): Remove early error.
+ * dmd/statementsem.c (StatementSemanticVisitor::declareVariable):
+ Don't override index type.
+ (StatementSemanticVisitor::makeTupleForeachBody): Check index type is
+ integral and index range fits type size.
+ (StatementSemanticVisitor::visit (ForeachStatement*)): Adjust index
+ range before testing.
+
2021-06-10 Iain Buclaw <ibuclaw@gdcproject.org>
Backported from master:
+2021-06-11 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ Backported from master:
+ 2021-06-11 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ PR d/100999
+ * gdc.test/compilable/staticforeach.d: Add new tests.
+ * gdc.test/fail_compilation/diag16976.d: Likewise.
+ * gdc.test/fail_compilation/fail117.d: Likewise.
+ * gdc.test/fail_compilation/fail238_m32.d: Likewise.
+ * gdc.test/fail_compilation/fail238_m64.d: Likewise.
+ * gdc.test/fail_compilation/fail7424b.d: Likewise.
+ * gdc.test/fail_compilation/fail7424c.d: Likewise.
+ * gdc.test/fail_compilation/fail7424d.d: Likewise.
+ * gdc.test/fail_compilation/fail7424e.d: Likewise.
+ * gdc.test/fail_compilation/fail7424f.d: Likewise.
+ * gdc.test/fail_compilation/fail7424g.d: Likewise.
+ * gdc.test/fail_compilation/fail7424h.d: Likewise.
+ * gdc.test/fail_compilation/fail7424i.d: Likewise.
+ * gdc.test/fail_compilation/fail9766.d: Likewise.
+ * gdc.test/fail_compilation/ice9406.d: Likewise.
+ * gdc.test/compilable/extra-files/minimal/object.d: New file.
+ * gdc.test/compilable/interpret5.d: New test.
+ * gdc.test/compilable/minimal3.d: New test.
+ * gdc.test/compilable/test21742.d: New test.
+ * gdc.test/compilable/test22006.d: New test.
+ * gdc.test/fail_compilation/b12504.d: New test.
+ * gdc.test/fail_compilation/fail22006.d: New test.
+ * gdc.test/fail_compilation/test21927.d: New test.
+ * gdc.test/fail_compilation/test21939.d: New test.
+
2021-06-11 Aaron Sawdey <acsawdey@linux.ibm.com>
Backported from master:
+2021-06-11 Jonathan Wakely <jwakely@redhat.com>
+
+ Backported from master:
+ 2021-06-11 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/fs_path.h (operator==, operator<=>): Use new
+ _S_compare function.
+ (path::_S_compare): New function to call path::compare in a
+ context where path::iterator is complete.
+ * include/experimental/bits/fs_path.h (operator<, operator==):
+ Define after path::iterator is complete.
+ * testsuite/27_io/filesystem/path/native/conv_c++23.cc: New
+ test.
+ * testsuite/experimental/filesystem/path/native/conv_c++23.cc:
+ New test.
+
+2021-06-11 Jonathan Wakely <jwakely@redhat.com>
+
+ Backported from master:
+ 2021-06-08 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/experimental/propagate_const (swap): Constrain.
+ * testsuite/experimental/propagate_const/swap/lwg3413.cc: New test.
+
+2021-06-11 Jonathan Wakely <jwakely@redhat.com>
+
+ Backported from master:
+ 2021-06-09 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/100982
+ * include/std/optional (optional::operator=(const optional<U>&)):
+ Fix value category used in is_assignable check.
+ * testsuite/20_util/optional/assignment/100982.cc: New test.
+
+2021-06-11 Jonathan Wakely <jwakely@redhat.com>
+
+ Backported from master:
+ 2021-06-07 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/98842
+ * include/std/optional (operator<=>(const optional<T>& const U&)):
+ Add missing constraint and add workaround for template
+ recursion.
+ * testsuite/20_util/optional/relops/three_way.cc: Check that
+ type without equality comparison cannot be compared when wrapped
+ in std::optional.
+
+2021-06-11 Jonathan Wakely <jwakely@redhat.com>
+
+ Backported from master:
+ 2021-06-05 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/100824
+ * include/bits/ranges_base.h (_SSize): Return signed type.
+ * testsuite/std/ranges/access/ssize.cc: Check with __int128.
+
+2021-06-11 Jonathan Wakely <jwakely@redhat.com>
+
+ Backported from master:
+ 2021-06-04 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/ranges_base.h (_SSize): Return the result of
+ ranges::size converted to the wider of make-signed-like-t<S> and
+ ptrdiff_t, rather than the ranges different type.
+ * testsuite/std/ranges/access/ssize.cc: Adjust expected result
+ for an iota_view that uses an integer class type for its
+ difference_type.
+
+2021-06-11 Jonathan Wakely <jwakely@redhat.com>
+
+ Backported from master:
+ 2021-06-04 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/100824
+ * include/bits/ranges_base.h (__member_data): Use __decay_copy.
+ * testsuite/std/ranges/access/data.cc: Add testcase from PR.
+
+2021-06-11 Jonathan Wakely <jwakely@redhat.com>
+
+ Backported from master:
+ 2021-06-04 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/100824
+ * include/bits/iterator_concepts.h (__detail::__decay_copy)
+ (__detail::__member_begin, __detail::__adl_begin): Move to
+ namespace ranges::__cust_access.
+ (__detail::__ranges_begin): Likewise, and rename to __begin.
+ Remove redundant static assertion.
+ * include/bits/ranges_base.h (_Begin, _End, _RBegin, _REnd):
+ Use lvalue in noexcept specifier.
+ (__as_const): Add non-deduced parameter for value category.
+ (_CBegin, _CEnd, _CRBegin, _CREnd, _CData): Adjust uses of
+ __as_const.
+ (__member_size, __adl_size, __member_empty, __size0_empty):
+ (__eq_iter_empty, __adl_data): Use lvalue objects in
+ requirements.
+ (__sentinel_size): Likewise. Add check for conversion to
+ unsigned-like.
+ (__member_data): Allow non-lvalue types to satisfy the concept,
+ but use lvalue object in requirements.
+ (_Size, _SSize): Remove forwarding to always use an lvalue.
+ (_Data): Likewise. Add static assertion for arrays.
+ * testsuite/std/ranges/access/cdata.cc: Adjust expected
+ behaviour for rvalues. Add negative tests for ill-formed
+ expressions.
+ * testsuite/std/ranges/access/data.cc: Likewise.
+ * testsuite/std/ranges/access/empty.cc: Adjust expected
+ behaviour for rvalues.
+ * testsuite/std/ranges/access/size.cc: Likewise.
+
+2021-06-11 Jonathan Wakely <jwakely@redhat.com>
+
+ Backported from master:
+ 2021-06-04 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/xml/manual/status_cxx2020.xml:
+ * doc/html/*: Regenerate.
+ * include/bits/hashtable.h (__cpp_lib_generic_unordered_lookup):
+ Define.
+ * include/std/version (__cpp_lib_generic_unordered_lookup):
+ Define.
+ * testsuite/23_containers/unordered_map/operations/1.cc: Check
+ feature test macro.
+ * testsuite/23_containers/unordered_set/operations/1.cc:
+ Likewise.
+
2021-06-10 Patrick Palka <ppalka@redhat.com>
Backported from master:
projects / thirdparty / gcc.git / commitdiff
