https://gcc.gnu.org/g:f174757a36fdd35e18287f2f3c6dc39bb75d048a
commit r17-1283-gf174757a36fdd35e18287f2f3c6dc39bb75d048a Author: GCC Administrator <[email protected]> Date: Thu Jun 4 08:18:58 2026 +0000 Daily bump. Diff: --- ChangeLog | 5 + contrib/ChangeLog | 5 + gcc/ChangeLog | 501 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 430 +++++++++++++++++++++++++++++++++++++++++ gcc/algol68/ChangeLog | 26 +++ gcc/c-family/ChangeLog | 16 ++ gcc/c/ChangeLog | 21 ++ gcc/cobol/ChangeLog | 19 ++ gcc/cp/ChangeLog | 63 ++++++ gcc/d/ChangeLog | 10 + gcc/fortran/ChangeLog | 39 ++++ gcc/m2/ChangeLog | 15 ++ gcc/testsuite/ChangeLog | 248 ++++++++++++++++++++++++ libbacktrace/ChangeLog | 5 + libgcobol/ChangeLog | 5 + libgomp/ChangeLog | 7 + libsanitizer/ChangeLog | 6 + libstdc++-v3/ChangeLog | 159 +++++++++++++++ 19 files changed, 1581 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 87fb1128df85..016e5968aa0f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2026-06-03 Richard Earnshaw <[email protected]> + + * MAINTAINERS: Add all known missing account names to + write-after. + 2026-05-30 Dhruv Chawla <[email protected]> * Makefile.def: Fix typos. diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 43ae187f91b8..716685451023 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,8 @@ +2026-06-04 Jakub Jelinek <[email protected]> + + * gcc-changelog/git_update_version.py (ignored_commits): + Add 86ff0e88764bfbff1a4989414ec83c0eaa723107. + 2026-05-29 Kevin Buettner <[email protected]> * dg-extract-results.py: Show warnings instead of erroring out diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e0da7046f84b..347e780eb061 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,504 @@ +2026-06-04 Jeevitha Palanisamy <[email protected]> + + 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 <[email protected]> + + PR middle-end/125588 + * match.pd (`if (cond) (A | CST1) : (A & ~CST1)`): Enable + for GIMPLE only. + +2026-06-04 Kevin Stefanov <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + 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 <[email protected]> + + * 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 <[email protected]> + + * tree-scalar-evolution.cc + (compute_final_value_from_loop_phi_latch): New function. + (final_value_replacement_loop): Use it. + +2026-06-03 Andrew Pinski <[email protected]> + + PR tree-optimization/103221 + * passes.def (early_optimizations): Move sccopy + to after evrp. + +2026-06-03 Andrew Pinski <[email protected]> + + * 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 <[email protected]> + + * match-sat-alu.pd: Add pattern for unsigned scalar + SAT_MUL form 11. + +2026-06-03 Richard Sandiford <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + PR tree-optimization/125579 + * gimple-ssa-backprop.cc (backprop::execute): Avoid double deletions. + +2026-06-03 Tamar Christina <[email protected]> + + 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 <[email protected]> + + PR tree-optimization/125509 + * tree-vect-loop-manip.cc (vect_do_peeling): Re-enable dominators + update for prolog peeling. + +2026-06-03 Richard Biener <[email protected]> + + 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 <[email protected]> + + 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 <[email protected]> + + * config/riscv/riscv.cc (riscv_sched_reorder): Remove dead + return after the early-return guard. + +2026-06-02 Richard Sandiford <[email protected]> + + * bitmap.h (bitmap_element): Fix left/right distinction in comments. + +2026-06-02 Richard Sandiford <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + Revert: + 2026-05-27 oltolm <[email protected]> + + 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 <[email protected]> + + 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 <[email protected]> + + * 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 <[email protected]> + + 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 <[email protected]> + + * 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 <[email protected]> + + * config/riscv/riscv-v.cc (expand_vec_perm): Add missing return + after emit_vlmax_gather_insn. + +2026-06-02 Richard Biener <[email protected]> + + PR tree-optimization/125502 + * tree-ssa-forwprop.cc (optimize_vector_load): Do not + move defs of abnormals. + +2026-06-02 Uros Bizjak <[email protected]> + + * config/i386/i386.md (crotate): Rename to inv_rotate. + Update all uses accordingly. + +2026-06-02 Rainer Orth <[email protected]> + + * config/sol2.h (TARGET_OS_CPP_BUILTINS): Don't define + _XOPEN_SOURCE=600 for C++. + +2026-06-02 Richard Biener <[email protected]> + + PR tree-optimization/120702 + * gimple-fold.cc (maybe_fold_reference): Only fold + register type reads. + +2026-06-02 Jakub Jelinek <[email protected]> + + 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + 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 <[email protected]> PR target/122827 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 98ddba91d55c..cf4a41146e2d 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20260602 +20260604 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9ca34f7d4569..5a939090b45a 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,433 @@ +2026-06-02 Eric Botcazou <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + 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 <[email protected]> + + * 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 <[email protected]> + + * accessibility.adb (Apply_Accessibility_Check_For_Return): Bail out + for the return synthesized in a function with _Wrapped_Statements. + +2026-06-02 Tom Tromey <[email protected]> + + * 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 <[email protected]> + + * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not disable + expander if body comes from an expression function. + +2026-06-02 Viljar Indus <[email protected]> + + * sem_prag.adb (Analyze_Pragma): Remove overflow supression + workaround. + +2026-06-02 Viljar Indus <[email protected]> + + * 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 <[email protected]> + + * krunch.ads: Fix a few typos in the description. + +2026-06-02 Eric Botcazou <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * env.c (__gnat_setenv): Add _POSIX_VERSION >= 200112L to setenv + availability check. + +2026-06-02 Eric Botcazou <[email protected]> + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix a + couple of glitches. + * gnat_ugn.texi: Regenerate. + +2026-06-02 Gary Dismukes <[email protected]> + + * sem_ch3.adb (Copy_Parent_Attributes): Inherit Linker_Section_Pragma. + +2026-06-02 Sebastian Poeplau <[email protected]> + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Mention + inline assembler limitations. + * gnat_ugn.texi: Regenerate. + +2026-06-02 Piotr Trojanek <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + 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 <[email protected]> + + 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 <[email protected]> + + 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 <[email protected]> + + * exp_ch7.adb (Processing_Actions): Avoid processing + ignored ghost declarations. + +2026-06-02 Eric Botcazou <[email protected]> + + 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 <[email protected]> + + * sysdep.c (getc_immediate_common): Cleanup macro test. + +2026-06-02 Ronan Desplanques <[email protected]> + + * 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 <[email protected]> + + * einfo.ads (Contains_Ignored_Ghost_Code): Remove documentation. + +2026-06-02 Mathias Aparicio <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * sem_util.adb (Has_Assertion_Level_Argument): Check for + the correct type of association. + +2026-06-02 Viljar Indus <[email protected]> + + * 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 <[email protected]> + + * sem_util.adb (Normalize_Actuals): Improve error message. + +2026-06-02 Mathias Aparicio <[email protected]> + + * env.c (__gnat_setenv): Add __linux__ preprocessor macro + directive to the setenv block. + +2026-06-02 Viljar Indus <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * sem_aux.ads: Add note. + +2026-06-02 Eric Botcazou <[email protected]> + + * sem.ads (Suppress_Stack_Entry): Move down Suppress component. + (Scope_Stack_Entry): Reorder components to eliminate holes. + +2026-06-02 Tom Tromey <[email protected]> + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst + (GNATLLVM): Update debugging documentation. + * gnat_ugn.texi: Regenerate. + +2026-06-02 Bob Duff <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * sem_util.adb, sem_util.ads (Partially_Visible_Subcomponent): Move + to right spot. + +2026-06-02 Eric Botcazou <[email protected]> + + * 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 <[email protected]> + + 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 <[email protected]> + + * 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 <[email protected]> + + * gen_il-gen-gen_entities.adb (Gen_Entities): Move + Is_Limited_Composite. + * einfo.ads (Is_Limited_Composite): Update documentation. + +2026-06-02 Viljar Indus <[email protected]> + + * sem_prag.adb (Analyze_Abstract_State): make error checks + exclusive. + +2026-06-02 Ronan Desplanques <[email protected]> + + * 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 <[email protected]> * gnathtml.pl: Reflow long line. diff --git a/gcc/algol68/ChangeLog b/gcc/algol68/ChangeLog index ffbd4b1fd557..b39125917b17 100644 --- a/gcc/algol68/ChangeLog +++ b/gcc/algol68/ChangeLog @@ -1,3 +1,29 @@ +2026-06-03 Jose E. Marchesi <[email protected]> + + * ga68.texi (Worthy characters): Remove spurious @ entry in the + list of worthy characters. + +2026-06-03 Jose E. Marchesi <[email protected]> + + * ga68.vw (Modes and nests): Incorporate syntax from the RR + chapter 7. + +2026-06-03 Jose E. Marchesi <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> * a68-imports-archive.cc (struct Archive_fl_header): Fix typos. diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 107f8416b6a6..1df5f5d75335 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,19 @@ +2026-06-02 Christopher Bazley <[email protected]> + + * 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 <[email protected]> + + PR c/121911 + * c-common.cc (c_common_nodes_and_builtins): Don't declare stack + protection guard here. + 2026-06-01 Martin Uecker <[email protected]> PR c/98539 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index a48f9e96afa5..f2b33d19fd18 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,24 @@ +2026-06-03 Martin Uecker <[email protected]> + + 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 <[email protected]> + + 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 <[email protected]> + + PR c/121911 + * c-decl.cc (push_file_scope): Add stack protection guard to + visible_builtins. + 2026-05-31 Daniel Barboza <[email protected]> * c-fold.cc (c_disable_warnings): Likewise. diff --git a/gcc/cobol/ChangeLog b/gcc/cobol/ChangeLog index 970952006a21..62189efcfa7e 100644 --- a/gcc/cobol/ChangeLog +++ b/gcc/cobol/ChangeLog @@ -1,3 +1,22 @@ +2026-06-02 Robert Dubner <[email protected]> + + * 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 <[email protected]> * compare.cc (alpha_compare): Fix typos. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 5614f161175c..b32887ec9bbc 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,66 @@ +2026-06-03 Patrick Palka <[email protected]> + + 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 <[email protected]> + + 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 <[email protected]> + + 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 <[email protected]> + + 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 <[email protected]> + + 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 <[email protected]> + + 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 <[email protected]> + + * 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 <[email protected]> PR c++/125422 diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog index bd59ba38da16..bcf5e0297d2e 100644 --- a/gcc/d/ChangeLog +++ b/gcc/d/ChangeLog @@ -1,3 +1,13 @@ +2026-06-02 Christopher Bazley <[email protected]> + + * 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 <[email protected]> * d-attribs.cc (d_handle_alloc_size_attribute): Fix typos. diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 6eb5e12a5e8f..ed14567a7b14 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,42 @@ +2026-06-03 Henri Menke <[email protected]> + + * 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 <[email protected]> + + PR fortran/105594 + * module.cc (gfc_use_module): Suppress bogus warning for a missing + ONLY clause on a submodule. + +2026-06-02 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-02 Jerry DeLisle <[email protected]> + + PR fortran/125324 + * gfortranspec.cc (lang_specific_driver): Also append -lpthread + when need_caf_shmem is set. + +2026-06-02 Paul Thomas <[email protected]> + + 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 <[email protected]> PR fortran/125527 diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog index bb9cfeb3065b..9a80c6142209 100644 --- a/gcc/m2/ChangeLog +++ b/gcc/m2/ChangeLog @@ -1,3 +1,18 @@ +2026-06-03 Gaius Mulley <[email protected]> + + PR modula2/125512 + * gm2-compiler/P3Build.bnf (SubDesignator): Rewrite to + include spell checking. + +2026-06-02 Gaius Mulley <[email protected]> + + 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 <[email protected]> PR other/125348 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a9f109382ad4..f788725d53b1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,251 @@ +2026-06-04 Jeevitha Palanisamy <[email protected]> + + PR target/106895 + * gcc.target/powerpc/pr106895-1.c: New test. + * gcc.target/powerpc/pr106895-2.c: New test. + +2026-06-04 Andrew Pinski <[email protected]> + + PR middle-end/125588 + * gcc.dg/pr125588-1.c: New test. + +2026-06-03 Patrick Palka <[email protected]> + + 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 <[email protected]> + + PR c++/125490 + * g++.dg/cpp2a/concepts-pr125490.C: New test. + * g++.dg/cpp2a/concepts-pr125490a.C: New test. + +2026-06-03 Henri Menke <[email protected]> + + * 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 <[email protected]> + + PR tree-optimization/124405 + * gcc.dg/tree-ssa/pr124405.c: New test. + +2026-06-03 Martin Uecker <[email protected]> + + PR c/125252 + * gcc.dg/pr125252.c + +2026-06-03 Marek Polacek <[email protected]> + + PR c++/107124 + * g++.dg/template/deduce11.C: New test. + * g++.dg/template/deduce12.C: New test. + +2026-06-03 Martin Uecker <[email protected]> + + PR c/123569 + * gcc.dg/pr123569.c: New test. + +2026-06-03 Abhishek Kaushik <[email protected]> + + * 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 <[email protected]> + + 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 <[email protected]> + + * 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 <[email protected]> + + 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 <[email protected]> + + * 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 <[email protected]> + + PR fortran/105594 + * gfortran.dg/pr105594.f90: New test. + +2026-06-03 Alex Coplan <[email protected]> + + * gcc.target/aarch64/sme/inline-asm.c: New test. + +2026-06-03 Richard Sandiford <[email protected]> + + PR tree-optimization/125579 + * gcc.dg/pr125579.c: New test. + +2026-06-03 Eric Botcazou <[email protected]> + + PR ada/125581 + * gnat.dg/atomic9.adb (NVIC_STIR): Add alignment clause. + +2026-06-03 Tamar Christina <[email protected]> + + PR tree-optimization/125431 + * gfortran.dg/vect/pr125431.f90: New test. + +2026-06-03 Tamar Christina <[email protected]> + + PR tree-optimization/125509 + * gcc.dg/vect/pr125509.c: New test. + +2026-06-03 Rainer Orth <[email protected]> + + * 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 <[email protected]> + + 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 <[email protected]> + + PR tree-optimization/125477 + * gcc.dg/torture/pr125477.c: New testcase. + +2026-06-03 Jin Ma <[email protected]> + + 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 <[email protected]> + + * gcc.dg/tree-ssa/backprop-7.c: New test. + +2026-06-02 Jose E. Marchesi <[email protected]> + + * algol68/compile/malformed-mode-1.a68: New test. + * algol68/compile/malformed-mode-2.a68: Likewise. + +2026-06-02 Richard Biener <[email protected]> + + PR tree-optimization/125545 + * gcc.dg/torture/pr125545.c: New testcase. + +2026-06-02 Lino Hsing-Yu Peng <[email protected]> + + * gcc.target/riscv/arch-61.c: New test. + +2026-06-02 Richard Biener <[email protected]> + + PR tree-optimization/125553 + * gcc.dg/torture/pr125553.c: New testcase. + +2026-06-02 Wang Yaduo <[email protected]> + + * 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 <[email protected]> + + PR tree-optimization/125250 + * gcc.dg/torture/pr125250.c: Declare g0 as _Bool. + +2026-06-02 Richard Biener <[email protected]> + + PR tree-optimization/125502 + * gcc.dg/torture/pr125502.c: New testcase. + +2026-06-02 Christopher Bazley <[email protected]> + + * gcc.target/powerpc/pr125327.c: New test. + +2026-06-02 Richard Biener <[email protected]> + + PR tree-optimization/120702 + * gcc.dg/tree-ssa/pr120702.c: New testcase. + +2026-06-02 Jakub Jelinek <[email protected]> + + PR middle-end/125517 + * gcc.dg/builtin-bitreverse-9.c: New test. + +2026-06-02 Jakub Jelinek <[email protected]> + + * 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 <[email protected]> + + 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 <[email protected]> + + PR c/121911 + * gcc.dg/Wnested-externs-1.c: Add -mstack-protector-guard=global + for x86. + +2026-06-02 Tianle Shi <[email protected]> + + * 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 <[email protected]> PR fortran/125527 diff --git a/libbacktrace/ChangeLog b/libbacktrace/ChangeLog index f840ba14760d..bf487ca37e55 100644 --- a/libbacktrace/ChangeLog +++ b/libbacktrace/ChangeLog @@ -1,3 +1,8 @@ +2026-06-02 Ian Lance Taylor <[email protected]> + + * elf.c (elf_zstd_decompress_frame): Support a compressed block + with no sequences, only literals. + 2026-05-30 Dhruv Chawla <[email protected]> * allocfail.sh: Fix typos. diff --git a/libgcobol/ChangeLog b/libgcobol/ChangeLog index 26bfbc4b1f51..6edcc6375131 100644 --- a/libgcobol/ChangeLog +++ b/libgcobol/ChangeLog @@ -1,3 +1,8 @@ +2026-06-02 Robert Dubner <[email protected]> + + * intrinsic.cc (__gg__trim): Eliminate useless comment. + (__gg__trim_1): New function. + 2026-05-30 Dhruv Chawla <[email protected]> * README: Reflow long line. diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index e887c14b3af8..c25009c25344 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,10 @@ +2026-06-02 Rainer Orth <[email protected]> + + * 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 <[email protected]> * config/gcn/simple-bar.h: Fix typos. diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog index 0fdc7f57e007..809294081c78 100644 --- a/libsanitizer/ChangeLog +++ b/libsanitizer/ChangeLog @@ -1,3 +1,9 @@ +2026-06-02 Rainer Orth <[email protected]> + + * sanitizer_common/sanitizer_platform_limits_solaris.cpp: + Cherry-pick llvm-project revision + 0e92b557a78eddc7493ade4cfc0a3b6b93ee61cf. + 2026-04-29 Jakub Jelinek <[email protected]> * sanitizer_common/sanitizer_platform_limits_posix.cpp: Cherry picked diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index d1953b6a282e..6ee4bc4b3b79 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,162 @@ +2026-06-03 Jonathan Wakely <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * 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 <[email protected]> + + * include/bits/stl_queue.h: Add constexpr. + * testsuite/23_containers/priority_queue/constexpr.cc: New test. + +2026-06-02 Tomasz Kamiński <[email protected]> + + * 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 <[email protected]> + + * include/bits/version.tpl: Fix typo. + +2026-06-02 Tomasz Kamiński <[email protected]> + + * 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 <[email protected]> + Tomasz Kamiński <[email protected]> + + * 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 <[email protected]> + Tomasz Kamiński <[email protected]> + + * 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 <[email protected]> * config/os/vxworks/os_defines.h: Fix typos.
