Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3377aa1..ca2daf3 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,322 @@
+2022-09-02  David Malcolm  <dmalcolm@redhat.com>
+
+       PR c/90885
+       * doc/invoke.texi (Warning Options): Add -Wxor-used-as-pow.
+
+2022-09-02  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+       PR d/105659
+       * config.gcc: Set tm_d_file to ${cpu_type}/${cpu_type}-d.h.
+       * config/aarch64/aarch64-d.cc: Include tm_d.h.
+       * config/aarch64/aarch64-protos.h (aarch64_d_target_versions): Move to
+       config/aarch64/aarch64-d.h.
+       (aarch64_d_register_target_info): Likewise.
+       * config/aarch64/aarch64.h (TARGET_D_CPU_VERSIONS): Likewise.
+       (TARGET_D_REGISTER_CPU_TARGET_INFO): Likewise.
+       * config/arm/arm-d.cc: Include tm_d.h and arm-protos.h instead of
+       tm_p.h.
+       * config/arm/arm-protos.h (arm_d_target_versions): Move to
+       config/arm/arm-d.h.
+       (arm_d_register_target_info): Likewise.
+       * config/arm/arm.h (TARGET_D_CPU_VERSIONS): Likewise.
+       (TARGET_D_REGISTER_CPU_TARGET_INFO): Likewise.
+       * config/default-d.cc: Remove memmodel.h include.
+       * config/freebsd-d.cc: Include tm_d.h instead of tm_p.h.
+       * config/glibc-d.cc: Likewise.
+       * config/i386/i386-d.cc: Include tm_d.h.
+       * config/i386/i386-protos.h (ix86_d_target_versions): Move to
+       config/i386/i386-d.h.
+       (ix86_d_register_target_info): Likewise.
+       (ix86_d_has_stdcall_convention): Likewise.
+       * config/i386/i386.h (TARGET_D_CPU_VERSIONS): Likewise.
+       (TARGET_D_REGISTER_CPU_TARGET_INFO): Likewise.
+       (TARGET_D_HAS_STDCALL_CONVENTION): Likewise.
+       * config/i386/winnt-d.cc: Include tm_d.h instead of tm_p.h.
+       * config/mips/mips-d.cc: Include tm_d.h.
+       * config/mips/mips-protos.h (mips_d_target_versions): Move to
+       config/mips/mips-d.h.
+       (mips_d_register_target_info): Likewise.
+       * config/mips/mips.h (TARGET_D_CPU_VERSIONS): Likewise.
+       (TARGET_D_REGISTER_CPU_TARGET_INFO): Likewise.
+       * config/netbsd-d.cc: Include tm_d.h instead of tm.h and memmodel.h.
+       * config/openbsd-d.cc: Likewise.
+       * config/pa/pa-d.cc: Include tm_d.h.
+       * config/pa/pa-protos.h (pa_d_target_versions): Move to
+       config/pa/pa-d.h.
+       (pa_d_register_target_info): Likewise.
+       * config/pa/pa.h (TARGET_D_CPU_VERSIONS): Likewise.
+       (TARGET_D_REGISTER_CPU_TARGET_INFO): Likewise.
+       * config/riscv/riscv-d.cc: Include tm_d.h.
+       * config/riscv/riscv-protos.h (riscv_d_target_versions): Move to
+       config/riscv/riscv-d.h.
+       (riscv_d_register_target_info): Likewise.
+       * config/riscv/riscv.h (TARGET_D_CPU_VERSIONS): Likewise.
+       (TARGET_D_REGISTER_CPU_TARGET_INFO): Likewise.
+       * config/rs6000/rs6000-d.cc: Include tm_d.h.
+       * config/rs6000/rs6000-protos.h (rs6000_d_target_versions): Move to
+       config/rs6000/rs6000-d.h.
+       (rs6000_d_register_target_info): Likewise.
+       * config/rs6000/rs6000.h (TARGET_D_CPU_VERSIONS) Likewise.:
+       (TARGET_D_REGISTER_CPU_TARGET_INFO) Likewise.:
+       * config/s390/s390-d.cc: Include tm_d.h.
+       * config/s390/s390-protos.h (s390_d_target_versions): Move to
+       config/s390/s390-d.h.
+       (s390_d_register_target_info): Likewise.
+       * config/s390/s390.h (TARGET_D_CPU_VERSIONS): Likewise.
+       (TARGET_D_REGISTER_CPU_TARGET_INFO): Likewise.
+       * config/sol2-d.cc: Include tm_d.h instead of tm.h and memmodel.h.
+       * config/sparc/sparc-d.cc: Include tm_d.h.
+       * config/sparc/sparc-protos.h (sparc_d_target_versions): Move to
+       config/sparc/sparc-d.h.
+       (sparc_d_register_target_info): Likewise.
+       * config/sparc/sparc.h (TARGET_D_CPU_VERSIONS): Likewise.
+       (TARGET_D_REGISTER_CPU_TARGET_INFO): Likewise.
+       * configure: Regenerate.
+       * configure.ac (tm_d_file): Remove defaults.h.
+       (tm_d_include_list): Remove options.h and insn-constants.h.
+       * config/aarch64/aarch64-d.h: New file.
+       * config/arm/arm-d.h: New file.
+       * config/i386/i386-d.h: New file.
+       * config/mips/mips-d.h: New file.
+       * config/pa/pa-d.h: New file.
+       * config/riscv/riscv-d.h: New file.
+       * config/rs6000/rs6000-d.h: New file.
+       * config/s390/s390-d.h: New file.
+       * config/sparc/sparc-d.h: New file.
+
+2022-09-02  Aldy Hernandez  <aldyh@redhat.com>
+
+       * builtins.cc (fold_builtin_inf): Convert use of real_info to dconstinf.
+       (fold_builtin_fpclassify): Same.
+       * fold-const-call.cc (fold_const_call_cc): Same.
+       * match.pd: Same.
+       * omp-low.cc (omp_reduction_init_op): Same.
+       * realmpfr.cc (real_from_mpfr): Same.
+       * tree.cc (build_complex_inf): Same.
+
+2022-09-02  Peter Bergner  <bergner@linux.ibm.com>
+
+       * config/rs6000/rs6000-builtin.cc (rs6000_gimple_fold_mma_builtin): Use
+       NOP_EXPR for MMA pointer casting.
+
+2022-09-02  Richard Sandiford  <richard.sandiford@arm.com>
+
+       * tree-vect-slp.cc (vect_optimize_slp_pass::internal_node_cost):
+       Reduce the fallback cost to 1.  Only use it if the number of
+       input lanes is equal to the number of output lanes.
+
+2022-09-02  Richard Sandiford  <richard.sandiford@arm.com>
+
+       PR tree-optimization/106787
+       * tree-vect-slp.cc (vect_map_to_instance): New function, split out
+       from...
+       (vect_bb_partition_graph_r): ...here.  Replace the visited set
+       with a map from nodes to instances.  Ensure that a node only
+       appears in one partition.
+       (vect_bb_partition_graph): Update accordingly.
+
+2022-09-02  Richard Biener  <rguenther@suse.de>
+
+       * timevar.def (TV_TREE_RPO_VN): New.
+       * tree-ssa-sccvn.h (do_rpo_vn): Remove one overload.
+       * tree-ssa-sccvn.cc (do_rpo_vn_1): Rename the worker.
+       (do_rpo_vn): Unify the public API, track with TV_TREE_RPO_VN.
+       (pass_fre::execute): Adjust.
+       * tree-ssa-uninit.cc (execute_early_warn_uninitialized): Adjust.
+
+2022-09-02  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/106809
+       * tree-ssa-sccvn.cc (dominaged_by_p_w_unex): Check we have
+       more than one successor before doing extra work.
+
+2022-09-02  Kito Cheng  <kito.cheng@sifive.com>
+
+       * common/config/riscv/riscv-common.cc: Include <vector>.
+       (struct riscv_multi_lib_info_t): New.
+       (riscv_subset_list::match_score): Ditto.
+       (find_last_appear_switch): Ditto.
+       (prefixed_with): Ditto.
+       (struct multi_lib_info_t): Ditto.
+       (riscv_current_arch_str): Ditto.
+       (riscv_current_abi_str): Ditto.
+       (riscv_multi_lib_info_t::parse): Ditto.
+       (riscv_check_cond): Ditto.
+       (riscv_check_conds): Ditto.
+       (riscv_compute_multilib): Ditto.
+       (TARGET_COMPUTE_MULTILIB): Defined.
+       * config/riscv/elf.h (LIB_SPEC): Call riscv_multi_lib_check if
+       doing link.
+       (RISCV_USE_CUSTOMISED_MULTI_LIB): New.
+       * config/riscv/riscv.h (riscv_multi_lib_check): New.
+       (EXTRA_SPEC_FUNCTIONS): Add riscv_multi_lib_check.
+       * config/riscv/riscv-subset.h (riscv_subset_list::match_score): New.
+
+2022-09-02  Kito Cheng  <kito.cheng@sifive.com>
+
+       * common/common-target.def (compute_multilib): New.
+       * common/common-targhooks.h (default_compute_multilib): New.
+       * common/common-targhooks.cc (default_compute_multilib): New.
+       * doc/tm.texi.in (TARGET_COMPUTE_MULTILIB): New.
+       * doc/tm.texi: Regen.
+       * gcc.cc: Include common/common-target.h.
+       (set_multilib_dir) Call targetm_common.compute_multilib.
+       (SWITCH_LIVE): Move to opts.h.
+       (SWITCH_FALSE): Ditto.
+       (SWITCH_IGNORE): Ditto.
+       (SWITCH_IGNORE_PERMANENTLY): Ditto.
+       (SWITCH_KEEP_FOR_GCC): Ditto.
+       (struct switchstr): Ditto.
+       * opts.h (SWITCH_LIVE): Move from gcc.c.
+       (SWITCH_FALSE): Ditto.
+       (SWITCH_IGNORE): Ditto.
+       (SWITCH_IGNORE_PERMANENTLY): Ditto.
+       (SWITCH_KEEP_FOR_GCC): Ditto.
+       (struct switchstr): Ditto.
+
+2022-09-02  Martin Liska  <mliska@suse.cz>
+
+       * config/pdp11/pdp11.h (PREFERRED_DEBUGGING_TYPE): Disable
+       debugging format.
+
+2022-09-02  Martin Liska  <mliska@suse.cz>
+
+       * Makefile.in: Remove -gstabs option support, DBX-related
+         macros and DBX debugging info support.
+       * collect2.cc (scan_prog_file): Likewise.
+       * common.opt: Likewise.
+       * config.gcc: Likewise.
+       * config.in: Likewise.
+       * config/aarch64/aarch64-elf.h (DBX_DEBUGGING_INFO): Likewise.
+       * config/alpha/alpha.cc: Likewise.
+       * config/alpha/elf.h (ASM_SPEC): Likewise.
+       * config/arc/arc.h (DBX_DEBUGGING_INFO): Likewise.
+       (DBX_CONTIN_LENGTH): Likewise.
+       * config/arm/aout.h (DBX_DEBUGGING_INFO): Likewise.
+       (DBX_CONTIN_LENGTH): Likewise.
+       * config/arm/netbsd-elf.h (DBX_CONTIN_LENGTH): Likewise.
+       * config/darwin.h (DSYMUTIL_SPEC): Likewise.
+       (ASM_DEBUG_SPEC): Likewise.
+       (DBX_DEBUGGING_INFO): Likewise.
+       (DBX_USE_BINCL): Likewise.
+       (DBX_CONTIN_LENGTH): Likewise.
+       (DBX_OUTPUT_NULL_N_SO_AT_MAIN_SOURCE_FILE_END): Likewise.
+       * config/epiphany/epiphany.h (DBX_DEBUGGING_INFO): Likewise.
+       (DBX_CONTIN_LENGTH): Likewise.
+       * config/i386/bsd.h (DBX_NO_XREFS): Likewise.
+       (DBX_CONTIN_LENGTH): Likewise.
+       * config/i386/gas.h (DBX_NO_XREFS): Likewise.
+       (DBX_CONTIN_LENGTH): Likewise.
+       * config/ia64/ia64.h: Likewise.
+       * config/ia64/sysv4.h (DBX_DEBUGGING_INFO): Likewise.
+       * config/m68k/linux.h (DBX_CONTIN_LENGTH): Likewise.
+       * config/m68k/openbsd.h (DBX_DEBUGGING_INFO): Likewise.
+       (DBX_CONTIN_LENGTH): Likewise.
+       (DBX_CONTIN_CHAR): Likewise.
+       * config/mips/mips.cc (mips_output_filename): Likewise.
+       (mips_option_override): Likewise.
+       * config/mips/mips.h (SUBTARGET_ASM_DEBUGGING_SPEC): Likewise.
+       (DBX_DEBUGGING_INFO): Likewise.
+       (DBX_CONTIN_LENGTH): Likewise.
+       (DBX_REGISTER_NUMBER): Likewise.
+       (GP_DBX_FIRST): Likewise.
+       (FP_DBX_FIRST): Likewise.
+       (MD_DBX_FIRST): Likewise.
+       * config/nvptx/nvptx.cc: Likewise.
+       * config/openbsd.h (DBX_NO_XREFS): Likewise.
+       * config/pa/pa-64.h (DBX_DEBUGGING_INFO): Likewise.
+       * config/pa/pa.h (ASSEMBLER_DIALECT): Likewise.
+       (DBX_CONTIN_LENGTH): Likewise.
+       * config/pa/som.h (PREFERRED_DEBUGGING_TYPE): Likewise.
+       (DBX_USE_BINCL): Likewise.
+       (DBX_LINES_FUNCTION_RELATIVE): Likewise.
+       (DBX_OUTPUT_NULL_N_SO_AT_MAIN_SOURCE_FILE_END): Likewise.
+       * config/pdp11/pdp11.cc: Likewise.
+       * config/pdp11/pdp11.h (DBX_DEBUGGING_INFO): Likewise.
+       (PREFERRED_DEBUGGING_TYPE): Likewise.
+       (DBX_CONTIN_LENGTH): Likewise.
+       * config/rs6000/rs6000-builtin.cc: Likewise.
+       * config/rs6000/rs6000-call.cc: Likewise.
+       * config/rs6000/rs6000-logue.cc (defined): Likewise.
+       * config/rs6000/rs6000.cc (rs6000_option_override_internal): Likewise.
+       (HAVE_XCOFF_DWARF_EXTRAS): Likewise.
+       (rs6000_xcoff_declare_function_name): Likewise.
+       * config/rs6000/sysv4.h (DBX_DEBUGGING_INFO): Likewise.
+       (DBX_FUNCTION_FIRST): Likewise.
+       * config/rs6000/xcoff.h (XCOFF_DEBUGGING_INFO): Likewise.
+       * config/rx/rx.h (DBX_DEBUGGING_INFO): Likewise.
+       * config/sh/elf.h (DBX_LINES_FUNCTION_RELATIVE): Likewise.
+       (DBX_OUTPUT_NULL_N_SO_AT_MAIN_SOURCE_FILE_END): Likewise.
+       * config/sol2.h (NO_DBX_BNSYM_ENSYM): Likewise.
+       * config/sparc/freebsd.h (DBX_CONTIN_CHAR): Likewise.
+       * config/sparc/netbsd-elf.h (DBX_CONTIN_CHAR): Likewise.
+       * config/sparc/sparc.h (DBX_CONTIN_LENGTH): Likewise.
+       * config/vax/vax.cc (vax_file_start): Likewise.
+       * config/vax/vax.h (DBX_DEBUGGING_INFO): Likewise.
+       (DBX_CONTIN_LENGTH): Likewise.
+       (DBX_CONTIN_CHAR): Likewise.
+       (DBX_NO_XREFS): Likewise.
+       (DBX_STATIC_STAB_DATA_SECTION): Likewise.
+       * config/vx-common.h (DBX_DEBUGGING_INFO): Likewise.
+       (XCOFF_DEBUGGING_INFO): Likewise.
+       * configure: Regenerate. Likewise.
+       * configure.ac: Likewise.
+       * debug.h: Likewise.
+       * doc/install.texi: Likewise.
+       * doc/invoke.texi: Likewise.
+       * doc/passes.texi: Likewise.
+       * doc/tm.texi: Likewise.
+       * doc/tm.texi.in: Likewise.
+       * dwarf2asm.cc (XCOFF_DEBUGGING_INFO): Likewise.
+       (dw2_asm_output_nstring): Likewise.
+       (USE_LINKONCE_INDIRECT): Likewise.
+       * dwarf2out.cc (XCOFF_DEBUGGING_INFO): Likewise.
+       (HAVE_XCOFF_DWARF_EXTRAS): Likewise.
+       (output_fde): Likewise.
+       (output_call_frame_info): Likewise.
+       (have_macinfo): Likewise.
+       (add_AT_loc_list): Likewise.
+       (add_AT_view_list): Likewise.
+       (output_compilation_unit_header): Likewise.
+       (output_pubnames): Likewise.
+       (output_aranges): Likewise.
+       (output_line_info): Likewise.
+       (output_macinfo): Likewise.
+       (dwarf2out_finish): Likewise.
+       (dwarf2out_early_finish): Likewise.
+       * final.cc (final_scan_insn_1): Likewise.
+       (rest_of_handle_final): Likewise.
+       * flag-types.h (enum debug_info_type): Likewise.
+       (DBX_DEBUG): Likewise.
+       (XCOFF_DEBUG): Likewise.
+       * function.cc (defined): Likewise.
+       * gcc.cc (defined): Likewise.
+       (ASM_DEBUG_SPEC): Likewise.
+       (ASM_DEBUG_OPTION_SPEC): Likewise.
+       * opts.cc (common_handle_option): Likewise.
+       (set_debug_level): Likewise.
+       * system.h (fancy_abort): Likewise.
+       * target-def.h (TARGET_ASM_CONSTRUCTOR): Likewise.
+       (TARGET_ASM_DESTRUCTOR): Likewise.
+       * toplev.cc (defined): Likewise.
+       * varasm.cc: Likewise.
+       * config/dbxcoff.h: Removed.
+       * config/dbxelf.h: Removed.
+       * dbxout.cc: Removed.
+       * dbxout.h: Removed.
+       * gstab.h: Removed.
+       * stab.def: Removed.
+       * xcoffout.cc: Removed.
+       * xcoffout.h: Removed.
+
+2022-09-02  Simon Rainer  <gcc.gnu@vvalter.com>
+
+       PR ipa/106627
+       * config/i386/i386-features.cc (ix86_get_function_versions_dispatcher):
+       Set TREE_NOTHROW correctly for dispatcher declaration.
+       * config/rs6000/rs6000.cc (rs6000_get_function_versions_dispatcher):
+       Likewise.
+
 2022-09-01  Tamar Christina  <tamar.christina@arm.com>
 
        PR other/106782

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 9dafb97..e15744d 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220902
+20220903

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 2469db4..7bad8a6 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,96 @@
+2022-09-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_util.adb (Expand_Subtype_From_Expr): Be prepared for
+       rewritten aggregates as expressions.
+
+2022-09-02  Gary Dismukes  <dismukes@adacore.com>
+
+       * exp_ch6.adb (Expand_Simple_Function_Return) Bypass creation of an actual
+       subtype and unchecked conversion to that subtype when the underlying type
+       of the expression has discriminants without defaults.
+
+2022-09-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_util.adb (Expand_Subtype_From_Expr): Check for the presence
+       of the Is_Constr_Subt_For_U_Nominal flag instead of the absence
+       of the Is_Constr_Subt_For_UN_Aliased flag on the subtype of the
+       expression of an object declaration before reusing this subtype.
+       * sem_ch3.adb (Analyze_Object_Declaration): Do not incorrectly
+       set the Is_Constr_Subt_For_UN_Aliased flag on the actual subtype
+       of an array with definite nominal subtype.  Remove useless test.
+
+2022-09-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
+       (No_Dependence): Cite implicit dependences on the runtime library.
+       * gnat_rm.texi, gnat_ugn.texi: Regenerate.
+
+2022-09-02  Claire Dross  <dross@adacore.com>
+
+       * libgnat/a-strmap.adb: Add variants to simple and while loops.
+       * libgnat/a-strsea.adb: Idem.
+
+2022-09-02  Claire Dross  <dross@adacore.com>
+
+       * libgnat/s-expmod.adb (Lemma_Add_Mod): Add new lemma to factor
+       out a complex sub-proof.
+       (Exp_Modular): Add assertion to help proof.
+
+2022-09-02  Claire Dross  <dross@adacore.com>
+
+       * libgnat/s-widthu.adb (Lemma_Euclidean): Lemma to prove the
+       relation between the quotient/remainder of a division.
+
+2022-09-02  Yannick Moy  <moy@adacore.com>
+
+       * libgnat/s-aridou.adb: Add or rework ghost code.
+       * libgnat/s-aridou.ads: Add Big_Positive subtype.
+
+2022-09-02  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * doc/gnat_ugn/gnat_and_program_execution.rst
+       (Non-Symbolic Traceback): Update section.
+       * gnat_rm.texi, gnat_ugn.texi, gnat-style.texi: Regenerate.
+
+2022-09-02  Claire Dross  <dross@adacore.com>
+
+       * libgnat/a-nbnbig.ads: Add Always_Return annotation.
+       * libgnat/s-vaispe.ads: New ghost unit for the specification of
+       System.Value_I. Restore proofs.
+       * libgnat/s-vauspe.ads: New ghost unit for the specification of
+       System.Value_U. Restore proofs.
+       * libgnat/s-valuei.adb: The specification only subprograms are
+       moved to System.Value_I_Spec. Restore proofs.
+       * libgnat/s-valueu.adb: The specification only subprograms are
+       moved to System.Value_U_Spec. Restore proofs.
+       * libgnat/s-valuti.ads
+       (Uns_Params): Generic unit used to bundle together the
+       specification functions of System.Value_U_Spec.
+       (Int_Params): Generic unit used to bundle together the
+       specification functions of System.Value_I_Spec.
+       * libgnat/s-imagef.adb: It is now possible to instantiate the
+       appropriate specification units instead of creating imported ghost
+       subprograms.
+       * libgnat/s-imagei.adb: Update to refactoring of specifications
+       and fix proofs.
+       * libgnat/s-imageu.adb: Likewise.
+       * libgnat/s-imgint.ads: Ghost parameters are grouped together in a
+       package now.
+       * libgnat/s-imglli.ads: Likewise.
+       * libgnat/s-imgllu.ads: Likewise.
+       * libgnat/s-imgllli.ads: Likewise.
+       * libgnat/s-imglllu.ads: Likewise.
+       * libgnat/s-imguns.ads: Likewise.
+       * libgnat/s-vallli.ads: Likewise.
+       * libgnat/s-valllli.ads: Likewise.
+       * libgnat/s-imagei.ads: Likewise.
+       * libgnat/s-imageu.ads: Likewise.
+       * libgnat/s-vaispe.adb: Likewise.
+       * libgnat/s-valint.ads: Likewise.
+       * libgnat/s-valuei.ads: Likewise.
+       * libgnat/s-valueu.ads: Likewise.
+       * libgnat/s-vauspe.adb: Likewise.
+
 2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc-interface/trans.cc (gnat_to_gnu) <N_Assignment_Statement>: Fix

diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index e03e3a0..360586e 100644 (file)
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,11 @@
+2022-09-02  David Malcolm  <dmalcolm@redhat.com>
+
+       PR c/90885
+       * c-common.h (check_for_xor_used_as_pow): New decl.
+       * c-lex.cc (c_lex_with_flags): Add DECIMAL_INT to flags as appropriate.
+       * c-warn.cc (check_for_xor_used_as_pow): New.
+       * c.opt (Wxor-used-as-pow): New.
+
 2022-09-01  Jason Merrill  <jason@redhat.com>
 
        * c-common.cc (c_common_nodes_and_builtins): Set TREE_STRING_FLAG on

diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 61b9c66..fb3f970 100644 (file)
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,21 @@
+2022-09-02  David Malcolm  <dmalcolm@redhat.com>
+
+       PR c/90885
+       * c-parser.cc (c_parser_string_literal): Clear ret.m_decimal.
+       (c_parser_expr_no_commas): Likewise.
+       (c_parser_conditional_expression): Likewise.
+       (c_parser_binary_expression): Clear m_decimal when popping the
+       stack.
+       (c_parser_unary_expression): Clear ret.m_decimal.
+       (c_parser_has_attribute_expression): Likewise for result.
+       (c_parser_predefined_identifier): Likewise for expr.
+       (c_parser_postfix_expression): Likewise for expr.
+       Set expr.m_decimal when handling a CPP_NUMBER that was a decimal
+       token.
+       * c-tree.h (c_expr::m_decimal): New bitfield.
+       * c-typeck.cc (parser_build_binary_op): Clear result.m_decimal.
+       (parser_build_binary_op): Call check_for_xor_used_as_pow.
+
 2022-09-01  Joseph Myers  <joseph@codesourcery.com>
 
        * c-decl.cc (grokparms): Handle () in a function declaration the

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index c9b87ba..3d2cd75 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,15 @@
+2022-09-02  David Malcolm  <dmalcolm@redhat.com>
+
+       PR c/90885
+       * cp-tree.h (class cp_expr): Add bitfield m_decimal.  Clear it in
+       existing ctors.  Add ctor that allows specifying its value.
+       (cp_expr::decimal_p): New accessor.
+       * parser.cc (cp_parser_expression_stack_entry::flags): New field.
+       (cp_parser_primary_expression): Set m_decimal of cp_expr when
+       handling numbers.
+       (cp_parser_binary_expression): Extract flags from token when
+       populating stack.  Call check_for_xor_used_as_pow.
+
 2022-09-01  Marek Polacek  <polacek@redhat.com>
 
        * cp-tree.h (maybe_strip_ref_conversion): Remove.

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 8216d3b..8baf15a 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2022-09-02  Harald Anlauf  <anlauf@gmx.de>
+           Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/99349
+       * decl.cc (match_data_constant): Avoid NULL pointer dereference.
+
 2022-08-26  Jakub Jelinek  <jakub@redhat.com>
 
        PR fortran/106579

diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog
index 5dbcb29..c3f3da1 100644 (file)
--- a/gcc/go/ChangeLog
+++ b/gcc/go/ChangeLog
@@ -1,3 +1,9 @@
+2022-09-02  Martin Liska  <mliska@suse.cz>
+
+       * go-lang.cc (go_langhook_pushdecl): Remove -gstabs option support, DBX-related
+         macros and DBX debugging info support.
+       * gospec.cc (lang_specific_driver): Likewise.
+
 2022-07-16  Ian Lance Taylor  <iant@golang.org>
 
        * go-gcc.cc (Gcc_backend::struct_field_expression): Handle a void

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d8a1999..96808a4 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,62 @@
+2022-09-02  David Malcolm  <dmalcolm@redhat.com>
+
+       PR c/90885
+       * c-c++-common/Wxor-used-as-pow-1.c: New test.
+       * c-c++-common/Wxor-used-as-pow-fixits.c: New test.
+       * g++.dg/parse/expr3.C: Convert 2 to 0x2 to suppress
+       -Wxor-used-as-pow.
+       * g++.dg/warn/Wparentheses-10.C: Likewise.
+       * g++.dg/warn/Wparentheses-18.C: Likewise.
+       * g++.dg/warn/Wparentheses-19.C: Likewise.
+       * g++.dg/warn/Wparentheses-9.C: Likewise.
+       * g++.dg/warn/Wxor-used-as-pow-named-op.C: New test.
+       * gcc.dg/Wparentheses-6.c: Convert 2 to 0x2 to suppress
+       -Wxor-used-as-pow.
+       * gcc.dg/Wparentheses-7.c: Likewise.
+       * gcc.dg/precedence-1.c: Likewise.
+
+2022-09-02  Harald Anlauf  <anlauf@gmx.de>
+           Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/99349
+       * gfortran.dg/pr99349.f90: New test.
+
+2022-09-02  Richard Sandiford  <richard.sandiford@arm.com>
+
+       * gcc.dg/vect/bb-slp-layout-20.c: New test.
+
+2022-09-02  Richard Sandiford  <richard.sandiford@arm.com>
+
+       * gcc.dg/vect/bb-slp-layout-19.c: New test.
+
+2022-09-02  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/106809
+       * gcc.dg/torture/pr106809.c: New testcase.
+
+2022-09-02  Martin Liska  <mliska@suse.cz>
+
+       * lib/gcc-dg.exp: Remove -gstabs option support, DBX-related
+         macros and DBX debugging info support.
+       * lib/gfortran-dg.exp: Likewise.
+       * lib/target-supports.exp: Likewise.
+       * g++.dg/cpp0x/alias-decl-debug-0.C: Removed.
+       * g++.dg/other/PR23205.C: Removed.
+       * g++.dg/other/pr23205-2.C: Removed.
+       * gcc.dg/20040813-1.c: Removed.
+       * gcc.dg/darwin-20040809-2.c: Removed.
+       * gcc.dg/debug/pr35154.c: Removed.
+       * gcc.dg/pr69471-2.c: Removed.
+       * gcc.target/powerpc/stabs-attrib-vect-darwin.c: Removed.
+       * gcc.target/s390/20041216-1.c: Removed.
+       * gfortran.dg/debug/pr35154-stabs.f: Removed.
+       * objc.dg/stabs-1.m: Removed.
+
+2022-09-02  Simon Rainer  <gcc.gnu@vvalter.com>
+
+       PR ipa/106627
+       * g++.target/i386/pr106627.C: New test.
+
 2022-09-01  H.J. Lu  <hjl.tools@gmail.com>
 
        PR target/106707

diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index defaa94..c9f2f6b 100644 (file)
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,11 @@
+2022-09-02  David Malcolm  <dmalcolm@redhat.com>
+
+       PR c/90885
+       * include/cpplib.h (BOL): Move macro to 1 << 12 since it is
+       not used by C/C++'s unsigned char token flags.
+       (DECIMAL_INT): New, using 1 << 6, so that it is visible as
+       part of C/C++'s 8 bits of token flags.
+
 2022-09-01  Jakub Jelinek  <jakub@redhat.com>
 
        PR c++/106655

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 2547cd6..d905767 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,45 @@
+2022-09-02  Patrick Palka  <ppalka@redhat.com>
+
+       * include/std/tuple (tuple::_UseOtherCtor): Use ::type when
+       deriving from __and_, __or_ or __not_.
+       * include/std/type_traits (negation): Likewise.
+       (is_unsigned): Likewise.
+       (__is_implicitly_default_constructible): Likewise.
+       (is_trivially_destructible): Likewise.
+       (__is_nt_invocable_impl): Likewise.
+
+2022-09-02  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/std/type_traits (is_constructible_v)
+       (is_default_constructible_v, is_copy_constructible_v)
+       (is_move_constructible_v): Define using __is_constructible.
+       (is_assignable_v, is_copy_assignable_v, is_move_assignable_v):
+       Define using __is_assignable.
+       (is_trivially_constructible_v)
+       (is_trivially_default_constructible_v)
+       (is_trivially_copy_constructible_v)
+       (is_trivially_move_constructible_v): Define using
+       __is_trivially_constructible.
+       (is_trivially_assignable_v, is_trivially_copy_assignable_v)
+       (is_trivially_move_assignable_v): Define using
+       __is_trivially_assignable.
+       (is_nothrow_constructible_v)
+       (is_nothrow_default_constructible_v)
+       (is_nothrow_copy_constructible_v)
+       (is_nothrow_move_constructible_v): Define using
+       __is_nothrow_constructible.
+       (is_nothrow_assignable_v, is_nothrow_copy_assignable_v)
+       (is_nothrow_move_assignable_v): Define using
+       __is_nothrow_assignable.
+
+2022-09-02  Patrick Palka  <ppalka@redhat.com>
+
+       * include/std/type_traits (__or_, __and_, __not_): Redefine as a
+       class template instead of as an alias template.
+       * testsuite/20_util/logical_traits/requirements/short_circuit.cc:
+       Add more tests for conjunction and disjunction.  Add corresponding
+       tests for __and_ and __or_.
+
 2022-09-01  Jonathan Wakely  <jwakely@redhat.com>
 
        * include/std/ranges (adjacent_transform_view::_Iterator): Add