+2026-06-03 Richard Earnshaw <rearnsha@arm.com>
+
+ * MAINTAINERS: Add all known missing account names to
+ write-after.
+
2026-05-30 Dhruv Chawla <dhruvc@nvidia.com>
* Makefile.def: Fix typos.
+2026-06-04 Jakub Jelinek <jakub@redhat.com>
+
+ * gcc-changelog/git_update_version.py (ignored_commits):
+ Add 86ff0e88764bfbff1a4989414ec83c0eaa723107.
+
2026-05-29 Kevin Buettner <kevinb@redhat.com>
* dg-extract-results.py: Show warnings instead of erroring out
+2026-06-04 Jeevitha Palanisamy <jeevitha@linux.ibm.com>
+
+ PR target/106895
+ * config/rs6000/rs6000.h (enum rs6000_builtin_type_index): Add
+ RS6000_BTI_INTPTI and RS6000_BTI_UINTPTI.
+ (intPTI_type_internal_node, uintPTI_type_internal_node): New
+ PTImode type macros.
+ * config/rs6000/rs6000-builtin.cc (rs6000_init_builtins): Register
+ signed and unsigned PTImode internal builtin types.
+ * config/rs6000/sync.md (trunctipti2): New splitter.
+ (extendptiti2): Likewise.
+ (zero_extendptiti2): Likewise.
+
+2026-06-04 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
+
+ PR middle-end/125588
+ * match.pd (`if (cond) (A | CST1) : (A & ~CST1)`): Enable
+ for GIMPLE only.
+
+2026-06-04 Kevin Stefanov <kevinstefanov15@gmail.com>
+
+ * config/m68k/m68k.cc (m68k_conditional_register_usage): Replace TEST_HARD_REG_BIT
+ with EXECUTE_IF_SET_IN_HARD_REG_SET in applicable loops.
+ (m68k_zero_call_used_regs): Likewise.
+ * config/pdp11/pdp11.cc (pdp11_conditional_register_usage): Likewise.
+ * ira-color.cc (create_new_allocno_hard_regs_node): Replace call to hard_reg_set_size
+ with hard_reg_set_popcount.
+ * ira-int.h (hard_reg_set_size): Remove.
+ * ira-lives.cc (process_bb_node_lives): Replace TEST_HARD_REG_BIT
+ with EXECUTE_IF_SET_IN_HARD_REG_SET in applicable loops.
+ * ira.cc (setup_class_hard_regs): Likewise.
+ (update_equiv_regs_prescan): Likewise.
+ (build_insn_chain): Likewise.
+ (setup_stack_reg_pressure_class): Replace call to hard_reg_set_size
+ with hard_reg_set_popcount.
+ * lra-eliminations.cc (spill_pseudos): Replace TEST_HARD_REG_BIT
+ with EXECUTE_IF_SET_IN_HARD_REG_SET in applicable loops.
+ * optabs.cc (expand_asm_reg_clobber_mem_blockage): Replace
+ TEST_HARD_REG_BIT with EXECUTE_IF_SET_IN_HARD_REG_SET in one instance
+ and with hard_reg_set_popcount in another.
+ * postreload.cc (reload_combine): Replace TEST_HARD_REG_BIT
+ with EXECUTE_IF_SET_IN_HARD_REG_SET in applicable loops.
+ * reginfo.cc (init_reg_sets_1): Likewise.
+ * regrename.cc (init_rename_info): Likewise.
+ * reload1.cc (maybe_fix_stack_asms): Likewise.
+ (update_eliminables_and_spill): Likewise.
+ * rtl-ssa/insns.cc (function_info::record_call_clobbers): Likewise.
+ * sched-deps.cc (sched_analyze_insn): Likewise.
+ * sel-sched-dump.cc (print_hard_reg_set): Likewise.
+
+2026-06-04 Xiaomei Xue <xuexiaomei@hygon.cn>
+
+ * config/i386/sse.md (define_mode_attr sse2): Add V4SI/V8SI/V16SI/
+ V8HI/V16HI/V32HI.
+ (<sse2>_movnt<mode>): Change mode iterator from VI8 to VI_AVX_AVX512F.
+ (define_mode_iterator STORENT_MODE): Add V4SI/V8SI/V16SI/V8HI/V16HI/
+ V32HI/V16QI/V32QI/V64QI.
+
+2026-06-03 Pengxuan Zheng <pengxuan.zheng@oss.qualcomm.com>
+
+ PR tree-optimization/124405
+ * tree-ssa-phiopt.cc (cond_store_replacement): Make ASSIGN (the
+ candidate store for cselim) an argument of the function instead. Update
+ legality check due to relaxing the restriction that middle_bb can have
+ only a single statement.
+ (cselim_candidate): New.
+ (pass_cselim::execute): Call cselim_candidate and pass the result to
+ cond_store_replacement.
+
+2026-06-03 Milan Tripkovic <Milan.Tripkovic@rt-rk.com>
+
+ * config/riscv/riscv-cores.def (RISCV_TUNE): Changed xt-c908
+ PIPELINE_MODEL and TUNE_INFO
+ * config/riscv/riscv-opts.h (enum riscv_microarchitecture_type): Add entry
+ for xt-c908 design
+ * config/riscv/riscv.cc: New tune structure
+ for the xt-c908 design.
+ * config/riscv/riscv.md: Add xt-c908 .
+ Include xt-c908.md.
+ * config/riscv/xt-c908.md: New file.
+
+2026-06-03 Abhishek Kaushik <abhishek.kaushik@arm.com>
+
+ * tree-scalar-evolution.cc
+ (compute_final_value_from_loop_phi_latch): New function.
+ (final_value_replacement_loop): Use it.
+
+2026-06-03 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
+
+ PR tree-optimization/103221
+ * passes.def (early_optimizations): Move sccopy
+ to after evrp.
+
+2026-06-03 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
+
+ * gimple-ssa-sccopy.cc (stmt_may_generate_copy): Remove restriction
+ on the ssa info being different for the "copy".
+ (scc_copy_prop::replace_scc_by_value): Call maybe_duplicate_ssa_info_at_copy
+ when copyproping a ssa name.
+
+2026-06-03 Pan Li <pan2.li@intel.com>
+
+ * match-sat-alu.pd: Add pattern for unsigned scalar
+ SAT_MUL form 11.
+
+2026-06-03 Richard Sandiford <rdsandiford@googlemail.com>
+
+ * rtl.def (CALL_INSN): Add a new integer field.
+ * rtl.h (CALL_INSN_ABI_ID): New macro.
+ * target.def (insn_callee_abi): Delete.
+ * doc/rtl.texi: Document CALL_INSN_ABI_ID.
+ * doc/tm.texi.in (TARGET_INSN_CALLEE_ABI): Remove.
+ * doc/tm.texi: Regenerate.
+ * calls.cc: Include regs.h and function-abi.h.
+ (emit_call_1): Initialize CALL_INSN_ABI_ID.
+ * cfgcleanup.cc (old_insns_match_p): Compare CALL_INSN_ABI_IDs.
+ * emit-rtl.cc (try_split): Copy the original insn's CALL_INSN_ABI_ID
+ to the new call.
+ (emit_copy_of_insn_after): Likewise.
+ (make_call_insn_raw): Initialise CALL_INSN_ABI_ID.
+ * function-abi.cc (insn_callee_abi): Remove use of the insn_callee_abi
+ hook and instead use CALL_INSN_ABI_ID.
+ * recog.cc (peep2_attempt): Copy the original insn's CALL_INSN_ABI_ID
+ to the new call.
+ * config/aarch64/aarch64-protos.h (aarch64_gen_callee_cookie): Remove
+ arm_pcs parameter.
+ * config/aarch64/aarch64.cc (aarch64_gen_callee_cookie): Likewise.
+ (aarch64_callee_abi): Delete.
+ (aarch64_insn_callee_abi): Likewise.
+ (aarch64_function_arg): Update call to aarch64_callee_abi.
+ (aarch64_output_mi_thunk): Likewise. Set CALL_INSN_ABI_ID instead.
+ (TARGET_INSN_CALLEE_ABI): Delete.
+ * config/aarch64/aarch64.md (tlsdesc_small_<mode>): Update call
+ to aarch64_callee_abi and set CALL_INSN_ABI_ID instead.
+ * config/i386/i386.cc (ix86_insn_callee_abi): Delete.
+ (ix86_expand_avx_vzeroupper): Set CALL_INSN_ABI_ID.
+ (TARGET_INSN_CALLEE_ABI): Delete.
+ * config/riscv/riscv-sr.cc (riscv_remove_unneeded_save_restore_calls):
+ Remove coding convention from calls to gen_sibcall_internal and
+ gen_sibcall_value_internal. Store the ABI identifier in
+ CALL_INSN_ABI_ID instead.
+ * config/riscv/riscv.cc (riscv_output_mi_thunk): Likewise.
+ (riscv_call_tls_get_addr): Likewise, but calling gen_call_value.
+ (riscv_function_arg): Return null for the end marker.
+ (get_riscv_cc, riscv_insn_callee_abi): Delete.
+ (TARGET_INSN_CALLEE_ABI): Delete.
+ * config/riscv/riscv.md (UNSPEC_CALLEE_CC): Delete.
+ (sibcall): Revert to treating operand 2 as a placeholder.
+ Do not pass it to gen_sibcall_internal.
+ (sibcall_value): Likewise operand 3 and gen_sibcall_value_internal.
+ (call): Likewise operand 2 and gen_call_internal.
+ (call_value): Likewise operand 3 and gen_call_value_internal.
+ (sibcall_internal, call_internal): Remove operand 2.
+ (sibcall_value_internal, call_value_internal): Remove operand 3.
+ (untyped_call): Update call to gen_call.
+
+2026-06-03 Alex Coplan <alex.coplan@arm.com>
+
+ * config/aarch64/constraints.md (Uci): Drop @internal, slightly tweak
+ doc string.
+ (Ucj): Likewise.
+ * doc/md.texi (Machine Constraints): Document Uci and Ucj under AArch64
+ family.
+
+2026-06-03 Alex Coplan <alex.coplan@arm.com>
+
+ * doc/ifn.texi (Direct Internal Functions): Flesh out
+ documentation for IFN_MASK_LOAD.
+ * doc/md.texi (Standard Names): Add anchor for maskloadmn so it
+ can be cross-referenced.
+
+2026-06-03 Richard Sandiford <rdsandiford@googlemail.com>
+
+ PR tree-optimization/125579
+ * gimple-ssa-backprop.cc (backprop::execute): Avoid double deletions.
+
+2026-06-03 Tamar Christina <tamar.christina@arm.com>
+
+ PR tree-optimization/125431
+ * tree-vect-slp-patterns.cc (complex_mul_pattern::matches,
+ complex_fms_pattern::matches): Gate on FP contraction.
+
+2026-06-03 Tamar Christina <tamar.christina@arm.com>
+
+ PR tree-optimization/125509
+ * tree-vect-loop-manip.cc (vect_do_peeling): Re-enable dominators
+ update for prolog peeling.
+
+2026-06-03 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/125477
+ * tree-vect-loop-manip.cc (vect_loop_versioning): Verify we
+ can duplicate an outer loop before considering to version it.
+
+2026-06-03 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
+
+ PR middle-end/125507
+ * gengtype.cc (main): Add tree_code.
+ * tree-core.h (struct tree_base): Remove ENUM_BITFIELD.
+ (struct tree_type_common): Likewise.
+ (struct tree_decl_common): Likewise.
+ (struct tree_decl_with_vis): Likewise.
+ (struct tree_function_decl): Likewise.
+
+2026-06-03 Jin Ma <jinma@linux.alibaba.com>
+
+ * config/riscv/riscv.cc (riscv_sched_reorder): Remove dead
+ return after the early-return guard.
+
+2026-06-02 Richard Sandiford <rdsandiford@googlemail.com>
+
+ * bitmap.h (bitmap_element): Fix left/right distinction in comments.
+
+2026-06-02 Richard Sandiford <rdsandiford@googlemail.com>
+
+ * gimple-ssa-backprop.cc: Update the comment at head of the file.
+ (var_info::new_value, var_info::seq): New member variables.
+ (var_info::var_info): Initialize them.
+ (remove_unused_var): Replace with...
+ (remove_dead_stmt): ...this new function.
+ (note_replacement): Delete.
+ (backprop::prepare_change): Likewise.
+ (backprop::complete_change): Likewise.
+ (backprop::set_new_value): New function.
+ (backprop::subst_operand): Likewise.
+ (backprop::finish_stmt): Likewise.
+ (backprop::optimize_builtin_call): Replace the lhs and info parameters
+ with a var_info parameter. Create a new statement rather than
+ changing the existing one.
+ (backprop::optimize_assign): Likewise.
+ (backprop::optimize_phi): Likewise.
+ (backprop::replace_assign_rhs): Likewise, but replace gassign and lhs
+ parameters.
+ (backprop::propagate_change): New function.
+ (backprop::commit_replacement): Likewise.
+ (backprop::execute): Update phase 3 for the above changes. Do not
+ alter the original statements during phase 3. If one SSA name
+ is scheduled to be replaced, also require all its users in m_vars
+ to be replaced. Add a new phase that performs the scheduled
+ replacements.
+
+2026-06-02 Richard Sandiford <rdsandiford@googlemail.com>
+
+ * gimple-ssa-backprop.cc: Remove the claim at the head of the file
+ that we only need to revisit a statement once.
+ (backprop::m_worklist, backprop::m_worklist_names): Delete.
+ (backprop::m_worklist1): New member variable.
+ (backprop::m_worklist2, backprop::m_this_worklist): Likewise.
+ (backprop::m_next_worklist, backprop::m_worklist_threshold): Likewise.
+ (backprop::backprop): Update accordingly.
+ (backprop::~backprop): Likewise.
+ (backprop::push_to_worklist): Switch to using bitmap worklists that
+ use m_vars indices instead of SSA_NAME_VERSIONs. Decide which
+ worklist should be used based on m_worklist_threshold.
+ (backprop::pop_from_worklist): Pop the first bit from m_this_worklist.
+ Set m_worklist_threshold.
+ (backprop::execute): Use a double-worklist update in which each
+ iteration makes a post order walk.
+
+2026-06-02 Richard Sandiford <rdsandiford@googlemail.com>
+
+ * gimple-ssa-backprop.cc (var_info): New structure.
+ (var_info_hasher): Likewise.
+ (backprop::m_info_pool): Replace with...
+ (backprop::m_var_pool): ...this new member variable.
+ (backprop::m_info_map): Replace with...
+ (backprop::m_var_table): ...this new member variable.
+ (backprop::m_worklist): Store var_info pointers instead of SSA names.
+ (backprop::backprop): Update accordingly.
+ (backprop::~backprop): Likewise.
+ (backprop::lookup_operand): Return a var_info pointer instead of
+ a usage_info pointer.
+ (backprop::push_to_worklist): Take a var_info pointer instead
+ of an SSA name.
+ (backprop::pop_from_worklist): Return a var_info pointer instead
+ of an SSA name.
+ (backprop::process_builtin_call_use): Update calls accordingly.
+ (backprop::process_assign_use): Likewise.
+ (backprop::process_phi_use): Likewise.
+ (backprop::reprocess_inputs): Likewise.
+ (backprop::process_var): Take a pointer to the var_info entry
+ as a second parameter. Update for the above data structure changes.
+ (backprop::process_block): Update calls to process_var.
+ (backprop::execute): Likewise. Update for the above data structure
+ changes.
+
+2026-06-02 Richard Sandiford <rdsandiford@googlemail.com>
+
+ * gimple-ssa-backprop.cc (backprop::process_var): Don't try to
+ optimize SSA names that occur as a phi input for an abnormal edge,
+ moving the restriction from...
+ (backprop::optimize_phi): ...here.
+
+2026-06-02 Richard Sandiford <rdsandiford@googlemail.com>
+
+ * gimple-iterator.cc (completely_unused): New function.
+ (gsi_replace): Allow changes in lhs if the caller has updated
+ all uses of the old name, including all debug uses.
+ * gimple-fold.cc (gsi_replace_with_seq_vops): Likewise.
+
+2026-06-02 Richard Sandiford <rdsandiford@googlemail.com>
+
+ * bitmap.h: Document the complexity of pop_largest aka
+ bitmap_clear_last_set_bit.
+ (bitmap_clear_last_set_bit): Declare.
+ * bitmap.cc (bitmap_last_set_bit_worker): New function,
+ split out from...
+ (bitmap_last_set_bit): ...here.
+ (bitmap_clear_last_set_bit): New function.
+
+2026-06-02 Jonathan Yong <10walls@gmail.com>
+
+ Revert:
+ 2026-05-27 oltolm <oleg.tolmatcev@gmail.com>
+
+ PR target/54412
+ * target.def (overaligned_stack_slot_required): New calls hook.
+ * calls.cc (allocate_call_dynamic_stack_space): New helper.
+ (initialize_argument_information): Use
+ targetm.calls.overaligned_stack_slot_required for over-aligned
+ by-reference argument copies.
+ (expand_call): Use
+ targetm.calls.overaligned_stack_slot_required for over-aligned
+ hidden return slots.
+ * function.cc (assign_stack_local_aligned): New helper.
+ (assign_parm_setup_block): Use
+ targetm.calls.overaligned_stack_slot_required for over-aligned
+ stack parm slots.
+ (assign_parm_setup_reg): Likewise.
+ * config/i386/i386.cc (ix86_overaligned_stack_slot_required): New.
+ (TARGET_OVERALIGNED_STACK_SLOT_REQUIRED): Define for i386.
+ * doc/tm.texi.in: Add hook placement.
+ * doc/tm.texi: Regenerate.
+
+2026-06-02 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/125545
+ * tree-ssa-reassoc.cc (insert_stmt_after): Allow asm goto
+ with a single successor.
+
+2026-06-02 Lino Hsing-Yu Peng <linopeng@andestech.com>
+
+ * common/config/riscv/riscv-common.cc: Add zvfofp8min support.
+ * config/riscv/riscv-ext.def: Add zvfofp8min entry.
+ * config/riscv/riscv-ext.opt: Add zvfofp8min option.
+ * config/riscv/riscv-vector-builtins.cc: Require zvfofp8min.
+ * config/riscv/riscv-vector-builtins.h: Add zvfofp8min handling.
+ * doc/riscv-ext.texi: Document the new extension.
+
+2026-06-02 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/125553
+ * tree-ssa-sccvn.cc (visit_nary_op): Valueize the BIT_FIELD_REF
+ operand before looking at its definition.
+
+2026-06-02 Wang Yaduo <wangyaduo@linux.alibaba.com>
+
+ * config/riscv/riscv-cores.def: Switch xt-c9501fdvt tune to
+ xt_c9501_tune_info.
+ * config/riscv/riscv.cc (xt_c9501_vls_vector_cost): New.
+ (xt_c9501_vla_vector_cost): New.
+ (xt_c9501_vector_cost): New.
+ (xt_c9501_tune_info): New.
+
+2026-06-02 Jin Ma <jinma@linux.alibaba.com>
+
+ * config/riscv/riscv-v.cc (expand_vec_perm): Add missing return
+ after emit_vlmax_gather_insn.
+
+2026-06-02 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/125502
+ * tree-ssa-forwprop.cc (optimize_vector_load): Do not
+ move defs of abnormals.
+
+2026-06-02 Uros Bizjak <ubizjak@gmail.com>
+
+ * config/i386/i386.md (crotate): Rename to inv_rotate.
+ Update all uses accordingly.
+
+2026-06-02 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ * config/sol2.h (TARGET_OS_CPP_BUILTINS): Don't define
+ _XOPEN_SOURCE=600 for C++.
+
+2026-06-02 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/120702
+ * gimple-fold.cc (maybe_fold_reference): Only fold
+ register type reads.
+
+2026-06-02 Jakub Jelinek <jakub@redhat.com>
+
+ PR middle-end/125517
+ * wide-int.cc (wi::bitreverse_large): Rename LEN argument to XLEN and
+ use it as safe_uhwi argument. Add LEN automatic variable set to
+ BLOCKS_NEEDED (precision). Replace loop clearing val with memset.
+ Remove I automatic variable.
+
+2026-06-02 Jin Ma <jinma@linux.alibaba.com>
+
+ * common/config/riscv/riscv-common.cc: Fix typos in comments.
+ * config/riscv/andes-25-series.md: Likewise.
+ * config/riscv/autovec-opt.md: Likewise.
+ * config/riscv/autovec.md: Likewise.
+ * config/riscv/bitmanip.md: Likewise.
+ * config/riscv/constraints.md: Likewise.
+ * config/riscv/gen-riscv-ext-opt.cc: Likewise.
+ * config/riscv/gen-riscv-mcpu-texi.cc: Likewise.
+ * config/riscv/generic-vector-ooo.md: Likewise.
+ * config/riscv/multilib-generator: Likewise.
+ * config/riscv/riscv-avlprop.cc: Likewise.
+ * config/riscv/riscv-ext.def: Likewise.
+ * config/riscv/riscv-ext.opt: Likewise.
+ * config/riscv/riscv-modes.def: Likewise.
+ * config/riscv/riscv-opt-popretz.cc: Likewise.
+ * config/riscv/riscv-profiles.def: Likewise.
+ * config/riscv/riscv-protos.h: Likewise.
+ * config/riscv/riscv-selftests.cc: Likewise.
+ * config/riscv/riscv-sr.cc: Likewise.
+ * config/riscv/riscv-string.cc: Likewise.
+ * config/riscv/riscv-subset.h: Likewise.
+ * config/riscv/riscv-target-attr.cc: Likewise.
+ * config/riscv/riscv-v.cc: Likewise.
+ * config/riscv/riscv-vect-permconst.cc: Likewise.
+ * config/riscv/riscv-vector-builtins-bases.cc: Likewise.
+ * config/riscv/riscv-vector-builtins-functions.def: Likewise.
+ * config/riscv/riscv-vector-builtins-shapes.cc: Likewise.
+ * config/riscv/riscv-vector-builtins-types.def: Likewise.
+ * config/riscv/riscv-vector-builtins.cc: Likewise.
+ * config/riscv/riscv-vector-builtins.def: Likewise.
+ * config/riscv/riscv-vector-builtins.h: Likewise.
+ * config/riscv/riscv-vector-costs.cc: Likewise.
+ * config/riscv/riscv-vector-costs.h: Likewise.
+ * config/riscv/riscv-vsetvl.cc: Likewise.
+ * config/riscv/riscv-vsetvl.def: Likewise.
+ * config/riscv/riscv-zicfilp.cc: Likewise.
+ * config/riscv/riscv.cc: Likewise.
+ (riscv_zcmp_valid_stack_adj_bytes_p): Rename misspelled
+ variable additioanl_bytes to additional_bytes.
+ * config/riscv/riscv.h: Likewise.
+ * config/riscv/riscv.md: Likewise.
+ * config/riscv/sifive-vector-builtins-functions.def: Likewise.
+ * config/riscv/sifive_vector.h: Likewise.
+ * config/riscv/spacemit-x60.md: Likewise.
+ * config/riscv/thead.cc: Likewise.
+ * config/riscv/tt-ascalon-d8.md: Likewise.
+ * config/riscv/vector-crypto.md: Likewise.
+ * config/riscv/vector-iterators.md: Likewise.
+ * config/riscv/vector.md: Likewise.
+ * config/riscv/zicond.md: Likewise.
+ * doc/riscv-mcpu.texi: Regenerate.
+
+2026-06-02 Jin Ma <jinma@linux.alibaba.com>
+
+ * common/config/riscv/riscv-common.cc: Fix formatting.
+ * config/riscv/gen-riscv-mcpu-texi.cc: Likewise.
+ * config/riscv/gen-riscv-mtune-texi.cc: Likewise.
+ * config/riscv/genrvv-type-indexer.cc: Remove unused <assert.h>
+ include.
+ * config/riscv/riscv-string.cc: Fix formatting.
+ * config/riscv/riscv-target-attr.cc: Likewise.
+ * config/riscv/riscv-v.cc: Remove duplicate "targhooks.h" include.
+ Fix formatting.
+ * config/riscv/riscv-v.h: Fix formatting.
+ * config/riscv/riscv-vsetvl.cc: Likewise.
+ * config/riscv/riscv.cc (riscv_pass_by_reference): Remove stray
+ double semicolon. Fix formatting elsewhere.
+ (riscv_output_move): Use gcc_unreachable () instead of abort ().
+ (riscv_save_libcall_count): Use gcc_unreachable () instead of
+ abort ().
+ * config/riscv/riscv.h: Fix formatting.
+ * config/riscv/thead.cc: Likewise.
+
+2026-06-02 Tianle Shi <shitianle@hygon.cn>
+
+ * config/i386/i386.cc (ix86_vector_costs): Add
+ m_num_avx512_vec_perm.
+ (ix86_vector_costs::ix86_vector_costs): Initialize it.
+ (ix86_count_cross_lane_perm_p): New helper to classify
+ cross-lane vec_perm for AVX256 and AVX512 handling.
+ (ix86_vector_costs::add_stmt_cost): Use the helper for
+ vec_perm accounting, record 256-bit and 512-bit counts,
+ and print detected width as avx%u.
+ (ix86_vector_costs::finish_cost): Reject AVX512 costs
+ when TARGET_AVX512_AVOID_VEC_PERM is set and 512-bit
+ cross-lane vec_perm is present.
+ * config/i386/i386.h (TARGET_AVX512_AVOID_VEC_PERM):
+ New macro.
+ * config/i386/x86-tune.def (X86_TUNE_AVX512_AVOID_VEC_PERM):
+ New tune for c86-4g-m7.
+
+2026-06-02 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
+
+ PR middle-end/125558
+ * common.opt (Wstrict-overflow): Mark as Ignore.
+ (Wstrict-overflow=): Fix up and mark as igore.
+ * gcc-diagnostic-spec.cc (nowarn_spec_t::nowarn_spec_t):
+ Remove OPT_Wstrict_overflow.
+ * opts.cc (common_handle_option): Likewise.
+
2026-06-01 Kyrylo Tkachov <ktkachov@nvidia.com>
PR target/122827
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Variable>: Validate
+ a known alignment on the object even if there is an address clause.
+
+2026-06-02 Marc Poulhiès <poulhies@adacore.com>
+
+ * gcc-interface/trans.cc (gnat_to_gnu) <N_Exit_Statement>: Mark
+ the label tree as used.
+ (gnat_gimplify_stmt) <LOOP_STMT>: Do not emit end label
+ definition in unused.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Variable>: Do not
+ give the warning about too large a size here but...
+ * gcc-interface/utils2.cc (build_allocator): ...here instead.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Record_Type>: Do not
+ derive the layout of C-compatible unchecked union types.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.cc (components_to_record): Tweak comment.
+ (build_position_list): Deal with unchecked union types.
+ (build_variant_list): Likewise.
+ (get_variant_part): Likewise.
+ (create_variant_part_from): Likewise.
+ (copy_and_substitute_in_layout): Likewise.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Record_Subtype>: Do
+ not repeat conditions in chained tests.
+ (copy_and_substitute_in_layout): For a tagged subtype, inherit the
+ non-stored dicriminants from the old type explicitely.
+ * gcc-interface/trans.cc (gnat_to_gnu): Exclude more contexts for
+ the transformation of boolean rvalues.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/89609
+ * gcc-interface/gigi.h (adjust_result_decl_for_invisible_reference):
+ New inline function.
+ * gcc-interface/decl.cc (update_profile): Adjust the RESULT_DECL of
+ the function if it returns by invisible reference.
+ * gcc-interface/trans.cc (Subprogram_Body_to_gnu): Replace manual
+ adjustment by a call to adjust_result_decl_for_invisible_reference.
+ (maybe_make_gnu_thunk): Likewise.
+ * gcc-interface/targtyps.cc: Include stor-layout.h header file.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.cc (maybe_pad_type): Propagate the flag
+ TYPE_REVERSE_STORAGE_ORDER from the inner type to the record type
+ if the former is also an aggregate type.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * accessibility.adb (Apply_Accessibility_Check_For_Return): Bail out
+ for the return synthesized in a function with _Wrapped_Statements.
+
+2026-06-02 Tom Tromey <tromey@adacore.com>
+
+ * doc/gnat_ugn/building_executable_programs_with_gnat.rst
+ (GNATLLVM): Remove note about nested functions.
+ * gnat_ugn.texi: Regenerate.
+
+2026-06-02 Marc Poulhiès <poulhies@adacore.com>
+
+ * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not disable
+ expander if body comes from an expression function.
+
+2026-06-02 Viljar Indus <indus@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma): Remove overflow supression
+ workaround.
+
+2026-06-02 Viljar Indus <indus@adacore.com>
+
+ * rtsfind.adb (Maybe_Add_With): Ensure conistent Implicit_With nodes
+ traversal after ignored ghost nodes have been removed.
+ Omit checks on ignored WITH clauses.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * krunch.ads: Fix a few typos in the description.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gen_il-gen-gen_entities.adb (Access_Kind): Add Root_Type_Only for
+ the Master_Id field.
+ * einfo.ads (Master_Id): Document that it lives on root types only.
+ * accessibility.adb (Apply_Accessibility_Check_For_Allocator): Avoid
+ generating secondary useless checks.
+ * exp_ch3.adb (Build_Initialization_Call): Use the Master_Id of the
+ type of target reference directly.
+ (Build_Master): Minor tweak.
+ (Expand_N_Full_Type_Declaration): Do not call Build_Master for a
+ derived access type declaration.
+ * exp_ch4.adb (Expand_N_Allocator): Test Master_Id directly on the
+ access type.
+ * sem_res.adb (Resolve_Actuals): In the case of an allocator, if the
+ designated type is a CW interface, call Convert_To_And_Rewrite to
+ add the special conversion but nevertheless resolve the allocator to
+ the type of the formal afterward; do not establish a transient scope
+ if the type is a named access type.
+
+2026-06-02 Piotr Trojanek <trojanek@adacore.com>
+
+ * libgnat/s-os_lib.adb (Get_Debuggable_Suffix, Get_Executable_Suffix,
+ Get_Object_Suffix, Get_Target_Debuggable_Suffix,
+ Get_Target_Executable_Suffix, Get_Target_Object_Suffix): Access strings
+ like we do in Gnatlink.
+ * adaint.c (__gnat_object_suffix, __gnat_executable_suffix,
+ __gnat_debuggable_suffix): Now constants, just like the ones for target
+ suffixes.
+
+2026-06-02 Marc Poulhiès <poulhies@adacore.com>
+
+ * sinfo.ads <Expression_Copy>: Mention it is present in
+ N_Aspect_Specification nodes.
+ <N_Aspect_Specification>: Add Expression_Copy field.
+
+2026-06-02 Mathias Aparicio <aparicio@adacore.com>
+
+ * env.c (__gnat_setenv): Add _POSIX_VERSION >= 200112L to setenv
+ availability check.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix a
+ couple of glitches.
+ * gnat_ugn.texi: Regenerate.
+
+2026-06-02 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch3.adb (Copy_Parent_Attributes): Inherit Linker_Section_Pragma.
+
+2026-06-02 Sebastian Poeplau <poeplau@adacore.com>
+
+ * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Mention
+ inline assembler limitations.
+ * gnat_ugn.texi: Regenerate.
+
+2026-06-02 Piotr Trojanek <trojanek@adacore.com>
+
+ * adaint.c, adaint.h (__gnat_to_gm_time): Adapt C side, while keeping
+ the explicit conversion to time_t, if this ever needs to be debugged.
+ * libgnat/s-os_lib.adb (To_GM_Time): Adapt Ada side.
+
+2026-06-02 Piotr Trojanek <trojanek@adacore.com>
+
+ * libgnat/a-calend.adb (localtime_tzoff): Simplify interface.
+ * sysdep.c (__gnat_localtime_tzoff): Remove duplicated specs; pass
+ "in" parameters via copy and "out" parameters via pointers.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/42413
+ * exp_ch4.adb (Process_Transients_In_Expression): Deal with a task
+ activation chain present in the statement list.
+ * exp_ch6.adb (Make_Build_In_Place_Call_In_Anonymous_Context): Also
+ establish a transient scope if the result type has tasks.
+ * exp_ch7.adb (Make_Transient_Block): Deal with Has_Master_Entity
+ and Has_Activation_Chain_Entity set on the transient scope.
+ * exp_ch9.ads (Make_Task_Activation_Call): New declaration from...
+ * exp_ch9.adb (Make_Task_Activation_Call): ...here.
+ (Build_Activation_Chain_Entity): Deal with transient scopes.
+ (Build_Master_Entity): Likewise.
+ (Find_Enclosing_Context): Likewise.
+ * sem_elab.adb (Activation_Processor.Process_Activation): Deal with
+ N_Expression_With_Actions nodes.
+ * sem_util.adb (Current_Entity_In_Scope): Prevent transient scopes
+ from being transparent for _Chain and _Master entities.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/42413
+ * exp_aggr.adb (Build_Record_Aggr_Code): Minor tweak.
+ * exp_ch9.adb (Make_Task_Activation_Call): New helper function.
+ (Build_Activation_Chain_Entity): Streamline.
+ (Build_Master_Entity): Rename local variable.
+ (Build_Task_Activation_Call): Call Make_Task_Activation_Call.
+ (Build_Task_Allocate_Block): Likewise. Set Is_Task_Allocation_Block
+ separately after having created the block.
+ * gen_il-gen-gen_nodes.adb (N_Block_Statement): Change the category
+ of Is_Task_Allocation_Block flag from syntactic to semantic.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/42413
+ * gen_il-fields.ads (Opt_Field_Enum): Remove Activation_Chain_Entity
+ and add Has_Activation_Chain_Entity.
+ * gen_il-gen-gen_entities.adb (Entity_Kind): Add new semantic flag
+ Has_Activation_Chain_Entity.
+ * gen_il-gen-gen_nodes.adb (N_Subprogram_Body): Remove
+ Activation_Chain_Entity field.
+ (N_Task_Body): Likewise.
+ (N_Package_Declaration): Likewise.
+ (N_Block_Statement): Likewise.
+ (N_Extended_Return_Statement): Likewise.
+ (N_Entry_Body): Likewise.
+ * einfo.ads (Has_Activation_Chain_Entity): Document new flag.
+ * sinfo.ads (Activation_Chain_Entity): Delete documentation.
+ * exp_ch9.adb (Build_Activation_Chain_Entity): Replace uses of
+ Activation_Chain_Entity by Has_Activation_Chain_Entity.
+ (Build_Task_Activation_Call): Retrieve the activation chain entity
+ by means of new helper function Activation_Chain_Entity.
+ (Build_Task_Allocate_Block): Set Has_Activation_Chain_Entity in
+ lieu of Activation_Chain_Entity.
+ (Expand_N_Task_Body): Likewise.
+ (Find_Enclosing_Context): Fix handling of N_Entry_Body.
+ * sem_ch7.adb (May_Need_Implicit_Body): Replace test on
+ Activation_Chain_Entity by Has_Activation_Chain_Entity.
+
+2026-06-02 Viljar Indus <indus@adacore.com>
+
+ * exp_ch7.adb (Processing_Actions): Avoid processing
+ ignored ghost declarations.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/18205
+ * exp_attr.adb (Rewrite_Attribute_Proc_Call): Skip the conversion to
+ the formal type only if the actual is of a class-wide type. Generate
+ a dispatching call when both the prefix is a class-wide type and the
+ subprogram is a dispatching operation.
+ (Expand_N_Attribute_Reference) <Input>: Use U_Type consistently and
+ remove an useless invocation of Root_Type.
+ <Put_Image>: Minor comment tweak.
+ <Read>: Likewise.
+ <Write>: Likewise.
+
+2026-06-02 Marc Poulhiès <poulhies@adacore.com>
+
+ * sysdep.c (getc_immediate_common): Cleanup macro test.
+
+2026-06-02 Ronan Desplanques <desplanques@adacore.com>
+
+ * sem_util.ads (Partially_Visible_Subcomponent): Rename into ...
+ (Partially_Visible_Part): ...this. Improve documentation.
+ * sem_util.adb: Likewise.
+ * sem_ch3.adb (Analyze_Component_Declaration,
+ Array_Type_Declaration): Adapt to renaming.
+ * sem_ch7.adb (Install_Composite_Operations): Likewise.
+
+2026-06-02 Ronan Desplanques <desplanques@adacore.com>
+
+ * einfo.ads (Contains_Ignored_Ghost_Code): Remove documentation.
+
+2026-06-02 Mathias Aparicio <aparicio@adacore.com>
+
+ * sem_util.adb (Has_Assertion_Level_Argument): Invert the final
+ check in aspect branch and the check in pragma branch to use
+ early returns for consistency.
+
+2026-06-02 Ronan Desplanques <desplanques@adacore.com>
+
+ * par.adb, par-util.adb (Check_Bad_Layout_At): New procedure.
+ * par-ch3.adb (P_Declarative_Item): Use new procedure.
+ * par-ch5.adb (P_Sequence_Of_Statements): Likewise.
+
+2026-06-02 Viljar Indus <indus@adacore.com>
+
+ * sem_util.adb (Has_Assertion_Level_Argument): Check for
+ the correct type of association.
+
+2026-06-02 Viljar Indus <indus@adacore.com>
+
+ * err_vars.ads (Error_Msg_Qual_For_Standard): New Variable.
+ * errout.ads (Error_Msg_Qual_For_Standard): Likewise.
+ * errout.adb (Set_Qualification): Print all qualified names
+ when Error_Msg_Qual_For_Standard is set.
+ * sem_util.adb (Normalize_Actuals): Improve error message.
+
+2026-06-02 Viljar Indus <indus@adacore.com>
+
+ * sem_util.adb (Normalize_Actuals): Improve error message.
+
+2026-06-02 Mathias Aparicio <aparicio@adacore.com>
+
+ * env.c (__gnat_setenv): Add __linux__ preprocessor macro
+ directive to the setenv block.
+
+2026-06-02 Viljar Indus <indus@adacore.com>
+
+ * ghost.adb (Check_Ghost_Equality_Op): Use Underlying_Type to
+ look through the private view before checking Is_Record_Type and
+ Is_Limited_Record.
+ * sem_ch3.adb (Process_Full_View): After completing the full view,
+ re-check any primitive equality operators on the private type
+ against SPARK RM 6.9(23) via Check_Ghost_Equality_Op.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch9.ads (Build_Task_Allocate_Block): Change return type.
+ * exp_ch9.adb (Build_Task_Allocate_Block): Likewise. Build an
+ internal block entity instead of declaring an implicit label.
+ * exp_aggr.adb (Convert_Aggr_In_Allocator): Adjust to above change.
+ * exp_ch4.adb (Expand_N_Allocator): Likewise.
+ * exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call): Add default
+ value for Master_Actual parameter, change name of 4th parameter to
+ Chain_Actual and deal with them consistently.
+ (Make_Build_In_Place_Call_In_Allocator): Flatten block statement.
+ Adjust call to Add_Task_Actuals_To_Build_In_Place_Call.
+ (Make_Build_In_Place_Call_In_Anonymous_Context): Likewise.
+ (Make_Build_In_Place_Call_In_Assignment): Likewise.
+ (Make_Build_In_Place_Call_In_Object_Declaration): Likewise.
+ * exp_ch7.adb (Build_Cleanup_Statements): Minor tweak.
+
+2026-06-02 Ronan Desplanques <desplanques@adacore.com>
+
+ * sem_aux.ads: Add note.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem.ads (Suppress_Stack_Entry): Move down Suppress component.
+ (Scope_Stack_Entry): Reorder components to eliminate holes.
+
+2026-06-02 Tom Tromey <tromey@adacore.com>
+
+ * doc/gnat_ugn/building_executable_programs_with_gnat.rst
+ (GNATLLVM): Update debugging documentation.
+ * gnat_ugn.texi: Regenerate.
+
+2026-06-02 Bob Duff <duff@adacore.com>
+
+ * sem_ch13.adb
+ (Insert_Aitem): Remove Ins_Node formal parameter.
+ (Analyze_One_Aspect): Likewise.
+ (Analyze_Aspect_Specifications): Remove Ins_Node local variable.
+ (Insert_After_Place): New function containing the
+ special case for Annotate.
+
+2026-06-02 Piotr Trojanek <trojanek@adacore.com>
+
+ * doc/gnat_rm/implementation_defined_attributes.rst (Attribute_Ref):
+ New section based on comment in sem_attr.ads.
+ * gnat_rm.texi: Regenerate.
+
+2026-06-02 Ronan Desplanques <desplanques@adacore.com>
+
+ * sem_util.adb, sem_util.ads (Partially_Visible_Subcomponent): Move
+ to right spot.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_aggr.adb (Build_Array_Aggr_Code): Adjust actual parameter in
+ the call to Build_Master_Entity.
+ * exp_ch3.adb (Expand_N_Full_Type_Declaration): Likewise.
+ (Expand_N_Object_Declaration): Likewise.
+ (Expand_Previous_Access_Type): Likewise.
+ * exp_ch6.adb (Make_Build_In_Place_Call_In_Anonymous_Context):
+ Likewise.
+ (Make_Build_In_Place_Iface_Call_In_Allocator): Likewise.
+ (Make_Build_In_Place_Iface_Call_In_Anonymous_Context): Likewise.
+ * sem_ch3.adb (Access_Definition): Likewise.
+ (Access_Type_Declaration): Likewise.
+ * exp_ch9.ads (Build_Activation_Chain_Entity): Tweak description.
+ (Build_Master_Entity): Change parameter and tweak description.
+ * exp_ch9.adb (Build_Master_Entity): Change parameter and adjust.
+
+2026-06-02 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/124143
+ * libgnat/s-spsufi.ads (Finalize_And_Deallocate): Adjust comment.
+ * libgnat/s-spsufi.adb: Remove clause for Ada.Unchecked_Deallocation
+ (Finalize_And_Deallocate): Adjust and implement AI12-0331.
+ * libgnat/s-stposu.ads (Allocate_From_Subpool): Remove ??? comment.
+ (Deallocate_Subpool): Likewise.
+ (SP_Node): Delete.
+ (SP_Node_Ptr): Likewise.
+ (Root_Storage_Pool_With_Subpools): Adjust type of Subpools component
+ (Root_Subpool): Remove Node, add Prev and Next components.
+ (Detach): Adjust signature.
+ (Initialize): Delete.
+ (Initialize_Pool): Likewise.
+ * libgnat/s-stposu.adb (Allocate_Any_Controlled): Adjust.
+ (Attach): Reimplement.
+ (Detach): Likewise.
+ (Finalize_Pool): Loop over a simple doubly linked list.
+ (Initialize): Delete.
+ (Initialize_Pool): Likewise.
+ (Print_Pool): Adjust.
+ (Print_Subpool): Likewise.
+ (Set_Pool_Of_Subpool): Remove obsolete code.
+
+2026-06-02 Ronan Desplanques <desplanques@adacore.com>
+
+ * sem_util.ads (Has_Private_Component): Rename into...
+ (Is_Incompletely_Defined): ...this.
+ * sem_util.adb (Has_Private_Component): Rename into...
+ (Is_Incompletely_Defined): ...this.
+ (Check_Fully_Declared): Adapt to above renaming.
+ * exp_ch3.adb (Freeze_Type): Likewise.
+ * freeze.adb (Check_And_Freeze_Type): Likewise.
+ * sem_aggr.adb (Array_Aggr_Subtype): Likewise.
+ * sem_ch12.adb (Instantiate_Type): Likewise.
+ * sem_ch13.adb (Rep_Item_Too_Early): Likewise.
+ * sem_ch3.adb (Access_Definition, Analyze_Full_Type_Declaration,
+ Analyze_Subtype_Declaration, Build_Derived_Access_Type,
+ Copy_And_Build, Complete_Private_Subtype, Constrain_Access,
+ Constrain_Array, Build_Constrained_Access_Type, Constrain_Concurrent,
+ Constrain_Corresponding_Record, Copy_Array_Subtype_Attributes,
+ Derived_Type_Declaration): Likewise.
+ * sem_ch6.adb (Create_Extra_Formals): Likewise.
+ * sem_res.adb (Make_Call_Into_Operator): Likewise.
+
+2026-06-02 Ronan Desplanques <desplanques@adacore.com>
+
+ * gen_il-gen-gen_entities.adb (Gen_Entities): Move
+ Is_Limited_Composite.
+ * einfo.ads (Is_Limited_Composite): Update documentation.
+
+2026-06-02 Viljar Indus <indus@adacore.com>
+
+ * sem_prag.adb (Analyze_Abstract_State): make error checks
+ exclusive.
+
+2026-06-02 Ronan Desplanques <desplanques@adacore.com>
+
+ * sem_util.ads, sem_util.adb (Private_Component): Rename into...
+ (Partially_Visible_Subcomponent): ...this.
+ * sem_ch3.adb (Analyze_Component_Declaration, Array_Type_Declaration):
+ Adapt to above renaming.
+ * sem_ch7.adb (Install_Composite_Operations): Likewise.
+
2026-05-30 Dhruv Chawla <dhruvc@nvidia.com>
* gnathtml.pl: Reflow long line.
+2026-06-03 Jose E. Marchesi <jemarch@gnu.org>
+
+ * ga68.texi (Worthy characters): Remove spurious @ entry in the
+ list of worthy characters.
+
+2026-06-03 Jose E. Marchesi <jemarch@gnu.org>
+
+ * ga68.vw (Modes and nests): Incorporate syntax from the RR
+ chapter 7.
+
+2026-06-03 Jose E. Marchesi <jemarch@gnu.org>
+
+ * a68-parser-bottom-up.cc (recover_from_error): Use the output of
+ a68_phrase_to_text as format string so format tags are honored.
+
+2026-06-02 Jose E. Marchesi <jemarch@gnu.org>
+
+ * a68-parser-modes.cc (WELL): Define.
+ (NO_YIN): Likewise.
+ (NO_YANG): Likewise.
+ (UNWELL): Likewise.
+ (is_well_formed): Discriminate reason for the given mode to not be
+ well formed.
+ (a68_make_moid_list): Emit note explaining why a mode is not well
+ formed.
+
2026-05-30 Dhruv Chawla <dhruvc@nvidia.com>
* a68-imports-archive.cc (struct Archive_fl_header): Fix typos.
+2026-06-02 Christopher Bazley <chris.bazley@arm.com>
+
+ * c-attribs.cc (handle_optimize_attribute):
+ Save the global target options before modifying
+ them. If the function with the optimize attribute
+ already has a target option node then restore those
+ target options as the global options, so that they
+ are used as the basis for any new optimization and
+ target options attached to the function.
+
+2026-06-02 H.J. Lu <hjl.tools@gmail.com>
+
+ PR c/121911
+ * c-common.cc (c_common_nodes_and_builtins): Don't declare stack
+ protection guard here.
+
2026-06-01 Martin Uecker <uecker@tugraz.at>
PR c/98539
+2026-06-03 Martin Uecker <uecker@tugraz.at>
+
+ PR c/125252
+ * c-typeck.cc (ptr_to_tagged_member): Return type of member.
+ (c_type_canonical): Use incomplete type.
+
+2026-06-03 Martin Uecker <uecker@tugraz.at>
+
+ PR c/123569
+ * c-parser.cc (mark_exp_read_cond): New function.
+ (c_parser_unary_expression): Use mark_exp_read_cond.
+ (c_parser_postfix_expression_after_primary): Likewise.
+ * c-typeck.cc (build_unary_op): Remove dead code and
+ add checking assertion.
+
+2026-06-02 H.J. Lu <hjl.tools@gmail.com>
+
+ PR c/121911
+ * c-decl.cc (push_file_scope): Add stack protection guard to
+ visible_builtins.
+
2026-05-31 Daniel Barboza <daniel.barboza@oss.qualcomm.com>
* c-fold.cc (c_disable_warnings): Likewise.
+2026-06-02 Robert Dubner <rdubner@symas.com>
+
+ * compare.cc (cobol_compare_relop): Rename the cobol_compare_relop
+ function.
+ (cobol_compare): Likewise.
+ * compare.h (cobol_compare_relop): Likewise.
+ (cobol_compare): Likewise.
+ * genapi.cc (parser_display): Refine the use of SYSPUNCH_e for
+ inserting debugging comments into the assembly language.
+ (parser_relop): Use "cobol_compare".
+ (handle_gg_trim): Break out SBC TRIM logic.
+ (parser_intrinsic_call_2): Likewise.
+ (parser_bsearch_when): Use "cobol_compare"
+ * genutil.cc (refer_is_super_clean): FldLiteralN is always "super
+ clean".
+ (is_pure_integer): Make binary_from_FldNumericBin5 "static bool".
+ (binary_from_FldLiteralN): New function.
+ (get_binary_value): Use the new function.
+
2026-05-30 Dhruv Chawla <dhruvc@nvidia.com>
* compare.cc (alpha_compare): Fix typos.
+2026-06-03 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/125378
+ * tree.cc (build_min_non_dep_op_overload): Handle comparison
+ operator expressions rewritten from a <=> that contain an
+ integer promotion.
+
+2026-06-03 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/125490
+ * parser.cc (cp_parser_constraint_expression): Pass
+ no_toplevel_fold_p=false instead of =true to
+ cp_parser_binary_expression.
+
+2026-06-03 Marek Polacek <polacek@redhat.com>
+
+ PR c++/107124
+ * cp-tree.h: Adjust comments to mention
+ maybe_build_nontype_implicit_conv instead of
+ maybe_convert_nontype_argument.
+ * pt.cc (maybe_convert_nontype_argument): Rename to...
+ (maybe_build_nontype_implicit_conv): ...this.
+ (convert_nontype_argument_maybe_dependent): New, factored
+ out of...
+ (convert_template_argument): ...here.
+ (unify) <case TEMPLATE_PARM_INDEX>: Call
+ convert_nontype_argument_maybe_dependent and return unify_invalid
+ if it failed. Don't call strip_typedefs_expr.
+
+2026-06-03 Jason Merrill <jason@redhat.com>
+
+ PR c++/124794
+ * parser.cc (cp_parser_splice_specifier): Use TYPE_BINFO (scope)
+ for not-derived case.
+ * search.cc (build_baselink): Assert that binfos aren't null.
+
+2026-06-03 feedable <feedabl3@gmail.com>
+
+ PR c++/124794
+ PR c++/125069
+ * parser.cc (cp_parser_splice_specifier): Do not strip BASELINKs.
+ (cp_parser_splice_expression): Add parsing for member function
+ template specializations without the "template" keyword.
+ * pt.cc (tsubst_splice_expr): Handle TEMPLATE_ID_EXPR where the
+ template part is a SPLICE_EXPR.
+ (tsubst_expr): Defer to tsubst_splice_expr when the template part of
+ TEMPLATE_ID_EXPR is a SPLICE_EXPR.
+ * reflect.cc (check_splice_expr): Add handling for BASELINKs.
+
+2026-06-02 H.J. Lu <hjl.tools@gmail.com>
+
+ PR c/121911
+ * decl.cc (cxx_init_decl_processing ): Declare stack protection
+ guard after calling c_common_nodes_and_builtins.
+
+2026-06-02 Peter Damianov <peter0x44@disroot.org>
+
+ * class.cc (dump_vtable_entry): New function.
+ (dump_array): Use it.
+ (dump_class_hierarchy_r): Drop redundant literal 0x from
+ HOST_WIDE_INT_PRINT_HEX formatting.
+ (dump_vtable): Likewise.
+
2026-06-01 Joe Natter <johannes.natter@outlook.at>
PR c++/125422
+2026-06-02 Christopher Bazley <chris.bazley@arm.com>
+
+ * d-attribs.cc (d_handle_optimize_attribute):
+ Save the global target options before modifying
+ them. If the function with the optimize attribute
+ already has a target option node then restore those
+ target options as the global options, so that they
+ are used as the basis for any new optimization and
+ target options attached to the function.
+
2026-05-30 Dhruv Chawla <dhruvc@nvidia.com>
* d-attribs.cc (d_handle_alloc_size_attribute): Fix typos.
+2026-06-03 Henri Menke <henri@henrimenke.de>
+
+ * gfortran.h (enum ext_attr_id_t): Add EXT_ATTR_INLINE and
+ EXT_ATTR_ALWAYS_INLINE at the end. Document that new attributes
+ must be appended to preserve module compatibility.
+ * decl.cc (ext_attr_list): Add "inline" and "always_inline".
+ (gfc_match_gcc_attributes): Warn about and drop INLINE or
+ ALWAYS_INLINE when combined with NOINLINE on the same symbol.
+ * trans-decl.cc (build_function_decl): Handle EXT_ATTR_INLINE and
+ EXT_ATTR_ALWAYS_INLINE by setting DECL_DECLARED_INLINE_P, and
+ DECL_DISREGARD_INLINE_LIMITS for ALWAYS_INLINE.
+ * gfortran.texi (ATTRIBUTES directive): Document INLINE and
+ ALWAYS_INLINE.
+
+2026-06-03 Steven G. Kargl <kargl@gcc.gnu.org>
+
+ PR fortran/105594
+ * module.cc (gfc_use_module): Suppress bogus warning for a missing
+ ONLY clause on a submodule.
+
+2026-06-02 Jerry DeLisle <jvdelisle@gcc.gnu.org>
+
+ Backported from master:
+ 2026-06-02 Jerry DeLisle <jvdelisle@gcc.gnu.org>
+
+ PR fortran/125324
+ * gfortranspec.cc (lang_specific_driver): Also append -lpthread
+ when need_caf_shmem is set.
+
+2026-06-02 Paul Thomas <pault@gcc.gnu.org>
+
+ PR fortran/88632
+ PR fortran/104630
+ * module.cc (write_symtree): Do not filter out private symbols
+ when writing a submodule interface file (.smod). Submodules are
+ descendants of their ancestor module and access private symbols
+ in the module's contains section via host association per
+ Fortran 2018 section 14.2.2.
+
2026-06-01 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR fortran/125527
+2026-06-03 Gaius Mulley <gaiusmod2@gmail.com>
+
+ PR modula2/125512
+ * gm2-compiler/P3Build.bnf (SubDesignator): Rewrite to
+ include spell checking.
+
+2026-06-02 Gaius Mulley <gaiusmod2@gmail.com>
+
+ PR modula2/125544
+ * gm2-libs-iso/Storage.def (REALLOCATE): Updated comment
+ describing new behavior.
+ * gm2-libs-iso/Storage.mod (REALLOCATE): Check addr
+ and call ALLOCATE if NIL else call lowerReallocate.
+ (lowerReallocate): New procedure.
+
2026-05-19 Jakub Jelinek <jakub@redhat.com>
PR other/125348
+2026-06-04 Jeevitha Palanisamy <jeevitha@linux.ibm.com>
+
+ PR target/106895
+ * gcc.target/powerpc/pr106895-1.c: New test.
+ * gcc.target/powerpc/pr106895-2.c: New test.
+
+2026-06-04 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
+
+ PR middle-end/125588
+ * gcc.dg/pr125588-1.c: New test.
+
+2026-06-03 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/125378
+ * g++.dg/lookup/operator-8b.C: New test.
+ * g++.dg/lookup/operator-8c.C: New test.
+ * g++.dg/lookup/operator-9a.C: New test.
+ * g++.dg/lookup/operator-9b.C: New test.
+
+2026-06-03 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/125490
+ * g++.dg/cpp2a/concepts-pr125490.C: New test.
+ * g++.dg/cpp2a/concepts-pr125490a.C: New test.
+
+2026-06-03 Henri Menke <henri@henrimenke.de>
+
+ * gfortran.dg/always_inline_1.f90: New test.
+ * gfortran.dg/always_inline_2.f90: New test.
+ * gfortran.dg/inline_1.f90: New test.
+ * gfortran.dg/inline_2.f90: New test.
+
+2026-06-03 Pengxuan Zheng <pengxuan.zheng@oss.qualcomm.com>
+
+ PR tree-optimization/124405
+ * gcc.dg/tree-ssa/pr124405.c: New test.
+
+2026-06-03 Martin Uecker <uecker@tugraz.at>
+
+ PR c/125252
+ * gcc.dg/pr125252.c
+
+2026-06-03 Marek Polacek <polacek@redhat.com>
+
+ PR c++/107124
+ * g++.dg/template/deduce11.C: New test.
+ * g++.dg/template/deduce12.C: New test.
+
+2026-06-03 Martin Uecker <uecker@tugraz.at>
+
+ PR c/123569
+ * gcc.dg/pr123569.c: New test.
+
+2026-06-03 Abhishek Kaushik <abhishek.kaushik@arm.com>
+
+ * gcc.dg/tree-ssa/sccp-loop-phi.c: New test.
+ * gcc.dg/tree-ssa/sccp-loop-phi-not-optimized.c: New test.
+
+2026-06-03 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
+
+ PR tree-optimization/103221
+ * gcc.dg/tree-ssa/dse-points-to.c: Disable sccopy1.
+ * gcc.dg/tree-ssa/pr45397.c: Remove the xfail.
+ * gcc.dg/ubsan/pr81981.c: Swap around which one is xfailed.
+
+2026-06-03 Pan Li <pan2.li@intel.com>
+
+ * gcc.target/riscv/sat/sat_arith.h: Add test helper macros.
+ * gcc.target/riscv/sat/sat_u_mul-12-u16-from-u128.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-12-u16-from-u32.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-12-u16-from-u64.rv32.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-12-u16-from-u64.rv64.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-12-u32-from-u128.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-12-u32-from-u64.rv32.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-12-u32-from-u64.rv64.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-12-u64-from-u128.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-12-u8-from-u128.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-12-u8-from-u16.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-12-u8-from-u32.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-12-u8-from-u64.rv32.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-12-u8-from-u64.rv64.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-run-12-u16-from-u128.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-run-12-u16-from-u32.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-run-12-u16-from-u64.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-run-12-u32-from-u128.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-run-12-u32-from-u64.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-run-12-u64-from-u128.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-run-12-u8-from-u128.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-run-12-u8-from-u16.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-run-12-u8-from-u32.c: New test.
+ * gcc.target/riscv/sat/sat_u_mul-run-12-u8-from-u64.c: New test.
+
+2026-06-03 feedable <feedabl3@gmail.com>
+
+ PR c++/124794
+ PR c++/125069
+ * g++.dg/reflect/member19.C: Enable tests.
+ * g++.dg/reflect/splice15.C: New test.
+ * g++.dg/reflect/splice16.C: New test.
+
+2026-06-03 Richard Sandiford <rdsandiford@googlemail.com>
+
+ * gcc.dg/rtl/x86_64/different-structs.c: Initialize CALL_INSN_ABI_ID.
+ * selftests/x86_64/call-insn.rtl: Likewise.
+
+2026-06-03 Steven G. Kargl <kargl@gcc.gnu.org>
+
+ PR fortran/105594
+ * gfortran.dg/pr105594.f90: New test.
+
+2026-06-03 Alex Coplan <alex.coplan@arm.com>
+
+ * gcc.target/aarch64/sme/inline-asm.c: New test.
+
+2026-06-03 Richard Sandiford <rdsandiford@googlemail.com>
+
+ PR tree-optimization/125579
+ * gcc.dg/pr125579.c: New test.
+
+2026-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/125581
+ * gnat.dg/atomic9.adb (NVIC_STIR): Add alignment clause.
+
+2026-06-03 Tamar Christina <tamar.christina@arm.com>
+
+ PR tree-optimization/125431
+ * gfortran.dg/vect/pr125431.f90: New test.
+
+2026-06-03 Tamar Christina <tamar.christina@arm.com>
+
+ PR tree-optimization/125509
+ * gcc.dg/vect/pr125509.c: New test.
+
+2026-06-03 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ * g++.dg/modules/pr120458-1_a.C: Skip on non-UCN targets.
+ * g++.dg/modules/pr120458-2_a.C: Likewise.
+
+2026-06-03 Gaius Mulley <gaiusmod2@gmail.com>
+
+ PR modula2/125512
+ * gm2.dg/spell/iso/fail/badmodule.mod: New test.
+ * gm2.dg/spell/iso/fail/badrecord.mod: New test.
+ * gm2.dg/spell/iso/fail/color.def: New test.
+
+2026-06-03 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/125477
+ * gcc.dg/torture/pr125477.c: New testcase.
+
+2026-06-03 Jin Ma <jinma@linux.alibaba.com>
+
+ PR target/111037
+ PR target/113248
+ * gcc.target/riscv/rvv/vsetvl/pr111037-1.c: Update vsetvl
+ patterns to match post-reorder asm sequence.
+ * gcc.target/riscv/rvv/vsetvl/pr111037-4.c: Likewise.
+ * gcc.target/riscv/rvv/vsetvl/pr113248.c: Likewise.
+
+2026-06-02 Richard Sandiford <rdsandiford@googlemail.com>
+
+ * gcc.dg/tree-ssa/backprop-7.c: New test.
+
+2026-06-02 Jose E. Marchesi <jemarch@gnu.org>
+
+ * algol68/compile/malformed-mode-1.a68: New test.
+ * algol68/compile/malformed-mode-2.a68: Likewise.
+
+2026-06-02 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/125545
+ * gcc.dg/torture/pr125545.c: New testcase.
+
+2026-06-02 Lino Hsing-Yu Peng <linopeng@andestech.com>
+
+ * gcc.target/riscv/arch-61.c: New test.
+
+2026-06-02 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/125553
+ * gcc.dg/torture/pr125553.c: New testcase.
+
+2026-06-02 Wang Yaduo <wangyaduo@linux.alibaba.com>
+
+ * gcc.dg/vect/costmodel/riscv/rvv/xt-c9501fdvt-vect-stmt-cost.c:
+ New test.
+ * gcc.dg/vect/costmodel/riscv/rvv/xt-c9501fdvt-vect-ldst-cost.c:
+ New test.
+ * gcc.dg/vect/costmodel/riscv/rvv/xt-c9501fdvt-reduc-unordered.c:
+ New test.
+ * gcc.dg/vect/costmodel/riscv/rvv/xt-c9501fdvt-reduc-ordered.c:
+ New test.
+
+2026-06-02 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/125250
+ * gcc.dg/torture/pr125250.c: Declare g0 as _Bool.
+
+2026-06-02 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/125502
+ * gcc.dg/torture/pr125502.c: New testcase.
+
+2026-06-02 Christopher Bazley <chris.bazley@arm.com>
+
+ * gcc.target/powerpc/pr125327.c: New test.
+
+2026-06-02 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/120702
+ * gcc.dg/tree-ssa/pr120702.c: New testcase.
+
+2026-06-02 Jakub Jelinek <jakub@redhat.com>
+
+ PR middle-end/125517
+ * gcc.dg/builtin-bitreverse-9.c: New test.
+
+2026-06-02 Jakub Jelinek <jakub@redhat.com>
+
+ * gfortran.dg/gomp/allocate-6.f90: Adjust dg-error wording after
+ recent spelling fixes.
+ * gfortran.dg/gomp/allocate-7.f90: Likewise.
+ * gfortran.dg/gomp/allocate-14.f90: Likewise.
+ * gcc.target/sparc/struct-ret-check-1.c: Fix comment spelling,
+ specificed -> specified.
+
+2026-06-02 Paul Thomas <pault@gcc.gnu.org>
+
+ PR fortran/88632
+ PR fortran/104630
+ * gfortran.dg/submodule_35.f90: New test.
+ * gfortran.dg/submodule_35_aux.f90: Submodule and program for
+ for the new test.
+ Assisted by: Claude Sonnet 4.6
+
+2026-06-02 H.J. Lu <hjl.tools@gmail.com>
+
+ PR c/121911
+ * gcc.dg/Wnested-externs-1.c: Add -mstack-protector-guard=global
+ for x86.
+
+2026-06-02 Tianle Shi <shitianle@hygon.cn>
+
+ * gcc.target/i386/avx512_avoid_vec_perm-1.c: New test.
+ * gcc.target/i386/avx512_avoid_vec_perm-2.c: New test.
+ * gcc.target/i386/avx512_avoid_vec_perm-3.c: New test.
+
2026-06-01 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR fortran/125527
+2026-06-02 Ian Lance Taylor <iant@golang.org>
+
+ * elf.c (elf_zstd_decompress_frame): Support a compressed block
+ with no sequences, only literals.
+
2026-05-30 Dhruv Chawla <dhruvc@nvidia.com>
* allocfail.sh: Fix typos.
+2026-06-02 Robert Dubner <rdubner@symas.com>
+
+ * intrinsic.cc (__gg__trim): Eliminate useless comment.
+ (__gg__trim_1): New function.
+
2026-05-30 Dhruv Chawla <dhruvc@nvidia.com>
* README: Reflow long line.
+2026-06-02 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ * oacc-parallel.c (GOACC_parallel_keyed): Use gomp_alloca instead
+ of alloca.
+ * target.c (GOMP_target): Likewise.
+ (GOMP_target_ext): Likewise.
+
2026-06-01 Dhruv Chawla <dhruvc@nvidia.com>
* config/gcn/simple-bar.h: Fix typos.
+2026-06-02 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ * sanitizer_common/sanitizer_platform_limits_solaris.cpp:
+ Cherry-pick llvm-project revision
+ 0e92b557a78eddc7493ade4cfc0a3b6b93ee61cf.
+
2026-04-29 Jakub Jelinek <jakub@redhat.com>
* sanitizer_common/sanitizer_platform_limits_posix.cpp: Cherry picked
+2026-06-03 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/version.def: Define macros for hardened
+ preconditions.
+ * include/bits/version.h: Regenerate.
+ * include/std/array: Define "want" macro for hardened
+ precondition macro.
+ * include/std/bitset: Likewise.
+ * include/std/deque: Likewise.
+ * include/std/expected: Likewise.
+ * include/std/forward_list: Likewise.
+ * include/std/inplace_vector: Likewise.
+ * include/std/iterator: Likewise.
+ * include/std/list: Likewise.
+ * include/std/memory: Likewise.
+ * include/std/optional: Likewise.
+ * include/std/ranges: Likewise.
+ * include/std/span: Likewise.
+ * include/std/stacktrace: Likewise.
+ * include/std/string: Likewise.
+ * include/std/string_view: Likewise.
+ * include/std/valarray: Likewise.
+ * include/std/vector: Likewise.
+ * testsuite/23_containers/array/tuple_interface/get_neg.cc:
+ Adjust dg-error line numbers.
+
+2026-06-03 Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * include/bits/version.def (hardened_mdspan): Define.
+ * include/bits/version.h: Regenerate.
+ * include/std/mdspan (__cpp_lib_hardened_mdspan): Define.
+ (mdspan::operator[]): Replace __mdspan::__index_type_cast
+ with cast to __index_int_t, and inline negative value checks.
+
+2026-06-03 Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * include/bits/fs_path.h (path::string, path::generic_string):
+ Add deprecated attribute in C++26 via _GLIBCXX26_DEPRECATED_SUGGEST.
+ (path::display_string, path::native_encoded_string)
+ (path::generic_display_string, path::generic_native_encoded_string)
+ [__glibcxx_format_path >= 202506L]: Define.
+ * include/bits/version.def (format_path): Bump to 202506.
+ * include/bits/version.h: Regenerate.
+ * testsuite/util/testsuite_fs.h (__gnu_test::compare_paths):
+ Ignored deprecated declarations warning.
+ * testsuite/27_io/filesystem/filesystem_error/cons.cc:
+ Disable -Wdeprecated-declarations warning with pragmas.
+ * testsuite/27_io/filesystem/operations/canonical.cc: Likewise.
+ * testsuite/27_io/filesystem/operations/copy_file.cc: Likewise.
+ * testsuite/27_io/filesystem/path/concat/strings.cc: Likwise.
+ * testsuite/27_io/filesystem/path/itr/traversal.cc: Likewise.
+ * testsuite/27_io/filesystem/operations/temp_directory_path.cc:
+ Likewise.
+ * testsuite/27_io/filesystem/path/decompose/root_directory.cc:
+ Likewise.
+ * testsuite/27_io/filesystem/path/generic/generic_string.cc:
+ Likewise.
+ * testsuite/27_io/print/1.cc: Likewise.
+ * testsuite/27_io/print/2.cc: Likewise.
+ * testsuite/27_io/print/3.cc: Likewise.
+ * testsuite/27_io/filesystem/path/append/source.cc:
+ Add dg-warning for deprecated functions use.
+ * testsuite/27_io/filesystem/path/decompose/stem.cc: Likewise.
+ * testsuite/27_io/filesystem/path/native/string-char8_t.cc:
+ Likewise.
+ * testsuite/27_io/filesystem/path/generic/display_native_string.cc:
+ New test.
+ * testsuite/27_io/filesystem/path/native/display_native_string.cc:
+ New test.
+
+2026-06-02 Yuao Ma <c8ef@outlook.com>
+
+ * include/bits/stl_queue.h: Add constexpr.
+ * testsuite/23_containers/priority_queue/constexpr.cc: New test.
+
+2026-06-02 Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * include/bits/random.h (__rand_uint128::operator bool):
+ (__rand_uint128::operator-=(const type& __r))
+ (__rand_uint128::operator-(type __l, const type& __r)):
+ Implement.
+ (__rand_uint128::operator/=(uint64_t __r))
+ (__rand_uint128::operator/(type __l, uint64_t __r)):
+ Define by converting to type.
+ (__rand_uint128::operator*=(const type& __r)): Remove
+ precondition and handle _M_hi != 0.
+
+2026-06-02 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/version.tpl: Fix typo.
+
+2026-06-02 Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * include/std/format (__format::__write_escaped_ascii): Mark as
+ _GLIBCXX_CONSTEXPR_FORMAT and at compile time, reject strings
+ containing characters other than printable ASCII and standard
+ escapes.
+ * testsuite/std/format/debug.cc: Test basic_escapes and \0
+ at compile-time.
+ * testsuite/std/format/debug_nonunicode_neg.cc: New test.
+
+2026-06-02 Ivan Lazaric <ivan.lazaric1@gmail.com>
+ Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * include/bits/version.def (constexpr_exceptions): Move before
+ format.
+ (constexpr_format): Define.
+ * include/bits/version.h: Regenerate.
+ * include/std/format (_GLIBCXX_CONSTEXPR_FORMAT): Define and
+ apply to all of functions except __write_escaped_ascii and
+ __formatter_fp members.
+ (_GLIBCXX_CONSTEXPR_FORMAT_ERROR): Replace with
+ _GLIBCXX_CONSTEXPR_FORMAT.
+ (basic_format_string::basic_format_string(const _Tp&)):
+ Mark as noexcept.
+ (__format::__toupper_numeric): Define.
+ (__formatter_int::format): Use __format::__toupper_numeric
+ and replace __builtin_memcpy with ranges::copy.
+ (__formatter_fp::format): Use __format::__toupper_numeric.
+ (__formatter_ptr::format): Avoid reinterpret_cast for
+ null-pointer value to support std::nullptr_t formatting.
+ (__format::__do_vformat_to): Replace __builtin_memcpy with
+ ranges::copy.
+ (basic_format_parse_context::__check_dynamic_spec):
+ Skip checks if __args pointer is null.
+ * testsuite/std/format/arguments/args_neg.cc: Diagnostics change.
+ * testsuite/std/format/constexpr.cc: New test.
+ * testsuite/std/format/debug.cc: Test at compile-time in C++26
+ and update iteration limit for paddding tests.
+ * testsuite/std/format/tuple.cc: Likewise.
+ * testsuite/std/format/functions/format.cc: Test at compile-time
+ in C++26.
+ * testsuite/std/format/dynamic_format.cc: Likewise.
+ * testsuite/std/format/functions/format_to.cc: Likewise.
+ * testsuite/std/format/functions/size.cc: Likewise.
+ * testsuite/std/format/ranges/format_kind.cc: Likewise.
+ * testsuite/std/format/ranges/formatter.cc: Likewise.
+ * testsuite/std/format/ranges/sequence.cc: Likewise.
+ * testsuite/std/format/string.cc: Likewise.
+ * testsuite/std/time/format/data_not_present_neg.cc: Diagnostics
+ change.
+
+2026-06-02 Ivan Lazaric <ivan.lazaric1@gmail.com>
+ Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * include/bits/version.def (constexpr_string): Bump to 202511.
+ * include/bits/version.h: Regenerate.
+ * include/bits/basic_string.h (std::to_string, std::to_wstring)
+ [__glibcxx_constexpr_string >= 202511L]: Mark as constexpr.
+ * testsuite/21_strings/basic_string/numeric_conversions/char/to_string_constexpr.cc:
+ New test.
+ * testsuite/21_strings/basic_string/numeric_conversions/wchar_t/to_wstring_constexpr.cc:
+ New test.
+ * testsuite/21_strings/basic_string/cons/char/constexpr.cc: Update
+ __cpp_lib_constexpr_string check.
+ * testsuite/21_strings/basic_string/cons/wchar_t/constexpr.cc: Likewise.
+ * testsuite/21_strings/basic_string/version.cc: Add check for value of
+ __cpp_lib_constexpr_string in C++26.
+
2026-06-01 Dhruv Chawla <dhruvc@nvidia.com>
* config/os/vxworks/os_defines.h: Fix typos.