Daily bump.

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index f79e04757c7b62cfde6dda147788a2d5356affde..9523633c2c584374c89448ee51e2757c7973da75 100644 (file)
--- 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 e40b049f5e103b449fd1f7edb21cb291fa75c182..ad2c6e701e1819afd918620a969ae0a040411007 100644 (file)
--- 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 5ba2bc5284f7623cdb75f8cb301a3f577e484ccb..12abceb7baa3934f827b2c0236984800aa934254 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20221006
+20221007

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index be8371d3383d5faabb08f83b3241c42d2149cc37..fc3bc97bea557b875d647136c206c63036f5832b 100644 (file)
--- 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 627d9d729a91a28458d6a840a0c2c22a9662bc3b..70e9289388c304f7989c278c63aff1fd4229081c 100644 (file)
--- 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 c062fe1556f0d48664e064a3d51176d491f86daf..75ff47d28d49024333ad0fb0a7360aa8c45cb220 100644 (file)
--- 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 48eb23e02380a29a7c7fb34eba59005beb7212f9..325b1f847330eb6fbd67c4d0f286cbc44e54181e 100644 (file)
--- 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 1fc07990e2866b9577a882677ac144793d59ee46..0fe21fd71a6170dac52a60557e764205fcecb5f9 100644 (file)
--- 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 f359f120e8396858d5b4093fb8b624c9d10d97a9..535b9aed90ba8e36037344284968cb6f63294c2f 100644 (file)
--- 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 584fba4c8fdb30957d0b5b2bda8f5a9a9c8631b6..9577fc16f89c11d1e4e85ae5c404c8cb3670db5b 100644 (file)
--- 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 8660fb3b2e3df8c4f9463cba5f24f6180bd6a836..06240c13efcd664aee2872b2cd690acb6c790120 100644 (file)
--- 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