public inbox for libstdc++-cvs@sourceware.org
help / color / mirror / Atom feed
From: GCC Administrator <gccadmin@gcc.gnu.org>
To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org
Subject: [gcc r13-2452] Daily bump.
Date: Tue,  6 Sep 2022 00:17:47 +0000 (GMT)	[thread overview]
Message-ID: <20220906001747.89ABE3851A87@sourceware.org> (raw)

https://gcc.gnu.org/g:47d2dcd1397bf02b79515c39438e0ea9898f9056

commit r13-2452-g47d2dcd1397bf02b79515c39438e0ea9898f9056
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Tue Sep 6 00:17:07 2022 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 305 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 239 +++++++++++++++++++++++++++++++++++++
 gcc/analyzer/ChangeLog  |  14 +++
 gcc/fortran/ChangeLog   |  26 +++++
 gcc/testsuite/ChangeLog |  54 +++++++++
 libcpp/ChangeLog        |   4 +
 libgomp/ChangeLog       |   4 +
 libstdc++-v3/ChangeLog  |  12 ++
 9 files changed, 659 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 77208a986dc..958ccc686d1 100644
--- 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 6f5f7110f57..80e4d819fed 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220905
+20220906
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 7bad8a62901..80e856d4df3 100644
--- 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 01cf9d875d7..3ad3096e161 100644
--- 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 e90248d8609..e20d5691b6d 100644
--- 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 3c5a254f77c..e5f2849ed03 100644
--- 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 c9f2f6bb066..7aba4f58599 100644
--- 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 47b541c3b56..ddf0729dfc5 100644
--- 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 d905767c7ab..c9a7f3585a5 100644
--- 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

                 reply	other threads:[~2022-09-06  0:17 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20220906001747.89ABE3851A87@sourceware.org \
    --to=gccadmin@gcc.gnu.org \
    --cc=gcc-cvs@gcc.gnu.org \
    --cc=libstdc++-cvs@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).