+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2023-03-03 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/108998
+ * pt.c (el_data::skipped_trees): New data member.
+ (extract_locals_r): Push to skipped_trees any unevaluated
+ contexts that we skipped over.
+ (extract_local_specs): For the second walk, start from each
+ tree in skipped_trees.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2022-12-15 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/100295
+ PR c++/107579
+ * pt.c (el_data::skip_unevaluated_operands): New data member.
+ (extract_locals_r): If skip_unevaluated_operands is true,
+ don't walk into unevaluated contexts.
+ (extract_local_specs): Walk the pattern twice, first with
+ skip_unevaluated_operands true followed by it set to false.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2022-11-29 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/107864
+ * decl.c (function_requirements_equivalent_p): Don't check
+ DECL_TEMPLATE_SPECIALIZATION.
+ * pt.c (determine_specialization): Propagate constraints when
+ specializing a function template too. Simplify by using
+ add_outermost_template_args.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2022-11-03 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/107179
+ * constraint.cc (tsubst_requires_expr): Make sure we're not
+ deferring access checks.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2022-03-30 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/100474
+ * constraint.cc (diagnose_trait_expr): Handle all remaining
+ traits appropriately. Remove default case.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2022-03-12 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/104527
+ * constraint.cc (normalize_atom): Set
+ ATOMIC_CONSTR_EXPR_FROM_CONCEPT_P appropriately.
+ (get_mapped_args): Make static, adjust parameters. Always
+ return a vector whose depth corresponds to the template depth of
+ the context of the atomic constraint expression. Micro-optimize
+ by passing false as exact to safe_grow_cleared and by collapsing
+ a multi-level depth-one argument vector.
+ (satisfy_atom): Adjust call to get_mapped_args and
+ diagnose_atomic_constraint.
+ (diagnose_atomic_constraint): Replace map parameter with an args
+ parameter.
+ * cp-tree.h (ATOMIC_CONSTR_EXPR_FROM_CONCEPT_P): Define.
+ (get_mapped_args): Remove declaration.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2022-01-28 Patrick Palka <ppalka@redhat.com>
+ Jason Merrill <jason@redhat.com>
+
+ PR c++/92752
+ * typeck.c (build_ptrmemfunc): Cast a nullptr constant to the
+ unqualified pointer type not the qualified one.
+
2023-05-16 Iain Sandoe <iain@sandoe.co.uk>
Backported from master:
+2023-05-22 Michael Meissner <meissner@linux.ibm.com>
+
+ PR target/70243
+ * gcc.target/powerpc/pr70243.c: New test. Back port from master
+ 04/10/2023.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2023-03-03 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/108998
+ * g++.dg/cpp2a/lambda-generic11.C: New test.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2022-12-15 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/100295
+ PR c++/107579
+ * g++.dg/cpp1z/constexpr-if-lambda5.C: New test.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2022-11-29 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/107864
+ * g++.dg/concepts/explicit-spec1a.C: New test.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2022-11-03 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/107179
+ * g++.dg/cpp2a/concepts-requires31.C: New test.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2022-03-30 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/100474
+ * g++.dg/cpp2a/concepts-traits3.C: New test.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2022-03-12 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/104527
+ * g++.dg/cpp2a/concepts-return-req4.C: New test.
+
+2023-05-22 Patrick Palka <ppalka@redhat.com>
+
+ Backported from master:
+ 2022-01-28 Patrick Palka <ppalka@redhat.com>
+ Jason Merrill <jason@redhat.com>
+
+ PR c++/92752
+ * g++.dg/warn/Wignored-qualifiers2.C: New test.
+
2023-05-20 Harald Anlauf <anlauf@gmx.de>
Backported from master: