[gcc r13-3820] Daily bump.

[gcc r13-3820] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:69023a9f955dbb6dddca5d270379193a124bdf3c

commit r13-3820-g69023a9f955dbb6dddca5d270379193a124bdf3c
Author: GCC Administrator <gccadmin@gcc.gnu.org>
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  <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 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  <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 f308f64d691..d206bc35028 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 dd7526e5549..9458657292c 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 e2232f687ba..bdc0ef5b7ce 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
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  <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