From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id BC15E3858C56; Wed, 9 Nov 2022 00:20:34 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org BC15E3858C56 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1667953234; bh=/aOXFz6RyizvVhK/VO6D1eI/a9ar2HaWSbhY2c9P6Xs=; h=From:To:Subject:Date:From; b=AhkpX8j4dx4gwX14vnNtO2n4ExRPrgZyHn/RFHXWGfhglbrHcxoCc0jJ3PqwPyTeX jrtH2wGkEk/w9Dsv7Vmsa3dA06qpwc4O7xgcq6s9cEOqS4mMMZR/SlGB4HIfBccs17 ce5PMs9QReghmNfyaa+4oQgQP6gK4wL8feYp/NaU= 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 r13-3820] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 9bbcee450deb0f561b096924a3f148369333e54c X-Git-Newrev: 69023a9f955dbb6dddca5d270379193a124bdf3c Message-Id: <20221109002034.BC15E3858C56@sourceware.org> Date: Wed, 9 Nov 2022 00:20:34 +0000 (GMT) List-Id: https://gcc.gnu.org/g:69023a9f955dbb6dddca5d270379193a124bdf3c commit r13-3820-g69023a9f955dbb6dddca5d270379193a124bdf3c Author: GCC Administrator Date: Wed Nov 9 00:19:55 2022 +0000 Daily bump. Diff: --- gcc/ChangeLog | 153 +++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 296 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/analyzer/ChangeLog | 66 +++++++++++ gcc/cp/ChangeLog | 13 +++ gcc/testsuite/ChangeLog | 67 +++++++++++ libstdc++-v3/ChangeLog | 101 +++++++++++++++++ 7 files changed, 697 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 35a83852b08..15e997785a4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,156 @@ +2022-11-08 David Faust + + * config/bpf/bpf.cc (struct core_walk_data): Add field `which'... + (bpf_resolve_overloaded_builtin): ... set it here. Use values of enum + bpf_builtins for error checks. + (bpf_core_walk): Use values of enum bpf_builtins. + (bpf_core_newdecl): Likewise. + (bpf_expand_builtin): Likewise. + +2022-11-08 Aldy Hernandez + + PR tree-optimization/24021 + * range-op-float.cc (propagate_nans): New. + (frange_nextafter): New. + (frange_arithmetic): New. + (class foperator_plus): New. + (floating_op_table::floating_op_table): Add PLUS_EXPR entry. + +2022-11-08 Aldy Hernandez + + * real.cc (real_isdenormal): New. + (encode_ieee_single): Call real_isdenormal. + (encode_ieee_double): Same. + (encode_ieee_extended): Same. + (encode_ieee_quad): Same. + (encode_ieee_half): Same. + (encode_arm_bfloat_half): Same. + * real.h (real_isdenormal): Add mode argument. Rewrite for + normalized values. + * value-range.cc (frange::flush_denormals_to_zero): Pass mode to + real_isdenormal. + +2022-11-08 Richard Biener + + PR tree-optimization/107389 + * gimple-low.cc (lower_builtin_assume_aligned): New. + (lower_stmt): Call it. + +2022-11-08 Aldy Hernandez + + * range-op.cc (operator_div::fold_range): Call + update_known_bitmask. + * tree-ssa-ccp.cc (bit_value_binop): Handle divisions by powers of + 2 as a right shift. + +2022-11-08 Kwok Cheung Yeung + + * config/gcn/gcn.cc (gcn_expand_builtin_1): Expand first argument + of GCN_BUILTIN_LDEXPV to V64DFmode. + +2022-11-08 Kwok Cheung Yeung + + * config/gcn/gcn-builtins.def (FABSV, FLOORVF, FLOORV): New builtins. + * config/gcn/gcn.cc (gcn_expand_builtin_1): Expand GCN_BUILTIN_FABSV, + GCN_BUILTIN_FLOORVF and GCN_BUILTIN_FLOORV. + +2022-11-08 Aldy Hernandez + + * range-op.cc (irange_to_masked_value): New. + (update_known_bitmask): New. + (operator_mult::fold_range): Call update_known_bitmask. + +2022-11-08 Jakub Jelinek + + PR tree-optimization/107547 + * tree-call-cdce.cc (get_no_error_domain): Handle CASE_FLT_FN_FLOATN_NX + of BUILT_IN_{ACOS,ASIN,ACOSH,ATANH,LOG,LOG2,LOG10,LOG1P}. Handle + BUILT_IN_{COSH,SINH,EXP,EXPM1,EXP2}F{16,32,64,128}. + +2022-11-08 Jakub Jelinek + + PR target/107546 + * config/i386/predicates.md (vector_or_const_vector_operand): New + predicate. + * config/i386/sse.md (vec_cmp, + vec_cmpv2div2di, vec_cmpu, + vec_cmpuv2div2di): Use nonimmediate_or_const_vector_operand + predicate instead of nonimmediate_operand and + vector_or_const_vector_operand instead of vector_operand. + * config/i386/i386-expand.cc (ix86_expand_int_sse_cmp): For + LE/LEU or GE/GEU with CONST_VECTOR cop1 try to transform those + into LE/LEU or GT/GTU with larger or smaller by one cop1 if + there is no wrap-around. Force CONST_VECTOR cop0 or cop1 into + REG. Formatting fix. + +2022-11-08 Max Filippov + + PR rtl-optimization/107482 + * ira-color.cc (assign_hard_reg): Only call + update_costs_from_copies when retry_p is false. + +2022-11-08 konglin1 + + Revert: + 2022-11-07 konglin1 + + * config/i386/i386.opt:Add -mprefer-remote-atomic. + * config/i386/sync.md (atomic_): + New define_expand. + (atomic_add): Rename to below one. + (atomic_add_1): To this. + (atomic_): Ditto. + (atomic__1): Ditto. + * doc/invoke.texi: Add -mprefer-remote-atomic. + +2022-11-08 Haochen Jiang + + * config/i386/i386-options.cc (m_CORE_ATOM): New. + * config/i386/x86-tune.def + (X86_TUNE_SCHEDULE): Initial tune for CORE_ATOM. + (X86_TUNE_PARTIAL_REG_DEPENDENCY): Ditto. + (X86_TUNE_SSE_PARTIAL_REG_DEPENDENCY): Ditto. + (X86_TUNE_SSE_PARTIAL_REG_FP_CONVERTS_DEPENDENCY): Ditto. + (X86_TUNE_SSE_PARTIAL_REG_CONVERTS_DEPENDENCY): Ditto. + (X86_TUNE_DEST_FALSE_DEP_FOR_GLC): Ditto. + (X86_TUNE_MEMORY_MISMATCH_STALL): Ditto. + (X86_TUNE_USE_LEAVE): Ditto. + (X86_TUNE_PUSH_MEMORY): Ditto. + (X86_TUNE_USE_INCDEC): Ditto. + (X86_TUNE_INTEGER_DFMODE_MOVES): Ditto. + (X86_TUNE_PREFER_KNOWN_REP_MOVSB_STOSB): Ditto. + (X86_TUNE_MISALIGNED_MOVE_STRING_PRO_EPILOGUES): Ditto. + (X86_TUNE_USE_SAHF): Ditto. + (X86_TUNE_USE_BT): Ditto. + (X86_TUNE_AVOID_FALSE_DEP_FOR_BMI): Ditto. + (X86_TUNE_ONE_IF_CONV_INSN): Ditto. + (X86_TUNE_AVOID_MFENCE): Ditto. + (X86_TUNE_USE_SIMODE_FIOP): Ditto. + (X86_TUNE_EXT_80387_CONSTANTS): Ditto. + (X86_TUNE_SSE_UNALIGNED_LOAD_OPTIMAL): Ditto. + (X86_TUNE_SSE_UNALIGNED_STORE_OPTIMAL): Ditto. + (X86_TUNE_SSE_TYPELESS_STORES): Ditto. + (X86_TUNE_SSE_LOAD0_BY_PXOR): Ditto. + (X86_TUNE_AVOID_4BYTE_PREFIXES): Ditto. + (X86_TUNE_USE_GATHER_2PARTS): Ditto. + (X86_TUNE_USE_GATHER_4PARTS): Ditto. + (X86_TUNE_USE_GATHER): Ditto. + +2022-11-08 Andrew MacLeod + + PR tree-optimization/104530 + * gimple-range-cache.cc (ranger_cache::register_inferred_value): + New. Split from: + (ranger_cache::apply_inferred_ranges): Move setting cache to + separate function. + * gimple-range-cache.h (register_inferred_value): New prototype. + * gimple-range-infer.cc (infer_range_manager::has_range_p): New. + * gimple-range-infer.h (has_range_p): New prototype. + * gimple-range.cc (register_transitive_inferred_ranges): New. + * gimple-range.h (register_transitive_inferred_ranges): New proto. + * tree-vrp.cc (rvrp_folder::fold_stmt): Check for transitive inferred + ranges at the end of the block before folding final stmt. + 2022-11-07 David Faust * config/bpf/bpf.cc (handle_attr_preserve): Use maybe_make_core_relo(). diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index f47121e1a89..c240fbb06eb 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20221108 +20221109 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f74024705c0..ca24c2fa668 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,299 @@ +2022-11-08 Eric Botcazou + + * gcc-interface/utils2.cc (build_allocator): For unconstrained + array types with a storage model and an initializing expression, + copy the initialization expression separately from the bounds. In + all cases with a storage model, pass the locally computed size for + the store. + +2022-11-08 Steve Baird + + * sem_attr.adb + (Eval_Attribute): Don't simplify 'Image call if Put_Image has been + specified. + +2022-11-08 Piotr Trojanek + + * exp_ch6.adb, exp_put_image.adb, sem_aggr.adb, sem_attr.adb, + sem_ch5.adb, sem_type.adb, sem_util.adb: Replace + "Present (Find_Aspect (...))" with "Has_Aspect". + +2022-11-08 Ronan Desplanques + + * contracts.adb + (Preanalyze_Class_Conditions): New procedure. + (Preanalyze_Condition): Moved out from Merge_Class_Conditions in + order to be spec-visible. + * contracts.ads + (Preanalyze_Class_Conditions): New procedure. + * sem_prag.adb + (Analyze_Pre_Post_Condition_In_Decl_Part): Call + Preanalyze_Class_Conditions when necessary. + +2022-11-08 Johannes Kliemann + + * libgnat/system-vxworks7-aarch64-rtp-smp.ads: Set + Support_Atomic_Primitives to True. + * libgnat/system-vxworks7-aarch64.ads: Set + Support_Atomic_Primitives to True. + * libgnat/system-vxworks7-arm-rtp-smp.ads: Set + Support_Atomic_Primitives to True. + * libgnat/system-vxworks7-arm.ads: Set Support_Atomic_Primitives + to True. + * libgnat/system-vxworks7-ppc-kernel.ads: Set + Support_Atomic_Primitives to False. + * libgnat/system-vxworks7-ppc-rtp-smp.ads: Set + Support_Atomic_Primitives to False. + * libgnat/system-vxworks7-ppc64-kernel.ads: Set + Support_Atomic_Primitives to True. + * libgnat/system-vxworks7-ppc64-rtp-smp.ads: Set + Support_Atomic_Primitives to True. + * libgnat/system-vxworks7-x86-kernel.ads: Set + Support_Atomic_Primitives to True. + * libgnat/system-vxworks7-x86-rtp-smp.ads: Set + Support_Atomic_Primitives to True. + * libgnat/system-vxworks7-x86_64-kernel.ads: Set + Support_Atomic_Primitives to True. + * libgnat/system-vxworks7-x86_64-rtp-smp.ads: Set + Support_Atomic_Primitives to True. + +2022-11-08 Eric Botcazou + + * fe.h (Get_Warn_On_Questionable_Layout): Add void parameter. + +2022-11-08 Piotr Trojanek + + * sem_ch12.adb (Instantiate_Formal_Subprogram): Copy aspect Ghost + from formal subprogram declaration to the internally generated + procedure. + +2022-11-08 Eric Botcazou + + * sem_ch4.adb (Analyze_Case_Expression): Compute the + interpretations of the expression only at the end of the analysis, + but skip doing it if it is the operand of a type conversion. + (Analyze_If_Expression): Likewise. + * sem_res.adb (Resolve): Deal specially with conditional + expression that is the operand of a type conversion. + (Resolve_Dependent_Expression): New procedure. + (Resolve_Case_Expression): Call Resolve_Dependent_Expression. + (Resolve_If_Expression): Likewise. + (Resolve_If_Expression.Apply_Check): Take result type as + parameter. + (Resolve_Type_Conversion): Do not warn about a redundant + conversion when the operand is a conditional expression. + +2022-11-08 Javier Miranda + + * debug.adb + (Debug_Flag_Underscore_XX): Switch -gnatd_X used temporarily to allow + disabling extra formal checks. + * exp_attr.adb + (Expand_N_Attribute_Reference [access types]): Add extra formals + to the subprogram referenced in the prefix of 'Unchecked_Access, + 'Unrestricted_Access or 'Access; required to check that its extra + formals match the extra formals of the corresponding subprogram type. + * exp_ch3.adb + (Stream_Operation_OK): Declaration moved to the public part of the + package. + (Validate_Tagged_Type_Extra_Formals): New subprogram. + (Expand_Freeze_Record_Type): Improve the code that takes care of + adding the extra formals of dispatching primitives; extended to + add also the extra formals to renamings of dispatching primitives. + * exp_ch3.ads + (Stream_Operation_OK): Declaration moved from the package body. + * exp_ch6.adb + (Check_BIP_Actuals): Complete documentation. + (Has_BIP_Extra_Formal): Subprogram declaration moved to the public + part of the package. In addition, a parameter has been added to + disable an assertion that requires its use with frozen entities. + (Duplicate_Params_Without_Extra_Actuals): New subprogram. + (Check_Subprogram_Variant): Emit the call without duplicating the + extra formals since they will be added when the call is analyzed. + (Expand_Call_Helper): Ensure that the called subprogram has all its + extra formals, enforce assertion checking extra formals on thunks, + and mark calls from thunks as processed-BIP-calls to avoid adding + their extra formals twice. + (Is_Build_In_Place_Function): Return False for entities with foreign + convention. + (Is_Build_In_Place_Function_Call): Return True also for not BIP functions + that have BIP formals since the extra actuals are required. + (Make_Build_In_Place_Call_In_Object_Declaration): Occurrences of + Is_Return_Object replaced by the local variable Is_OK_Return_Object + that evaluates to False for scopes with foreign convention. + (Might_Have_Tasks): Fix check of class-wide limited record types. + (Needs_BIP_Task_Actuals): Remove assertion to allow calling this + function in more contexts; in addition it returns False for functions + returning objects with foreign convention. + (Needs_BIP_Finalization_Master): Likewise. + (Needs_BIP_Alloc_Form): Likewise. + (Validate_Subprogram_Calls): Check that the number of actuals (including + extra actuals) of calls in the subtree N match their corresponding + formals. + * exp_ch6.ads + (Has_BIP_Extra_Formal): Subprogram declaration moved to the public + part of the package. In addition, a parameter has been added to + disable an assertion that requires its use with frozen entities. + (Is_Build_In_Place_Function_Call): Complete documentation. + (Validate_Subprogram_Calls): Check that the number of actuals (including + extra actuals) of calls in the subtree N match their corresponding + formals. + * freeze.adb + (Check_Itype): Add extra formals to anonymous access subprogram itypes. + (Freeze_Expression): Improve code that disables the addition of extra + formals to functions with foreign convention. + (Check_Extra_Formals): Moved to package Sem_Ch6 as Extra_Formals_OK. + (Freeze_Subprogram): Add extra formals to non-dispatching subprograms. + * frontend.adb + (Frontend): Validate all the subprogram calls; it can be disabled using + switch -gnatd_X + * sem_ch3.adb + (Access_Subprogram_Declaration): Defer the addition of extra formals to + the freezing point so that we know the convention. + (Check_Anonymous_Access_Component): Likewise. + (Derive_Subprogram): Fix documentation. + * sem_ch6.adb + (Has_Reliable_Extra_Formals): New subprogram. + (Check_Anonymous_Return): Fix check of access to class-wide limited + record types. + (Check_Untagged_Equality): Placed in alphabetical order. + (Extra_Formals_OK): Subprogram moved from freeze.adb. + (Extra_Formals_Match_OK): New subprogram. + (Has_BIP_Formals): New subprogram. + (Has_Extra_Formals): New subprograms. + (Needs_Accessibility_Check_Extra): New subprogram. + (Parent_Subprogram): New subprogram. + (Add_Extra_Formal): Minor code cleanup. + (Create_Extra_Formals): Enforce matching extra formals on overridden + and aliased entities. + * sem_ch6.ads + (Extra_Formals_Match_OK): New subprogram. + (Extra_Formals_OK): Subprogram moved from freeze.adb. + * sem_eval.adb + (Compile_Time_Known_Value): Improve predicate to avoid assertion + failure; found working on this ticket; this change does not + affect the behavior of the compiler because this subprogram + has an exception handler that returns False when the assertion + fails. + * sem_util.adb + (Needs_Result_Accessibility_Level): Do not return False for dispatching + operations compiled with Ada_Version < 2012 since they they may be + overridden by primitives compiled with Ada_Version >= Ada_2012. + +2022-11-08 Bob Duff + + * warnsw.ads, warnsw.adb, fe.h, err_vars.ads, errout.ads: Move + Warning_Doc_Switch from Err_Vars to Warnsw. Access + Warn_On_Questionable_Layout on the C side via a function rather + than a variable, because we plan to turn the variables into + renamings, and you can't Export renamings. + * erroutc.adb, switch-c.adb, errout.adb: Likewise. + * gcc-interface/decl.cc: Use Get_Warn_On_Questionable_Layout + instead of Warn_On_Questionable_Layout. + * gcc-interface/Makefile.in (GNATMAKE_OBJS): Add warnsw.o, because + it is indirectly imported via Errout. + * gcc-interface/Make-lang.in (GNATBIND_OBJS): Likewise and remove + restrict.o (not needed). + +2022-11-08 Ronan Desplanques + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst + (-gnatwc): Fix flag documentation. + * gnat_ugn.texi: Regenerate. + +2022-11-08 Steve Baird + + * sem_ch3.adb + (Analyze_Object_Declaration): Do not perform expansion actions if + In_Spec_Expression is true. + +2022-11-08 Eric Botcazou + + * sem_ch4.adb (Analyze_Qualified_Expression): Analyze the + expression only after setting the type. + (Analyze_Unchecked_Type_Conversion): Likewise. + (Analyze_Short_Circuit): Likewise for the operands. + (Analyze_Type_Conversion): Minor tweaks. + (Analyze_Unchecked_Expression): Likewise. + +2022-11-08 Eric Botcazou + + * sem_ch4.adb (Analyze_Qualified_Expression): Remove redundant + line. + +2022-11-08 Ronan Desplanques + + * contracts.adb (Preanalyze_Condition): Use + Preanalyze_Spec_Expression. + +2022-11-08 Piotr Trojanek + + * exp_imgv.adb + (Expand_Wide_Image_Attribute): Handle just like attribute Image. + (Expand_Wide_Wide_Image_Attribute): Likewise. + * exp_put_image.adb + (Build_Image_Call): Adapt to also work for Wide and Wide_Wide + attributes. + * exp_put_image.ads + (Build_Image_Call): Update comment. + * rtsfind.ads + (RE_Id): Support wide variants of Get. + (RE_Unit_Table): Likewise. + +2022-11-08 Piotr Trojanek + + * libgnat/a-ngcoar.ads, libgnat/a-ngcoar.adb: Remove extra spaces. + +2022-11-08 Piotr Trojanek + + * sem_ch12.adb (Validate_Formal_Type_Default): Remove call to + Collect_Interfaces, which had no effect apart from populating a + list that was not used; fix style. + +2022-11-08 Piotr Trojanek + + * exp_spark.adb (SPARK_Freeze_Type): Refine type of a local + object. + * sem_ch3.adb (Derive_Subprograms): Remove initial value for + New_Subp, which is in only written as an out parameter and never + read. + +2022-11-08 Eric Botcazou + + * sem_res.adb (Resolve_If_Expression): Remove obsolete special + case. + +2022-11-08 Piotr Trojanek + + * sem_aggr.adb (Resolve_Delta_Aggregate): Implement rules related + to limited objects appearing as the base expression. + +2022-11-08 Piotr Trojanek + + * sem_ch3.adb (OK_For_Limited_Init_In_05): Handle delta aggregates + just like other aggregates. + +2022-11-08 Piotr Trojanek + + * sem_aggr.adb (Resolve_Delta_Record_Aggregate): Reject + expressions of a limited types. + +2022-11-08 Javier Miranda + + * exp_ch9.adb + (Build_Master_Entity): Handle missing case: when the context of + the master is a BIP function whose result type has tasks. + +2022-11-08 Piotr Trojanek + + * libgnat/a-tags.adb + (Interface_Ancestor_Tags): Raise Tag_Error on No_Tag. + (Is_Descendant_At_Same_Level): Likewise. + +2022-11-08 Bob Duff + + * usage.adb: Add -gnatw_q and -gnatw_Q. + 2022-11-07 Cedric Landet * doc/gnat_ugn/gnat_and_program_execution.rst: Mention the needed diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index f308f64d691..d206bc35028 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,69 @@ +2022-11-08 David Malcolm + + PR analyzer/101962 + * region-model-impl-calls.cc: Update comment. + * region-model.cc (region_model::check_symbolic_bounds): Fix + layout of "void" return. Replace usage of + eval_condition_without_cm with eval_condition. + (region_model::eval_condition): Take over body of... + (region_model::eval_condition_without_cm): ...this subroutine, + dropping the latter. Eliminating this distinction avoids issues + where constraints were not considered when recursing. + (region_model::compare_initial_and_pointer): Update comment. + (region_model::symbolic_greater_than): Replace usage of + eval_condition_without_cm with eval_condition. + * region-model.h + (region_model::eval_condition_without_cm): Delete decl. + +2022-11-08 David Malcolm + + * region-model-impl-calls.cc + (region_model::impl_call_errno_location): New. + * region-model-manager.cc + (region_model_manager::region_model_manager): Initialize + m_thread_local_region and m_errno_region. + * region-model-manager.h (region_model_manager::get_errno_region): + New accessor. + (region_model_manager::m_thread_local_region): New. + (region_model_manager::m_errno_region): New. + * region-model.cc (region_model::on_call_pre): Special-case + "__errno_location". + (region_model::set_errno): New. + * region-model.h (impl_call_errno_location): New decl. + (region_model::set_errno): New decl. + * region.cc (thread_local_region::dump_to_pp): New. + (errno_region::dump_to_pp): New. + * region.h (enum memory_space): Add MEMSPACE_THREAD_LOCAL. + (enum region_kind): Add RK_THREAD_LOCAL and RK_ERRNO. + (class thread_local_region): New. + (is_a_helper ::test): New. + (class errno_region): New. + (is_a_helper ::test): New. + * store.cc (binding_cluster::escaped_p): New. + (store::escaped_p): Treat errno as always having escaped. + (store::replay_call_summary_cluster): Handle RK_THREAD_LOCAL and + RK_ERRNO. + * store.h (binding_cluster::escaped_p): Remove definition. + +2022-11-08 David Malcolm + + * call-info.cc (success_call_info::get_desc): Delete. + (failed_call_info::get_desc): Likewise. + (succeed_or_fail_call_info::get_desc): New. + * call-info.h (class succeed_or_fail_call_info): New. + (class success_call_info): Convert to a subclass of + succeed_or_fail_call_info. + (class failed_call_info): Likewise. + +2022-11-08 David Malcolm + + * region-model-impl-calls.cc (region_model::impl_call_strchr): + Move to on_call_post. Handle both outcomes using bifurcation, + rather than just the "not found" case. + * region-model.cc (region_model::on_call_pre): Move + BUILT_IN_STRCHR and "strchr" to... + (region_model::on_call_post): ...here. + 2022-11-03 David Malcolm * analyzer.h: Use std::unique_ptr for state machines from plugins. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index dd7526e5549..9458657292c 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,16 @@ +2022-11-08 Jason Merrill + Jakub Jelinek + + * cp-tree.h (fns_correspond): Declare. + * decl.cc (fns_correspond): New. + * call.cc (add_candidates): Look for op!= matching op==. + (joust): Complain about non-standard reversed tiebreaker. + (tourney): Fix champ_compared_to_predecessor logic. + (build_new_op): Don't complain about error_mark_node not having + 'bool' type. + * pt.cc (tsubst_copy_and_build): Don't try to be permissive + when seen_error(). + 2022-11-06 Patrick Palka * tree.cc (cxx_attribute_table): Include init_priority entry diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e2232f687ba..bdc0ef5b7ce 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,70 @@ +2022-11-08 David Malcolm + + PR analyzer/101962 + * gcc.dg/analyzer/data-model-23.c (test_3): New test. + +2022-11-08 Aldy Hernandez + + PR tree-optimization/24021 + * gcc.dg/tree-ssa/vrp-float-plus.c: New test. + +2022-11-08 Richard Biener + + PR tree-optimization/107389 + * gcc.dg/pr107389.c: New testcase. + +2022-11-08 Kwok Cheung Yeung + + * gcc.target/gcn/math-builtins-1.c: New test. + +2022-11-08 Surya Kumari Jangala + + PR testsuite/107171 + * gcc.target/powerpc/pr105586.c: Guard against unsupported + __int128. + +2022-11-08 Jakub Jelinek + + PR tree-optimization/107547 + * gcc.dg/pr107547.c: New test. + +2022-11-08 Jakub Jelinek + + PR target/107546 + * gcc.target/i386/pr107546.c: New test. + +2022-11-08 konglin1 + + Revert: + 2022-11-08 konglin1 + + * gcc.target/i386/raoint-atomic-fetch.c: New test. + +2022-11-08 David Malcolm + + * gcc.dg/analyzer/errno-1.c: New test. + +2022-11-08 David Malcolm + + * gcc.dg/analyzer/strchr-1.c (test_literal): Detect writing to a + string literal. Verify that we emit the "when '__builtin_strchr' + returns non-NULL" message. + +2022-11-08 Jason Merrill + Jakub Jelinek + + * g++.dg/cpp2a/spaceship-eq15.C: New test. + * g++.dg/cpp0x/defaulted3.C: Add const. + * g++.dg/cpp2a/bit-cast7.C: Add const. + * g++.dg/cpp2a/spaceship-rewrite1.C: Expect error. + * g++.dg/cpp2a/spaceship-rewrite5.C: Expect error. + * g++.old-deja/g++.jason/byval2.C: Expect error. + * g++.old-deja/g++.other/overload13.C: Add const. + +2022-11-08 Andrew MacLeod + + * gcc.dg/pr104530.c: New. + 2022-11-07 Aldy Hernandez PR tree-optimization/55157 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 5874c62a943..23a2ca5c79a 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,104 @@ +2022-11-08 Jonathan Wakely + + * testsuite/18_support/new_nothrow.cc: Add missing noexcept + to operator delete replacements. + * testsuite/20_util/any/cons/92156.cc: Disable + -Winit-list-lifetime warnings from instantiating invalid + specialization of manager function. + * testsuite/20_util/any/modifiers/92156.cc: Likewise. + * testsuite/20_util/default_delete/void_neg.cc: Prune additional + diagnostics. + * testsuite/20_util/headers/memory/synopsis.cc: Add missing + noexcept. + * testsuite/20_util/shared_ptr/cons/void_neg.cc: Prune + additional diagnostic. + * testsuite/20_util/unique_ptr/creation/for_overwrite.cc: Add + missing noexcept to operator delete replacements. + * testsuite/21_strings/basic_string/cons/char/103919.cc: + Likewise. + * testsuite/23_containers/map/modifiers/emplace/92300.cc: + Likewise. + * testsuite/23_containers/map/modifiers/insert/92300.cc: + Likewise. + * testsuite/24_iterators/headers/iterator/range_access_c++11.cc: + Add missing noexcept to synopsis declarations. + * testsuite/24_iterators/headers/iterator/range_access_c++14.cc: + Likewise. + * testsuite/24_iterators/headers/iterator/range_access_c++17.cc: + Likewise. + +2022-11-08 Jonathan Wakely + + * include/bits/stl_tempbuf.h (_Temporary_buffer): Disable + warnings about get_temporary_buffer being deprecated. + * include/ext/functional (mem_fun1, mem_fun1_ref): Disable + warnings about mem_fun1_t, const_mem_fun1_t, mem_fun1_ref_t and + const_mem_fun1_ref_t being deprecated. + * include/std/array (__array_traits): Remove artificial + attributes which give warnings about being ignored. + * include/std/spanstream (basic_spanbuf::setbuf): Add assertion + and adjust to avoid narrowing warning. + * libsupc++/exception_ptr.h [!__cpp_rtti && !__cpp_exceptions] + (make_exception_ptr): Add missing inline specifier. + +2022-11-08 Jonathan Wakely + + * include/bits/alloc_traits.h (allocator_traits): Add + always_inline attribute to all member functions. + (__do_alloc_on_copy, __alloc_on_copy, __do_alloc_on_move) + (__alloc_on_move, __do_alloc_on_swap, __alloc_on_swap) + (_Destroy(FwdIter, FwdIter, allocator&)): : Add + always_inline attribute. + * include/bits/allocator.h (allocator): Add always_inline + attribute to all member functions and equality operators. + * include/bits/new_allocator.h (__new_allocator): Likewise. + * include/ext/alloc_traits.h (__gnu_cxx::__alloc_traits): + Likewise. + +2022-11-08 Charles-François Natali + + PR libstdc++/63746 + * include/bits/fstream.tcc (basic_filbuf::xsputn): Remove + 1024-byte chunking that bypasses the buffer for large writes. + * testsuite/27_io/basic_filebuf/sputn/char/63746.cc: New test. + +2022-11-08 Will Hawkins + Jonathan Wakely + + * include/bits/basic_string.h (__str_cat): Add common function + that performs single-allocation string concatenation. + (operator+): Use __str_cat. + * include/bits/basic_string.tcc (operator+): Move to .h and + define inline using __str_cat. + +2022-11-08 Jakub Jelinek + + * testsuite/20_util/to_chars/float128_c++23.cc (test): Uncomment + denorm_min test. + +2022-11-08 Jonathan Wakely + + * doc/xml/authors.xml: Update the blurb listing my doc + contributions. + +2022-11-08 Jonathan Wakely + + * doc/xml/authors.xml: Remove empty author element. + * doc/xml/manual/spine.xml: Likewise. + * doc/html/manual/index.html: Regenerate. + +2022-11-08 Joseph Myers + + PR libstdc++/107562 + * src/c++17/floating_from_chars.cc (from_chars_impl): Fix syntax + error. + +2022-11-08 Jason Merrill + Jakub Jelinek + + * testsuite/18_support/comparisons/algorithms/fallback.cc: Adjust + asserts. + 2022-11-07 Jakub Jelinek PR libstdc++/107562