Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 77208a986dcb913195d58a5f2e522011219a0bae..958ccc686d14bda6b99e25ceacfc0b054cae8782 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,308 @@
+2022-09-05  Aldy Hernandez  <aldyh@redhat.com>
+
+       * gimple-range-fold.cc
+       (fold_using_range::range_of_builtin_int_call): Ignore sign bit
+       when there's the possibility of a NAN.
+
+2022-09-05  Aldy Hernandez  <aldyh@redhat.com>
+
+       * gimple-range-fold.cc
+       (fold_using_range::range_of_builtin_int_call): Fold a set signbit
+       in __builtin_signbit to nonzero.
+
+2022-09-05  Alexander Monakov  <amonakov@ispras.ru>
+
+       PR target/106453
+       * config/i386/i386.md (sse4_2_crc32di): Model that only low 32
+       bits of operand 0 are consumed, and the result is zero-extended
+       to 64 bits.
+
+2022-09-05  Aldy Hernandez  <aldyh@redhat.com>
+
+       PR middle-end/106831
+       * value-range.h (frange::supports_p): Disable decimal floats.
+       * range-op-float.cc (frange_drop_inf): Remove DECIMAL_FLOAT_MODE_P
+       check.
+       (frange_drop_ninf): Same.
+
+2022-09-05  Aldy Hernandez  <aldyh@redhat.com>
+
+       PR middle-end/106824
+       * value-range.cc (frange::set_nan): Set undefined when updating a
+       NAN to a non-NAN.
+
+2022-09-05  Kito Cheng  <kito.cheng@sifive.com>
+
+       * config/riscv/riscv.cc (riscv_option_override): Fix wrong
+       condition for MASK_DIV and simplify incompatible checking.
+       * config/riscv/riscv.md (muldi3): Adding parentheses.
+
+2022-09-05  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+       * config/aarch64/aarch64.cc (aarch64_validate_march): Check if invalid arch
+       string is a valid -mcpu string and emit hint.
+
+2022-09-05  LiaoShihua  <shihua@iscas.ac.cn>
+
+       * common/config/riscv/riscv-common.cc: Add Zmmul.
+       * config/riscv/riscv-opts.h (MASK_ZMMUL): New.
+       (TARGET_ZMMUL): Ditto.
+       * config/riscv/riscv.cc (riscv_option_override):Ditto.
+       * config/riscv/riscv.md: Add Zmmul
+       * config/riscv/riscv.opt: Ditto.
+
+2022-09-05  Richard Biener  <rguenther@suse.de>
+
+       * tree-cfg.h (get_cases_for_edge): Declare.
+       * tree-cfg.cc (get_cases_for_edge): Export.
+       * tree-ssa-uninit.cc (execute_late_warn_uninitialized):
+       Start and end recording case labels.
+       * gimple-predicate-analysis.cc (MAX_SWITCH_CASES): Remove.
+       (predicate::init_from_control_deps): Use get_cases_for_edge.
+
+2022-09-05  Richard Biener  <rguenther@suse.de>
+
+       * gimple-predicate-analysis.cc (MAX_POSTDOM_CHECK): Remove.
+       (compute_control_dep_chain): Move uninit-control-dep-attempts
+       checking where it also counts the post-dominator check
+       invocations.
+
+2022-09-05  Richard Biener  <rguenther@suse.de>
+
+       * gimple-predicate-analysis.h (predicate::debug): New.
+       (predicate::dump): Add FILE * argument, add base overload.
+       * gimple-predicate-analysis.cc (debug): New.
+       (dump_pred_info): Add FILE * argument.
+       (dump_pred_chain): Likewise.
+       (predicate::dump): Split out preamble into overload.  Add
+       FILE * argument.
+       (predicate::debug): New.
+       (predicate::simplify): Adjust.
+       (predicate::normalize): Likewise.
+       (predicate::init_from_control_deps): Likewise.
+
+2022-09-05  Richard Sandiford  <richard.sandiford@arm.com>
+
+       * config/aarch64/aarch64-protos.h
+       (aarch64_init_simd_builtins): Remove prototype.
+       * config/aarch64/aarch64-builtins.cc
+       (aarch64_simd_builtins_initialized_p): Delete.
+       (aarch64_init_simd_builtins): Make static.  Remove protection
+       against multiple calls.
+       * config/aarch64/aarch64-c.cc (aarch64_pragma_target_parse): Remove
+       lazy SIMD builtin initialization.
+       * config/aarch64/aarch64.cc
+       (aarch64_option_valid_attribute_p): Likewise.
+
+2022-09-05  Xi Ruoyao  <xry111@xry111.site>
+
+       * config/loongarch/genopts/loongarch.opt.in: Add
+       -mdirect-extern-access option.
+       * config/loongarch/loongarch.opt: Regenerate.
+       * config/loongarch/loongarch.cc
+       (loongarch_symbol_binds_local_p): Return true if
+       TARGET_DIRECT_EXTERN_ACCESS.
+       (loongarch_option_override_internal): Complain if
+       -mdirect-extern-access is used with -fPIC or -fpic.
+       * doc/invoke.texi: Document -mdirect-extern-access for
+       LoongArch.
+
+2022-09-05  Martin Liska  <mliska@suse.cz>
+
+       * doc/tm.texi.in: Rename DEBUGGER_REGISTER_NUMBER to
+         DEBUGGER_REGNO.
+       * doc/tm.texi: Regenerate.
+
+2022-09-05  Martin Liska  <mliska@suse.cz>
+
+       * config/aarch64/aarch64-protos.h (aarch64_dbx_regno):
+       Rename DBX_REGISTER_NUMBER to DEBUGGER_REGNO.
+       (aarch64_debugger_regno): Likewise.
+       * config/aarch64/aarch64.cc (aarch64_dbx_regno): Likewise.
+       (aarch64_debugger_regno): Likewise.
+       * config/aarch64/aarch64.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       (DWARF_FRAME_REGNUM): Likewise.
+       * config/alpha/alpha.h (DWARF_FRAME_REGNUM): Likewise.
+       * config/arc/arc.cc (arc_init_reg_tables): Likewise.
+       * config/arc/arc.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/arm/arm-protos.h (arm_dbx_regno): Likewise.
+       (arm_debugger_regno): Likewise.
+       * config/arm/arm.cc (arm_dbx_regno): Likewise.
+       (arm_debugger_regno): Likewise.
+       * config/arm/arm.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/bfin/bfin.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/c6x/c6x.cc: Likewise.
+       * config/c6x/c6x.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/cris/cris.h (enum reg_class): Likewise.
+       (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/csky/csky.cc (enum reg_class): Likewise.
+       * config/csky/csky.h (DWARF_FRAME_REGNUM): Likewise.
+       (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/frv/frv.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/gcn/gcn-hsa.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/gcn/gcn.cc (print_operand): Likewise.
+       * config/i386/bsd.h (ASM_QUAD): Likewise.
+       * config/i386/cygming.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       (DWARF_FRAME_REGNUM): Likewise.
+       * config/i386/darwin.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/djgpp.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/dragonfly.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/freebsd.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/gas.h: Likewise.
+       * config/i386/gnu-user.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/i386.cc (enum reg_class): Likewise.
+       * config/i386/i386.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/i386elf.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/iamcu.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/lynx.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/netbsd-elf.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/nto.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/openbsdelf.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/sysv4.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/vxworks.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/i386/x86-64.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/ia64/ia64-protos.h (ia64_dbx_regno): Likewise.
+       (ia64_debugger_regno): Likewise.
+       * config/ia64/ia64.cc (ia64_output_function_prologue): Likewise.
+       (ia64_dbx_regno): Likewise.
+       (ia64_debugger_regno): Likewise.
+       (process_cfa_adjust_cfa): Likewise.
+       (process_cfa_register): Likewise.
+       (ia64_asm_unwind_emit): Likewise.
+       * config/ia64/ia64.h: Likewise.
+       * config/ia64/sysv4.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/lm32/lm32.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/m32c/m32c.cc (m32c_eh_return_stackadj_rtx): Likewise.
+       * config/m32c/m32c.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/m68k/linux.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/m68k/m68k.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       (__transfer_from_trampoline): Likewise.
+       * config/m68k/m68kelf.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/m68k/netbsd-elf.h (M68K_STATIC_CHAIN_REG_NAME): Likewise.
+       (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/microblaze/microblaze.cc (microblaze_option_override): Likewise.
+       * config/microblaze/microblaze.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       (GP_DBX_FIRST): Likewise.
+       (GP_DEBUGGER_FIRST): Likewise.
+       * config/mips/vxworks.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/mmix/mmix-protos.h (mmix_dbx_regno): Likewise.
+       (mmix_debugger_regno): Likewise.
+       * config/mmix/mmix.cc (mmix_dbx_regno): Likewise.
+       (mmix_debugger_regno): Likewise.
+       * config/mmix/mmix.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/nds32/nds32-protos.h (nds32_dbx_regno): Likewise.
+       (nds32_debugger_regno): Likewise.
+       * config/nds32/nds32.cc (nds32_dbx_regno): Likewise.
+       (nds32_debugger_regno): Likewise.
+       (nds32_use_blocks_for_constant_p): Likewise.
+       * config/nds32/nds32.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/nvptx/nvptx.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/or1k/or1k.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/pa/pa32-regs.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/pa/pa64-regs.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/rs6000/rs6000-protos.h (rs6000_dbx_regno): Likewise.
+       (rs6000_debugger_regno): Likewise.
+       * config/rs6000/rs6000.cc (rs6000_dbx_regno): Likewise.
+       (rs6000_debugger_regno): Likewise.
+       * config/rs6000/rs6000.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       (DWARF2_FRAME_REG_OUT): Likewise.
+       * config/s390/s390.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/sh/elf.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/sh/linux.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/sh/sh.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       (SH_DBX_REGISTER_NUMBER): Likewise.
+       (SH_DEBUGGER_REGNO): Likewise.
+       * config/visium/visium.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/xtensa/elf.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/xtensa/linux.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/xtensa/uclinux.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * config/xtensa/xtensa-protos.h (xtensa_dbx_regno): Likewise.
+       (xtensa_debugger_regno): Likewise.
+       * config/xtensa/xtensa.cc (xtensa_dbx_regno): Likewise.
+       (xtensa_debugger_regno): Likewise.
+       * config/xtensa/xtensa.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       * defaults.h (DBX_REGISTER_NUMBER): Likewise.
+       (DEBUGGER_REGNO): Likewise.
+       (DWARF_FRAME_REGNUM): Likewise.
+       * doc/tm.texi: Likewise.
+       * doc/tm.texi.in: Likewise.
+       * dwarf2out.cc (dbx_reg_number): Likewise.
+       (debugger_reg_number): Likewise.
+       (reg_loc_descriptor): Likewise.
+       (multiple_reg_loc_descriptor): Likewise.
+       (mem_loc_descriptor): Likewise.
+       * except.cc: Likewise.
+
+2022-09-05  konglin1  <lingling.kong@intel.com>
+
+       PR target/106742
+       * config/i386/i386-expand.cc (ix86_expand_vector_init_duplicate):
+       Handle V8BF mode.
+       (expand_vec_perm_broadcast_1): Ditto.
+       * config/i386/sse.md (avx512fmaskhalfmode): Add BF vector mode.
+       (vec_set<mode>_0): Add @ to it.
+       (@vec_set<mode>_0): Ditto.
+       (vec_interleave_high<mode><mask_name>): Ditto.
+       (@vec_interleave_high<mode><mask_name>): Ditto.
+       (vec_interleave_low<mode><mask_name>): Ditto.
+       (@vec_interleave_low<mode><mask_name>): Ditto.
+       * config/i386/subst.md (SUBST_V): Add BF vector mode.
+
+2022-09-05  Aldy Hernandez  <aldyh@redhat.com>
+
+       * value-range.cc (early_nan_resolve): Remove.
+       (frange::intersect): Handle NANs.
+
 2022-09-04  Aldy Hernandez  <aldyh@redhat.com>
 
        * value-range.cc (frange::union_): Do not drop properties when

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 6f5f7110f5799825079a309ad8752f567ab592c1..80e4d819fedae221a20951c07342f37e1aff8615 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220905
+20220906

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 7bad8a6290174c474965af18c462dde29eb022e2..80e856d4df38ba3f141b10e3ba3d9b21b40415af 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,242 @@
+2022-09-05  Martin Liska  <mliska@suse.cz>
+
+       * sigtramp-vxworks-target.h: Rename DBX_REGISTER_NUMBER to
+         DEBUGGER_REGNO.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_aggr.adb (Check_Bounds): Move code and comment related to
+       check for null array aggregate from Resolve_Null_Array_Aggregate.
+       * sem_aggr.ads (Is_Null_Aggregate): Move spec from unit body.
+       * sem_aggr.adb (Resolve_Null_Array_Aggregate): Move check to
+       expansion.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_aggr.adb
+       (Array_Aggr_Subtype): Bypass call to Collect_Aggr_Bound with
+       dedicated code for null array aggregates.
+       (Resolve_Array_Aggregate): Remove special handling of null array
+       aggregates.
+       (Resolve_Array_Aggregate): Create bounds, but let
+       Array_Aggr_Subtype create itype entities.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_aggr.adb (Resolve_Null_Array_Aggregate): Insert check as a
+       Raise_Constraint_Error node and not an If_Statement.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_aggr.adb
+       (Resolve_Container_Aggregate): Style cleanup.
+       (Resolve_Record_Aggregate): Remove redundant guard.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_util.ads (Entry_Names_OK): Remove spec.
+       * exp_util.adb (Entry_Names_OK): Remove body.
+
+2022-09-05  Steve Baird  <baird@adacore.com>
+
+       * libgnat/a-coinve.adb, libgnat/a-convec.adb
+       (Append): If the Append that takes an Element and a Count is
+       called with Count = 1, then call the Append that does not take a
+       Count parameter; otherwise call the code that handles the general
+       case. Move the special case detection/handling code that was
+       formerly in that version of Append into the version that does not
+       take a Count parameter, so that now both versions get the
+       performance benefit.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_aggr.adb (Resolve_Null_Array_Aggregate): Create internal
+       type for the aggregate as an itype.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_util.ads (Itype_Has_Declaration): Remove spec.
+       * sem_util.adb (Itype_Has_Declaration): Remove body.
+
+2022-09-05  Steve Baird  <baird@adacore.com>
+
+       * exp_ch3.adb
+       (Expand_N_Object_Declaration): In deciding whether to emit a DIC
+       check, we were previously testing the Has_Init_Expression flag.
+       Continue to test that flag as before, but add a test for the
+       syntactic presence of an initial value in the object declaration.
+       This new test would not supersede the old test in the case where
+       an explicit initial value has been eliminated as part of some tree
+       transformation.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_ch13.adb (Validate_Unchecked_Conversions): Use
+       Has_Warnings_Off.
+       * sem_elab.adb (Check_Internal_Call_Continue): Likewise.
+
+2022-09-05  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * libgnat/s-valuer.adb (Scan_Decimal_Digits): Consistently avoid
+       initializing local variables.
+       (Scan_Integral_Digits): Likewise.
+       (Scan_Raw_Real): Likewise and add a couple of comments.
+
+2022-09-05  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * sem_ch13.adb (Freeze_Entity_Checks): Build predicate functions
+       only after checking the variant part of a record type, if any.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_aggr.adb
+       (Two_Pass_Aggregate_Expansion): Expand into implicit rather than
+       ordinary loops, to detect violations of restriction
+       No_Implicit_Loops.
+       (Generate_Loop): Likewise for delta array aggregates.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_aggr.adb (Two_Pass_Aggregate_Expansion): Expand iterated
+       component association with an unanalyzed copy of iterated
+       expression. The previous code worked only because the expanded
+       loop used both an analyzed copy of the iterator_specification and
+       an analyzed copy of the iterated expression. Now the iterated
+       expression is reanalyzed in the context of the expanded loop.
+       * par-ch4.adb (Build_Iterated_Component_Association): Don't set
+       defining identifier when iterator specification is present.
+       * sem_aggr.adb (Resolve_Iterated_Association): Pick index name
+       from the iterator specification.
+       * sem_elab.adb (Traverse_Potential_Scenario): Handle iterated
+       element association just like iterated component association. Not
+       strictly part of this fix, but still worth for the completeness.
+       * sem_res.adb (Resolve): Pick index name from the iterator
+       specification, when present.
+       * sem_util.adb (Traverse_More): For completeness, just like the
+       change in Traverse_Potential_Scenario.
+       * sinfo.ads
+       (ITERATED_COMPONENT_ASSOCIATION): Fix and complete description.
+       (ITERATED_ELEMENT_ASSOCIATION): Likewise.
+
+2022-09-05  Bob Duff  <duff@adacore.com>
+
+       * sem_ch6.adb
+       (Analyze_Subprogram_Body_Helper): Use First_Real_Statement to deal
+       with this case. Note that First_Real_Statement is likely to be
+       removed as part of this ticket, so this is a temporary fix.
+
+2022-09-05  Arnaud Charlet  <charlet@adacore.com>
+
+       * ali.adb (Scan_ALI): Special case i-c*.ali when setting
+       Sec_Stack_Used.
+
+2022-09-05  Bob Duff  <duff@adacore.com>
+
+       * par-ch5.adb
+       (P_Sequence_Of_Statements): Call Error_Msg_GNAT_Extension to give
+       the error message.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_aggr.adb (Resolve_Iterated_Component_Association): Split
+       processing of cases with and without iterator specification; reuse
+       analysis of iterator specification; improve diagnostics for
+       premature usage of iterator index in discrete choices.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_ch5.adb (Check_Subtype_Definition): Remove redundant call to
+       Present; style cleanup.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_aggr.adb (Resolve_Array_Aggregate): Change an inconsistent
+       use of False into its local equivalent Failure.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_aggr.adb (Resolve_Iterated_Component_Association): Change
+       generic name Ent to a more intuitive Scop; rename Remove_Ref to
+       Remove_Reference, so it can be instantiated as a traversal routine
+       with plural name.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_ch4.adb
+       (Is_Empty_Range): Move error reporting to the caller.
+       (Analyze_Qualified_Expression): Move error reporting from Is_Empty_Range;
+       add matching call to End_Scope before rewriting and returning.
+
+2022-09-05  Arnaud Charlet  <charlet@adacore.com>
+
+       * bindgen.adb (Gen_Elab_Calls): Check for Check_Elaboration_Flags.
+       * bindusg.adb (Display): Add -k.
+       * opt.ads (Check_Elaboration_Flags): New.
+       * switch-b.adb (Scan_Binder_Switches): Add processing of -k.
+       * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Add
+       documentation for -k and -K.
+       * gnat_ugn.texi: Regenerate.
+
+2022-09-05  Arnaud Charlet  <charlet@adacore.com>
+
+       * treepr.adb: Remove local To_Lower and use the procedure
+       version instead.
+
+2022-09-05  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * aspects.ads (Delaying Evaluation of Aspect): Fix typos.
+       * exp_ch3.adb (Freeze_Type): Do not generate Invariant and DIC
+       procedures for internal types.
+       * exp_util.adb (Build_DIC_Procedure_Body): Adjust comment.
+       * freeze.adb (Freeze_Entity): Call Inherit_Delayed_Rep_Aspects for
+       subtypes and derived types only after the base or parent type has
+       been frozen.  Remove useless freezing for first subtype.
+       (Freeze_Fixed_Point_Type): Call Inherit_Delayed_Rep_Aspects too.
+       * layout.adb (Set_Elem_Alignment): Deal with private types.
+       * sem_ch3.adb (Build_Derived_Enumeration_Type): Build the implicit
+       base as an itype and do not insert its declaration in the tree.
+       (Build_Derived_Numeric_Type): Do not freeze the implicit base.
+       (Derived_Standard_Character): Likewise.
+       (Constrain_Enumeration): Inherit the chain of representation items
+       instead of replacing it.
+       * sem_ch13.ads (Inherit_Aspects_At_Freeze_Point): Add ??? comment.
+       (Inherit_Delayed_Rep_Aspects): Declare.
+       * sem_ch13.adb (Analyze_Aspects_At_Freeze_Point): Do not invoke
+       Inherit_Delayed_Rep_Aspects.
+       (Inherit_Aspects_At_Freeze_Point): Deal with private types.
+       (Inherit_Delayed_Rep_Aspects): Move to library level.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * einfo-utils.adb (Number_Entries): Refine type of a local variable.
+       * exp_attr.adb (Expand_N_Attribute_Reference): Rename Conctyp to
+       Prottyp; refactor repeated calls to New_Occurrence_Of; replace
+       Number_Entries with Has_Entries.
+       * exp_ch5.adb (Expand_N_Assignment_Statement): Likewise; remove Subprg
+       variable (apparently copy-pasted from expansion of the attribute).
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_attr.adb (Expand_N_Attribute_Reference): Fix detection of the
+       enclosing protected type and of the enclosing protected subprogram.
+       * exp_ch5.adb (Expand_N_Assignment_Statement): Likewise.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * freeze.adb (Freeze_Itype): Remove excessive guard.
+       * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Likewise.
+
+2022-09-05  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sprint.adb (Sprint_Node_Actual): Handle iterator_specification within
+       iterated_component_association and iterator_filter within
+       iterator_specification.
+
+2022-09-05  Arnaud Charlet  <charlet@adacore.com>
+
+       * doc/gnat_ugn/gnat_and_program_execution.rst: Fix rest syntax
+       * gnat_ugn.texi: Regenerate.
+
 2022-09-02  Eric Botcazou  <ebotcazou@adacore.com>
 
        * exp_util.adb (Expand_Subtype_From_Expr): Be prepared for

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 01cf9d875d7a50b0c7b92c894447e255702d7bdd..3ad3096e161bec7709d9ae0c18b8913815157423 100644 (file)
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,17 @@
+2022-09-05  Tim Lange  <mail@tim-lange.me>
+
+       * region-model-impl-calls.cc (region_model::impl_call_strcpy):
+       Handle the constant string case.
+       * region-model.cc (region_model::get_string_size):
+       New function to get the string size from a region or svalue.
+       * region-model.h (class region_model): Add get_string_size.
+
+2022-09-05  Tim Lange  <mail@tim-lange.me>
+
+       * region.cc (cast_region::get_relative_concrete_offset):
+       New overloaded method.
+       * region.h: Add cast_region::get_relative_concrete_offset.
+
 2022-08-22  Martin Liska  <mliska@suse.cz>
 
        * region-model.cc: Add missing final keyword.

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index e90248d8609d78d8033d082ebdfd6bb822d83069..e20d5691b6d7928f71aaab588141bfc9382f6dc0 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,29 @@
+2022-09-05  Tobias Burnus  <tobias@codesourcery.com>
+
+       * dump-parse-tree.cc (show_omp_namelist, show_omp_clauses): Handle
+       omp_cur_iteration and distinguish doacross/depend.
+       * gfortran.h (enum gfc_omp_depend_doacross_op): Renamed from
+       gfc_omp_depend_op.
+       (enum gfc_omp_depend_doacross_op): Add OMP_DOACROSS_SINK_FIRST,
+       Rename OMP_DEPEND_SINK to OMP_DOACROSS_SINK.
+       (gfc_omp_namelist) Handle renaming, rename depend_op to
+       depend_doacross_op.
+       (struct gfc_omp_clauses): Add doacross_source.
+       * openmp.cc (gfc_match_omp_depend_sink): Renamed to ...
+       (gfc_match_omp_doacross_sink): ... this; handle omp_all_memory.
+       (enum omp_mask2): Add OMP_CLAUSE_DOACROSS.
+       (gfc_match_omp_clauses): Handle 'doacross' and syntax changes to
+       depend.
+       (gfc_match_omp_depobj): Simplify as sink/source are now impossible.
+       (gfc_match_omp_ordered_depend): Request OMP_CLAUSE_DOACROSS.
+       (resolve_omp_clauses): Update sink/source checks.
+       (gfc_resolve_omp_directive): Resolve EXEC_OMP_ORDERED clauses.
+       * parse.cc (decode_omp_directive): Handle 'ordered doacross'.
+       * trans-openmp.cc (gfc_trans_omp_clauses): Handle doacross.
+       (gfc_trans_omp_do): Fix OMP_FOR_ORIG_DECLS handling if 'ordered'
+       clause is present.
+       (gfc_trans_omp_depobj): Update for member name change.
+
 2022-09-04  José Rui Faustino de Sousa  <jrfsousa@gmail.com>
 
        PR fortran/100136

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3c5a254f77c103287b42ece6aaa23ad77f57fdb7..e5f2849ed03667c7858ec1b6edb92decfe0794b6 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,57 @@
+2022-09-05  Joseph Myers  <joseph@codesourcery.com>
+
+       * gcc.dg/cpp/c11-trigraphs-1.c, gcc.dg/cpp/c2x-trigraphs-1.c,
+       gcc.dg/cpp/c2x-trigraphs-2.c: New tests.
+
+2022-09-05  Aldy Hernandez  <aldyh@redhat.com>
+
+       * gcc.dg/tree-ssa/vrp-float-signbit-2.c: New test.
+
+2022-09-05  Alexander Monakov  <amonakov@ispras.ru>
+
+       PR target/106453
+       * gcc.target/i386/pr106453.c: New test.
+
+2022-09-05  Tobias Burnus  <tobias@codesourcery.com>
+
+       * gfortran.dg/gomp/all-memory-1.f90: Update dg-error.
+       * gfortran.dg/gomp/depend-iterator-2.f90: Likewise.
+       * gfortran.dg/gomp/depobj-2.f90: Likewise.
+       * gfortran.dg/gomp/doacross-5.f90: New test.
+       * gfortran.dg/gomp/doacross-6.f90: New test.
+
+2022-09-05  Aldy Hernandez  <aldyh@redhat.com>
+
+       PR middle-end/106824
+       * g++.dg/pr106824.C: New test.
+
+2022-09-05  Tim Lange  <mail@tim-lange.me>
+
+       * gcc.dg/analyzer/out-of-bounds-4.c: New test.
+       * gcc.dg/analyzer/strcpy-3.c: New test.
+
+2022-09-05  Tim Lange  <mail@tim-lange.me>
+
+       * gcc.dg/analyzer/fold-string-to-char.c: New test.
+
+2022-09-05  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+       * gcc.target/aarch64/spellcheck_10.c: New test.
+
+2022-09-05  LiaoShihua  <shihua@iscas.ac.cn>
+
+       * gcc.target/riscv/zmmul-1.c: New test.
+       * gcc.target/riscv/zmmul-2.c: New test.
+
+2022-09-05  Xi Ruoyao  <xry111@xry111.site>
+
+       * gcc.target/loongarch/direct-extern-1.c: New test.
+       * gcc.target/loongarch/direct-extern-2.c: New test.
+
+2022-09-05  konglin1  <lingling.kong@intel.com>
+
+       * gcc.target/i386/pr106742.c: New test.
+
 2022-09-04  José Rui Faustino de Sousa  <jrfsousa@gmail.com>
 
        PR fortran/100136

diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index c9f2f6bb066bc2de80c56e5d79350446e00bd115..7aba4f58599cd6330580d4c12b65187fb6ddd76d 100644 (file)
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,7 @@
+2022-09-05  Joseph Myers  <joseph@codesourcery.com>
+
+       * init.cc (lang_defaults): Disable trigraphs for C2x.
+
 2022-09-02  David Malcolm  <dmalcolm@redhat.com>
 
        PR c/90885

diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 47b541c3b56ad0b336f44bacc2b2b4d98daf8ed7..ddf0729dfc55ad0d7242035a42244c82e026c5ad 100644 (file)
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,7 @@
+2022-09-05  Tobias Burnus  <tobias@codesourcery.com>
+
+       * libgomp.texi (OpenMP 5.2): Update doacross/omp_cur_iteration status.
+
 2022-08-26  Tobias Burnus  <tobias@codesourcery.com>
 
        * libgomp.texi (OpenMP 5.0): Mark 'ancestor' as implemented but

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index d905767c7ab99851978a1fa1e2f92c57d7ee4d6c..c9a7f3585a50ce0957b0a175ec2c03823619a5ff 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,15 @@
+2022-09-05  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/std/type_traits (__success_type, __failure_type): Move
+       definitions later in the file.
+
+2022-09-05  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/std/type_traits (is_trivial_v, is_trivially_copyable_v)
+       (is_standard_layout_v, is_pod_v, is_literal_type_v): Use
+       built-in instead of class template.
+       (is_same_v): Add partial specialization for true case.
+
 2022-09-02  Patrick Palka  <ppalka@redhat.com>
 
        * include/std/tuple (tuple::_UseOtherCtor): Use ::type when