[gcc r13-461] Daily bump.
GCC Administrator
gccadmin@gcc.gnu.org
Sat May 14 00:17:55 GMT 2022
https://gcc.gnu.org/g:9df4ffe493a4616b276c66e73df3b2e929db023b
commit r13-461-g9df4ffe493a4616b276c66e73df3b2e929db023b
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Sat May 14 00:17:19 2022 +0000
Daily bump.
Diff:
---
ChangeLog | 4 +
gcc/ChangeLog | 257 +++++++++++++++++++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 300 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/analyzer/ChangeLog | 4 +
gcc/c-family/ChangeLog | 4 +
gcc/cp/ChangeLog | 8 ++
gcc/fortran/ChangeLog | 6 +
gcc/testsuite/ChangeLog | 147 ++++++++++++++++++++++++
libgcc/ChangeLog | 6 +
libgomp/ChangeLog | 16 +++
libstdc++-v3/ChangeLog | 121 +++++++++++++++++++
12 files changed, 874 insertions(+), 1 deletion(-)
diff --git a/ChangeLog b/ChangeLog
index 67bb7866852..8c42a7ca517 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-05-13 Surya Kumari Jangala <jskumari@linux.ibm.com>
+
+ * MAINTAINERS: Add myself to write after approval.
+
2022-05-11 Kewen Lin <linkw@linux.ibm.com>
* MAINTAINERS: Remove myself from DCO section.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index eecedab76e9..31c63f69f3e 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,260 @@
+2022-05-13 Roger Sayle <roger@nextmovesoftware.com>
+ Uroš Bizjak <ubizjak@gmail.com>
+
+ * config/i386/sse.md (vec_cmpeqv2div2di): Enable for TARGET_SSE2.
+ For !TARGET_SSE4_1, expand as a V4SI vector comparison, followed
+ by a pshufd and pand.
+ (vec_cmpeqv1tiv1ti): New define_expand implementing V1TImode
+ vector equality as a V2DImode vector comparison (see above),
+ followed by a pshufd and pand.
+
+2022-05-13 Roger Sayle <roger@nextmovesoftware.com>
+
+ PR tree-optimization/83907
+ * tree-ssa-strlen.cc (handle_builtin_memset): Record a strinfo
+ for memset with an constant char value.
+ (handle_store): Improved handling of stores with a first byte
+ of zero, but not storing_all_zeros_p.
+
+2022-05-13 Philipp Tomsich <philipp.tomsich@vrull.eu>
+ Manolis Tsamis <manolis.tsamis@vrull.eu>
+
+ * config/riscv/riscv.h (CLZ_DEFINED_VALUE_AT_ZERO): Implement.
+ (CTZ_DEFINED_VALUE_AT_ZERO): Same.
+ * doc/sourcebuild.texi: add documentation for RISC-V specific
+ test target keywords
+
+2022-05-13 Andrew MacLeod <amacleod@redhat.com>
+
+ PR tree-optimization/105597
+ * range-op.cc (operator_minus::lhs_op1_relation): Use op1 instead
+ of the lhs and make sure it is not undefined.
+
+2022-05-13 Sebastian Pop <spop@amazon.com>
+
+ PR target/105162
+ * config/aarch64/aarch64-protos.h (atomic_ool_names): Increase dimension
+ of str array.
+ * config/aarch64/aarch64.cc (aarch64_atomic_ool_func): Call
+ memmodel_from_int and handle MEMMODEL_SYNC_*.
+ (DEF0): Add __aarch64_*_sync functions.
+
+2022-05-13 Andrew MacLeod <amacleod@redhat.com>
+
+ * gimple-range-fold.cc (fold_using_range::range_of_phi): Use new VREL_*
+ enumerated values.
+ * gimple-range-path.cc (maybe_register_phi_relation): Ditto.
+ * range-op.cc (*::lhs_op1_relation): Return relation_kind, and use
+ new VREL enumerated values.
+ (*::lhs_op2_relation): Ditto.
+ (*::op1_op2_relation): Ditto.
+ (*::fold_range): Use new VREL enumerated values.
+ (minus_op1_op2_relation_effect): Ditto.
+ (range_relational_tests): Ditto.
+ * range-op.h (fold_range, op1_range, op2_range): Use VREL_VARYING.
+ (lhs_op1_relation, lhs_op2_relation, op1_op2_relation): Return
+ relation_kind.
+ (*_op1_op2_relation): Return relation_kind.
+ (relop_early_resolve): Use VREL_UNDEFINED.
+ * value-query.cc (range_query::query_relation): Use VREL_VARYING.
+ * value-relation.cc (VREL_LAST): Change enumerated value.
+ (vrel_range_assert): Delete.
+ (print_relation): Remove range assert.
+ (rr_negate_table): Adjust table to use new enumerated values..
+ (relation_negate): Remove range assert.
+ (rr_swap_table): Adjust.
+ (relation_swap): Remove range assert.
+ (rr_intersect_table): Adjust.
+ (relation_intersect): Remove range assert.
+ (rr_union_table): Adjust.
+ (relation_union): Remove range assert.
+ (rr_transitive_table): Adjust.
+ (relation_transitive): Remove range assert.
+ (equiv_oracle::query_relation): Use new VREL enumerated values.
+ (equiv_oracle::register_relation): Ditto.
+ (relation_oracle::register_stmt): Ditto.
+ (dom_oracle::set_one_relation): Ditto.
+ (dom_oracle::register_transitives): Ditto.
+ (dom_oracle::query_relation): Ditto.
+ (path_oracle::register_relation): Ditto.
+ (path_oracle::query_relation): Ditto.
+ * value-relation.h (enum relation_kind_t): New relation_kind.
+ (*_op1_op2_relation): Adjust prototypes.
+
+2022-05-13 Andrew MacLeod <amacleod@redhat.com>
+
+ * gimple-range-edge.cc (calc_switch_ranges): Check union return value.
+ * value-range.cc (irange::legacy_verbose_union_): Add return value.
+ (irange::irange_single_pair_union): New.
+ (irange::irange_union): Add return value.
+ * value-range.h (class irange): Adjust prototypes.
+
+2022-05-13 Andrew MacLeod <amacleod@redhat.com>
+
+ * value-range.cc (irange::legacy_verbose_intersect): Add return value.
+ (irange::irange_contains_p): New.
+ (irange::irange_intersect): Add return value.
+ * value-range.h (class irange): Adjust prototypes.
+
+2022-05-13 Andrew MacLeod <amacleod@redhat.com>
+
+ * gimple-range-cache.cc (ranger_cache::get_global_range): Return the
+ had_global value instead.
+
+2022-05-13 Andrew MacLeod <amacleod@redhat.com>
+
+ PR tree-optimization/104547
+ * gimple-range-fold.cc (fold_using_range::range_of_range_op): Add
+ the op1/op2 relation to the relation call.
+ * range-op.cc (*::lhs_op1_relation): Add param.
+ (*::lhs_op2_relation): Ditto.
+ (operator_minus::lhs_op1_relation): New.
+ (range_relational_tests): Add relation param.
+ * range-op.h (lhs_op1_relation, lhs_op2_relation): Adjust prototype.
+
+2022-05-13 Andrew MacLeod <amacleod@redhat.com>
+
+ * gimple-range.cc (gimple_ranger::register_side_effects): First check
+ if the DEF should be exported as a global.
+ * tree-vrp.cc (rvrp_folder::pre_fold_bb): Process PHI side effects,
+ which will export globals.
+ (execute_ranger_vrp): Remove call to export_global_ranges.
+
+2022-05-13 Andrew MacLeod <amacleod@redhat.com>
+
+ * value-relation.cc (path_oracle::reset_path): Clear killing_defs.
+
+2022-05-13 Andrew MacLeod <amacleod@redhat.com>
+
+ * gimple-range-cache.cc (ranger_cache::ranger_cache): Start with
+ worlist truncated.
+ (ranger_cache::entry_range): Add rfd_mode parameter.
+ (ranger_cache::exit_range): Ditto.
+ (ranger_cache::edge_range): New. Incorporate from range_on_edge.
+ (ranger_cache::range_of_expr): Adjust call to entry_range.
+ (ranger_cache::range_on_edge): Split to edge_range and call.
+ (ranger_cache::fill_block_cache): Always invoke range_from_dom.
+ (ranger_cache::range_from_dom): Make reentrant, add search mode, handle
+ mutiple predecessors.
+ (ranger_cache::update_to_nonnull): Adjust call to exit_range.
+ * gimple-range-cache.h (ranger_cache): Add enum rfd_mode. Adjust
+ prototypes.
+
+2022-05-13 Alexandre Oliva <oliva@adacore.com>
+
+ * gimple-harden-conditionals.cc: Include sbitmap.h.
+ (pass_harden_conditional_branches::execute): Skip new blocks.
+ (pass_harden_compares::execute): Likewise.
+
+2022-05-13 Richard Earnshaw <rearnsha@arm.com>
+
+ PR target/105463
+ * config/arm/mve.md (*movmisalign<mode>_mve_store): Use
+ mve_memory_operand.
+ (*movmisalign<mode>_mve_load): Likewise.
+ * config/arm/vec-common.md (movmisalign<mode>): Convert to generator
+ form...
+ (@movmisalign<mode>): ... thus. Use generic predicates and then
+ rework operands if they are not valid. For MVE rework to a
+ narrower element size if the alignment is not high enough.
+
+2022-05-13 Richard Earnshaw <rearnsha@arm.com>
+
+ * config/arm/arm.cc (mve_vector_mem_operand): Allow SP_REGNUM
+ when there is no write-back. Fix use when strict is true.
+
+2022-05-13 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
+
+ * config/xtensa/xtensa.h (TARGET_HAS_NO_HW_DIVIDE): New macro
+ definition.
+
+2022-05-13 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
+
+ * config/xtensa/xtensa.md (extvsi, extvsi_internal, extzvsi,
+ extzvsi_internal): Rename from extv, extv_internal, extzv and
+ extzv_internal, respectively.
+
+2022-05-13 Eric Botcazou <ebotcazou@adacore.com>
+
+ * tree-sra.cc (sra_modify_assign): Check that scalar storage order
+ is the same on the LHS and RHS before rewriting one with the model
+ of the other.
+
+2022-05-13 Richard Biener <rguenther@suse.de>
+
+ * gimple-fold.cc (gimple_build): Adjust for new
+ main API.
+ * gimple-fold.h (gimple_build): New main APIs with
+ iterator, insert direction and iterator update.
+ (gimple_build): New forwarder template.
+ (clear_padding_type_may_have_padding_p): Remove.
+ (clear_type_padding_in_mask): Likewise.
+ (arith_overflowed_p): Likewise.
+ * fold-const.h (clear_padding_type_may_have_padding_p): Declare.
+ (clear_type_padding_in_mask): Likewise.
+ (arith_overflowed_p): Likewise.
+ * tree-vect-generic.cc (gimplify_build3): Use main gimple_build API.
+ (gimplify_build2): Likewise.
+ (gimplify_build1): Likewise.
+ * ubsan.cc (ubsan_expand_ptr_ifn): Likewise, avoid extra
+ compare stmt.
+ * gengtype.cc (open_base_files): Re-order includes.
+ * builtins.cc: Re-order gimple-fold.h include.
+ * calls.cc: Likewise.
+ * cgraphbuild.cc: Likewise.
+ * cgraphunit.cc: Likewise.
+ * config/rs6000/rs6000-builtin.cc: Likewise.
+ * config/rs6000/rs6000-call.cc: Likewise.
+ * config/rs6000/rs6000.cc: Likewise.
+ * config/s390/s390.cc: Likewise.
+ * expr.cc: Likewise.
+ * fold-const.cc: Likewise.
+ * function-tests.cc: Likewise.
+ * gimple-match-head.cc: Likewise.
+ * gimple-range-fold.cc: Likewise.
+ * gimple-ssa-evrp-analyze.cc: Likewise.
+ * gimple-ssa-evrp.cc: Likewise.
+ * gimple-ssa-sprintf.cc: Likewise.
+ * gimple-ssa-warn-access.cc: Likewise.
+ * gimplify.cc: Likewise.
+ * graphite-isl-ast-to-gimple.cc: Likewise.
+ * ipa-cp.cc: Likewise.
+ * ipa-devirt.cc: Likewise.
+ * ipa-prop.cc: Likewise.
+ * omp-low.cc: Likewise.
+ * pointer-query.cc: Likewise.
+ * range-op.cc: Likewise.
+ * tree-cfg.cc: Likewise.
+ * tree-if-conv.cc: Likewise.
+ * tree-inline.cc: Likewise.
+ * tree-object-size.cc: Likewise.
+ * tree-ssa-ccp.cc: Likewise.
+ * tree-ssa-dom.cc: Likewise.
+ * tree-ssa-forwprop.cc: Likewise.
+ * tree-ssa-ifcombine.cc: Likewise.
+ * tree-ssa-loop-ivcanon.cc: Likewise.
+ * tree-ssa-math-opts.cc: Likewise.
+ * tree-ssa-pre.cc: Likewise.
+ * tree-ssa-propagate.cc: Likewise.
+ * tree-ssa-reassoc.cc: Likewise.
+ * tree-ssa-sccvn.cc: Likewise.
+ * tree-ssa-strlen.cc: Likewise.
+ * tree-ssa.cc: Likewise.
+ * value-pointer-equiv.cc: Likewise.
+ * vr-values.cc: Likewise.
+
+2022-05-13 Alexandre Oliva <oliva@adacore.com>
+
+ PR rtl-optimization/105455
+ * gimple-harden-conditionals.cc (insert_check_and_trap): Set
+ probabilities for newly-conditional edges.
+
+2022-05-13 liuhongt <hongtao.liu@intel.com>
+
+ PR tree-optimization/102583
+ * tree-ssa-forwprop.cc (simplify_bitfield_ref): Extended to a
+ contiguous stride in the VEC_PERM_EXPR.
+
2022-05-12 Richard Biener <rguenther@suse.de>
PR rtl-optimization/105577
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 7d15185cd15..8ab2db9cdf6 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220513
+20220514
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 01ecdb8e8bc..d09eeb9c0b9 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,303 @@
+2022-05-13 Alexandre Oliva <oliva@adacore.com>
+
+ * gcc-interface/decl.cc (is_cplusplus_method): Build proper
+ String for Get_External_Name.
+
+2022-05-13 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch3.adb (Derive_Subprogram): For a function, also copy the
+ Returns_By_Ref flag from the parent.
+
+2022-05-13 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch13.adb (Check_Aspect_At_Freeze_Point): Analyze the
+ expression of the aspect at this point, like other aspects that
+ denote simple entities. Ensures that function
+ Storage_Model_Object will have an entity to retrieve from the
+ aspect expression. Also, move comment about aspects that don't
+ require delay analysis in front of last alternative of the case
+ statement, where it's supposed to be.
+
+2022-05-13 Javier Miranda <miranda@adacore.com>
+
+ * contracts.adb (Build_Unique_Name): New subprogram.
+ (Make_Class_Precondition_Subps): Use Build_Unique_Name to
+ generate the names of the call helpers and the name of indirect
+ call wrappers.
+ * freeze.adb (Needs_Wrapper): Remove dead code.
+ (Check_Inherited_Conditions): Defer building helpers and ICW
+ until all the dispatch table wrappers have been built and
+ analyzed. Required to ensure uniqueness in their names because
+ when building these wrappers for overlapped subprograms their
+ homonym number is not definite until they have been analyzed.
+
+2022-05-13 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnarl/s-taprop__linux.adb (Initialize): Do not use an
+ alternate stack if no handler for SEGV is installed.
+
+2022-05-13 Alexandre Oliva <oliva@adacore.com>
+
+ * doc/gnat_rm/security_hardening_features.rst (Control Flow
+ Redundancy): Drop mentions of noreturn and tail calls.
+ * gnat_rm.texi: Regenerate.
+
+2022-05-13 Ghjuvan Lacambre <lacambre@adacore.com>
+
+ * ali.adb: Introduce new 'K' line in ALI files, used to
+ represent CUDA kernel entries.
+ * ali.ads: Create new CUDA_Kernels table, which contains entries
+ of type CUDA_Kernel_Record. Each CUDA_Kernel_Record corresponds
+ to a K line in an ali file.
+ * bindgen.adb: Introduce new Gen_CUDA_Init procedure in the
+ binder, which generates CUDA kernel registration code.
+ * gnat_cuda.adb: Move Get_CUDA_Kernels spec to package spec to
+ make it available to bindgen.adb.
+ * gnat_cuda.ads: Likewise.
+ * lib-writ.adb: Introduce new Output_CUDA_Symbols procedure,
+ which generates one 'K' line in the ALI file per visible CUDA
+ kernel.
+ * opt.ads: Introduce Enable_CUDA_Expansion option, triggered by
+ using the -gnatd_c flag.
+ * switch-b.adb: Likewise.
+ * switch-c.adb: Likewise.
+
+2022-05-13 Marc Poulhiès <poulhies@adacore.com>
+
+ * exp_aggr.adb (Gen_Loop): Create scope for loop variable of
+ iterated components.
+
+2022-05-13 Yannick Moy <moy@adacore.com>
+
+ * libgnat/a-chtgfk.adb (Checked_Equivalent_Keys, Checked_Index):
+ Remove useless functions.
+ (Delete_Key_Sans_Free, Find, Generic_Conditional_Insert): Adapt
+ to removal of wrapper functions.
+ * libgnat/a-chtgfk.ads (Checked_Equivalent_Keys, Checked_Index):
+ Remove useless functions.
+ * libgnat/a-chtgfo.adb (Checked_Index): Remove useless function.
+ (Clear): Delete code commented out regarding Busy and Lock
+ management.
+ (Delete_Node_At_Index): Delete unused procedure.
+ (Delete_Node_Sans_Free, Free, Generic_Read, Next): Adapt to
+ removal of wrapper functions.
+ * libgnat/a-chtgfo.ads (Checked_Index): Remove useless function.
+ (Delete_Node_At_Index): Delete unused procedure.
+
+2022-05-13 Yannick Moy <moy@adacore.com>
+
+ * libgnat/a-cfhama.adb (Generic_Allocate): Retype to avoid
+ aliasing.
+ (Assign, Move): Remove address comparison.
+ (Include): Insert constants for subtype constraints.
+ (Insert): Rewrite to avoid aliasing and function with side-effects.
+ * libgnat/a-cfhase.adb (Generic_Allocate): Retype to avoid
+ aliasing.
+ (Assign, Move): Remove address comparison.
+ (Difference, Intersection, Is_Subset, Overlap,
+ Symmetric_Difference, Union): Remove address comparison. Insert
+ constants for subtype constraints.
+ (Insert): Rewrite to avoid aliasing and function with
+ side-effects.
+ * libgnat/a-chtgfk.adb (Checked_Equivalent_Keys, Checked_Index,
+ Delete_Key_Sans_Free, Find, Generic_Replace_Element, Index):
+ Type for hash tables not tagged anymore.
+ (Generic_Conditional_Insert): New_Node generic formal is a
+ procedure taking the hash table as first parameter now, to avoid
+ aliasing in the caller.
+ * libgnat/a-chtgfk.ads: Same.
+ * libgnat/a-chtgfo.adb (Checked_Index, Clear,
+ Delete_Node_At_Index, Delete_Node_Sans_Free, First, Free,
+ Generic_Allocate, Generic_Iteration, Generic_Read,
+ Generic_Write, Index, Next): Type for hash tables not tagged
+ anymore.
+ (Generic_Equal): Removed tagged. Remove address comparison.
+ * libgnat/a-chtgfo.ads: Same.
+ * libgnat/a-cohata.ads (Hash_Table_Type): Remove tagged.
+
+2022-05-13 Yannick Moy <moy@adacore.com>
+
+ * Makefile.rtl: Add new files.
+ * libgnat/a-cfhama.adb: Use formal version of hash tables.
+ * libgnat/a-cfhama.ads: Same.
+ * libgnat/a-cfhase.adb: Same.
+ * libgnat/a-cfhase.ads: Same.
+ * libgnat/a-chtgfk.adb: New unit for formal containers, modified
+ version of Generic_Bounded_Keys.
+ * libgnat/a-chtgfk.ads: Same.
+ * libgnat/a-chtgfo.adb: New unit for formal containers, modified
+ version of Generic_Bounded_Operations.
+ * libgnat/a-chtgfo.ads: Same.
+ * libgnat/a-cohata.ads (Generic_Formal_Hash_Table_Types): Third
+ version of the type for hash tables, equivalent to the bounded
+ version without tampering checks.
+
+2022-05-13 Javier Miranda <miranda@adacore.com>
+
+ * freeze.adb (Check_Inherited_Conditions): Dispatch table
+ wrappers must be placed in the list of entities of their scope
+ at the same place of their wrapped primitive. This is required
+ for private types since these wrappers are built when their full
+ tagged type declaration is frozen but they may override a
+ primitive defined in the public part of the package (and it is
+ important to maintain the wrapper in the list of public entities
+ of the package to ensure their correct visibility).
+
+2022-05-13 Johannes Kanig <kanig@adacore.com>
+
+ * osint.ads, osint.adb (Relocate_Path): If the GNSA_ROOT
+ environment variable is set, we use that as the prefix, instead
+ of computing the prefix from the executable location.
+
+2022-05-13 Steve Baird <baird@adacore.com>
+
+ * exp_ch3.ads (Build_Intialization_Call): Add new formal
+ parameter, Init_Control_Actual, with default value. Clients
+ outside of package Exp_Ch3 are unaffected.
+ * exp_ch3.adb (Initialization_Control): new package; support for
+ this 4-valued parameter. The existing Requires_Late_Init
+ function is moved into this new package.
+ (Build_Initialization_Call): Add new formal parameter for
+ subprogram body, use this new formal parameter in generating an
+ init proc call.
+ (Build_Record_Init_Proc): Replace Set_Tag Boolean formal
+ parameter with 4-valued Init_Control_Formal. Wrap if-statements
+ with appropriate conditions around tag initialization, early
+ initialization, and late initialization statements.
+ * exp_util.adb (Build_Task_Image_Decl): Avoid problem with
+ duplicate declarations when an init proc for a type extension
+ calls the parent type's init proc twice.
+
+2022-05-13 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch5.adb (Analyze_Iterator_Specification): Fix Typ in the
+ case of a class-wide derived iterator.
+
+2022-05-13 Yannick Moy <moy@adacore.com>
+
+ * libgnat/a-strbou.ads (Overwrite): Switch to >= operator in
+ contracts.
+ * libgnat/a-strsup.adb (Super_Overwrite): Switch to >= operator
+ in code of procedure (function already uses it).
+ * libgnat/a-strsup.ads (Super_Overwrite): Switch to >= operator
+ in contracts.
+
+2022-05-13 Etienne Servais <servais@adacore.com>
+
+ * doc/gnat_rm/representation_clauses_and_pragmas.rst: Fix code
+ snippet.
+ * gnat_rm.texi: Regenerate.
+
+2022-05-13 Eric Botcazou <ebotcazou@adacore.com>
+
+ * aspects.adb (Find_Value_Of_Aspect): Add guard.
+ * sem_ch4.adb (Complete_Object_Operation): Remove obsolete code.
+ * sem_ch5.adb (Has_Sec_Stack_Default_Iterator): Add guard.
+
+2022-05-13 Javier Miranda <miranda@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference): The expansion of
+ 'Address in a call to an instantiation of the implicit
+ subprogram To_Pointer with a class-wide interface type target
+ requires adding an implicit type conversion to force
+ displacement of the "this" pointer.
+
+2022-05-13 Javier Miranda <miranda@adacore.com>
+
+ * sem_attr.adb (Resolve_Attribute): Ensure that attribute
+ expressions are resolved at this stage; required for preanalyzed
+ references to discriminants since their resolution (and
+ expansion) will take care of updating their Entity attribute to
+ reference their discriminal.
+
+2022-05-13 Justin Squirek <squirek@adacore.com>
+
+ * sem_util.adb (Wrong_Type): Avoid using the first subtype of
+ the expected type in error messages when the expected type is
+ not internally generated.
+
+2022-05-13 Alexandre Oliva <oliva@adacore.com>
+
+ * doc/gnat_rm/security_hardening_features.rst: Add subsection on
+ Control Flow Redundancy.
+ * gnat_rm.texi: Regenerate.
+
+2022-05-13 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_util.adb (Insert_Actions) <N_Iteration_Scheme>: Check that
+ it is a WHILE iteration scheme before using Condition_Actions.
+
+2022-05-13 Piotr Trojanek <trojanek@adacore.com>
+
+ * atree.adb, gen_il-gen.adb, osint.adb, set_targ.adb,
+ sinput.adb, table.adb, treepr.adb, types.ads: Replace uses of
+ Unchecked_Conversion in the compiler itself.
+ * libgnarl/a-reatim.adb, libgnarl/s-osinte__gnu.ads,
+ libgnarl/s-osinte__kfreebsd-gnu.ads, libgnat/a-coboho.adb,
+ libgnat/a-stuten.ads, libgnat/s-putima.adb: Likewise in the
+ runtime.
+ * doc/gnat_ugn/gnat_and_program_execution.rst: Likewise in
+ documentation.
+ * gnat_ugn.texi: Regenerate.
+
+2022-05-13 Piotr Trojanek <trojanek@adacore.com>
+
+ * butil.adb, sem.adb, sinput.adb, types.ads, xref_lib.adb:
+ Replace uses of Unchecked_Deallocation with
+ Ada.Unchecked_Deallocation.
+ * doc/gnat_ugn/gnat_and_program_execution.rst: Likewise for the
+ documentation; fix casing of GNAT.IO.
+ * gnat_ugn.texi: Regenerate.
+
+2022-05-13 Marc Poulhiès <poulhies@adacore.com>
+
+ * sem_aggr.adb (Resolve_Array_Aggregate): Fix ARM reference.
+ Remove useless loop.
+
+2022-05-13 Etienne Servais <servais@adacore.com>
+
+ * sem_ch3.adb (Analyze_Subtype_Declaration): Fix typo in
+ comment.
+
+2022-05-13 Justin Squirek <squirek@adacore.com>
+
+ * sem_ch6.adb (Check_Return_Construct_Accessibility): Modify
+ generation of run-time accessibility checks to account for cases
+ where Extra_Accessibility_Of_Result should be used versus the
+ level of the enclosing subprogram. Use original node to avoid
+ checking against expanded code. Disable check generation for
+ tagged type case.
+ (Is_Formal_Of_Current_Function): Added to encompass a predicate
+ used within Check_Return_Construct_Accessibility to test if an
+ associated expression is related to a relevant formal.
+ * sem_util.adb, sem_util.ads (Enclosing_Subprogram): Modified to
+ accept Node_Or_Entity_Id.
+ (Innermost_Master_Scope_Depth): Calculate level based on the
+ subprogram of a return statement instead of the one returned by
+ Current_Subprogram.
+ (Needs_Result_Accessibility_Level): Remove
+ Disable_Coextension_Cases constant, and disable the tagged type
+ case for performance reasons.
+
+2022-05-13 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_res.adb (Flag_Effectively_Volatile_Objects): Ignore
+ component and discriminant identifiers.
+
+2022-05-13 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_res.adb (Flag_Effectively_Volatile_Objects): Remove
+ redundant guard.
+
+2022-05-13 Justin Squirek <squirek@adacore.com>
+
+ * sem_ch8.adb (Determine_Package_Scope): Created to centralize
+ the calculation of which package a given use clause belongs to.
+ (Most_Descendant_Use_Clause): Modified to call
+ Determine_Package_Scope.
+ * sem_util.adb, sem_util.ads (Enclosing_Package): Modified to
+ handle both entity and node ids.
+
2022-05-12 Piotr Trojanek <trojanek@adacore.com>
* gnat1drv.adb (Gnat1drv): Skip postponed checks when there are
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 9f8c381d8c1..5a9551b6401 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,7 @@
+2022-05-13 Richard Biener <rguenther@suse.de>
+
+ * supergraph.cc: Re-order gimple-fold.h include.
+
2022-05-11 David Malcolm <dmalcolm@redhat.com>
* checker-path.cc (state_change_event::get_desc): Call maybe_free
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 31c817a2fa4..0d2b277f0a0 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,7 @@
+2022-05-13 Richard Biener <rguenther@suse.de>
+
+ * c-omp.cc: Remove gimple-fold.h include.
+
2022-05-12 Jakub Jelinek <jakub@redhat.com>
* c-common.h (enum rid): Add RID_OMP_ALL_MEMORY.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 3402904e750..090124f0bc5 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,11 @@
+2022-05-13 Nathan Sidwell <nathan@acm.org>
+
+ * mangle.cc (maybe_write_module): Check external linkage.
+
+2022-05-13 Richard Biener <rguenther@suse.de>
+
+ * constexpr.cc: Remove gimple-fold.h include.
+
2022-05-12 Patrick Palka <ppalka@redhat.com>
* cp-tree.h (TMPL_ARGS_LEVEL): Assert LEVEL is 1 when
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 395fad9c758..b4f2ff89c58 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2022-05-13 Tobias Burnus <tobias@codesourcery.com>
+
+ * trans-openmp.cc (gfc_trans_omp_clauses): When mapping nondescriptor
+ array sections, use GOMP_MAP_FIRSTPRIVATE_POINTER instead of
+ GOMP_MAP_POINTER for the pointer attachment.
+
2022-05-11 Harald Anlauf <anlauf@gmx.de>
Steven G. Kargl <kargl@gcc.gnu.org>
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 262f3fc0983..3109d8e6ea2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,150 @@
+2022-05-13 Marek Polacek <polacek@redhat.com>
+
+ PR c++/81952
+ * g++.dg/overload/conv-op4.C: New test.
+
+2022-05-13 Roger Sayle <roger@nextmovesoftware.com>
+ Uroš Bizjak <ubizjak@gmail.com>
+
+ * gcc.target/i386/sse2-v1ti-veq.c: New test case.
+ * gcc.target/i386/sse2-v1ti-vne.c: New test case.
+
+2022-05-13 Paul A. Clarke <pc@us.ibm.com>
+
+ * g++.target/powerpc/pr65240-1.C: Adjust DejaGnu directives.
+ * g++.target/powerpc/pr65240-2.C: Likewise.
+ * g++.target/powerpc/pr65240-3.C: Likewise.
+ * g++.target/powerpc/pr65240-4.C: Likewise.
+ * g++.target/powerpc/pr65242.C: Likewise.
+ * g++.target/powerpc/pr67211.C: Likewise.
+ * g++.target/powerpc/pr69667.C: Likewise.
+ * g++.target/powerpc/pr71294.C: Likewise.
+
+2022-05-13 Paul A. Clarke <pc@us.ibm.com>
+
+ * g++.dg/pr65240.h: Move to g++.target/powerpc.
+ * g++.dg/pr93974.C: Likewise.
+ * g++.dg/pr65240-1.C: Move to g++.target/powerpc, adjust dg directives.
+ * g++.dg/pr65240-2.C: Likewise.
+ * g++.dg/pr65240-3.C: Likewise.
+ * g++.dg/pr65240-4.C: Likewise.
+ * g++.dg/pr65242.C: Likewise.
+ * g++.dg/pr67211.C: Likewise.
+ * g++.dg/pr69667.C: Likewise.
+ * g++.dg/pr71294.C: Likewise.
+ * g++.dg/pr84264.C: Likewise.
+ * g++.dg/pr84279.C: Likewise.
+ * g++.dg/pr85657.C: Likewise.
+ * g++.target/powerpc/pr65240-1.C: New file.
+ * g++.target/powerpc/pr65240-2.C: New file.
+ * g++.target/powerpc/pr65240-3.C: New file.
+ * g++.target/powerpc/pr65240-4.C: New file.
+ * g++.target/powerpc/pr65240.h: New file.
+ * g++.target/powerpc/pr65242.C: New file.
+ * g++.target/powerpc/pr67211.C: New file.
+ * g++.target/powerpc/pr69667.C: New file.
+ * g++.target/powerpc/pr71294.C: New file.
+ * g++.target/powerpc/pr84264.C: New file.
+ * g++.target/powerpc/pr84279.C: New file.
+ * g++.target/powerpc/pr85657.C: New file.
+ * g++.target/powerpc/pr93974.C: New file.
+
+2022-05-13 Roger Sayle <roger@nextmovesoftware.com>
+
+ PR tree-optimization/83907
+ * gcc.dg/tree-ssa/pr83907-1.c: New test case.
+ * gcc.dg/tree-ssa/pr83907-2.c: New test case.
+
+2022-05-13 Philipp Tomsich <philipp.tomsich@vrull.eu>
+ Manolis Tsamis <manolis.tsamis@vrull.eu>
+
+ * gcc.dg/pr90838.c: Add additional flags (dg-additional-options)
+ when compiling for riscv64 and subsume gcc.target/aarch64/pr90838.c
+ and gcc.target/i386/pr95863-2.c.
+ * gcc.target/aarch64/pr90838.c: Removed.
+ * gcc.target/i386/pr95863-2.c: Removed.
+ * lib/target-supports.exp: Recognize RV32 or RV64 via XLEN
+
+2022-05-13 Andrew MacLeod <amacleod@redhat.com>
+
+ PR tree-optimization/105597
+ * gcc.dg/pr105597.c: New.
+
+2022-05-13 Sebastian Pop <spop@amazon.com>
+
+ PR target/105162
+ * gcc.target/aarch64/sync-comp-swap-ool.c: New.
+ * gcc.target/aarch64/sync-op-acquire-ool.c: New.
+ * gcc.target/aarch64/sync-op-full-ool.c: New.
+ * gcc.target/aarch64/target_attr_20.c: Update check.
+ * gcc.target/aarch64/target_attr_21.c: Same.
+
+2022-05-13 Palmer Dabbelt <palmer@rivosinc.com>
+
+ * gcc.dg/debug/btf/btf-datasec-1.c: Don't use small data on RISC-V.
+
+2022-05-13 Jia-Wei Chen <jiawei@iscas.ac.cn>
+
+ * g++.dg/opt/const7.C: Don't use small data on RISC-V.
+
+2022-05-13 Andrew MacLeod <amacleod@redhat.com>
+
+ * g++.dg/pr104547.C: New.
+
+2022-05-13 Nathan Sidwell <nathan@acm.org>
+
+ * g++.dg/modules/mod-sym-4.C: New.
+
+2022-05-13 Alexandre Oliva <oliva@adacore.com>
+
+ * gnat.dg/hardbool.ads: New.
+ * gnat.dg/hardbool.adb: New.
+
+2022-05-13 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat.dg/sso17.adb: New test.
+
+2022-05-13 Christophe Lyon <christophe.lyon@arm.com>
+
+ * gcc.target/aarch64/sve/acle/general/attributes_7.c: Make
+ diagnostic unique.
+
+2022-05-13 Richard Biener <rguenther@suse.de>
+
+ * gcc.dg/plugin/diagnostic_group_plugin.c: Reorder or remove
+ gimple-fold.h include.
+ * gcc.dg/plugin/diagnostic_plugin_show_trees.c:
+ Likewise.
+ * gcc.dg/plugin/diagnostic_plugin_test_inlining.c:
+ Likewise.
+ * gcc.dg/plugin/diagnostic_plugin_test_metadata.c:
+ Likewise.
+ * gcc.dg/plugin/diagnostic_plugin_test_paths.c:
+ Likewise.
+ * gcc.dg/plugin/diagnostic_plugin_test_show_locus.c:
+ Likewise.
+ * gcc.dg/plugin/diagnostic_plugin_test_string_literals.c: Likewise.
+ * gcc.dg/plugin/diagnostic_plugin_test_tree_expression_range.c:
+ Likewise.
+ * gcc.dg/plugin/finish_unit_plugin.c: Likewise.
+ * gcc.dg/plugin/ggcplug.c: Likewise.
+ * gcc.dg/plugin/must_tail_call_plugin.c: Likewise.
+ * gcc.dg/plugin/one_time_plugin.c: Likewise.
+ * gcc.dg/plugin/selfassign.c: Likewise.
+ * gcc.dg/plugin/start_unit_plugin.c: Likewise.
+ * g++.dg/plugin/selfassign.c: Likewise.
+
+2022-05-13 Alexandre Oliva <oliva@adacore.com>
+
+ PR rtl-optimization/105455
+ * gcc.dg/pr105455.c: New.
+
+2022-05-13 liuhongt <hongtao.liu@intel.com>
+
+ * gcc.target/i386/pr102583.c: New test.
+ * gcc.target/i386/pr92645-2.c: Adjust testcase.
+ * gcc.target/i386/pr92645-3.c: Ditto.
+
2022-05-12 David Edelsohn <dje.gcc@gmail.com>
* g++.target/powerpc/pr101168.C: Require VSX.
diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index 25f5c192a68..5d351a6bc50 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,9 @@
+2022-05-13 Sebastian Pop <spop@amazon.com>
+
+ PR target/105162
+ * config/aarch64/lse.S: Define BARRIER and handle memory MODEL 5.
+ * config/aarch64/t-lse: Add a 5th memory model for _sync functions.
+
2022-05-10 Martin Liska <mliska@suse.cz>
Hans-Peter Helfert <peter-helfert@t-online.de>
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 6d8baf20c19..3f21ffb03c1 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,19 @@
+2022-05-13 Tobias Burnus <tobias@codesourcery.com>
+
+ * testsuite/libgomp.fortran/target-nowait-array-section.f90: New test.
+
+2022-05-13 Tobias Burnus <tobias@codesourcery.com>
+
+ * testsuite/libgomp.fortran/target-nowait-array-section.f90: New test.
+
+2022-05-13 Thomas Schwinge <thomas@codesourcery.com>
+
+ * plugin/Makefrag.am (libgomp_plugin_nvptx_la_CPPFLAGS)
+ [PLUGIN_NVPTX_DYNAMIC]: Don't append '$(PLUGIN_NVPTX_CPPFLAGS)'.
+ (libgomp_plugin_nvptx_la_LDFLAGS) [PLUGIN_NVPTX_DYNAMIC]: Don't
+ append '$(PLUGIN_NVPTX_LDFLAGS)'.
+ * Makefile.in: Regenerate.
+
2022-05-12 Thomas Schwinge <thomas@codesourcery.com>
* Makefile.am (libgomp_la_LIBADD): Initialize.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index b20ba3e7580..e6c2bb5beda 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,124 @@
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/std_thread.h (thread::_State, thread::_State_ptr):
+ Declare as private unless _GLIBCXX_THREAD_IMPL is defined.
+ * src/c++11/thread.cc (_GLIBCXX_THREAD_IMPL): Define.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/std/future (launch): Make operators noexcept.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/doxygen/user.cfg.in (PREDEFINED): Replace __exception_ptr
+ with "__unspecified__".
+ * libsupc++/exception_ptr.h: Improve doxygen docs.
+ (__exception_ptr::swap): Also declare in namespace std.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * libsupc++/nested_exception.h (throw_with_nested) [C++17]: Use
+ if-constexpr instead of tag dispatching.
+ (rethrow_if_nested) [C++17]: Likewise.
+ (rethrow_if_nested) [!__cpp_rtti]: Do not use dynamic_cast if it
+ would require RTTI.
+ * testsuite/18_support/nested_exception/rethrow_if_nested-term.cc:
+ New test.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/doxygen/user.cfg.in (PREDEFINED): Define
+ _GTHREAD_USE_MUTEX_TIMEDLOCK macro.
+ * include/bits/std_mutex.h (mutex, lock_guard): Use @since and
+ @headerfile.
+ * include/bits/unique_lock.h (unique_lock): Likewise.
+ * include/std/mutex (recursive_mutex, timed_mutex)
+ (recursive_timed_mutex, scoped_lock): Likewise.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/doxygen/user.cfg.in (PREDEFINED): Define
+ _GLIBCXX23_CONSTEXPR macro.
+ * include/backward/auto_ptr.h (auto_ptr): Use @deprecated.
+ * include/bits/unique_ptr.h (default_delete): Use @since and
+ @headerfile.
+ * include/std/scoped_allocator: Remove @ingroup from @file
+ block.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/std_thread.h (thread, thread::id): Improve
+ doxygen docs.
+ * include/std/future: Likewise.
+ * include/std/thread (jthread): Likewise.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/ostream_insert.h: Mark helper functions as
+ undocumented by Doxygen.
+ * include/bits/stl_algo.h: Use markdown for formatting and mark
+ helper functions as undocumented.
+ * include/bits/stl_numeric.h: Likewise.
+ * include/bits/stl_pair.h (pair): Add @headerfile.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/doxygen/user.cfg.in (PREDEFINED): Define __allocator_base
+ so that Doxygen shows the right base-class for std::allocator.
+ * include/bits/alloc_traits.h: Improve doxygen docs.
+ * include/bits/allocator.h: Likewise.
+ * include/bits/new_allocator.h: Likewise.
+ * include/ext/new_allocator.h: Likewise.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/doxygen/user.cfg.in (PREDEFINED): Define macro
+ _GLIBCXX_DOXYGEN_ONLY to expand its argument.
+ * include/bits/c++config (_GLIBCXX_DOXYGEN_ONLY): Define.
+ * include/bits/regex.h: Improve doxygen docs.
+ * include/bits/regex_constants.h: Likewise.
+ * include/bits/regex_error.h: Likewise.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/std/atomic: Suppress doxygen docs for
+ implementation details.
+ * include/bits/atomic_base.h: Likewise.
+ * include/bits/shared_ptr_atomic.h: Use markdown. Fix grouping
+ so that std::atomic is not added to the pointer abstractions
+ group.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/std/system_error: Improve doxygen comments.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/ptr_traits.h: Add some doxygen comments.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/doxygen/user.cfg.in (PREDEFINED): Expand new macros to
+ nothing.
+ * include/bits/c++config (_GLIBCXX_BEGIN_INLINE_ABI_NAMESPACE)
+ (_GLIBCXX_END_INLINE_ABI_NAMESPACE): Define new macros.
+ * include/bits/algorithmfwd.h (_V2::__rotate): Use new macros
+ for the namespace.
+ * include/bits/chrono.h (chrono::_V2::system_clock): Likewise.
+ * include/bits/stl_algo.h (_V2::__rotate): Likewise.
+ * include/std/condition_variable (_V2::condition_variable_any):
+ Likewise.
+ * include/std/system_error (_V2::error_category): Likewise.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/mofunc_impl.h: Fix doxygen command.
+
+2022-05-13 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/doxygen/user.cfg.in (GROUP_NESTED_COMPOUNDS): Set to NO.
+ (CLASS_DIAGRAMS): Remove obsolete option.
+
2022-05-12 Jonathan Wakely <jwakely@redhat.com>
* config/locale/dragonfly/numeric_members.cc: Remove whitespace.
More information about the Libstdc++-cvs
mailing list