diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 626a736d3247895c6d2278b7a9db88eb9ef41400..0c74374ca5322e4daefad02ef8d8c6c80c2ff2ec 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,23 @@ +2023-05-07 Andrew Pinski <apinski@marvell.com> + + PR target/109762 + * config/aarch64/aarch64-builtins.cc (aarch64_simd_switcher::aarch64_simd_switcher): + Change argument type to aarch64_feature_flags. + * config/aarch64/aarch64-protos.h (aarch64_simd_switcher): Change + constructor argument type to aarch64_feature_flags. + Change m_old_asm_isa_flags to be aarch64_feature_flags. + +2023-05-07 Jiufu Guo <guojiufu@linux.ibm.com> + + * config/rs6000/rs6000.cc (rs6000_emit_set_long_const): Generate + more parallel code if can_create_pseudo_p. + +2023-05-07 Roger Sayle <roger@nextmovesoftware.com> + + PR target/43644 + * lower-subreg.cc (resolve_simple_move): Don't emit a clobber + immediately before moving a multi-word register by parts. + 2023-05-06 Jeff Law <jlaw@ventanamicro> * config/riscv/riscv-v.cc (riscv_vector_preferred_simd_mode): Delete. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index f84acaf5db4f6537605f28c2c7895c7b67a27ef0..e50dc5212d262e489dcee681392535a1094795a2 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230507 +20230508 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 939885c28709306817d27a44b1692e8a922bdf6f..abfc7aa2debf11e4369c50ffd808fa984dd609b0 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,78 @@ +2023-05-07 Patrick Palka <ppalka@redhat.com> + + PR c++/85979 + * cxx-pretty-print.cc (cxx_pretty_printer::unary_expression) + <case ALIGNOF_EXPR>: Consider ALIGNOF_EXPR_STD_P. + * error.cc (dump_expr) <case ALIGNOF_EXPR>: Likewise. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + DR 2256 + PR c++/103091 + * decl.cc (decl_jump_unsafe): Return bool instead of int. + Don't consider TYPE_HAS_NONTRIVIAL_DESTRUCTOR. + (check_previous_goto_1): Simplify now that decl_jump_unsafe + returns bool instead of int. + (check_goto): Likewise. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + * pt.cc (instantiate_alias_template): Exit early upon + error from coerce_template_parms. Remove dependence test + guarding constraints_satisfied_p. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + * cp-tree.h (PLACEHOLDER_TYPE_CONSTRAINTS_INFO): Harden via + TEMPLATE_TYPE_PARM_CHECK. + (TPARMS_PRIMARY_TEMPLATE): Harden via TREE_VEC_CHECK. + (TEMPLATE_TEMPLATE_PARM_TEMPLATE_DECL): Harden via + TEMPLATE_TEMPLATE_PARM_CHECK. + * cxx-pretty-print.cc (cxx_pretty_printer::simple_type_specifier): + Guard PLACEHOLDER_TYPE_CONSTRAINTS access. + * error.cc (dump_type) <case TEMPLATE_TYPE_PARM>: Use separate + variable to store CLASS_PLACEHOLDER_TEMPLATE result. + * pt.cc (outer_template_args): Use strip_innermost_template_args. + (any_type_dependent_arguments_p): Exit early if + !processing_template_decl. Use range-based for. + (any_dependent_template_arguments_p): Likewise. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + PR c++/98283 + * pt.cc (tsubst_copy_and_build) <case COMPONENT_REF>: Propagate + REF_PARENTHESIZED_P more generally via force_paren_expr. + * semantics.cc (force_paren_expr): Document default argument. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + PR c++/109651 + * pt.cc (coerce_template_args_for_ttp): Mention we can hit the + current_template_parms fallback when level-lowering a bound ttp. + (tsubst_template_decl): Add lambda_tparms parameter. Prefer to + use lambda_tparms instead of substituting DECL_TEMPLATE_PARMS. + (tsubst_decl) <case TEMPLATE_DECL>: Pass NULL_TREE as lambda_tparms + to tsubst_template_decl. + (tsubst_lambda_expr): For a generic lambda, substitute + DECL_TEMPLATE_PARMS and set current_template_parms to it + before substituting the function type. Pass the substituted + DECL_TEMPLATE_PARMS as lambda_tparms to tsubst_template_decl. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + PR c++/109480 + * semantics.cc (enforce_access): Check current_template_parms + instead of processing_template_decl when deciding whether to + defer the access check. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + PR c++/109480 + * constexpr.cc (potential_constant_expression_1) <case CALL_EXPR>: + Reorganize to call get_fns sooner. Remove special handling of + the object argument of a non-static member function call. Remove + dead store to 'fun'. + 2023-05-05 Jason Merrill <jason@redhat.com> Revert: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c79810df99011c8850f854cf4827fa7d4bcdb894..cd2f6dbd2b153c2fc6ba0c852975fd2a2e153e8d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,53 @@ +2023-05-07 Patrick Palka <ppalka@redhat.com> + + PR c++/85979 + * g++.dg/diagnostic/alignof4.C: New test. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + DR 2256 + PR c++/103091 + * g++.old-deja/g++.other/init9.C: Don't expect diagnostics for + goto made valid by DR 2256. + * g++.dg/init/goto4.C: New test. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + * g++.dg/cpp2a/concepts-alias6.C: New test. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + PR c++/98283 + * g++.dg/cpp1y/paren6.C: New test. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + PR c++/109651 + * g++.dg/cpp2a/lambda-generic-ttp1.C: New test. + * g++.dg/cpp2a/lambda-generic-ttp2.C: New test. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + PR c++/109480 + * g++.dg/template/non-dependent25a.C: New test. + +2023-05-07 Patrick Palka <ppalka@redhat.com> + + PR c++/109480 + * g++.dg/cpp0x/noexcept59.C: Make e() constexpr so that the + expected "without object" diagnostic isn't replaced by a + "call to non-constexpr function" diagnostic. + * g++.dg/template/non-dependent25.C: New test. + +2023-05-07 Jiufu Guo <guojiufu@linux.ibm.com> + + * gcc.target/powerpc/parall_5insn_const.c: New test. + +2023-05-07 Roger Sayle <roger@nextmovesoftware.com> + + PR target/43644 + * gcc.target/i386/pr43644.c: New test case. + 2023-05-06 Xi Ruoyao <xry111@xry111.site> * gcc.target/loongarch/shrink-wrap.c: New test.