diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 153 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/ada/ChangeLog | 296 | ||||
| -rw-r--r-- | gcc/analyzer/ChangeLog | 66 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 13 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 67 |
6 files changed, 596 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 35a8385..15e9977 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,156 @@ +2022-11-08 David Faust <david.faust@oracle.com> + + * 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 <aldyh@redhat.com> + + 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 <aldyh@redhat.com> + + * 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 <rguenther@suse.de> + + PR tree-optimization/107389 + * gimple-low.cc (lower_builtin_assume_aligned): New. + (lower_stmt): Call it. + +2022-11-08 Aldy Hernandez <aldyh@redhat.com> + + * 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 <kcy@codesourcery.com> + + * config/gcn/gcn.cc (gcn_expand_builtin_1): Expand first argument + of GCN_BUILTIN_LDEXPV to V64DFmode. + +2022-11-08 Kwok Cheung Yeung <kcy@codesourcery.com> + + * 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 <aldyh@redhat.com> + + * 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 <jakub@redhat.com> + + 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 <jakub@redhat.com> + + PR target/107546 + * config/i386/predicates.md (vector_or_const_vector_operand): New + predicate. + * config/i386/sse.md (vec_cmp<mode><sseintvecmodelower>, + vec_cmpv2div2di, vec_cmpu<mode><sseintvecmodelower>, + 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 <jcmvbkbc@gmail.com> + + 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 <lingling.kong@intel.com> + + Revert: + 2022-11-07 konglin1 <lingling.kong@intel.com> + + * config/i386/i386.opt:Add -mprefer-remote-atomic. + * config/i386/sync.md (atomic_<plus_logic><mode>): + New define_expand. + (atomic_add<mode>): Rename to below one. + (atomic_add<mode>_1): To this. + (atomic_<logic><mode>): Ditto. + (atomic_<logic><mode>_1): Ditto. + * doc/invoke.texi: Add -mprefer-remote-atomic. + +2022-11-08 Haochen Jiang <haochen.jiang@intel.com> + + * 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 <amacleod@redhat.com> + + 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 <david.faust@oracle.com> * config/bpf/bpf.cc (handle_attr_preserve): Use maybe_make_core_relo(). diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index f47121e..c240fbb 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20221108 +20221109 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f740247..ca24c2f 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,299 @@ +2022-11-08 Eric Botcazou <ebotcazou@adacore.com> + + * 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 <baird@adacore.com> + + * sem_attr.adb + (Eval_Attribute): Don't simplify 'Image call if Put_Image has been + specified. + +2022-11-08 Piotr Trojanek <trojanek@adacore.com> + + * 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 <desplanques@adacore.com> + + * 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 <kliemann@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * fe.h (Get_Warn_On_Questionable_Layout): Add void parameter. + +2022-11-08 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch12.adb (Instantiate_Formal_Subprogram): Copy aspect Ghost + from formal subprogram declaration to the internally generated + procedure. + +2022-11-08 Eric Botcazou <ebotcazou@adacore.com> + + * 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 <miranda@adacore.com> + + * 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 <duff@adacore.com> + + * 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 <desplanques@adacore.com> + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst + (-gnatwc): Fix flag documentation. + * gnat_ugn.texi: Regenerate. + +2022-11-08 Steve Baird <baird@adacore.com> + + * sem_ch3.adb + (Analyze_Object_Declaration): Do not perform expansion actions if + In_Spec_Expression is true. + +2022-11-08 Eric Botcazou <ebotcazou@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * sem_ch4.adb (Analyze_Qualified_Expression): Remove redundant + line. + +2022-11-08 Ronan Desplanques <desplanques@adacore.com> + + * contracts.adb (Preanalyze_Condition): Use + Preanalyze_Spec_Expression. + +2022-11-08 Piotr Trojanek <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * libgnat/a-ngcoar.ads, libgnat/a-ngcoar.adb: Remove extra spaces. + +2022-11-08 Piotr Trojanek <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * sem_res.adb (Resolve_If_Expression): Remove obsolete special + case. + +2022-11-08 Piotr Trojanek <trojanek@adacore.com> + + * sem_aggr.adb (Resolve_Delta_Aggregate): Implement rules related + to limited objects appearing as the base expression. + +2022-11-08 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch3.adb (OK_For_Limited_Init_In_05): Handle delta aggregates + just like other aggregates. + +2022-11-08 Piotr Trojanek <trojanek@adacore.com> + + * sem_aggr.adb (Resolve_Delta_Record_Aggregate): Reject + expressions of a limited types. + +2022-11-08 Javier Miranda <miranda@adacore.com> + + * 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 <trojanek@adacore.com> + + * libgnat/a-tags.adb + (Interface_Ancestor_Tags): Raise Tag_Error on No_Tag. + (Is_Descendant_At_Same_Level): Likewise. + +2022-11-08 Bob Duff <duff@adacore.com> + + * usage.adb: Add -gnatw_q and -gnatw_Q. + 2022-11-07 Cedric Landet <landet@adacore.com> * doc/gnat_ugn/gnat_and_program_execution.rst: Mention the needed diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index f308f64..d206bc3 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,69 @@ +2022-11-08 David Malcolm <dmalcolm@redhat.com> + + 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 <dmalcolm@redhat.com> + + * 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 <const thread_local_region *>::test): New. + (class errno_region): New. + (is_a_helper <const errno_region *>::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 <dmalcolm@redhat.com> + + * 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 <dmalcolm@redhat.com> + + * 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 <dmalcolm@redhat.com> * analyzer.h: Use std::unique_ptr for state machines from plugins. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index dd7526e..9458657 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,16 @@ +2022-11-08 Jason Merrill <jason@redhat.com> + Jakub Jelinek <jakub@redhat.com> + + * 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 <ppalka@redhat.com> * tree.cc (cxx_attribute_table): Include init_priority entry diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e2232f6..bdc0ef5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,70 @@ +2022-11-08 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/101962 + * gcc.dg/analyzer/data-model-23.c (test_3): New test. + +2022-11-08 Aldy Hernandez <aldyh@redhat.com> + + PR tree-optimization/24021 + * gcc.dg/tree-ssa/vrp-float-plus.c: New test. + +2022-11-08 Richard Biener <rguenther@suse.de> + + PR tree-optimization/107389 + * gcc.dg/pr107389.c: New testcase. + +2022-11-08 Kwok Cheung Yeung <kcy@codesourcery.com> + + * gcc.target/gcn/math-builtins-1.c: New test. + +2022-11-08 Surya Kumari Jangala <jskumari@linux.ibm.com> + + PR testsuite/107171 + * gcc.target/powerpc/pr105586.c: Guard against unsupported + __int128. + +2022-11-08 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/107547 + * gcc.dg/pr107547.c: New test. + +2022-11-08 Jakub Jelinek <jakub@redhat.com> + + PR target/107546 + * gcc.target/i386/pr107546.c: New test. + +2022-11-08 konglin1 <lingling.kong@intel.com> + + Revert: + 2022-11-08 konglin1 <lingling.kong@intel.com> + + * gcc.target/i386/raoint-atomic-fetch.c: New test. + +2022-11-08 David Malcolm <dmalcolm@redhat.com> + + * gcc.dg/analyzer/errno-1.c: New test. + +2022-11-08 David Malcolm <dmalcolm@redhat.com> + + * 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 <jason@redhat.com> + Jakub Jelinek <jakub@redhat.com> + + * 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 <amacleod@redhat.com> + + * gcc.dg/pr104530.c: New. + 2022-11-07 Aldy Hernandez <aldyh@redhat.com> PR tree-optimization/55157 |