summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGCC Administrator <gccadmin@gcc.gnu.org>2022-10-07 00:17:52 +0000
committerGCC Administrator <gccadmin@gcc.gnu.org>2022-10-07 00:17:52 +0000
commit629d04d35d819bdc26c30d215bc4ea66a74af15b (patch)
tree03d2660ee57aa0ccfb9bc5748ca5f24cbd25d061
parent20462a14d8c0efdb31385c89b15523d1ee85e9b5 (diff)
downloadgcc-629d04d35d819bdc26c30d215bc4ea66a74af15b.tar.gz
Daily bump.
-rw-r--r--contrib/ChangeLog5
-rw-r--r--gcc/ChangeLog99
-rw-r--r--gcc/DATESTAMP2
-rw-r--r--gcc/ada/ChangeLog147
-rw-r--r--gcc/analyzer/ChangeLog14
-rw-r--r--gcc/c-family/ChangeLog15
-rw-r--r--gcc/c/ChangeLog32
-rw-r--r--gcc/cp/ChangeLog54
-rw-r--r--gcc/fortran/ChangeLog5
-rw-r--r--gcc/testsuite/ChangeLog77
-rw-r--r--libgcc/ChangeLog68
11 files changed, 517 insertions, 1 deletions
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