[gcc r13-4179] Daily bump.

[gcc r13-4179] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:fb98ede8ca007d5f7c1d3208f22b3094e2802702

commit r13-4179-gfb98ede8ca007d5f7c1d3208f22b3094e2802702
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Mon Nov 21 00:16:46 2022 +0000

    Daily bump.

Diff:
---
 contrib/ChangeLog       |   5 ++
 gcc/ChangeLog           | 119 ++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/analyzer/ChangeLog  |  89 +++++++++++++++++++++
 gcc/c-family/ChangeLog  |  15 ++++
 gcc/cp/ChangeLog        | 119 ++++++++++++++++++++++++++++
 gcc/fortran/ChangeLog   |   6 ++
 gcc/jit/ChangeLog       |  25 ++++++
 gcc/testsuite/ChangeLog | 204 ++++++++++++++++++++++++++++++++++++++++++++++++
 libcpp/ChangeLog        |  11 +++
 libgomp/ChangeLog       |  13 +++
 libstdc++-v3/ChangeLog  |  38 +++++++++
 12 files changed, 645 insertions(+), 1 deletion(-)

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 1a1c5cfb1fb..ffd82a174af 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,8 @@
+2022-11-20  Martin Liska  <mliska@suse.cz>
+
+	* gcc-changelog/git_commit.py: Temporarily disable
+	check_line.start.
+
 2022-11-18  Jakub Jelinek  <jakub@redhat.com>
 
 	* gcc-changelog/git_update_version.py: Add
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 799a0c2a139..89e67491739 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,122 @@
+2022-11-20  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/107183
+	* reg-stack.cc (next_flags_user): Add DEBUG_SEEN argument.
+	If >= 0 and a DEBUG_INSN would be otherwise returned, set
+	DEBUG_SEEN to 1 and ignore it.
+	(swap_rtx_condition): Add DEBUG_SEEN argument.  In >= 0
+	mode only set DEBUG_SEEN to 1 if problematic DEBUG_ISNSs
+	were seen and revert all changes on success in that case.
+	Don't try to recog_memoized DEBUG_INSNs.
+	(compare_for_stack_reg): Adjust swap_rtx_condition caller.
+	If it returns true and debug_seen is 1, call swap_rtx_condition
+	again with debug_seen -1.
+
+2022-11-20  Jeff Law  <jlaw@ventanamicro.com>
+
+	PR other/104044
+	* config/mn10300/mn10300.cc (mn10300_print_operand): Remove
+	extraneous semicolon.
+	* config/nvptx/nvptx.cc (nvptx_goacc_reduction_fini): Likewise.
+
+2022-11-19  Andrew Pinski  <apinski@marvell.com>
+
+	PR middle-end/14840
+	* tree-core.h (tree_code_type): Constexprify
+	by including all-tree.def.
+	(tree_code_length): Likewise.
+	* tree.cc (tree_code_type): Remove.
+	(tree_code_length): Remove.
+
+2022-11-19  Thomas Schwinge  <thomas@codesourcery.com>
+
+	* config/nvptx/nvptx.h (STARTFILE_SPEC): Fix 'crt0.o' for
+	'-mmainkernel'.
+
+2022-11-19  Jonathan Wakely  <jwakely@redhat.com>
+	    LIU Hao  <lh_mouse@126.com>
+
+	* system.h [INCLUDE_MUTEX]: Include header for std::mutex.
+
+2022-11-19  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/107628
+	* config/i386/i386-protos.h (ix86_expand_fast_convert_bf_to_sf):
+	Declare.
+	* config/i386/i386-expand.cc (ix86_expand_fast_convert_bf_to_sf): New
+	function.
+	* config/i386/i386.md (cbranchbf4, cstorebf4): Use it.
+
+2022-11-19  Jeff Chapman II  <jchapman@lock3software.com>
+	    Andrew Sutton   <asutton@lock3software.com>
+	    Andrew Marmaduke  <amarmaduke@lock3software.com>
+	    Michael Lopez  <mlopez@lock3software.com>
+	    Jason Merrill   <jason@redhat.com>
+
+	* doc/invoke.texi: Document contracts flags.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* config/riscv/bitmanip.md (*minmax): Additional pattern for
+	  min/max against constants that are extension-invariant.
+	* config/riscv/iterators.md (minmax_optab): Add an iterator
+	  that has only min and max rtl.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* config/riscv/bitmanip.md
+	(*branch<X:mode>_mask_twobits_equals_singlebit):
+	Handle "if ((a & T) == C)" using Zbs, when T has 2 bits set and C
+	has one	of these tow bits set.
+	* config/riscv/predicates.md (const_twobits_not_arith_operand):
+	New predicate.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* config/riscv/bitmanip.md (*<or_optab>i<mode>_extrabit):
+	New pattern for binvi+binvi/xori and bseti+bseti/ori
+	(*andi<mode>_extrabit): New pattern for bclri+bclri/andi
+	* config/riscv/iterators.md (any_or): Match or and ior
+	* config/riscv/predicates.md (const_twobits_operand):
+	New predicate.
+	(uimm_extra_bit_operand): New predicate.
+	(uimm_extra_bit_or_twobits): New predicate.
+	(not_uimm_extra_bit_operand): New predicate.
+	(not_uimm_extra_bit_or_nottwobits): New predicate.
+	* config/riscv/riscv.h (UIMM_EXTRA_BIT_OPERAND):
+	Helper for the uimm_extra_bit_operand and
+	not_uimm_extra_bit_operand predicates.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* config/riscv/bitmanip.md: Handle corner-cases for combine
+	when chaining slli(.uw)? + addw
+	* config/riscv/riscv-protos.h (riscv_shamt_matches_mask_p):
+	Define prototype.
+	* config/riscv/riscv.cc (riscv_shamt_matches_mask_p):
+	Helper for evaluating the relationship between two operands.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* config/riscv/bitmanip.md: Add a define_split to optimize
+	  slliw + addiw + divw into sh[123]add + divw.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* config/riscv/predicates.md (shifted_const_arith_operand): New predicate.
+	(uimm_extra_bit_operand): New predicate.
+	* config/riscv/riscv.md (*branch<ANYI:mode>_shiftedarith_equals_zero):
+	New pattern.
+	(*branch<ANYI:mode>_shiftedmask_equals_zero): New pattern.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* config/riscv/bitmanip.md (*bsetidisi): New pattern.
+
+2022-11-18  Richard Purdie  <richard.purdie@linuxfoundation.org>
+
+	* doc/invoke.texi: Document prefix-maps don't affect directives.
+
 2022-11-18  Andrew Pinski  <apinski@marvell.com>
 
 	PR middle-end/107705
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 578404781e6..b4f44f494dc 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20221118
+20221121
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 1fab4d06724..48a4392f3b0 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,92 @@
+2022-11-19  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/107582
+	* engine.cc (dynamic_call_info_t::update_model): Update the model
+	by pushing or pop a frame, rather than by clobbering it with the
+	model from the exploded_node's state.
+
+2022-11-18  David Malcolm  <dmalcolm@redhat.com>
+
+	* analyzer.cc (is_pipe_call_p): Delete.
+	* analyzer.h (is_pipe_call_p): Delete.
+	* region-model-impl-calls.cc (call_details::get_location): New.
+	(class kf_analyzer_break): New, adapted from
+	region_model::on_stmt_pre.
+	(region_model::impl_call_analyzer_describe): Convert to...
+	(class kf_analyzer_describe): ...this.
+	(region_model::impl_call_analyzer_dump_capacity): Convert to...
+	(class kf_analyzer_dump_capacity): ...this.
+	(region_model::impl_call_analyzer_dump_escaped): Convert to...
+	(class kf_analyzer_dump_escaped): ...this.
+	(class kf_analyzer_dump_exploded_nodes): New.
+	(region_model::impl_call_analyzer_dump_named_constant): Convert
+	to...
+	(class kf_analyzer_dump_named_constant): ...this.
+	(class dump_path_diagnostic): Move here from region-model.cc.
+	(class kf_analyzer_dump_path) New, adapted from
+	region_model::on_stmt_pre.
+	(class kf_analyzer_dump_region_model): Likewise.
+	(region_model::impl_call_analyzer_eval): Convert to...
+	(class kf_analyzer_eval): ...this.
+	(region_model::impl_call_analyzer_get_unknown_ptr): Convert to...
+	(class kf_analyzer_get_unknown_ptr): ...this.
+	(class known_function_accept): Rename to...
+	(class kf_accept): ...this.
+	(class known_function_bind): Rename to...
+	(class kf_bind): ...this.
+	(class known_function_connect): Rename to...
+	(class kf_connect): ...this.
+	(region_model::impl_call_errno_location): Convert to...
+	(class kf_errno_location): ...this.
+	(class known_function_listen): Rename to...
+	(class kf_listen): ...this.
+	(region_model::impl_call_pipe): Convert to...
+	(class kf_pipe): ...this.
+	(region_model::impl_call_putenv): Convert to...
+	(class kf_putenv): ...this.
+	(region_model::impl_call_operator_new): Convert to...
+	(class kf_operator_new): ...this.
+	(region_model::impl_call_operator_delete): Convert to...
+	(class kf_operator_delete): ...this.
+	(class known_function_socket): Rename to...
+	(class kf_socket): ...this.
+	(register_known_functions): Rename param to KFM.  Break out
+	existing known functions into a "POSIX" section, and add "pipe",
+	"pipe2", and "putenv".  Add debugging functions
+	"__analyzer_break", "__analyzer_describe",
+	"__analyzer_dump_capacity", "__analyzer_dump_escaped",
+	"__analyzer_dump_exploded_nodes",
+	"__analyzer_dump_named_constant", "__analyzer_dump_path",
+	"__analyzer_dump_region_model", "__analyzer_eval",
+	"__analyzer_get_unknown_ptr".  Add C++ support functions
+	"operator new", "operator new []", "operator delete", and
+	"operator delete []".
+	* region-model.cc (class dump_path_diagnostic): Move to
+	region-model-impl-calls.cc.
+	(region_model::on_stmt_pre): Eliminate special-casing of
+	"__analyzer_describe", "__analyzer_dump_capacity",
+	"__analyzer_dump_escaped", "__analyzer_dump_named_constant",
+	"__analyzer_dump_path", "__analyzer_dump_region_model",
+	"__analyzer_eval", "__analyzer_break",
+	"__analyzer_dump_exploded_nodes", "__analyzer_get_unknown_ptr",
+	"__errno_location", "pipe", "pipe2", "putenv", "operator new",
+	"operator new []", "operator delete", "operator delete []"
+	"pipe" and "pipe2", handling them instead via the known_functions
+	mechanism.
+	* region-model.h (call_details::get_location): New decl.
+	(region_model::impl_call_analyzer_describe): Delete decl.
+	(region_model::impl_call_analyzer_dump_capacity): Delete decl.
+	(region_model::impl_call_analyzer_dump_escaped): Delete decl.
+	(region_model::impl_call_analyzer_dump_named_constant): Delete decl.
+	(region_model::impl_call_analyzer_eval): Delete decl.
+	(region_model::impl_call_analyzer_get_unknown_ptr): Delete decl.
+	(region_model::impl_call_errno_location): Delete decl.
+	(region_model::impl_call_pipe): Delete decl.
+	(region_model::impl_call_putenv): Delete decl.
+	(region_model::impl_call_operator_new): Delete decl.
+	(region_model::impl_call_operator_delete): Delete decl.
+	* sm-fd.cc: Update comments.
+
 2022-11-16  David Malcolm  <dmalcolm@redhat.com>
 
 	PR analyzer/107711
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 69695c66c9c..b34115b8223 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,18 @@
+2022-11-19  Jakub Jelinek  <jakub@redhat.com>
+
+	* c-cppbuiltin.cc (c_cpp_builtins): Bump __cpp_constexpr
+	value from 202207L to 202211L.
+
+2022-11-19  Jeff Chapman II  <jchapman@lock3software.com>
+	    Andrew Sutton   <asutton@lock3software.com>
+	    Andrew Marmaduke  <amarmaduke@lock3software.com>
+	    Michael Lopez  <mlopez@lock3software.com>
+	    Jason Merrill   <jason@redhat.com>
+
+	* c.opt: Add contracts flags.
+	* c-cppbuiltin.cc (c_cpp_builtins): Add contracts feature-test
+	macros.
+
 2022-11-16  Marek Polacek  <polacek@redhat.com>
 
 	PR c++/106649
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index acf78b6c0d5..956563898ac 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,122 @@
+2022-11-20  Patrick Palka  <ppalka@redhat.com>
+
+	* constraint.cc (struct norm_entry): Define.
+	(struct norm_hasher): Define.
+	(norm_cache): Define.
+	(normalize_concept_check): Add function comment.  Cache the
+	the normal form of the substituted concept-id.  Canonicalize
+	generic arguments as NULL_TREE.  Don't coerce arguments unless
+	they were substituted.
+	(normalize_concept_definition): Simplify.  Use norm_cache
+	instead of normalized_map.
+
+2022-11-20  Patrick Palka  <ppalka@redhat.com>
+
+	* pt.cc (coerce_template_parms): Salvage part of the function
+	comment from c_innermost_t_p.  Handle parms being a full
+	template parameter list.
+	(coerce_innermost_template_parms): Remove.
+	(lookup_template_class): Use c_t_p instead of c_innermost_t_p.
+	(finish_template_variable): Likewise.
+	(tsubst_decl): Likewise.
+	(instantiate_alias_template): Likewise.
+
+2022-11-19  Jakub Jelinek  <jakub@redhat.com>
+
+	* constexpr.cc (cxx_eval_constant_expression): Implement C++23
+	P2647R1 - Permitting static constexpr variables in constexpr functions.
+	Allow DECL_EXPRs of decl_constant_var_p static or thread_local vars.
+	(potential_constant_expression_1): Similarly, except use
+	decl_maybe_constant_var_p instead of decl_constant_var_p if
+	processing_template_decl.
+
+2022-11-19  Jeff Chapman II  <jchapman@lock3software.com>
+	    Andrew Sutton   <asutton@lock3software.com>
+	    Andrew Marmaduke  <amarmaduke@lock3software.com>
+	    Michael Lopez  <mlopez@lock3software.com>
+	    Jason Merrill   <jason@redhat.com>
+
+	* cp-tree.h (enum cp_tree_index): Add
+	CPTI_PSEUDO_CONTRACT_VIOLATION.
+	(pseudo_contract_violation_type): New macro.
+	(struct saved_scope): Add x_processing_contract_condition.
+	(processing_contract_condition): New macro.
+	(comparing_override_contracts): New variable decl.
+	(find_contract): New inline.
+	(set_decl_contracts): New inline.
+	(get_contract_semantic): New inline.
+	(set_contract_semantic): New inline.
+	* constexpr.cc (cxx_eval_assert): Split out from...
+	(cxx_eval_internal_function): ...here.
+	(cxx_eval_constant_expression): Use it for contracts.
+	(potential_constant_expression_1): Handle contracts.
+	* cp-gimplify.cc (cp_genericize_r): Handle contracts.
+	* cp-objcp-common.cc (cp_tree_size): Handle contracts.
+	(cp_common_init_ts): Handle contracts.
+	(cp_handle_option): Handle contracts.
+	* decl.cc (duplicate_decls): Handle contracts.
+	(check_tag_decl): Check for bogus contracts.
+	(start_decl): Check flag_contracts.
+	(grokfndecl): Call rebuild_postconditions.
+	(grokdeclarator): Handle contract attributes.
+	(start_preparsed_function): Call start_function_contracts.
+	(finish_function): Call finish_function_contracts.
+	* decl2.cc (cp_check_const_attributes): Skip contracts.
+	(comdat_linkage): Handle outlined contracts.
+	* error.cc (dump_type): Handle null TYPE_IDENTIFIER.
+	* g++spec.cc (EXPERIMENTAL): New macro.
+	(lang_specific_driver): Add -lstdc++exp if -fcontracts.
+	* mangle.cc (write_encoding): Handle outlined contracts.
+	* module.cc (trees_out::fn_parms_init): Handle outlined contracts.
+	(trees_in::fn_parms_init): Likewise.
+	(check_mergeable_decl): Likewise.
+	(module_state_config::get_dialect): Record -fcontracts.
+	* parser.h (struct cp_unparsed_functions_entry): Add contracts.
+	* parser.cc (unparsed_contracts): New macro.
+	(push_unparsed_function_queues): Adjust.
+	(contract_attribute_p): New.
+	(cp_parser_statement): Check contracts.
+	(cp_parser_decl_specifier_seq): Handle contracts.
+	(cp_parser_skip_to_closing_square_bracket): Split out...
+	(cp_parser_skip_up_to_closing_square_bracket): ...this fn.
+	(cp_parser_class_specifier): Do contract late parsing.
+	(cp_parser_class_head): Check contracts.
+	(cp_parser_contract_role): New.
+	(cp_parser_contract_mode_opt): New.
+	(find_error, contains_error_p): New.
+	(cp_parser_contract_attribute_spec): New.
+	(cp_parser_late_contract_condition): New.
+	(cp_parser_std_attribute_spec): Handle contracts.
+	(cp_parser_save_default_args): Also save contracts.
+	* pt.cc (register_parameter_specializations): No longer static.
+	(register_local_identity): New.
+	(check_explicit_specialization): Call remove_contract_attributes.
+	(tsubst_contract, tsubst_contract_attribute): New.
+	(tsubst_contract_attributes): New.
+	(tsubst_attribute): Add comment.
+	(tsubst_copy): Also allow parm when processing_contract_condition.
+	(tsubst_expr): Handle contracts.
+	(regenerate_decl_from_template): Handle contracts.
+	* search.cc (check_final_overrider): Compare contracts.
+	* semantics.cc (set_cleanup_locs): Skip POSTCONDITION_STMT.
+	(finish_non_static_data_member): Check contracts.
+	(finish_this_expr): Check contracts.
+	(process_outer_var_ref): Handle contracts.
+	(finish_id_expression_1): Handle contracts.
+	(apply_deduced_return_type): Adjust contracts.
+	* tree.cc (handle_contract_attribute): New.
+	(get_innermost_component, is_this_expression): New.
+	(comparing_this_references): New.
+	(equivalent_member_references): New.
+	(cp_tree_equal): Check it.
+	* typeck.cc (check_return_expr): Apply contracts.
+	* Make-lang.in: Add contracts.o.
+	* config-lang.in: Add contracts.cc.
+	* cp-tree.def (ASSERTION_STMT, PRECONDITION_STMT)
+	(POSTCONDITION_STMT): New.
+	* contracts.h: New file.
+	* contracts.cc: New file.
+
 2022-11-18  Jakub Jelinek  <jakub@redhat.com>
 
 	* decl.cc (grokdeclarator): Implement
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 08ed6caefa2..2366ce125fe 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2022-11-18  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/107576
+	* interface.cc (gfc_procedure_use): Reject NULL as actual argument
+	when there is no explicit procedure interface.
+
 2022-11-17  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>
 
 	PR fortran/99884
diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog
index 03acd2db4c2..a46e4a2c459 100644
--- a/gcc/jit/ChangeLog
+++ b/gcc/jit/ChangeLog
@@ -1,3 +1,28 @@
+2022-11-20  Jeff Law  <jlaw@ventanamicro.com>
+
+	PR other/104044
+	* jit-playback.cc (playback::lvale::mark_addressable): Remove
+	extraeous semicolon
+
+2022-11-19  Jonathan Wakely  <jwakely@redhat.com>
+	    LIU Hao  <lh_mouse@126.com>
+
+	* jit-playback.cc (playback::context::scoped_lock): Define RAII
+	lock type.
+	(playback::context::compile): Use scoped_lock to acquire mutex
+	for the active playback context.
+	(jit_mutex): Change to std::mutex.
+	(playback::context::acquire_mutex): Rename to ...
+	(playback::context::lock): ... this.
+	(playback::context::release_mutex): Rename to ...
+	(playback::context::unlock): ... this.
+	* jit-playback.h (playback::context): Rename members and declare
+	scoped_lock.
+	* jit-recording.cc (INCLUDE_PTHREAD_H): Remove unused define.
+	* libgccjit.cc (version_mutex): Change to std::mutex.
+	(struct jit_version_info): Use std::lock_guard to acquire and
+	release mutex.
+
 2022-11-14  Martin Liska  <mliska@suse.cz>
 
 	Revert:
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f53d7741ab5..13ef929ae3f 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,207 @@
+2022-11-20  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/107183
+	* gcc.dg/ubsan/pr107183.c: New test.
+
+2022-11-20  Jeff Law  <jeffreyalaw@gmail.com>
+
+	* gcc.dg/pr96542.c: Avoid falsely matching DECL_UIDs with
+	the number 254 in them.
+
+2022-11-19  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/107628
+	* gcc.target/i386/pr107628.c: New test.
+
+2022-11-19  Jakub Jelinek  <jakub@redhat.com>
+
+	* g++.dg/cpp23/constexpr-nonlit17.C: New test.
+	* g++.dg/cpp23/constexpr-nonlit18.C: New test.
+	* g++.dg/cpp23/feat-cxx2b.C: Adjust expected __cpp_constexpr
+	value.
+	* g++.dg/ext/stmtexpr19.C: Don't expect an error.
+	* g++.dg/ext/stmtexpr25.C: New test.
+
+2022-11-19  Jeff Chapman II  <jchapman@lock3software.com>
+	    Andrew Sutton   <asutton@lock3software.com>
+	    Andrew Marmaduke  <amarmaduke@lock3software.com>
+	    Michael Lopez  <mlopez@lock3software.com>
+	    Jason Merrill   <jason@redhat.com>
+
+	* g++.dg/modules/modules.exp: Pass dg-options to link command.
+	* lib/g++.exp: Add -L for libstdc++exp.a.
+	* g++.dg/contracts/backtrace_handler/assert_fail.cpp: New test.
+	* g++.dg/contracts/backtrace_handler/handle_contract_violation.cpp: New test.
+	* g++.dg/contracts/contracts-access1.C: New test.
+	* g++.dg/contracts/contracts-assume1.C: New test.
+	* g++.dg/contracts/contracts-assume2.C: New test.
+	* g++.dg/contracts/contracts-assume3.C: New test.
+	* g++.dg/contracts/contracts-assume4.C: New test.
+	* g++.dg/contracts/contracts-assume5.C: New test.
+	* g++.dg/contracts/contracts-assume6.C: New test.
+	* g++.dg/contracts/contracts-comdat1.C: New test.
+	* g++.dg/contracts/contracts-config1.C: New test.
+	* g++.dg/contracts/contracts-constexpr1.C: New test.
+	* g++.dg/contracts/contracts-constexpr2.C: New test.
+	* g++.dg/contracts/contracts-constexpr3.C: New test.
+	* g++.dg/contracts/contracts-conversion1.C: New test.
+	* g++.dg/contracts/contracts-ctor-dtor1.C: New test.
+	* g++.dg/contracts/contracts-ctor-dtor2.C: New test.
+	* g++.dg/contracts/contracts-cv1.C: New test.
+	* g++.dg/contracts/contracts-deduced1.C: New test.
+	* g++.dg/contracts/contracts-deduced2.C: New test.
+	* g++.dg/contracts/contracts-friend1.C: New test.
+	* g++.dg/contracts/contracts-ft1.C: New test.
+	* g++.dg/contracts/contracts-ignore1.C: New test.
+	* g++.dg/contracts/contracts-ignore2.C: New test.
+	* g++.dg/contracts/contracts-large-return.C: New test.
+	* g++.dg/contracts/contracts-multiline1.C: New test.
+	* g++.dg/contracts/contracts-multiple-inheritance1.C: New test.
+	* g++.dg/contracts/contracts-multiple-inheritance2.C: New test.
+	* g++.dg/contracts/contracts-nested-class1.C: New test.
+	* g++.dg/contracts/contracts-nested-class2.C: New test.
+	* g++.dg/contracts/contracts-nocopy1.C: New test.
+	* g++.dg/contracts/contracts-override.C: New test.
+	* g++.dg/contracts/contracts-post1.C: New test.
+	* g++.dg/contracts/contracts-post2.C: New test.
+	* g++.dg/contracts/contracts-post3.C: New test.
+	* g++.dg/contracts/contracts-post4.C: New test.
+	* g++.dg/contracts/contracts-post5.C: New test.
+	* g++.dg/contracts/contracts-post6.C: New test.
+	* g++.dg/contracts/contracts-pre1.C: New test.
+	* g++.dg/contracts/contracts-pre10.C: New test.
+	* g++.dg/contracts/contracts-pre2.C: New test.
+	* g++.dg/contracts/contracts-pre2a1.C: New test.
+	* g++.dg/contracts/contracts-pre2a2.C: New test.
+	* g++.dg/contracts/contracts-pre3.C: New test.
+	* g++.dg/contracts/contracts-pre4.C: New test.
+	* g++.dg/contracts/contracts-pre5.C: New test.
+	* g++.dg/contracts/contracts-pre6.C: New test.
+	* g++.dg/contracts/contracts-pre7.C: New test.
+	* g++.dg/contracts/contracts-pre9.C: New test.
+	* g++.dg/contracts/contracts-redecl1.C: New test.
+	* g++.dg/contracts/contracts-redecl2.C: New test.
+	* g++.dg/contracts/contracts-redecl3.C: New test.
+	* g++.dg/contracts/contracts-redecl4.C: New test.
+	* g++.dg/contracts/contracts-redecl5.C: New test.
+	* g++.dg/contracts/contracts-redecl6.C: New test.
+	* g++.dg/contracts/contracts-redecl7.C: New test.
+	* g++.dg/contracts/contracts-redecl8.C: New test.
+	* g++.dg/contracts/contracts-tmpl-attr1.C: New test.
+	* g++.dg/contracts/contracts-tmpl-spec1.C: New test.
+	* g++.dg/contracts/contracts-tmpl-spec2.C: New test.
+	* g++.dg/contracts/contracts-tmpl-spec3.C: New test.
+	* g++.dg/contracts/contracts1.C: New test.
+	* g++.dg/contracts/contracts10.C: New test.
+	* g++.dg/contracts/contracts11.C: New test.
+	* g++.dg/contracts/contracts12.C: New test.
+	* g++.dg/contracts/contracts13.C: New test.
+	* g++.dg/contracts/contracts14.C: New test.
+	* g++.dg/contracts/contracts15.C: New test.
+	* g++.dg/contracts/contracts16.C: New test.
+	* g++.dg/contracts/contracts17.C: New test.
+	* g++.dg/contracts/contracts18.C: New test.
+	* g++.dg/contracts/contracts19.C: New test.
+	* g++.dg/contracts/contracts2.C: New test.
+	* g++.dg/contracts/contracts20.C: New test.
+	* g++.dg/contracts/contracts22.C: New test.
+	* g++.dg/contracts/contracts24.C: New test.
+	* g++.dg/contracts/contracts25.C: New test.
+	* g++.dg/contracts/contracts3.C: New test.
+	* g++.dg/contracts/contracts35.C: New test.
+	* g++.dg/contracts/contracts4.C: New test.
+	* g++.dg/contracts/contracts5.C: New test.
+	* g++.dg/contracts/contracts6.C: New test.
+	* g++.dg/contracts/contracts7.C: New test.
+	* g++.dg/contracts/contracts8.C: New test.
+	* g++.dg/contracts/contracts9.C: New test.
+	* g++.dg/modules/contracts-1_a.C: New test.
+	* g++.dg/modules/contracts-1_b.C: New test.
+	* g++.dg/modules/contracts-2_a.C: New test.
+	* g++.dg/modules/contracts-2_b.C: New test.
+	* g++.dg/modules/contracts-2_c.C: New test.
+	* g++.dg/modules/contracts-3_a.C: New test.
+	* g++.dg/modules/contracts-3_b.C: New test.
+	* g++.dg/modules/contracts-4_a.C: New test.
+	* g++.dg/modules/contracts-4_b.C: New test.
+	* g++.dg/modules/contracts-4_c.C: New test.
+	* g++.dg/modules/contracts-4_d.C: New test.
+	* g++.dg/modules/contracts-tpl-friend-1_a.C: New test.
+	* g++.dg/modules/contracts-tpl-friend-1_b.C: New test.
+	* g++.dg/contracts/backtrace_handler/Makefile: New test.
+	* g++.dg/contracts/backtrace_handler/README: New test.
+	* g++.dg/contracts/backtrace_handler/example_out.txt: New test.
+	* g++.dg/contracts/backtrace_handler/example_pretty.txt: New test.
+	* g++.dg/contracts/backtrace_handler/prettytrace.sh: New test.
+	* g++.dg/contracts/except_preload_handler/Makefile: New test.
+	* g++.dg/contracts/except_preload_handler/README: New test.
+	* g++.dg/contracts/except_preload_handler/assert_fail.cpp: New test.
+	* g++.dg/contracts/except_preload_handler/handle_contract_violation.cpp: New test.
+	* g++.dg/contracts/noexcept_preload_handler/Makefile: New test.
+	* g++.dg/contracts/noexcept_preload_handler/README: New test.
+	* g++.dg/contracts/noexcept_preload_handler/assert_fail.cpp: New test.
+	* g++.dg/contracts/noexcept_preload_handler/handle_contract_violation.cpp: New test.
+	* g++.dg/contracts/preload_handler/Makefile: New test.
+	* g++.dg/contracts/preload_handler/README: New test.
+	* g++.dg/contracts/preload_handler/assert_fail.cpp: New test.
+	* g++.dg/contracts/preload_handler/handle_contract_violation.cpp: New test.
+	* g++.dg/contracts/preload_nocontinue_handler/Makefile: New test.
+	* g++.dg/contracts/preload_nocontinue_handler/README: New test.
+	* g++.dg/contracts/preload_nocontinue_handler/assert_fail.cpp: New test.
+	* g++.dg/contracts/preload_nocontinue_handler/handle_contract_violation.cpp: New test.
+	* g++.dg/contracts/preload_nocontinue_handler/nocontinue.cpp: New test.
+
+2022-11-19  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/107582
+	* gcc.dg/analyzer/feasibility-4.c: New test.
+	* gcc.dg/analyzer/feasibility-pr107582-1.c: New test.
+	* gcc.dg/analyzer/feasibility-pr107582-2.c: New test.
+
+2022-11-18  David Malcolm  <dmalcolm@redhat.com>
+
+	* gcc.dg/analyzer/analyzer-debugging-fns-1.c: New test.
+	* gcc.dg/analyzer/attr-const-3.c: Increase the
+	"analyzer-max-svalue-depth" from 0 to 4 to ensure that
+	"__analyzer_eval" is recognized.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* gcc.target/riscv/zbb-min-max-02.c: New test.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* gcc.target/riscv/zbs-if_then_else-01.c: New test.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* gcc.target/riscv/zbs-bclri.c: Rename
+	* gcc.target/riscv/zbs-bclri-01.c: Renamed from above.
+	* gcc.target/riscv/zbs-bclri-02.c: New test.
+	* gcc.target/riscv/zbs-binvi.c: New test.
+	* gcc.target/riscv/zbs-bseti.c: New test.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* gcc.target/riscv/zba-shNadd-04.c: New test.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* gcc.target/riscv/zba-shNadd-05.c: New test.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* gcc.target/riscv/branch-1.c: New test.
+
+2022-11-18  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* gcc.target/riscv/zbs-bseti-02.c: New test.
+
+2022-11-18  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/107576
+	* gfortran.dg/null_actual_3.f90: New test.
+
 2022-11-18  Andrew Pinski  <apinski@marvell.com>
 
 	* gcc.dg/redecl-22.c: New test.
diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index d1dd151cc16..9236b440703 100644
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,14 @@
+2022-11-19  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>
+
+	PR preprocessor/107691
+	* configure.ac: Add valgrind header checks.
+	* configure: Regenerate.
+
+2022-11-18  Richard Purdie  <richard.purdie@linuxfoundation.org>
+
+	* macro.cc (_cpp_builtin_macro_text): Don't remap filenames within
+	directives.
+
 2022-11-05  Lewis Hyatt  <lhyatt@gmail.com>
 
 	PR preprocessor/55971
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 78ed9e1eb74..4e7419ccd75 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,16 @@
+2022-11-19  Tobias Burnus  <tobias@codesourcery.com>
+
+	* config/gcn/libgomp-gcn.h: New file; contains
+	struct output, declared previously in plugin-gcn.c.
+	* config/gcn/target.c: Include it.
+	(GOMP_ADDITIONAL_ICVS): Declare as extern var.
+	(GOMP_target_ext): Handle reverse offload.
+	* plugin/plugin-gcn.c: Include libgomp-gcn.h.
+	(struct kernargs): Replace struct def by the one
+	from libgomp-gcn.h for output_data.
+	(process_reverse_offload): New.
+	(console_output): Call it.
+
 2022-11-16  Tobias Burnus  <tobias@codesourcery.com>
 	    Andrew Stubbs  <ams@codesourcery.com>
 
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index b9fc8fd9f42..f6d5b77f8f0 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,41 @@
+2022-11-20  François Dumont  <fdumont@gcc.gnu.org>
+
+	* include/std/format: Add std qualification on isxdigit calls.
+
+2022-11-19  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/range_access.h: Add always_inline attribute to
+	trivial functions.
+
+2022-11-19  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/format: Fix -Wsign-compare warnings.
+
+2022-11-19  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/ptr_traits.h (pointer_traits::pointer_to): Rename
+	parameter.
+
+2022-11-19  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/107649
+	* include/std/complex (__complex_proj): Fix requires-clause.
+
+2022-11-19  Jeff Chapman II  <jchapman@lock3software.com>
+	    Andrew Marmaduke  <amarmaduke@lock3software.com>
+	    Jason Merrill   <jason@redhat.com>
+
+	* acinclude.m4 (glibcxx_SUBDIRS): Add src/experimental.
+	* include/Makefile.am (experimental_headers): Add contract.
+	* include/Makefile.in: Regenerate.
+	* src/Makefile.am (SUBDIRS): Add experimental.
+	* src/Makefile.in: Regenerate.
+	* configure: Regenerate.
+	* src/experimental/contract.cc: New file.
+	* src/experimental/Makefile.am: New file.
+	* src/experimental/Makefile.in: New file.
+	* include/experimental/contract: New file.
+
 2022-11-17  Jonathan Wakely  <jwakely@redhat.com>
 
 	PR libstdc++/107720