[gcc r13-3142] Daily bump.

[gcc r13-3142] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:629d04d35d819bdc26c30d215bc4ea66a74af15b

commit r13-3142-g629d04d35d819bdc26c30d215bc4ea66a74af15b
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Fri Oct 7 00:17:52 2022 +0000

    Daily bump.

Diff:
---
 contrib/ChangeLog       |   5 ++
 gcc/ChangeLog           |  99 ++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 147 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/analyzer/ChangeLog  |  14 +++++
 gcc/c-family/ChangeLog  |  15 +++++
 gcc/c/ChangeLog         |  32 +++++++++++
 gcc/cp/ChangeLog        |  54 ++++++++++++++++++
 gcc/fortran/ChangeLog   |   5 ++
 gcc/testsuite/ChangeLog |  77 +++++++++++++++++++++++++
 libgcc/ChangeLog        |  68 ++++++++++++++++++++++
 11 files changed, 517 insertions(+), 1 deletion(-)

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index f79e04757c7..9523633c2c5 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,8 @@
+2022-10-06  Martin Liska  <mliska@suse.cz>
+
+	* gcc-changelog/git_update_version.py: Use logging module
+	and provide robust debugging output.
+
 2022-10-05  Martin Liska  <mliska@suse.cz>
 
 	* gcc-changelog/git_update_version.py: Do fetch before a push.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e40b049f5e1..ad2c6e701e1 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,102 @@
+2022-10-06  Aldy Hernandez  <aldyh@redhat.com>
+
+	PR tree-optimization/107170
+	* vr-values.cc (vr_values::range_of_expr):  Do not die on
+	unsupported types.
+
+2022-10-06  Joseph Myers  <joseph@codesourcery.com>
+
+	* doc/invoke.texi (-fno-asm): Update description of effects on
+	typeof keyword.
+
+2022-10-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gimple-loop-jam.cc (tree_loop_unroll_and_jam): Bail out for a self
+	dependency that is a write-after-write if the access function is not
+	affine or constant.
+
+2022-10-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* df-scan.cc (df_ref_create_structure): Minor cleanup.
+
+2022-10-06  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/107115
+	* expr.cc (store_expr): Check mems_same_for_tbaa_p before
+	eliding a seemingly redundant store.
+
+2022-10-06  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+	* config/aarch64/atomics.md (*atomic_load<ALLX:mode>_zext<SD_HSDI:mode>):
+	New pattern.
+
+2022-10-06  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* config/aarch64/aarch64-cores.def (AARCH64_CORE): Update
+	Ampere-1 core entry.
+
+2022-10-06  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* config/aarch64/driver-aarch64.cc (readline): Fix off-by-one.
+
+2022-10-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/107107
+	* tree-ssa-sccvn.cc (visit_reference_op_store): Do not
+	affect value-numbering when doing the tail merging
+	MODIFY_EXPR lookup.
+
+2022-10-06  Claudiu Zissulescu  <claziss@synopsys.com>
+
+	* config/arc/linux.h (LINK_SPEC): Remove max-page-size and
+	common-pave-size.
+
+2022-10-06  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/106654
+	* internal-fn.def (ASSUME): New internal function.
+	* internal-fn.h (expand_ASSUME): Declare.
+	* internal-fn.cc (expand_ASSUME): Define.
+	* gimplify.cc (gimplify_call_expr): Gimplify IFN_ASSUME.
+	* fold-const.h (simple_condition_p): Declare.
+	* fold-const.cc (simple_operand_p_2): Rename to ...
+	(simple_condition_p): ... this.  Remove forward declaration.
+	No longer static.  Adjust function comment and fix a typo in it.
+	Adjust recursive call.
+	(simple_operand_p): Adjust function comment.
+	(fold_truth_andor): Adjust simple_operand_p_2 callers to call
+	simple_condition_p.
+	* doc/extend.texi: Document assume attribute.  Move fallthrough
+	attribute example to its section.
+
+2022-10-06  Stefan Schulze Frielinghaus  <stefansf@linux.ibm.com>
+
+	PR rtl-optimization/107088
+	* cselib.cc (new_cselib_val): Skip BImode while keeping track of
+	subvalue relations.
+
+2022-10-06  Aldy Hernandez  <aldyh@redhat.com>
+
+	* value-range.cc (frange::set): Call set_nan unconditionally.
+	(range_tests_nan): Adjust tests.
+	(range_tests_signed_zeros): Same.
+	(range_tests_floats): Same.
+	* value-range.h (frange::update_nan): Guard with HONOR_NANS.
+	(frange::set_nan): Set undefined if !HONOR_NANS.
+
+2022-10-06  Aldy Hernandez  <aldyh@redhat.com>
+
+	* range-op-float.cc (foperator_lt::fold_range): Remove extra check
+	to finite_operands_p.
+	(foperator_le::fold_range): Same.
+	(foperator_gt::fold_range): Same.
+	(foperator_ge::fold_range): Same.
+
+2022-10-06  Aldy Hernandez  <aldyh@redhat.com>
+
+	* value-range-pretty-print.cc (vrange_printer::print_real_value):
+	Avoid printing INF and NAN twice.
+
 2022-10-05  Segher Boessenkool  <segher@kernel.crashing.org>
 
 	* config/rs6000/constraints.md (wD): Delete.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 5ba2bc5284f..12abceb7baa 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20221006
