+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().
+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
+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.
+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
+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
+2022-11-08 Jonathan Wakely <jwakely@redhat.com>
+
+ * 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 <jwakely@redhat.com>
+
+ * 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<T, 0>): 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 <jwakely@redhat.com>
+
+ * 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<T>&)): : 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 <cf.natali@gmail.com>
+
+ 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 <whh8b@obs.cr>
+ Jonathan Wakely <jwakely@redhat.com>
+
+ * 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 <jakub@redhat.com>
+
+ * testsuite/20_util/to_chars/float128_c++23.cc (test): Uncomment
+ denorm_min test.
+
+2022-11-08 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/xml/authors.xml: Update the blurb listing my doc
+ contributions.
+
+2022-11-08 Jonathan Wakely <jwakely@redhat.com>
+
+ * 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 <joseph@codesourcery.com>
+
+ PR libstdc++/107562
+ * src/c++17/floating_from_chars.cc (from_chars_impl): Fix syntax
+ error.
+
+2022-11-08 Jason Merrill <jason@redhat.com>
+ Jakub Jelinek <jakub@redhat.com>
+
+ * testsuite/18_support/comparisons/algorithms/fallback.cc: Adjust
+ asserts.
+
2022-11-07 Jakub Jelinek <jakub@redhat.com>
PR libstdc++/107562
projects / thirdparty / gcc.git / commitdiff
