From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 77F333858C53; Fri, 25 Aug 2023 00:19:05 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 77F333858C53 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1692922745; bh=PQwJFprafuxTghx+dNZi82cBjL4lBnhEd1DdNvKSEos=; h=From:To:Subject:Date:From; b=HnTT0KDXlS26OKA/ixA2UxDTMSEcAruDjP8IxJiok32r5ijvpro8bnWYGa9Ia70vi 08VBJQ7EetkhdY9++V02vAZvtgNfTm6irKXcccUZ8UnoLPXyGnGbvHRGyUOZKs27dW 9+yBjg3UcHR+FwOXfDfWipK489ogdRocr1qawxg8= MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r14-3472] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 6dd73f0f00f454a05552b008a1d56560bd3f1d4a X-Git-Newrev: 6d47c9b418295b2da14577a108bc4c9a0c7f16cf Message-Id: <20230825001905.77F333858C53@sourceware.org> Date: Fri, 25 Aug 2023 00:19:05 +0000 (GMT) List-Id: https://gcc.gnu.org/g:6d47c9b418295b2da14577a108bc4c9a0c7f16cf commit r14-3472-g6d47c9b418295b2da14577a108bc4c9a0c7f16cf Author: GCC Administrator Date: Fri Aug 25 00:18:19 2023 +0000 Daily bump. Diff: --- gcc/ChangeLog | 435 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 91 ++++++++++ gcc/c/ChangeLog | 9 + gcc/testsuite/ChangeLog | 306 ++++++++++++++++++++++++++++++++++ libstdc++-v3/ChangeLog | 50 ++++++ 6 files changed, 892 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 442911629516..70f5ce014b18 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,438 @@ +2023-08-24 Uros Bizjak + + PR target/94866 + * config/i386/sse.md (*sse2_movq128__1): New insn pattern. + +2023-08-24 David Malcolm + + PR analyzer/105899 + * doc/invoke.texi (Static Analyzer Options): Add "strcat" to the + list of functions known to the analyzer. + +2023-08-24 Richard Biener + + PR tree-optimization/111123 + * tree-ssa-ccp.cc (pass_fold_builtins::execute): Do not + remove indirect clobbers here ... + * tree-outof-ssa.cc (rewrite_out_of_ssa): ... but here. + (remove_indirect_clobbers): New function. + +2023-08-24 Jan Hubicka + + * cfg.h (struct control_flow_graph): New field full_profile. + * auto-profile.cc (afdo_annotate_cfg): Set full_profile to true. + * cfg.cc (init_flow): Set full_profile to false. + * graphite.cc (graphite_transform_loops): Set full_profile to false. + * lto-streamer-in.cc (input_cfg): Initialize full_profile flag. + * predict.cc (pass_profile::execute): Set full_profile to true. + * symtab-thunks.cc (expand_thunk): Set full_profile to true. + * tree-cfg.cc (gimple_verify_flow_info): Verify that profile is full + if full_profile is set. + * tree-inline.cc (initialize_cfun): Initialize full_profile. + (expand_call_inline): Combine full_profile. + +2023-08-24 Richard Biener + + * tree-vect-slp.cc (vect_build_slp_tree_1): Rename + load_p to ldst_p, fix mistakes and rely on + STMT_VINFO_DATA_REF. + +2023-08-24 Jan Hubicka + + * gimple-harden-conditionals.cc (insert_check_and_trap): Set count + of newly build trap bb. + +2023-08-24 Juzhe-Zhong + + * config/riscv/riscv.cc (riscv_preferred_else_value): Remove it since + it forbid COND_LEN_FMS/COND_LEN_FNMS STMT fold. + (TARGET_PREFERRED_ELSE_VALUE): Ditto. + +2023-08-24 Robin Dapp + + * common/config/riscv/riscv-common.cc: Add -fsched-pressure. + * config/riscv/riscv.cc (riscv_option_override): Set sched + pressure algorithm. + +2023-08-24 Robin Dapp + + * config/riscv/riscv.cc (riscv_print_operand): Allow vk operand. + +2023-08-24 Richard Biener + + PR tree-optimization/111125 + * tree-vect-slp.cc (vect_slp_function): Split at novector + loop entry, do not push blocks in novector loops. + +2023-08-24 Richard Sandiford + + * doc/extend.texi: Document the C [[__extension__ ...]] construct. + +2023-08-24 Juzhe-Zhong + + * genmatch.cc (decision_tree::gen): Support + COND_LEN_FNMA/COND_LEN_FMS/COND_LEN_FNMS gimple fold. + * gimple-match-exports.cc (gimple_simplify): Ditto. + (gimple_resimplify6): New function. + (gimple_resimplify7): New function. + (gimple_match_op::resimplify): Support + COND_LEN_FNMA/COND_LEN_FMS/COND_LEN_FNMS gimple fold. + (convert_conditional_op): Ditto. + (build_call_internal): Ditto. + (try_conditional_simplification): Ditto. + (gimple_extract): Ditto. + * gimple-match.h (gimple_match_cond::gimple_match_cond): Ditto. + * internal-fn.cc (CASE): Ditto. + +2023-08-24 Richard Biener + + PR tree-optimization/111115 + * tree-vectorizer.h (vect_slp_child_index_for_operand): New. + * tree-vect-data-refs.cc (can_group_stmts_p): Also group + .MASK_STORE. + * tree-vect-slp.cc (arg3_arg2_map): New. + (vect_get_operand_map): Handle IFN_MASK_STORE. + (vect_slp_child_index_for_operand): New function. + (vect_build_slp_tree_1): Handle statements with no LHS, + masked store ifns. + (vect_remove_slp_scalar_calls): Likewise. + * tree-vect-stmts.cc (vect_check_store_rhs): Lookup the + SLP child corresponding to the ifn value index. + (vectorizable_store): Likewise for the mask index. Support + masked stores. + (vectorizable_load): Lookup the SLP child corresponding to the + ifn mask index. + +2023-08-24 Richard Biener + + PR tree-optimization/111125 + * tree-vect-slp.cc (vectorizable_bb_reduc_epilogue): Account + for the remain_defs processing. + +2023-08-24 Richard Sandiford + + * config/aarch64/aarch64.cc: Include ssa.h. + (aarch64_multiply_add_p): Require the second operand of an + Advanced SIMD subtraction to be a multiplication. Assume that + such an operation won't be fused if the second operand is used + multiple times and if the first operand is also a multiplication. + +2023-08-24 Juzhe-Zhong + + * tree-vect-loop.cc (vectorizable_reduction): Apply + LEN_FOLD_EXTRACT_LAST. + * tree-vect-stmts.cc (vectorizable_condition): Ditto. + +2023-08-24 Richard Biener + + PR tree-optimization/111128 + * tree-vect-patterns.cc (vect_recog_over_widening_pattern): + Emit external shift operand inline if we promoted it with + another pattern stmt. + +2023-08-24 Pan Li + + * config/riscv/autovec.md: Fix typo. + +2023-08-24 Pan Li + + * config/riscv/riscv-vector-builtins-bases.cc + (class binop_frm): Removed. + (class reverse_binop_frm): Ditto. + (class widen_binop_frm): Ditto. + (class vfmacc_frm): Ditto. + (class vfnmacc_frm): Ditto. + (class vfmsac_frm): Ditto. + (class vfnmsac_frm): Ditto. + (class vfmadd_frm): Ditto. + (class vfnmadd_frm): Ditto. + (class vfmsub_frm): Ditto. + (class vfnmsub_frm): Ditto. + (class vfwmacc_frm): Ditto. + (class vfwnmacc_frm): Ditto. + (class vfwmsac_frm): Ditto. + (class vfwnmsac_frm): Ditto. + (class unop_frm): Ditto. + (class vfrec7_frm): Ditto. + (class binop): Add frm_op_type template arg. + (class unop): Ditto. + (class widen_binop): Ditto. + (class widen_binop_fp): Ditto. + (class reverse_binop): Ditto. + (class vfmacc): Ditto. + (class vfnmsac): Ditto. + (class vfmadd): Ditto. + (class vfnmsub): Ditto. + (class vfnmacc): Ditto. + (class vfmsac): Ditto. + (class vfnmadd): Ditto. + (class vfmsub): Ditto. + (class vfwmacc): Ditto. + (class vfwnmacc): Ditto. + (class vfwmsac): Ditto. + (class vfwnmsac): Ditto. + (class float_misc): Ditto. + +2023-08-24 Andrew Pinski + + PR tree-optimization/111109 + * match.pd (ior(cond,cond), ior(vec_cond,vec_cond)): + Add check to make sure cmp and icmp are inverse. + +2023-08-24 Andrew Pinski + + PR tree-optimization/95929 + * match.pd (convert?(-a)): New pattern + for 1bit integer types. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-17 Haochen Jiang + + * common/config/i386/cpuinfo.h (get_available_features): + Add avx10_set and version and detect avx10.1. + (cpu_indicator_init): Handle avx10.1-512. + * common/config/i386/i386-common.cc + (OPTION_MASK_ISA2_AVX10_512BIT_SET): New. + (OPTION_MASK_ISA2_AVX10_1_SET): Ditto. + (OPTION_MASK_ISA2_AVX10_512BIT_UNSET): Ditto. + (OPTION_MASK_ISA2_AVX10_1_UNSET): Ditto. + (OPTION_MASK_ISA2_AVX2_UNSET): Modify for AVX10_1. + (ix86_handle_option): Handle -mavx10.1, -mavx10.1-256 and + -mavx10.1-512. + * common/config/i386/i386-cpuinfo.h (enum processor_features): + Add FEATURE_AVX10_512BIT, FEATURE_AVX10_1 and + FEATURE_AVX10_512BIT. + * common/config/i386/i386-isas.h: Add ISA_NAME_TABLE_ENTRY for + AVX10_512BIT, AVX10_1 and AVX10_1_512. + * config/i386/constraints.md (Yk): Add AVX10_1. + (Yv): Ditto. + (k): Ditto. + * config/i386/cpuid.h (bit_AVX10): New. + (bit_AVX10_256): Ditto. + (bit_AVX10_512): Ditto. + * config/i386/i386-c.cc (ix86_target_macros_internal): + Define AVX10_512BIT and AVX10_1. + * config/i386/i386-isa.def + (AVX10_512BIT): Add DEF_PTA(AVX10_512BIT). + (AVX10_1): Add DEF_PTA(AVX10_1). + * config/i386/i386-options.cc (isa2_opts): Add -mavx10.1. + (ix86_valid_target_attribute_inner_p): Handle avx10-512bit, avx10.1 + and avx10.1-512. + (ix86_option_override_internal): Enable AVX512{F,VL,BW,DQ,CD,BF16, + FP16,VBMI,VBMI2,VNNI,IFMA,BITALG,VPOPCNTDQ} features for avx10.1-512. + (ix86_valid_target_attribute_inner_p): Handle AVX10_1. + * config/i386/i386.cc (ix86_get_ssemov): Add AVX10_1. + (ix86_conditional_register_usage): Ditto. + (ix86_hard_regno_mode_ok): Ditto. + (ix86_rtx_costs): Ditto. + * config/i386/i386.h (VALID_MASK_AVX10_MODE): New macro. + * config/i386/i386.opt: Add option -mavx10.1, -mavx10.1-256 and + -mavx10.1-512. + * doc/extend.texi: Document avx10.1, avx10.1-256 and avx10.1-512. + * doc/invoke.texi: Document -mavx10.1, -mavx10.1-256 and -mavx10.1-512. + * doc/sourcebuild.texi: Document target avx10.1, avx10.1-256 + and avx10.1-512. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-17 Haochen Jiang + + * common/config/i386/i386-common.cc + (ix86_check_avx10): New function to check isa_flags and + isa_flags_explicit to emit warning when AVX10 is enabled + by "-m" option. + (ix86_check_avx512): New function to check isa_flags and + isa_flags_explicit to emit warning when AVX512 is enabled + by "-m" option. + (ix86_handle_option): Do not change the flags when warning + is emitted. + * config/i386/driver-i386.cc (host_detect_local_cpu): + Do not append -mno-avx10.1 for -march=native. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-17 Haochen Jiang + + * common/config/i386/i386-common.cc + (ix86_check_avx10_vector_width): New function to check isa_flags + to emit a warning when there is a conflict in AVX10 options for + vector width. + (ix86_handle_option): Add check for avx10.1-256 and avx10.1-512. + * config/i386/driver-i386.cc (host_detect_local_cpu): + Do not append -mno-avx10-max-512bit for -march=native. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-17 Haochen Jiang + + * config/i386/avx512vldqintrin.h: Remove target attribute. + * config/i386/i386-builtin.def (BDESC): + Add OPTION_MASK_ISA2_AVX10_1. + * config/i386/i386-builtins.cc (def_builtin): Handle AVX10_1. + * config/i386/i386-expand.cc + (ix86_check_builtin_isa_match): Ditto. + (ix86_expand_sse2_mulvxdi3): Add TARGET_AVX10_1. + * config/i386/i386.md: Add new isa attribute avx10_1_or_avx512dq + and avx10_1_or_avx512vl. + * config/i386/sse.md: (VF2_AVX512VLDQ_AVX10_1): New. + (VF1_128_256VLDQ_AVX10_1): Ditto. + (VI8_AVX512VLDQ_AVX10_1): Ditto. + (_andnot3): + Add TARGET_AVX10_1 and change isa attr from avx512dq to + avx10_1_or_avx512dq. + (*andnot3): Add TARGET_AVX10_1 and change isa attr from + avx512vl to avx10_1_or_avx512vl. + (fix_trunc2): + Change iterator to VF2_AVX512VLDQ_AVX10_1. Remove target check. + (fix_notrunc2): + Ditto. + (ufix_notrunc2): + Ditto. + (fix_trunc2): + Change iterator to VF1_128_256VLDQ_AVX10_1. Remove target check. + (avx512dq_fix_truncv2sfv2di2): + Add TARGET_AVX10_1. + (fix_truncv2sfv2di2): Ditto. + (cond_mul): Change iterator to VI8_AVX10_1_AVX512DQVL. + Remove target check. + (avx512dq_mul3): Ditto. + (*avx512dq_mul3): Ditto. + (VI4F_BRCST32x2): Add TARGET_AVX512DQ and TARGET_AVX10_1. + (avx512dq_broadcast): + Remove target check. + (VI8F_BRCST64x2): Add TARGET_AVX512DQ and TARGET_AVX10_1. + (avx512dq_broadcast_1): + Remove target check. + * config/i386/subst.md (mask_mode512bit_condition): Add TARGET_AVX10_1. + (mask_avx512vl_condition): Ditto. + (mask): Ditto. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-17 Haochen Jiang + + * config/i386/avx512vldqintrin.h: Remove target attribute. + * config/i386/i386-builtin.def (BDESC): + Add OPTION_MASK_ISA2_AVX10_1. + * config/i386/i386.cc (standard_sse_constant_opcode): Add TARGET_AVX10_1. + * config/i386/sse.md: (VI48_AVX512VL_AVX10_1): New. + (VI48_AVX512VLDQ_AVX10_1): Ditto. + (VF2_AVX512VL): Remove. + (VI8_256_512VLDQ_AVX10_1): Rename from VI8_256_512. + Add TARGET_AVX10_1. + (*3): Change isa attribute to + avx10_1_or_avx512dq. Add TARGET_AVX10_1. + (3): Add TARGET_AVX10_1. Change isa attr + to avx10_1_or_avx512vl. + (avx512dq_cvtps2qq): + Change iterator to VI8_256_512VLDQ_AVX10_1. Remove target check. + (avx512dq_cvtps2qqv2di): + Add TARGET_AVX10_1. + (avx512dq_cvtps2uqq): + Change iterator to VI8_256_512VLDQ_AVX10_1. Remove target check. + (avx512dq_cvtps2uqqv2di): + Add TARGET_AVX10_1. + (float2): + Change iterator to VF2_AVX512VLDQ_AVX10_1. Remove target check. + (float2): + Change iterator to VF1_128_256VLDQ_AVX10_1. Remove target check. + (floatv4div4sf2): + Add TARGET_AVX10_1. + (avx512dq_floatv2div2sf2): Ditto. + (*avx512dq_floatv2div2sf2): Ditto. + (floatv2div2sf2): Ditto. + (floatv2div2sf2_mask): Ditto. + (*floatv2div2sf2_mask): Ditto. + (*floatv2div2sf2_mask_1): Ditto. + (_cvt2mask): + Change iterator to VI48_AVX512VLDQ_AVX10_1. Remove target check. + (_cvtmask2): Ditto. + (*_cvtmask2): + Change iterator to VI48_AVX512VL_AVX10_1. Remove target check. + Change when constraint is enabled. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-17 Haochen Jiang + + * config/i386/avx512vldqintrin.h: Remove target attribute. + * config/i386/i386-builtin.def (BDESC): + Add OPTION_MASK_ISA2_AVX10_1. + * config/i386/sse.md (VF_AVX512VLDQ_AVX10_1): New. + (VFH_AVX512VLDQ_AVX10_1): Ditto. + (VF1_AVX512VLDQ_AVX10_1): Ditto. + (reducep): + Change iterator to VFH_AVX512VLDQ_AVX10_1. Remove target check. + (vec_pack_float_): Change iterator to + VI8_AVX512VLDQ_AVX10_1. Remove target check. + (vec_unpack_fix_trunc_lo_): Change iterator to + VF1_AVX512VLDQ_AVX10_1. Remove target check. + (vec_unpack_fix_trunc_hi_): Ditto. + (VI48F_256_DQVL_AVX10_1): Rename from VI48F_256_DQ. + (avx512vl_vextractf128): Change iterator to + VI48F_256_DQVL_AVX10_1. Remove target check. + (vec_extract_hi__mask): Add TARGET_AVX10_1. + (vec_extract_hi_): Ditto. + (avx512vl_vinsert): Ditto. + (vec_set_lo_): Ditto. + (vec_set_hi_): Ditto. + (avx512dq_rangep): Change + iterator to VF_AVX512VLDQ_AVX10_1. Remove target check. + (avx512dq_fpclass): Change + iterator to VFH_AVX512VLDQ_AVX10_1. Remove target check. + * config/i386/subst.md (mask_avx512dq_condition): Add + TARGET_AVX10_1. + (mask_scalar_merge): Ditto. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-18 Haochen Jiang + + PR target/111051 + * config/i386/avx512vldqintrin.h: Push AVX2 when AVX2 is + disabled. + +2023-08-24 Richard Biener + + PR debug/111080 + * dwarf2out.cc (prune_unused_types_walk): Handle + DW_TAG_restrict_type, DW_TAG_shared_type, DW_TAG_atomic_type, + DW_TAG_immutable_type, DW_TAG_coarray_type, DW_TAG_unspecified_type + and DW_TAG_dynamic_type as to only output them when referenced. + +2023-08-24 liuhongt + + * config/i386/i386.cc (ix86_invalid_conversion): Adjust GCC + V13 to GCC 13.1. + +2023-08-24 liuhongt + + * common/config/i386/i386-common.cc (processor_names): Add new + member graniterapids-s and arrowlake-s. + * config/i386/i386-options.cc (processor_alias_table): Update + table with PROCESSOR_ARROWLAKE_S and + PROCESSOR_GRANITERAPIDS_D. + (m_GRANITERAPID_D): New macro. + (m_ARROWLAKE_S): Ditto. + (m_CORE_AVX512): Add m_GRANITERAPIDS_D. + (processor_cost_table): Add icelake_cost for + PROCESSOR_GRANITERAPIDS_D and alderlake_cost for + PROCESSOR_ARROWLAKE_S. + * config/i386/x86-tune.def: Hanlde m_ARROWLAKE_S same as + m_ARROWLAKE. + * config/i386/i386.h (enum processor_type): Add new member + PROCESSOR_GRANITERAPIDS_D and PROCESSOR_ARROWLAKE_S. + * config/i386/i386-c.cc (ix86_target_macros_internal): Handle + PROCESSOR_GRANITERAPIDS_D and PROCESSOR_ARROWLAKE_S + 2023-08-23 Jivan Hakobyan * lra-eliminations.cc (eliminate_regs_in_insn): Use equivalences to diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index d736aa1f38ab..ff7cfb5348d0 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230824 +20230825 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index d28960f97ce9..0a32281d0e0d 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,94 @@ +2023-08-24 David Malcolm + + PR analyzer/105899 + * call-details.cc + (call_details::check_for_null_terminated_string_arg): Split into + overloads, one taking just an arg_idx, the other a new + "include_terminator" param. + * call-details.h: Likewise. + * kf.cc (class kf_strcat): New. + (kf_strcpy::impl_call_pre): Update for change to + check_for_null_terminated_string_arg. + (register_known_functions): Register kf_strcat. + * region-model.cc + (region_model::check_for_null_terminated_string_arg): Split into + overloads, one taking just an arg_idx, the other a new + "include_terminator" param. When returning an svalue, handle + "include_terminator" being false by subtracting one. + * region-model.h + (region_model::check_for_null_terminated_string_arg): Split into + overloads, one taking just an arg_idx, the other a new + "include_terminator" param. + +2023-08-24 David Malcolm + + PR analyzer/105899 + * region-model.cc (fragment::has_null_terminator): Handle + SK_BITS_WITHIN. + +2023-08-24 David Malcolm + + PR analyzer/105899 + * region-model-manager.cc + (region_model_manager::get_or_create_initial_value): Simplify + INIT_VAL(ELEMENT_REG(STRING_REG), CONSTANT_SVAL) to + CONSTANT_SVAL(STRING[N]). + +2023-08-24 David Malcolm + + PR analyzer/105899 + * region-model.cc (fragment::has_null_terminator): Move STRING_CST + handling to fragment::string_cst_has_null_terminator; also use it to + handle INIT_VAL(STRING_REG). + (fragment::string_cst_has_null_terminator): New, from above. + +2023-08-24 David Malcolm + + * kf.cc (kf_memcpy_memmove::impl_call_pre): Reimplement using + region_model::copy_bytes. + * region-model.cc (region_model::read_bytes): New. + (region_model::copy_bytes): New. + * region-model.h (region_model::read_bytes): New decl. + (region_model::copy_bytes): New decl. + +2023-08-24 David Malcolm + + PR analyzer/105899 + * region-model.cc (region_model::get_string_size): Delete both. + * region-model.h (region_model::get_string_size): Delete both + decls. + +2023-08-24 David Malcolm + + PR analyzer/105899 + * kf.cc (kf_strcpy::impl_call_pre): Reimplement using + check_for_null_terminated_string_arg. + * region-model.cc (region_model::get_store_bytes): Shortcut + reading all of a string_region. + (region_model::scan_for_null_terminator): Use get_store_value for + the bytes rather than "unknown" when returning an unknown length. + (region_model::write_bytes): New. + * region-model.h (region_model::write_bytes): New decl. + +2023-08-24 David Malcolm + + PR analyzer/105899 + * region-model.cc (iterable_cluster::iterable_cluster): Add + symbolic binding keys to m_symbolic_bindings. + (iterable_cluster::has_symbolic_bindings_p): New. + (iterable_cluster::m_symbolic_bindings): New field. + (region_model::scan_for_null_terminator): Treat clusters with + symbolic bindings as having unknown strlen. + +2023-08-24 David Malcolm + + * engine.cc (impl_path_context::impl_path_context): Add logger + param. + (impl_path_context::bifurcate): Add log message. + (impl_path_context::terminate_path): Likewise. + (impl_path_context::m_logger): New field. + (exploded_graph::process_node): Pass logger to path_ctxt ctor. + 2023-08-22 David Malcolm PR analyzer/105899 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 81d46e889472..39ecf02392dc 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,12 @@ +2023-08-24 Richard Sandiford + + * c-parser.cc (c_parser_std_attribute): Conditionally allow + two colons to be used in place of ::. + (c_parser_std_attribute_list): New function, split out from... + (c_parser_std_attribute_specifier): ...here. Allow the attribute-list + to start with __extension__. When it does, also allow two colons + to be used in place of ::. + 2023-08-22 Tobias Burnus * c-parser.cc (c_parser_omp_clause_defaultmap): Parse diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 52436a8abec4..99d49580b51f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,309 @@ +2023-08-24 Uros Bizjak + + PR target/94866 + * g++.target/i386/pr94866.C: New test. + +2023-08-24 Jose E. Marchesi + + PR c/106537 + * gcc.c-torture/compile/pr106537-1.c: Comparing void pointers to + non-function pointers is legit. + * gcc.c-torture/compile/pr106537-2.c: Likewise. + +2023-08-24 David Malcolm + + PR analyzer/105899 + * gcc.dg/analyzer/strcat-1.c: New test. + +2023-08-24 David Malcolm + + PR analyzer/105899 + * gcc.dg/analyzer/strcpy-3.c (test_2): New. + +2023-08-24 David Malcolm + + PR analyzer/105899 + * gcc.dg/analyzer/out-of-bounds-diagram-16.c: New test. + * gcc.dg/analyzer/strcpy-1.c: Add test coverage. + * gcc.dg/analyzer/strcpy-3.c: Likewise. + * gcc.dg/analyzer/strcpy-4.c: New test. + +2023-08-24 David Malcolm + + PR analyzer/105899 + * gcc.dg/analyzer/sprintf-1.c: Include "analyzer-decls.h". + (test_strlen_1): New. + +2023-08-24 Richard Biener + + PR tree-optimization/111123 + * g++.dg/warn/Wuninitialized-pr111123-1.C: New testcase. + +2023-08-24 Juzhe-Zhong + + * gcc.target/riscv/rvv/autovec/binop/vadd-rv32gcv-nofm.c: Adapt test. + * gcc.target/riscv/rvv/autovec/binop/vadd-rv64gcv-nofm.c: Ditto. + * gcc.target/riscv/rvv/autovec/cond/cond_fadd-1.c: Ditto. + * gcc.target/riscv/rvv/autovec/cond/cond_fadd-2.c: Ditto. + * gcc.target/riscv/rvv/autovec/cond/cond_fadd-3.c: Ditto. + * gcc.target/riscv/rvv/autovec/cond/cond_fadd-4.c: Ditto. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm-1.c: Ditto. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm-3.c: Ditto. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm-10.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm-11.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm-12.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm-4.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm-5.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm-6.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm-7.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm-8.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm-9.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm_run-10.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm_run-11.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm_run-12.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm_run-4.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm_run-5.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm_run-6.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm_run-7.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm_run-8.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_nofm_run-9.c: New test. + +2023-08-24 Robin Dapp + + * gcc.target/riscv/rvv/base/narrow_constraint-1.c: Add + -fno-sched-pressure. + * gcc.target/riscv/rvv/base/narrow_constraint-17.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-18.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-19.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-20.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-21.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-22.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-23.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-24.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-25.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-26.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-27.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-28.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-29.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-30.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-31.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-4.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-5.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-8.c: Ditto. + * gcc.target/riscv/rvv/base/narrow_constraint-9.c: Ditto. + * gcc.target/riscv/rvv/vsetvl/vlmax_bb_prop-10.c: Ditto. + * gcc.target/riscv/rvv/vsetvl/vlmax_bb_prop-11.c: Ditto. + * gcc.target/riscv/rvv/vsetvl/vlmax_bb_prop-12.c: Ditto. + * gcc.target/riscv/rvv/vsetvl/vlmax_bb_prop-3.c: Ditto. + * gcc.target/riscv/rvv/vsetvl/vlmax_bb_prop-9.c: Ditto. + +2023-08-24 Robin Dapp + + * gcc.target/riscv/rvv/autovec/binop/shift-immediate.c: New test. + +2023-08-24 Robin Dapp + + * gcc.target/riscv/rvv/autovec/conversions/vfncvt-ftoi-run.c: + Add tests. + * gcc.target/riscv/rvv/autovec/conversions/vfncvt-ftoi-rv32gcv.c: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfncvt-ftoi-rv64gcv.c: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfncvt-ftoi-template.h: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfncvt-itof-rv32gcv.c: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfncvt-itof-rv64gcv.c: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfncvt-itof-template.h: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfncvt-itof-zvfh-run.c: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfwcvt-ftoi-rv32gcv.c: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfwcvt-ftoi-rv64gcv.c: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfwcvt-ftoi-template.h: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfwcvt-ftoi-zvfh-run.c: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfwcvt-itof-run.c: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfwcvt-itof-rv32gcv.c: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfwcvt-itof-rv64gcv.c: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfwcvt-itof-template.h: + Ditto. + * gcc.target/riscv/rvv/autovec/conversions/vfwcvt-itof-zvfh-run.c: + Ditto. + +2023-08-24 Robin Dapp + + * gcc.target/riscv/rvv/autovec/reduc/reduc_strict_run-1.c: + Add variable to hold reference result. + +2023-08-24 Richard Sandiford + + * gcc.dg/c2x-attr-syntax-6.c: New test. + * gcc.dg/c2x-attr-syntax-7.c: Likewise. + +2023-08-24 Richard Biener + + PR tree-optimization/111115 + * lib/target-supports.exp (check_effective_target_vect_masked_store): + Supported with check_avx_available. + * gcc.dg/vect/slp-mask-store-1.c: New testcase. + +2023-08-24 Richard Sandiford + + * gcc.target/aarch64/neoverse_v1_2.c: New test. + * gcc.target/aarch64/neoverse_v1_3.c: Likewise. + +2023-08-24 Richard Biener + + PR tree-optimization/111128 + * gcc.dg/torture/pr111128.c: New testcase. + +2023-08-24 Richard Biener + + PR testsuite/111125 + * gcc.dg/vect/pr53773.c: Disable BB vectorization. + +2023-08-24 Andrew Pinski + + PR tree-optimization/111109 + * gcc.c-torture/execute/ieee/fp-cmp-cond-1.c: New test. + +2023-08-24 Andrew Pinski + + PR tree-optimization/95929 + * gcc.dg/tree-ssa/bit1neg-1.c: New test. + * gcc.dg/tree-ssa/cond-bool-1.c: New test. + * gcc.dg/tree-ssa/cond-bool-2.c: New test. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-24 Haochen Jiang + + * g++.target/i386/mv33.C: New test. + * gcc.target/i386/avx10_1-1.c: Ditto. + * gcc.target/i386/avx10_1-2.c: Ditto. + * gcc.target/i386/avx10_1-3.c: Ditto. + * gcc.target/i386/avx10_1-4.c: Ditto. + * gcc.target/i386/avx10_1-5.c: Ditto. + * gcc.target/i386/avx10_1-6.c: Ditto. + * gcc.target/i386/avx10_1-7.c: Ditto. + * gcc.target/i386/avx10_1-8.c: Ditto. + * gcc.target/i386/avx10_1-9.c: Ditto. + * gcc.target/i386/avx10_1-10.c: Ditto. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-24 Haochen Jiang + + * gcc.target/i386/avx10_1-11.c: New test. + * gcc.target/i386/avx10_1-12.c: Ditto. + * gcc.target/i386/avx10_1-13.c: Ditto. + * gcc.target/i386/avx10_1-14.c: Ditto. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-24 Haochen Jiang + + * gcc.target/i386/avx10_1-15.c: New test. + * gcc.target/i386/avx10_1-16.c: Ditto. + * gcc.target/i386/avx10_1-17.c: Ditto. + * gcc.target/i386/avx10_1-18.c: Ditto. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-24 Haochen Jiang + + * gcc.target/i386/avx-1.c: Add -mavx10.1. + * gcc.target/i386/avx-2.c: Ditto. + * gcc.target/i386/sse-26.c: Skip AVX512VLDQ intrin file. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-17 Haochen Jiang + + * gcc.target/i386/avx10_1-vandnpd-1.c: New test. + * gcc.target/i386/avx10_1-vandnps-1.c: Ditto. + * gcc.target/i386/avx10_1-vbroadcastf32x2-1.c: Ditto. + * gcc.target/i386/avx10_1-vbroadcastf64x2-1.c: Ditto. + * gcc.target/i386/avx10_1-vbroadcasti32x2-1.c: Ditto. + * gcc.target/i386/avx10_1-vbroadcasti64x2-1.c: Ditto. + * gcc.target/i386/avx10_1-vcvtpd2qq-1.c: Ditto. + * gcc.target/i386/avx10_1-vcvtpd2uqq-1.c: Ditto. + * gcc.target/i386/avx10_1-vcvttpd2qq-1.c: Ditto. + * gcc.target/i386/avx10_1-vcvttpd2uqq-1.c: Ditto. + * gcc.target/i386/avx10_1-vcvttps2qq-1.c: Ditto. + * gcc.target/i386/avx10_1-vcvttps2uqq-1.c: Ditto. + * gcc.target/i386/avx10_1-vpmullq-1.c: Ditto. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-17 Haochen Jiang + + * gcc.target/i386/avx10_1-abs-copysign-1.c: New test. + * gcc.target/i386/avx10_1-vandpd-1.c: Ditto. + * gcc.target/i386/avx10_1-vandps-1.c: Ditto. + * gcc.target/i386/avx10_1-vcvtps2qq-1.c: Ditto. + * gcc.target/i386/avx10_1-vcvtps2uqq-1.c: Ditto. + * gcc.target/i386/avx10_1-vcvtqq2pd-1.c: Ditto. + * gcc.target/i386/avx10_1-vcvtqq2ps-1.c: Ditto. + * gcc.target/i386/avx10_1-vcvtuqq2pd-1.c: Ditto. + * gcc.target/i386/avx10_1-vcvtuqq2ps-1.c: Ditto. + * gcc.target/i386/avx10_1-vorpd-1.c: Ditto. + * gcc.target/i386/avx10_1-vorps-1.c: Ditto. + * gcc.target/i386/avx10_1-vpmovd2m-1.c: Ditto. + * gcc.target/i386/avx10_1-vpmovm2d-1.c: Ditto. + * gcc.target/i386/avx10_1-vpmovm2q-1.c: Ditto. + * gcc.target/i386/avx10_1-vpmovq2m-1.c: Ditto. + * gcc.target/i386/avx10_1-vxorpd-1.c: Ditto. + * gcc.target/i386/avx10_1-vxorps-1.c: Ditto. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-17 Haochen Jiang + + * gcc.target/i386/avx10_1-vextractf64x2-1.c: New test. + * gcc.target/i386/avx10_1-vextracti64x2-1.c: Ditto. + * gcc.target/i386/avx10_1-vfpclasspd-1.c: Ditto. + * gcc.target/i386/avx10_1-vfpclassps-1.c: Ditto. + * gcc.target/i386/avx10_1-vinsertf64x2-1.c: Ditto. + * gcc.target/i386/avx10_1-vinserti64x2-1.c: Ditto. + * gcc.target/i386/avx10_1-vrangepd-1.c: Ditto. + * gcc.target/i386/avx10_1-vrangeps-1.c: Ditto. + * gcc.target/i386/avx10_1-vreducepd-1.c: Ditto. + * gcc.target/i386/avx10_1-vreduceps-1.c: Ditto. + +2023-08-24 Haochen Jiang + + Revert: + 2023-08-24 Haochen Jiang + + PR target/111051 + PR target/111051 + * gcc.target/i386/pr111051-1.c: New test. + +2023-08-24 Richard Biener + + PR debug/111080 + * gcc.dg/debug/dwarf2/pr111080.c: New testcase. + +2023-08-24 Hans-Peter Nilsson + + * gcc.dg/tree-ssa/update-threading.c: Xfail for cris-*-*. + 2023-08-23 Harald Anlauf PR fortran/32986 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 20fcd90bc0b5..a78723ec24b6 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,53 @@ +2023-08-24 Paul Dreik + + PR libstdc++/111102 + * testsuite/std/format/string.cc: Check wide character format + strings with out-of-range widths. + +2023-08-24 Paul Dreik + + PR libstdc++/111102 + * include/std/format (__format::__parse_integer): Check for + non-null pointer. + +2023-08-24 Jonathan Wakely + + * testsuite/std/format/functions/format_to.cc: Avoid warning for + unused variables. + +2023-08-24 Jonathan Wakely + + * include/std/atomic: Add comment to #ifdef and fix indentation. + * include/std/ostream: Check __glibcxx_syncbuf instead of + __cplusplus and _GLIBCXX_HOSTED. + * include/std/thread: Add comment to #ifdef. + +2023-08-24 Jonathan Wakely + + * include/bits/version.def (__cpp_lib_ratio): Define. + * include/bits/version.h: Regenerate. + * include/std/ratio (quecto, ronto, yocto, zepto) + (zetta, yotta, ronna, quetta): Define. + * testsuite/20_util/ratio/operations/ops_overflow_neg.cc: Adjust + dg-error line numbers. + +2023-08-24 Jonathan Wakely + + * python/libstdcxx/v6/printers.py (StdLocalePrinter): New + printer class. + * testsuite/libstdc++-prettyprinters/locale.cc: New test. + +2023-08-24 Jonathan Wakely + + PR libstdc++/110944 + * python/libstdcxx/v6/printers.py (StdExpOptionalPrinter): Do + not show template arguments. + (StdVariantPrinter): Likewise. + * testsuite/libstdc++-prettyprinters/compat.cc: Adjust expected + output. + * testsuite/libstdc++-prettyprinters/cxx17.cc: Likewise. + * testsuite/libstdc++-prettyprinters/libfundts.cc: Likewise. + 2023-08-23 François Dumont * testsuite/util/replacement_memory_operators.h