+20221007
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index be8371d3383..fc3bc97bea5 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,150 @@
+2022-10-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/ada-tree.def (LOAD_EXPR): New expression code.
+	* gcc-interface/gigi.h (build_storage_model_load): Declare.
+	(build_storage_model_store): Likewise.
+	(instantiate_load_in_expr): Likewise.
+	(INSTANTIATE_LOAD_IN_EXPR): New macro.
+	(instantiate_load_in_array_ref): Declare.
+	* gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Record_Type>: Set a
+	fake discriminant number on the fields of the template type.
+	(gnat_to_gnu_field): Use integer for DECL_DISCRIMINANT_NUMBER.
+	* gcc-interface/misc.cc (gnat_init_ts): Mark LOAD_EXPR as typed.
+	* gcc-interface/trans.cc (fold_constant_decl_in_expr) <ARRAY_REF>:
+	Also preserve the 4th operand.
+	(Attribute_to_gnu): Deal with LOAD_EXPR of unconstrained array type.
+	<Attr_Size>: Call INSTANTIATE_LOAD_IN_EXPR for a storage model.
+	<Attr_Length>: Likewise.
+	<Attr_Bit_Position>: Likewise.
+	(get_storage_model): New function.
+	(get_storage_model_access): Likewise.
+	(storage_model_access_required_p): Likewise.
+	(Call_to_gnu): Add GNAT_STORAGE_MODEL parameter and deal with it.
+	Also deal with actual parameters that have a storage model.
+	(gnat_to_gnu) <N_Object_Declaratio>: Adjust call to Call_to_gnu.
+	<N_Explicit_Dereference>: Deal with a storage model access.
+	<N_Indexed_Component>: Likewise.
+	<N_Slice>: Likewise.
+	<N_Selected_Component>: Likewise.
+	<N_Assignment_Statement>: Adjust call to Call_to_gnu.  Deal with a
+	storage model access either on the LHS, on the RHS or on both.
+	<N_Function_Cal>: Adjust call to Call_to_gnu.
+	<N_Free_Statement>: Deal with a pool that is a storage model.
+	Replace test for UNCONSTRAINED_ARRAY_REF with test on the type.
+	(gnat_gimplify_expr) <CALL_EXPR>: Tidy up.
+	<LOAD_EXPR>: New case.
+	<UNCONSTRAINED_ARRAY_REF>: Move down.
+	* gcc-interface/utils.cc (maybe_unconstrained_array): Deal with a
+	LOAD_EXPR by recursing on its first operand.
+	* gcc-interface/utils2.cc (build_allocator): Deal with a pool that
+	is a storage model.
+	(build_storage_model_copy): New function.
+	(build_storage_model_load): Likewise.
+	(build_storage_model_store): Likewise.
+	(instantiate_load_in_expr): Likewise.
+	(instantiate_load_in_array_ref): Likewise.
+	(gnat_rewrite_reference) <ARRAY_REF>: Also preserve the 4th operand.
+	(get_inner_constant_reference) <ARRAY_REF>: Remove useless test.
+	(gnat_invariant_expr) <ARRAY_REF>: Rewrite test.
+
+2022-10-06  Steve Baird  <baird@adacore.com>
+
+	* sem_ch6.adb
+	(Analyze_Procedure_Call): Replace "return;" with "goto Leave;", as
+	per comment preceding body of Analyze_Procedure_Call.
+
+2022-10-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch9.adb (Allows_Lock_Free_Implementation): Reject
+	conditional goto statements.
+
+2022-10-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* doc/gnat_rm/implementation_defined_pragmas.rst
+	(Lock_Free): Remove inconsistent periods that end item
+	descriptions.
+	* sem_ch9.adb
+	(Allows_Lock_Free_Implementation): Remove unnecessary guard
+	against an empty list of parameters; replace low-level entity kind
+	membership test with a high-level query; refill error message.
+	* gnat_rm.texi: Regenerate.
+
+2022-10-06  Alexandre Oliva  <oliva@adacore.com>
+
+	* doc/gnat_rm/security_hardening_features.rst: Add examples of
+	codegen changes in hardened conditionals.
+	* gnat_rm.texi: Regenerate.
+
+2022-10-06  Alexandre Oliva  <oliva@adacore.com>
+
+	* doc/gnat_rm/security_hardening_features.rst: Add examples of
+	codegen changes in hardened booleans. Mention that C traps where
+	Ada raises exceptions.
+	* gnat_rm.texi: Regenerate.
+
+2022-10-06  Alexandre Oliva  <oliva@adacore.com>
+
+	* doc/gnat_rm/security_hardening_features.rst: Add examples of
+	codegen changes in stack scrubbing.
+	* gnat_rm.texi: Regenerate.
+
+2022-10-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_ch9.adb (Build_Lock_Free_Protected_Subprogram_Body): Replace
+	shallow copy of protected statements with a deep copy.
+
+2022-10-06  Marc Poulhiès  <poulhies@adacore.com>
+
+	* fe.h (Has_Storage_Model_Type_Aspect)
+	(Has_Designated_Storage_Model_Aspect, Storage_Model_Object)
+	(Storage_Model_Copy_From, Storage_Model_Copy_To): Add
+	declarations.
+	* sem_util.ads: Add WARNING markers for functions for which a new
+	C declaration has been added in fe.h
+
+2022-10-06  Steve Baird  <baird@adacore.com>
+
+	* exp_util.adb
+	(Get_Current_Value_Condition): Treat references occurring within
+	the condition of an if statement, an elsif, or a while loop in the
+	same way as references that occur before the start of that
+	enclosing construct.
+
+2022-10-06  Gary Dismukes  <dismukes@adacore.com>
+
+	* sem_ch4.adb (Analyze_Call): Add test of Comes_From_Source on the
+	enclosing subprogram's Entity_Id for determining whether to
+	perform the compile-time accessibility check on actuals passed to
+	aliased formals in a function call occurring within a return
+	statement. That test excludes cases where the call occurs within
+	the return statement of a Pre'Class wrapper function.
+
+2022-10-06  Bob Duff  <duff@adacore.com>
+
+	* exp_ch5.adb
+	(Expand_Assign_Array_Loop_Or_Bitfield): Minor cleanups.
+
+2022-10-06  Yannick Moy  <moy@adacore.com>
+
+	* sem_prag.adb (Analyze_Pragma): Ignore one variant of pragma
+	Warnings in GNATprove mode.
+
+2022-10-06  Bob Duff  <duff@adacore.com>
+
+	* exp_ch5.adb
+	(Expand_Assign_Array_Loop_Or_Bitfield): Disable the
+	Fast_Copy_Bitfield optimization in certain cases.
+
+2022-10-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_prag.adb
+	(Sig_Pragma): Change flag for pragma Refined_State to mean "not
+	significant"; this is primarily for documentation, because the
+	exact value of the flag is not really taken into account for
+	Refined_State.
+	(Is_Non_Significant_Pragma_Reference): Add special handling for
+	pragma Refined_State.
+
 2022-09-29  Ronan Desplanques  <desplanques@adacore.com>
 
 	* einfo.ads: remove documentation duplicate
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 627d9d729a9..70e9289388c 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,17 @@
+2022-10-06  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/107158
+	* store.cc (store::replay_call_summary_cluster): Eliminate
+	special-casing of RK_HEAP_ALLOCATED in favor of sharing code with
+	RK_DECL, avoiding an ICE due to attempting to bind a
+	compound_svalue into a binding_cluster when an svalue in the
+	summary cluster converts to a compound_svalue in the caller.
+
+2022-10-06  David Malcolm  <dmalcolm@redhat.com>
+
+	* call-summary.cc (call_summary_replay::dump_to_pp): Bulletproof
+	against NULL caller regions/svalues.
+
 2022-10-05  David Malcolm  <dmalcolm@redhat.com>
 
 	* analysis-plan.cc: Simplify includes.
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index c062fe1556f..75ff47d28d4 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,18 @@
+2022-10-06  Joseph Myers  <joseph@codesourcery.com>
+
+	* c-common.cc (c_common_reswords): Mark typeof as D_EXT11.  Add
+	typeof_unqual.
+	* c-common.h (enum rid): Add RID_TYPEOF_UNQUAL.
+	(D_EXT11): New macro.  Values of subsequent macros updated.
+
+2022-10-06  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/106654
+	* c-attribs.cc (handle_assume_attribute): New function.
+	(c_common_attribute_table): Add entry for assume attribute.
+	* c-lex.cc (c_common_has_attribute): Handle
+	__have_cpp_attribute (assume).
+
 2022-10-04  Jakub Jelinek  <jakub@redhat.com>
 
 	* c-omp.cc (c_omp_directives): Uncomment begin declare target
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 48eb23e0238..325b1f84733 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,35 @@
+2022-10-06  Joseph Myers  <joseph@codesourcery.com>
+
+	* c-parser.cc (c_parse_init): Add D_EXT11 to mask if flag_no_asm
+	and not C2x.
+	(c_keyword_starts_typename, c_token_starts_declspecs)
+	(c_parser_declspecs, c_parser_objc_selector): Handle
+	RID_TYPEOF_UNQUAL.
+	(c_parser_typeof_specifier): Handle RID_TYPEOF_UNQUAL.
+	Distinguish typeof for C2x from __typeof__ for all standard
+	versions and typeof before C2x.
+	* c-typeck.cc (build_function_call_vec): Use unqualified version
+	of non-void return type.
+	(build_unary_op): Use unqualified type for increment and
+	decrement.
+
+2022-10-06  Jakub Jelinek  <jakub@redhat.com>
+
+	* c-parser.cc (c_parser_omp_assumption_clauses): Emit IFN_ASSUME
+	call for holds clause on assume construct.
+
+2022-10-06  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/106654
+	* c-parser.cc (handle_assume_attribute): New function.
+	(c_parser_declaration_or_fndef): Handle assume attribute.
+	(c_parser_attribute_arguments): Add assume_attr argument,
+	if true, parse first argument as conditional expression.
+	(c_parser_gnu_attribute, c_parser_std_attribute): Adjust
+	c_parser_attribute_arguments callers.
+	(c_parser_statement_after_labels) <case RID_ATTRIBUTE>: Handle
+	assume attribute.
+
 2022-10-04  Jakub Jelinek  <jakub@redhat.com>
 
 	* c-lang.h (struct c_omp_declare_target_attr): New type.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 1fc07990e28..0fe21fd71a6 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,57 @@
