Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1eb1ada2f64112a69d07c6da7637b810f80ea003..3a9b1bdf9262e55e7886406faa357bc9e5f66235 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,91 @@
+2025-12-05  Vladimir N. Makarov  <vmakarov@redhat.com>
+
+       PR rtl-optimization/122215
+       * ira-color.cc (improve_allocation): Use register filter for all
+       loop on hard regs.
+
+2025-12-05  Richard Earnshaw  <rearnsha@arm.com>
+
+       PR target/122999
+       * config/arm/arm.cc (arm_canonicalize_comparison): Defer
+       initializing maxval until we know we are dealing with an
+       integer mode.
+
+2025-12-05  Richard Biener  <rguenther@suse.de>
+
+       * tree-vect-loop.cc (vect_need_peeling_or_partial_vectors_p):
+       When peeling for gaps we always need an epilog.
+
+2025-12-05  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/120939
+       * tree-vect-loop.cc (vect_need_peeling_or_partial_vectors_p):
+       Remove eliding an epilogue based on not computed
+       LOOP_VINFO_COST_MODEL_THRESHOLD and estimated max stmt executions.
+
+2025-12-05  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/123002
+       * tree-vectorizer.h (supportable_widening_operation): Remove
+       vinfo and stmt_info parameters, add flag to indicate whether
+       the context would allow OP_{EVEN,ODD}.
+       * tree-vect-patterns.cc (vect_recog_abd_pattern): Adjust
+       and pass false.
+       (vect_recog_widen_op_pattern): Likewise.
+       (vect_recog_widen_abd_pattern): Likewise.
+       * tree-vect-stmts.cc (vectorizable_conversion): Move
+       even/odd validity check here, from supportable_widening_operation.
+       Adjust it to be conservative.
+       (supportable_widening_operation): Get flag whether even/odd
+       is OK to use and remove then unused parameters and code.
+
+2025-12-05  Richard Biener  <rguenther@suse.de>
+
+       * tree-pretty-print.cc (dump_mem_ref): Dump clique : base
+       specifier for MEM_REF and TARGET_MEM_REF when dumping
+       GIMPLE format.
+
+2025-12-05  Tobias Burnus  <tburnus@baylibre.com>
+
+       * gimplify.cc (gimplify_scan_omp_clauses): Handle
+       OMP_CLAUSE_DYN_GROUPPRIVATE by printing 'sorry, unimplemented'.
+       * tree-core.h (enum omp_clause_code): Add OMP_CLAUSE_DYN_GROUPPRIVATE.
+       (enum omp_clause_fallback_kind): New.
+       (struct tree_omp_clause): Add fallback_kind union member.
+       * tree-nested.cc (convert_nonlocal_omp_clauses,
+       convert_local_omp_clauses): Handle OMP_CLAUSE_DYN_GROUPPRIVATE.
+       * tree.cc (omp_clause_num_ops, omp_clause_code_name): Add
+       OMP_CLAUSE_DYN_GROUPPRIVATE.
+       * tree-pretty-print.cc (dump_omp_clause): Handle
+       OMP_CLAUSE_DYN_GROUPPRIVATE.
+       * tree.h (OMP_CLAUSE_DYN_GROUPPRIVATE_EXPR,
+       OMP_CLAUSE_DYN_GROUPPRIVATE_KIND): New #define.
+
+2025-12-05  Andrew Pinski  <andrew.pinski@oss.qualcomm.com>
+
+       PR middle-end/99782
+       * config/i386/i386-expand.cc (ix86_gen_ccmp_next): Move the check
+       for mode earlier before expand_operands.
+       * config/aarch64/aarch64.cc (aarch64_gen_ccmp_next): Likewise.
+
+2025-12-05  Daniel Barboza  <dbarboza@ventanamicro.com>
+           Jeff Law  <jlaw@ventanamicro.com>
+
+       * match.pd (`x & c ? (x - c) | (x | c)`): New pattern.
+       (`x & c ? (x & ~c) | (x | c)`): Likewise.
+
+2025-12-05  Pan Li  <pan2.li@intel.com>
+
+       * config/riscv/autovec-opt.md (*pred_cmp_swapped<mode>_scalar):
+       Add new pattern to match vec_dup > vec for vmsltu.
+       * config/riscv/predicates.md (comparison_swappable_operator):
+       Add new iterator for above pattern
+       * config/riscv/riscv-protos.h (expand_vx_cmp_vec_dup_vec): Add
+       new func to emit vmsltu.vx.
+       * config/riscv/riscv-v.cc (get_swapped_cmp_rtx_code): Add new
+       func to convert cmp code to swapped, like gtu to ltu.
+       (expand_vx_cmp_vec_dup_vec): Add new func decl.
+
 2025-12-04  Jakub Jelinek  <jakub@redhat.com>
 
        PR target/122991

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 59fc39ba281fb55a5c15c25cb9391e113228e8dc..00fc5a3a6ee5bf605147a88125543e3f2442e609 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20251205
+20251206

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index d918524b0d6f37ba8829fff61a19c14ee2158fc6..f6a0fd371d3df9c7c1ea115414e8f24a1705f75d 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,119 @@
+2025-12-05  Javier Miranda  <miranda@adacore.com>
+
+       * einfo.ads (Has_Unsigned_Base_Range_Aspect): Update documentation.
+       (Has_Modular_Operations): New synthesized predicate.
+       (Has_Overflow_Operations): New synthesized predicate.
+       * einfo-utils.ads (Has_Modular_Operations): New function.
+       (Has_Overflow_Operations): New function.
+       * einfo-utils.adb (Is_Modular_Integer_Type): Undo previous patch.
+       (Is_Signed_Integer_Type): Undo previous patch.
+       (Has_Modular_Operations): New function.
+       (Has_Overflow_Operations): New function.
+       * checks.adb (Determine_Range): Replace selected occurrences of calls to
+       Is_Modular_Integer_Type by calls to Has_Modular_Operations, and calls to
+       Is_Signed_Integer_Type by calls to Has Overflow_Operations.
+       (Enable_Range_Check): Ditto.
+       (Insert_Valid_Check): Ditto.
+       * exp_aggr.adb (Others_Check): Ditto.
+       * exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Pred,
+       Attribute_Succ]): Ditto.
+       * exp_ch4.adb (Expand_Compare_Minimize_Eliminate_Overflow): Ditto.
+       (Size_In_Storage_Elements): Ditto.
+       (Expand_N_Op_Abs): Ditto.
+       (Expand_N_Op_Expon): Ditto.
+       (Expand_N_Op_Minus): Ditto.
+       (Expand_N_Op_Multiply): Ditto.
+       (Expand_N_Op_Subtract): Ditto.
+       * freeze.adb (Freeze_Entity): Ditto.
+       * sem_aggr.adb (Report_Null_Array_Constraint_Error): Ditto plus
+       report specific error for index with unsigned_base_range aspect.
+       * sem_attr.adb (Check_Modular_Integer_Type): Ditto.
+       (Analyze_Attribute [Attribute_Pred, Attribute_Succ, Attribute_
+       Range_Length, Attribute_Small, Attribute_Reduce]): Ditto.
+       * sem_ch12.adb (Instantiate_Type): Ditto.
+       (Validate_Formal_Type_Default): Ditto.
+       * sem_ch13.adb (Valid_Empty): Ditto.
+       * sem_ch2.adb (Analyze_Integer_Literal): Ditto.
+       * sem_ch3.adb (Unsigned_Base_Range_Type_Declaration): Set attribute
+       Has_Unsigned_Base_Range_Aspect on the implicit base, and set Etype
+       of its first subtype E_Modular_Integer_Subtype.
+       * sem_ch4.adb (Analyze_Call): Ditto.
+       * sem_eval.adb (Check_Non_Static_Context_For_Overflow): Ditto.
+       (Eval_Arithmetic_Op): Ditto.
+       (Eval_Integer_Literal): Ditto.
+       (Eval_Logical_Op): Ditto.
+       (Eval_Op_Expon): Ditto.
+       (Eval_Op_Not): Ditto.
+       (Eval_Unary_Op): Ditto.
+       (Fold_Shift): Ditto.
+       (Test_Expression_Is_Foldable): Ditto.
+       * sem_intr.adb (Check_Shift): Ditto.
+       * sem_prag.adb (Analyze_Pragma [Pragma_Unsigned_Base_Range]): Add
+       assertion.
+       * sem_res.adb (Resolve_Logical_Op): Ditto.
+       (Resolve_Unary_Op): Ditto.
+       (Set_String_Literal_Subtype): Ditto.
+       * sem_type.adb (Covers): Ditto.
+       (Specific_Type): Ditto.
+       (Valid_Boolean_Arg): Ditto.
+       * sem_util.adb (Wrong_Type): Ditto
+       * style.adb (Check_Boolean_Operator): Ditto.
+
+2025-12-05  Ronan Desplanques  <desplanques@adacore.com>
+
+       * doc/gnat_rm/representation_clauses_and_pragmas.rst: Improve table.
+       * gnat_rm.texi: Regenerate.
+       * gnat_ugn.texi: Regenerate.
+
+2025-12-05  Viljar Indus  <indus@adacore.com>
+
+       * sem_util.adb (Get_Cursor_Type): use the
+       specific type for classwide container checks.
+
+2025-12-05  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * sem_ch12.adb (Remove_Parent): Only set the Is_Transient component
+       of the local scope stack entry.
+
+2025-12-05  Marc Poulhiès  <poulhies@adacore.com>
+
+       * doc/gnat_ugn/building_executable_programs_with_gnat.rst
+       (-gnato??): Remove redundant/confusing doc on floating-point
+       overflow.
+       * gnat_ugn.texi: Regenerate.
+
+2025-12-05  Tonu Naks  <naks@adacore.com>
+
+       * adaint.c: use the _tsopen macro when opening RO file
+
+2025-12-05  Denis Mazzucato  <mazzucato@adacore.com>
+
+       * sem_attr.adb
+       (Analyze_Attribute): Set the type of the attribute expression only when
+       not ambiguous (it will later be resolved correctly). Emit an error in
+       case the type is limited.
+       (Resolve_Attribute): Emit an error if the reducer has no entity.
+       (Get_Value_Subtype): Try to resolve the Value_Subtype of the aggregate
+       expression, and if it succeeds, set the candidate reducer subprogram.
+       (Is_Reducer_Subprogram): Check whether the selected candidate has a
+       proper reducer profile.
+       (Make_Array_Type): Return simple array type to resolve the array
+       aggregate against it.
+       (Resolve_Attribute): Reimplement the resolution of Reduce attribute,
+       including its prefix.
+       * sem_res.adb (Resolve_Declare_Expression): Save and restore variables
+       that may be hidden by the local declaration. Only setting the new
+       entities is problematic when dealing with copied trees where the ref is
+       lost (eg. when resolving array aggregates).
+       * exp_attr.adb (Expand_N_Attribute_Reference): Remove tricks to resolve
+       the reducer in case of faulty resolution as not needed anymore.
+
+2025-12-05  Iain Sandoe  <iain@sandoe.co.uk>
+
+       PR ada/115305
+       * Makefile.rtl: Use s-oslock__darwin instead of the Posix version.
+       * libgnat/s-oslock__darwin.ads: New file.
+
 2025-12-03  Eric Botcazou  <ebotcazou@adacore.com>
 
        PR ada/122960

diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 46d0d308059f148ea5ae2f6f610802b50df0e602..87c06f665f0ba9d0d33515f0e285a5333fc9ac83 100644 (file)
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,11 @@
+2025-12-05  Tobias Burnus  <tburnus@baylibre.com>
+
+       * c-omp.cc (c_omp_split_clauses): Handle
+       OMP_CLAUSE_DYN_GROUPPRIVATE, sort target clauses
+       alphabetically.
+       * c-pragma.h (enum pragma_omp_clause): Add
+       PRAGMA_OMP_CLAUSE_DYN_GROUPPRIVATE.
+
 2025-11-30  Andrew Pinski  <andrew.pinski@oss.qualcomm.com>
 
        * c.opt.urls: Regenerate.

diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 974dd6d768fc5e0aea5efb5c7f749d90dbac5eab..558938958c4af1b4b49bd3f1a4404efb004aa3c3 100644 (file)
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,17 @@
+2025-12-05  Richard Biener  <rguenther@suse.de>
+
+       * gimple-parser.cc (c_parser_gimple_postfix_expression):
+       Parse optional clique : base specifier on __MEM.
+
+2025-12-05  Tobias Burnus  <tburnus@baylibre.com>
+
+       * c-parser.cc (c_parser_omp_clause_dyn_groupprivate): New.
+       (OMP_TARGET_CLAUSE_MASK): Add PRAGMA_OMP_CLAUSE_DYN_GROUPPRIVATE;
+       sort clauses alphabetically.
+       (c_parser_omp_clause_name, c_parser_omp_all_clauses):
+       Handle 'dyn_groupprivate' clause.
+       * c-typeck.cc (c_finish_omp_clauses): Likewise.
+
 2025-11-27  Jakub Jelinek  <jakub@redhat.com>
 
        PR c/121506

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 5239592f407574e082fe431680832912c21d765f..0084a0f1ea124e2225cd3867d33d2b7ef06b4110 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,13 @@
+2025-12-05  Tobias Burnus  <tburnus@baylibre.com>
+
+       * pt.cc (tsubst_omp_clauses): Handle OMP_CLAUSE_DYN_GROUPPRIVATE.
+       * semantics.cc (finish_omp_clauses): Likewise.
+       * parser.cc (cp_parser_omp_clause_dyn_groupprivate): New.
+       (cp_parser_omp_clause_name, cp_parser_omp_all_clauses):
+       Handle 'dyn_groupprivate' clause.
+       (OMP_TARGET_CLAUSE_MASK): Add PRAGMA_OMP_CLAUSE_DYN_GROUPPRIVATE;
+       sort clauses alphabetically.
+
 2025-12-03  Jason Merrill  <jason@redhat.com>
 
        * pt.cc (dependent_implict_conv_p): Rename to...

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index c221955a5f68c317d0d44d69490b5d034f176b79..b8a9e3e35f147b62eb2bb59488a920f78db77ead 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,18 @@
+2025-12-05  Harald Anlauf  <anlauf@gmx.de>
+
+       PR fortran/122977
+       * expr.cc (gfc_is_simply_contiguous): For an associate variable
+       check whether the associate target is contiguous.
+       * resolve.cc (resolve_symbol): Skip array type check for an
+       associate variable when the target has the contiguous attribute.
+
+2025-12-05  Tobias Burnus  <tburnus@baylibre.com>
+
+       * openmp.cc (resolve_omp_clauses): Permit zero with
+       DYN_GROUPPRIVATE clause.
+       * trans-openmp.cc (fallback): Generate TREE code
+       for DYN_GROUPPRIVATE and remove 'sorry'.
+
 2025-12-03  Paul Thomas  <pault@gcc.gnu.org>
 
        PR fortran/103371

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a8b45e75dd149c1e507838c75cbd7f195ba0869e..0139ece2f5ed78bf0c684085285e4be91e31bf5b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,101 @@
+2025-12-06  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/99782
+       * gcc.dg/torture/pr99782-1.c: Fix typo, dg-compile -> dg-do compile.
+       Use int128 effective target directly on that directive.  Move PR
+       comment first.
+
+2025-12-05  Andrew Pinski  <andrew.pinski@oss.qualcomm.com>
+
+       * gcc.dg/torture/pr99782-1.c: Require intt128 target.
+
+2025-12-05  Vladimir N. Makarov  <vmakarov@redhat.com>
+
+       PR rtl-optimization/122215
+       * gcc.target/riscv/pr122215.c: New.
+       * lib/target-supports.exp (check_effective_target_valgrind): New.
+
+2025-12-05  Harald Anlauf  <anlauf@gmx.de>
+
+       PR fortran/122977
+       * gfortran.dg/contiguous_16.f90: New test.
+
+2025-12-05  Tobias Burnus  <tburnus@baylibre.com>
+
+       * gfortran.dg/gomp/dyn_groupprivate-1.f90: Fix
+       scan-tree-dump-times regexp to avoid hard-coded 'D.4680'.
+
+2025-12-05  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/120939
+       * gcc.dg/torture/pr113026-1.c: Skip when -ftracer.
+
+2025-12-05  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/123002
+       * gcc.dg/vect/vect-pr123002.c: Make global data non-const
+       and non-static.
+
+2025-12-05  Denis Mazzucato  <mazzucato@adacore.com>
+
+       * gnat.dg/reduce1.adb: Adjust expected error message.
+
+2025-12-05  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/123002
+       * gcc.dg/vect/vect-pr123002.c: New testcase.
+
+2025-12-05  Richard Biener  <rguenther@suse.de>
+
+       * gcc.dg/gimplefe-58.c: New testcase.
+
+2025-12-05  Tobias Burnus  <tburnus@baylibre.com>
+
+       * gfortran.dg/gomp/dyn_groupprivate-1.f90: Add scan-dump test.
+       * gfortran.dg/gomp/dyn_groupprivate-2.f90: Extend and update.
+       * c-c++-common/gomp/dyn_groupprivate-1.c: New test.
+       * c-c++-common/gomp/dyn_groupprivate-2.c: New test.
+
+2025-12-05  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/122776
+       * gcc.dg/vect/vect-simd-clone-24.c: Add -mprefer-vector-width=512.
+
+2025-12-05  Andrew Pinski  <andrew.pinski@oss.qualcomm.com>
+
+       PR middle-end/99782
+       * gcc.dg/torture/pr99782-1.c: New test.
+
+2025-12-05  Daniel Barboza  <dbarboza@ventanamicro.com>
+           Jeff Law  <jlaw@ventanamicro.com>
+
+       * gcc.dg/torture/pr122615.c: New test.
+       * gcc.dg/torture/pr122616.c: Likewise.
+
+2025-12-05  Pan Li  <pan2.li@intel.com>
+
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u16.c: Add asm check
+       for vmsltu.vx.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u32.c: Ditto.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u64.c: Ditto.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u8.c: Ditto.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u16.c: Ditto.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u32.c: Ditto.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u64.c: Ditto.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u8.c: Ditto.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u16.c: Ditto.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u32.c: Ditto.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u64.c: Ditto.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u8.c: Ditto.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx_binary.h: Add test
+       helper macros.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx_binary_data.h: Add test
+       data for run test.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx_vmsltu-run-1-u16.c: New test.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx_vmsltu-run-1-u32.c: New test.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx_vmsltu-run-1-u64.c: New test.
+       * gcc.target/riscv/rvv/autovec/vx_vf/vx_vmsltu-run-1-u8.c: New test.
+
 2025-12-04  Richard Biener  <rguenther@suse.de>
 
        PR tree-optimization/122776

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 7ec35de7c8f7f197edc649226c8387aee41ca5a6..42151286bbe6b869b092b0bd7c15191e059a0815 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,74 @@
+2025-12-05  Patrick Palka  <ppalka@redhat.com>
+           Tomasz Kamiński  <tkaminsk@redhat.com>
+
+       PR libstdc++/120446
+       * include/bits/refwrap.h (__detail::__is_ref_wrapper):
+       Define as per P2655R3 for C++20.
+       (__detail::__ref_wrap_common_reference_exists_with): Likewise.
+       (basic_common_reference): Define partial specializations using
+       the above as per P2655R3 for C++20.
+       * include/bits/version.def (common_reference_wrapper): New.
+       * include/bits/version.h: Regenerate.
+       * include/std/functional (__glibcxx_want_common_reference_wrapper):
+       Define.
+       * testsuite/20_util/reference_wrapper/p2655r3.cc: New test.
+
+2025-12-05  Patrick Palka  <ppalka@redhat.com>
+
+       PR libstdc++/120446
+       * include/bits/version.def (common_reference): New.
+       * include/bits/version.h: Regenerate.
+       * include/std/type_traits (__glibcxx_want_common_reference):
+       Define.
+       (__common_reference_impl<T1, T2, 1>): Add pointer convertibility
+       constraints as per P2655R3.
+       * testsuite/20_util/common_reference/p2655r3.cc: New test.
+
+2025-12-05  Patrick Palka  <ppalka@redhat.com>
+
+       PR c++/120446
+       * include/std/type_traits (__common_reference_impl): Rewrite
+       partial specializations to use requires-clause instead of
+       an additional void_t template parameter.  Consolidate the
+       partial specializations corresponding to bullet 1.
+
+2025-12-05  Patrick Palka  <ppalka@redhat.com>
+
+       * testsuite/20_util/function_objects/bind_front/111327.cc:
+       Add missing space before } ending a dg-error directive.
+
+2025-12-05  Patrick Palka  <ppalka@redhat.com>
+
+       PR libstdc++/111550
+       * include/std/ranges (views::__adaptor::_Partial::operator())
+       [_GLIBCXX_EXPLICIT_THIS_PARAMETER]: Also use deducing this
+       in C++20 mode when possible.
+       (views::__adaptor::_Pipe::Operator())
+       [_GLIBCXX_EXPLICIT_THIS_PARAMETER]: Likewise.
+       * testsuite/std/ranges/adaptors/take.cc (test07): New test.
+
+2025-12-05  Patrick Palka  <ppalka@redhat.com>
+
+       PR libstdc++/111327
+       * include/bits/binders.h (_Binder::operator())
+       [_GLIBCXX_EXPLICIT_THIS_PARAMETER]: Also use deducing this in
+       C++20 mode when possible.
+       * testsuite/20_util/function_objects/bind_front/111327.cc:
+       Expect error inside header even in C++20 mode.
+
+2025-12-05  Patrick Palka  <ppalka@redhat.com>
+
+       PR libstdc++/111327
+       * include/std/functional (_Not_fn::operator())
+       [_GLIBCXX_EXPLICIT_THIS_PARAMETER]: Define as a single
+       overload using deducing this.
+       * testsuite/20_util/function_objects/not_fn/111327.cc: Extend test.
+
+2025-12-05  Patrick Palka  <ppalka@redhat.com>
+
+       * include/bits/c++config (_GLIBCXX_EXPLICIT_THIS_PARAMETER):
+       New.
+
 2025-12-04  François Dumont  <frs.dumont@gmail.com>
 
        * include/debug/deque