+2022-10-06  Jason Merrill  <jason@redhat.com>
+
+	* coroutines.cc (expand_one_await_expression): Change conversion
+	to VIEW_CONVERT_EXPR.
+	* cp-gimplify.cc (cp_genericize_r) [CONVERT_EXPR]: Add assert.
+
+2022-10-06  Joseph Myers  <joseph@codesourcery.com>
+
+	* lex.cc (init_reswords): Handle D_EXT11.
+
+2022-10-06  Patrick Palka  <ppalka@redhat.com>
+
+	* pt.cc (optimize_specialization_lookup_p): Remove.
+	(retrieve_specialization): Assume the above returns false
+	and simplify accordingly.
+	(register_specialization): Likewise.
+
+2022-10-06  Jakub Jelinek  <jakub@redhat.com>
+
+	* parser.cc (cp_parser_omp_assumption_clauses): Emit IFN_ASSUME
+	call for holds clause on assume construct.
+
+2022-10-06  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/106654
+	* cp-tree.h (process_stmt_assume_attribute): Implement C++23
+	P1774R8 - Portable assumptions.  Declare.
+	(diagnose_failing_condition): Declare.
+	(find_failing_clause): Likewise.
+	* parser.cc (assume_attr): New enumerator.
+	(cp_parser_parenthesized_expression_list): Handle assume_attr.
+	Remove identifier variable, for id_attr push the identifier into
+	expression_list right away instead of inserting it before all the
+	others at the end.
+	(cp_parser_conditional_expression): New function.
+	(cp_parser_constant_expression): Use it.
+	(cp_parser_statement): Handle assume attribute.
+	(cp_parser_expression_statement): Likewise.
+	(cp_parser_gnu_attribute_list): Use assume_attr for assume
+	attribute.
+	(cp_parser_std_attribute): Likewise.  Handle standard assume
+	attribute like gnu::assume.
+	* cp-gimplify.cc (process_stmt_assume_attribute): New function.
+	* constexpr.cc: Include fold-const.h.
+	(find_failing_clause_r, find_failing_clause): New functions,
+	moved from semantics.cc with ctx argument added and if non-NULL,
+	call cxx_eval_constant_expression rather than fold_non_dependent_expr.
+	(cxx_eval_internal_function): Handle IFN_ASSUME.
+	(potential_constant_expression_1): Likewise.
+	* pt.cc (tsubst_copy_and_build): Likewise.
+	* semantics.cc (diagnose_failing_condition): New function.
+	(find_failing_clause_r, find_failing_clause): Moved to constexpr.cc.
+	(finish_static_assert): Use it.  Add auto_diagnostic_group.
+
 2022-10-05  Jason Merrill  <jason@redhat.com>
 
 	* tree.cc (lvalue_kind) [VIEW_CONVERT_EXPR]: Change prvalue to
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index f359f120e83..535b9aed90b 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2022-10-06  Tobias Burnus  <tobias@codesourcery.com>
+
+	* trans-openmp.cc (gfc_trans_omp_assume): New.
+	(gfc_trans_omp_directive): Call it.
+
 2022-10-05  Tobias Burnus  <tobias@codesourcery.com>
 
 	* dump-parse-tree.cc (show_omp_assumes): New.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 584fba4c8fd..9577fc16f89 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,80 @@
+2022-10-06  Aldy Hernandez  <aldyh@redhat.com>
+
+	PR tree-optimization/107170
+	* gcc.dg/tree-ssa/pr107170.c: New test.
+
+2022-10-06  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/107158
+	* gcc.dg/analyzer/call-summaries-pr107158-2.c: New test.
+
+2022-10-06  Tobias Burnus  <tobias@codesourcery.com>
+
+	* gfortran.dg/gomp/assume-3.f90: New test.
+	* gfortran.dg/gomp/assume-4.f90: New test.
+
+2022-10-06  Joseph Myers  <joseph@codesourcery.com>
+
+	* gcc.dg/c11-typeof-1.c, gcc.dg/c2x-typeof-1.c,
+	gcc.dg/c2x-typeof-2.c, gcc.dg/c2x-typeof-3.c,
+	gcc.dg/gnu11-typeof-1.c, gcc.dg/gnu11-typeof-2.c,
+	gcc.dg/gnu2x-typeof-1.c: New tests.
+
+2022-10-06  Patrick Palka  <ppalka@redhat.com>
+
+	* g++.dg/modules/indirect-3_b.C: Expect that the entity
+	foo::TPL<0>::frob is tagged as a specialization instead
+	of as a declaration.
+	* g++.dg/modules/tpl-spec-8_a.H: New test.
+	* g++.dg/modules/tpl-spec-8_b.C: New test.
+
+2022-10-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc.c-torture/execute/20221006-1.c: New test.
+
+2022-10-06  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/107115
+	* gcc.dg/torture/pr107115.c: New testcase.
+
+2022-10-06  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+	* gcc.target/aarch64/ldar_2.c: New test.
+
+2022-10-06  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+	* gcc.target/aarch64/ldar_1.c: New test.
+
+2022-10-06  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* gcc.target/aarch64/cpunative/info_18: New test.
+	* gcc.target/aarch64/cpunative/native_cpu_18.c: New test.
+
+2022-10-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/107107
+	* gcc.dg/pr107107.c: New testcase.
+
+2022-10-06  Jakub Jelinek  <jakub@redhat.com>
+
+	* c-c++-common/gomp/assume-4.c: New test.
+
+2022-10-06  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/106654
+	* gcc.dg/attr-assume-1.c: New test.
+	* gcc.dg/attr-assume-2.c: New test.
+	* gcc.dg/attr-assume-3.c: New test.
+	* g++.dg/cpp2a/feat-cxx2a.C: Add colon to C++20 features
+	comment, add C++20 attributes comment and move C++20
+	new features after the attributes before them.
+	* g++.dg/cpp23/feat-cxx2b.C: Likewise.  Test
+	__has_cpp_attribute(assume).
+	* g++.dg/cpp23/attr-assume1.C: New test.
+	* g++.dg/cpp23/attr-assume2.C: New test.
+	* g++.dg/cpp23/attr-assume3.C: New test.
+	* g++.dg/cpp23/attr-assume4.C: New test.
+
 2022-10-05  David Malcolm  <dmalcolm@redhat.com>
 
 	PR analyzer/107158
diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index 8660fb3b2e3..06240c13efc 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,71 @@
+2022-10-06  Jakub Jelinek  <jakub@redhat.com>
+
+	* config/arc/linux-unwind.h (arc_fallback_frame_state): Use
+	fs->regs.how[X] instead of fs->regs.reg[X].how.
+
+2022-10-06  Jakub Jelinek  <jakub@redhat.com>
+
+	* unwind-dw2.h (REG_UNSAVED, REG_SAVED_OFFSET, REG_SAVED_REG,
+	REG_SAVED_EXP, REG_SAVED_VAL_OFFSET, REG_SAVED_VAL_EXP,
+	REG_UNDEFINED): New anonymous enum, moved from inside of
+	struct frame_state_reg_info.
+	(struct frame_state_reg_info): Remove reg[].how element and the
+	anonymous enum there.  Add how element.
+	* unwind-dw2.c: Include stddef.h.
+	(uw_frame_state_for): Don't clear first
+	offsetof (_Unwind_FrameState, regs.how[0]) bytes of *fs.
+	(execute_cfa_program, __frame_state_for, uw_update_context_1,
+	uw_update_context): Use fs->regs.how[X] instead of fs->regs.reg[X].how
+	or fs.regs.how[X] instead of fs.regs.reg[X].how.
+	* config/sh/linux-unwind.h (sh_fallback_frame_state): Likewise.
+	* config/bfin/linux-unwind.h (bfin_fallback_frame_state): Likewise.
+	* config/pa/linux-unwind.h (pa32_fallback_frame_state): Likewise.
+	* config/pa/hpux-unwind.h (UPDATE_FS_FOR_SAR, UPDATE_FS_FOR_GR,
+	UPDATE_FS_FOR_FR, UPDATE_FS_FOR_PC, pa_fallback_frame_state):
+	Likewise.
+	* config/alpha/vms-unwind.h (alpha_vms_fallback_frame_state):
+	Likewise.
+	* config/alpha/linux-unwind.h (alpha_fallback_frame_state): Likewise.
+	* config/arc/linux-unwind.h (arc_fallback_frame_state,
+	arc_frob_update_context): Likewise.
+	* config/riscv/linux-unwind.h (riscv_fallback_frame_state): Likewise.
+	* config/nios2/linux-unwind.h (NIOS2_REG): Likewise.
+	* config/nds32/linux-unwind.h (NDS32_PUT_FS_REG): Likewise.
+	* config/s390/tpf-unwind.h (s390_fallback_frame_state): Likewise.
+	* config/s390/linux-unwind.h (s390_fallback_frame_state): Likewise.
+	* config/sparc/sol2-unwind.h (sparc64_frob_update_context,
+	MD_FALLBACK_FRAME_STATE_FOR): Likewise.
+	* config/sparc/linux-unwind.h (sparc64_fallback_frame_state,
+	sparc64_frob_update_context, sparc_fallback_frame_state): Likewise.
+	* config/i386/sol2-unwind.h (x86_64_fallback_frame_state,
+	x86_fallback_frame_state): Likewise.
+	* config/i386/w32-unwind.h (i386_w32_fallback_frame_state): Likewise.
+	* config/i386/linux-unwind.h (x86_64_fallback_frame_state,
+	x86_fallback_frame_state): Likewise.
+	* config/i386/freebsd-unwind.h (x86_64_freebsd_fallback_frame_state):
+	Likewise.
+	* config/i386/dragonfly-unwind.h
+	(x86_64_dragonfly_fallback_frame_state): Likewise.
+	* config/i386/gnu-unwind.h (x86_gnu_fallback_frame_state): Likewise.
+	* config/csky/linux-unwind.h (csky_fallback_frame_state): Likewise.
+	* config/aarch64/linux-unwind.h (aarch64_fallback_frame_state):
+	Likewise.
+	* config/aarch64/freebsd-unwind.h
+	(aarch64_freebsd_fallback_frame_state): Likewise.
+	* config/aarch64/aarch64-unwind.h (aarch64_frob_update_context):
+	Likewise.
+	* config/or1k/linux-unwind.h (or1k_fallback_frame_state): Likewise.
+	* config/mips/linux-unwind.h (mips_fallback_frame_state): Likewise.
+	* config/loongarch/linux-unwind.h (loongarch_fallback_frame_state):
+	Likewise.
+	* config/m68k/linux-unwind.h (m68k_fallback_frame_state): Likewise.
+	* config/xtensa/linux-unwind.h (xtensa_fallback_frame_state):
+	Likewise.
+	* config/rs6000/darwin-fallback.c (set_offset): Likewise.
+	* config/rs6000/aix-unwind.h (MD_FROB_UPDATE_CONTEXT): Likewise.
+	* config/rs6000/linux-unwind.h (ppc_fallback_frame_state): Likewise.
+	* config/rs6000/freebsd-unwind.h (frob_update_context): Likewise.
+
 2022-10-02  Olivier Hainque  <hainque@adacore.com>
 
 	* config/t-vxworks (LIBGCC2_INCLUDE): Augment comment.  Move