[gcc r12-1604] Daily bump.
GCC Administrator
gccadmin@gcc.gnu.org
Fri Jun 18 00:17:41 GMT 2021
https://gcc.gnu.org/g:688359a27d835bbdab554fdf5eb207f1bd678371
commit r12-1604-g688359a27d835bbdab554fdf5eb207f1bd678371
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Fri Jun 18 00:16:58 2021 +0000
Daily bump.
Diff:
---
ChangeLog | 5 +
contrib/ChangeLog | 5 +
gcc/ChangeLog | 173 ++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 346 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/cp/ChangeLog | 11 ++
gcc/testsuite/ChangeLog | 32 +++++
libgomp/ChangeLog | 89 +++++++++++++
libitm/ChangeLog | 5 +
libstdc++-v3/ChangeLog | 39 ++++++
10 files changed, 706 insertions(+), 1 deletion(-)
diff --git a/ChangeLog b/ChangeLog
index 9fc6e165fc1..fba4c8400f8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2021-06-17 Aldy Hernandez <aldyh@redhat.com>
+
+ * MAINTAINERS (Various Maintainers): Add Andrew and myself
+ as *vrp and ranger maintainers.
+
2021-06-05 Jeff Law <jeffreyalaw@gmail.com>
* MAINTAINERS: Adjust my entry in the DCO section so that it does
diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index d8df6be9f33..6d5a2e486eb 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,8 @@
+2021-06-17 Jason Merrill <jason@redhat.com>
+
+ * mklog.py: Add an initial component: [PRnnnnn] line when
+ we have a PR.
+
2021-06-13 Tobias Burnus <tobias@codesourcery.com>
* gcc-changelog/git_commit.py (pr_regex): Add ?P<pr> for group('pr').
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 61a714d6ec0..6cd9445ec04 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,176 @@
+2021-06-17 Aaron Sawdey <acsawdey@linux.ibm.com>
+
+ * config/rs6000/genfusion.pl (gen_logical_addsubf): Add
+ earlyclobber to alts 0/1.
+ (gen_addadd): Add earlyclobber to alts 0/1.
+ * config/rs6000/fusion.md: Regenerate file.
+
+2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
+
+ * cfgloopanal.c (get_loop_hot_path): Make path an auto_vec.
+
+2021-06-17 Andrew MacLeod <amacleod@redhat.com>
+
+ * gimple-range-cache.cc: Comment cleanups.
+ * gimple-range-gori.cc: Comment cleanups.
+ * gimple-range.cc: Comment/spacing cleanups
+ * value-range.h: Comment cleanups.
+
+2021-06-17 H.J. Lu <hjl.tools@gmail.com>
+
+ PR target/100704
+ * calls.c (expand_call): Replace PUSH_ARGS with
+ targetm.calls.push_argument (0).
+ (emit_library_call_value_1): Likewise.
+ * defaults.h (PUSH_ARGS): Removed.
+ (PUSH_ARGS_REVERSED): Replace PUSH_ARGS with
+ targetm.calls.push_argument (0).
+ * expr.c (block_move_libcall_safe_for_call_parm): Likewise.
+ (emit_push_insn): Pass the number bytes to push to
+ targetm.calls.push_argument and pass 0 if ARGS_ADDR is 0.
+ * hooks.c (hook_bool_uint_true): New.
+ * hooks.h (hook_bool_uint_true): Likewise.
+ * rtlanal.c (nonzero_bits1): Replace PUSH_ARGS with
+ targetm.calls.push_argument (0).
+ * target.def (push_argument): Add a targetm.calls hook.
+ * targhooks.c (default_push_argument): New.
+ * targhooks.h (default_push_argument): Likewise.
+ * config/bpf/bpf.h (PUSH_ARGS): Removed.
+ * config/cr16/cr16.c (TARGET_PUSH_ARGUMENT): New.
+ * config/cr16/cr16.h (PUSH_ARGS): Removed.
+ * config/i386/i386.c (ix86_push_argument): New.
+ (TARGET_PUSH_ARGUMENT): Likewise.
+ * config/i386/i386.h (PUSH_ARGS): Removed.
+ * config/m32c/m32c.c (TARGET_PUSH_ARGUMENT): New.
+ * config/m32c/m32c.h (PUSH_ARGS): Removed.
+ * config/nios2/nios2.h (PUSH_ARGS): Likewise.
+ * config/pru/pru.h (PUSH_ARGS): Likewise.
+ * doc/tm.texi.in: Remove PUSH_ARGS documentation. Add
+ TARGET_PUSH_ARGUMENT hook.
+ * doc/tm.texi: Regenerated.
+
+2021-06-17 Uroš Bizjak <ubizjak@gmail.com>
+
+ PR target/97194
+ * config/i386/i386-expand.c (expand_vector_set_var):
+ Handle V2FS mode remapping. Pass TARGET_MMX_WITH_SSE to
+ ix86_expand_vector_init_duplicate.
+ (ix86_expand_vector_init_duplicate): Emit insv_1 for
+ QImode for !TARGET_PARTIAL_REG_STALL.
+ * config/i386/predicates.md (vec_setm_mmx_operand): New predicate.
+ * config/i386/mmx.md (vec_setv2sf): Use vec_setm_mmx_operand
+ as operand 2 predicate. Call ix86_expand_vector_set_var
+ for non-constant index operand.
+ (vec_setv2si): Ditto.
+ (vec_setv4hi): Ditto.
+ (vec_setv8qi): ditto.
+
+2021-06-17 Aldy Hernandez <aldyh@redhat.com>
+
+ PR tree-optimization/100790
+ * gimple-range.cc (range_of_builtin_call): Cleanup clz and ctz
+ code.
+
+2021-06-17 Martin Liska <mliska@suse.cz>
+
+ * doc/invoke.texi: Use consistently -O1 instead of -O.
+
+2021-06-17 Martin Liska <mliska@suse.cz>
+
+ * gcov-io.h: Update documentation entry about string format.
+
+2021-06-17 Marius Hillenbrand <mhillen@linux.ibm.com>
+
+ PR target/100871
+ * config/s390/vecintrin.h (vec_doublee): Fix to use
+ __builtin_s390_vflls.
+ (vec_floate): Fix to use __builtin_s390_vflrd.
+
+2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
+
+ * dominance.c (get_dominated_to_depth): Return auto_vec<basic_block>.
+ * dominance.h (get_dominated_to_depth): Likewise.
+ (get_all_dominated_blocks): Likewise.
+ * cfgcleanup.c (delete_unreachable_blocks): Adjust.
+ * gcse.c (hoist_code): Likewise.
+ * tree-cfg.c (remove_edge_and_dominated_blocks): Likewise.
+ * tree-parloops.c (oacc_entry_exit_ok): Likewise.
+ * tree-ssa-dce.c (eliminate_unnecessary_stmts): Likewise.
+ * tree-ssa-phiprop.c (pass_phiprop::execute): Likewise.
+
+2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
+
+ * dominance.c (get_dominated_by_region): Return auto_vec<basic_block>.
+ * dominance.h (get_dominated_by_region): Likewise.
+ * tree-cfg.c (gimple_duplicate_sese_region): Adjust.
+ (gimple_duplicate_sese_tail): Likewise.
+ (move_sese_region_to_fn): Likewise.
+
+2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
+
+ * dominance.c (get_dominated_by): Return auto_vec<basic_block>.
+ * dominance.h (get_dominated_by): Likewise.
+ * auto-profile.c (afdo_find_equiv_class): Adjust.
+ * cfgloopmanip.c (duplicate_loop_to_header_edge): Likewise.
+ * loop-unroll.c (unroll_loop_runtime_iterations): Likewise.
+ * tree-cfg.c (test_linear_chain): Likewise.
+ (test_diamond): Likewise.
+
+2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
+
+ * cfgloop.h (get_loop_hot_path): Return auto_vec<basic_block>.
+ * cfgloopanal.c (get_loop_hot_path): Likewise.
+ * tree-ssa-loop-ivcanon.c (tree_estimate_loop_size): Likewise.
+
+2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
+
+ * cgraph.c (cgraph_node::collect_callers): Return
+ auto_vec<cgraph_edge *>.
+ * cgraph.h (cgraph_node::collect_callers): Likewise.
+ * ipa-cp.c (create_specialized_node): Adjust.
+ (decide_about_value): Likewise.
+ (decide_whether_version_node): Likewise.
+ * ipa-sra.c (process_isra_node_results): Likewise.
+
+2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
+
+ * vec.h (vl_ptr>::using_auto_storage): Handle null m_vec.
+ (auto_vec<T, 0>::auto_vec): Define move constructor, and delete copy
+ constructor.
+ (auto_vec<T, 0>::operator=): Define move assignment and delete copy
+ assignment.
+
+2021-06-17 Aldy Hernandez <aldyh@redhat.com>
+
+ * gimple-range.cc (debug_seed_ranger): New.
+ (dump_ranger): New.
+ (debug_ranger): New.
+
+2021-06-17 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/54400
+ * tree-vectorizer.h (enum slp_instance_kind): Add
+ slp_inst_kind_bb_reduc.
+ (reduction_fn_for_scalar_code): Declare.
+ * tree-vect-data-refs.c (vect_slp_analyze_instance_dependence):
+ Check SLP_INSTANCE_KIND instead of looking at the
+ representative.
+ (vect_slp_analyze_instance_alignment): Likewise.
+ * tree-vect-loop.c (reduction_fn_for_scalar_code): Export.
+ * tree-vect-slp.c (vect_slp_linearize_chain): Split out
+ chain linearization from vect_build_slp_tree_2 and generalize
+ for the use of BB reduction vectorization.
+ (vect_build_slp_tree_2): Adjust accordingly.
+ (vect_optimize_slp): Elide permutes at the root of BB reduction
+ instances.
+ (vectorizable_bb_reduc_epilogue): New function.
+ (vect_slp_prune_covered_roots): Likewise.
+ (vect_slp_analyze_operations): Use them.
+ (vect_slp_check_for_constructors): Recognize associatable
+ chains for BB reduction vectorization.
+ (vectorize_slp_instance_root_stmt): Generate code for the
+ BB reduction epilogue.
+
2021-06-17 Andrew MacLeod <amacleod@redhat.com>
* gimple-range-gori.cc (gori_compute::has_edge_range_p): Check with
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index f84fbffe108..1c09ea68c98 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20210617
+20210618
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index f102600bbc9..1927007b235 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,349 @@
+2021-06-17 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_ch3.adb (Check_Ops_From_Incomplete_Type): Protect against
+ no Primitive_Operations.
+
+2021-06-17 Vadim Godunko <godunko@adacore.com>
+
+ * libgnat/a-strunb__shared.ads (Allocate): Additional parameter
+ to provide additional amount of space to be allocated.
+ * libgnat/a-strunb__shared.adb (Aligned_Max_Length): Limit
+ length to Natural'Last when requested length is larger than it.
+ (Allocate): Merge two slightly different implementations into
+ one.
+
+2021-06-17 Gary Dismukes <dismukes@adacore.com>
+
+ * checks.adb (Discrete_Range_Cond): For an index subtype that
+ has a fixed lower bound, require that the range's lower bound
+ match that of the subtype.
+ (Selected_Range_Checks): Warn about the case where a static
+ lower bound does not equal an index subtype's fixed lower bound.
+ * einfo.ads (Is_Fixed_Lower_Bound_Array_Subtype,
+ Is_Fixed_Lower_Bound_Index_Subtype): Document new entity flag.
+ * exp_ch4.adb (Expand_N_Type_Conversion): If the operand is of
+ an unconstrained array subtype with fixed lower bound, then
+ Expand_Sliding_Conversion is applied to the operand.
+ * exp_ch6.adb (Expand_Simple_Function_Return): If the result
+ subtype is an unconstrained array subtype with fixed lower
+ bound, then Expand_Sliding_Conversion is applied to the return
+ object.
+ * exp_util.ads (Expand_Sliding_Conversion): New procedure for
+ applying a sliding subtype conversion to an array object of a
+ fixed-lower-bound subtype when needed.
+ * exp_util.adb: Add with_clause for Freeze.
+ (Expand_Sliding_Conversion): New procedure for applying a
+ sliding subtype conversion to an array object of a
+ fixed-lower-bound subtype when needed. It traverses the indexes
+ of the unconstrained array type/subtype to create a target
+ constrained subtype and rewrites the array object to be a
+ conversion to that subtype, when there's at least one index
+ whose lower bound does not statically match the fixed-lower
+ bound of the target subtype.
+ * gen_il-fields.ads (type Opt_Field_Enum): Add literals
+ Is_Fixed_Lower_Bound_Array_Subtype and
+ Is_Fixed_Lower_Bound_Index_Subtype for new flags on type
+ entities.
+ * gen_il-gen-gen_entities.adb: Add calls to
+ Create_Semantic_Field for the new fixed-lower-bound flags on
+ type entities.
+ * par-ch3.adb (P_Array_Type_Definition): Add handling for
+ parsing of fixed-lower-bound index ranges in unconstrained array
+ types. Report an error if such an index is encountered and GNAT
+ language extensions are not enabled.
+ (P_Index_Subtype_Def_With_Fixed_Lower_Bound): Support procedure
+ for parsing unconstrained index ranges.
+ (P_Index_Or_Discriminant_Constraint): Add handling for parsing
+ of index constraints that specify ranges with fixed lower
+ bounds. Report an error if such an index is encountered and GNAT
+ language extensions are not enabled.
+ * sem_ch3.adb (Analyze_Object_Declaration): If the object's
+ nominal subtype is an array subtype with fixed lower bound, then
+ Expand_Sliding_Conversion is applied to the object.
+ (Array_Type_Declaration): Mark the array type and the subtypes
+ of any indexes that specify a fixed lower bound as being
+ fixed-lower-bound subtypes, and set the High_bound of the range
+ of such an index to the upper bound of the named subtype.
+ (Constrain_Array): For an array subtype with one or more index
+ ranges specifying a fixed lower bound, set Is_Constrained to
+ False and set the array subtype's
+ Is_Fixed_Lower_Bound_Array_Subtype flag to True.
+ (Constrain_Index): Mark the subtypes of an index that specifies
+ a fixed lower bound as being a fixed-lower-bound index subtype,
+ and set the High_bound of the range of such an index to the
+ upper bound of the base type of the array type's corresponding
+ index.
+ * sem_res.adb (Resolve_Actuals): If a formal is of an
+ unconstrained array subtype with fixed lower bound, then
+ Expand_Sliding_Conversion is applied to the actual.
+ * sem_util.adb (Build_Actual_Subtype): If the actual subtype
+ corresponds to an unconstrained array subtype having any indexes
+ with fixed lower bounds, then set the lower bounds of any such
+ indexes of the actual subtype to the appropriate fixed lower
+ bound of the formal subtype (rather than taking it from the
+ formal itself).
+ * sprint.adb (Sprint_Node_Actual, case N_Range): If a range's
+ Etype has a fixed lower bound, then print "<>" rather than the
+ High_Bound of the range.
+
+2021-06-17 Bob Duff <duff@adacore.com>
+
+ * sem_util.adb, sem_util.ads (Has_Access_Values): New formal
+ Include_Internal to indicate whether internal types should be
+ included.
+ * sem_warn.adb (Check_References): Change E_Out_Parameter to
+ Formal_Kind, to match the comment about Spec_Entity. Pass
+ Include_Internal => False to Has_Access_Values, so that we warn
+ on types with access values that happen to be in internal types,
+ such as Unbounded_String.
+ * sem_attr.adb (Attribute_Has_Access_Values): Pass
+ Include_Internal => True to Has_Access_Values, to preserve
+ existing behavior.
+ * libgnat/g-rewdat.adb (Do_Output): Change B from 'in out' to
+ 'in', to avoid warning enabled by the change to sem_warn.adb.
+ * libgnat/s-objrea.adb (Check_Read_Offset): Change S from 'in
+ out' to 'in', to avoid warning enabled by the change to
+ sem_warn.adb.
+
+2021-06-17 Steve Baird <baird@adacore.com>
+
+ * exp_ch5.adb
+ (Expand_N_Case_Statement.Expand_General_Case_Statement): New
+ subprogram.
+ (Expand_N_Case_Statement): If extensions are allowed and the
+ case selector is not of a discrete type, then call
+ Expand_General_Case_Statement to generate expansion instead of
+ flagging the non-discrete selector as an error.
+ * sem_case.ads (Is_Case_Choice_Pattern): New Boolean-valued
+ function for testing whether a given expression occurs as part
+ of a case choice pattern.
+ * sem_case.adb (Composite_Case_Ops): New package providing
+ support routines for the new form of case statements. This
+ includes a nested package, Composite_Case_Ops.Value_Sets, which
+ encapsulates the "representative values" implementation of
+ composite value sets.
+ (Check_Choices.Check_Case_Pattern_Choices): New procedure for
+ semantic checking of non-discrete case choices. This includes
+ the checks pertaining to coverage and overlapping.
+ (Check_Choices.Check_Composite_Case_Selector): New procedure for
+ semantic checking of non-discrete case selectors.
+ (Check_Choices): If extensions are allowed then a non-discrete
+ selector type no longer implies that an error must have been
+ flagged earlier. Instead of simply returning, call
+ Check_Composite_Case_Selector and Check_Case_Pattern_Choices.
+ (Is_Case_Choice_Pattern): Body of new function declared in
+ sem_case.ads .
+ * sem_ch5.adb (Analyze_Case_Statement): If extensions are
+ allowed, then we can't use RM 5.4's "The selecting_expression is
+ expected to be of any discrete type" name resolution rule.
+ Handle the case where the type of the selecting expression is
+ not discrete, as well as the new ambiguous-name-resolution error
+ cases made possible by this change.
+ * sem_res.adb (Resolve_Entity_Name): It is ok to treat the name
+ of a type or subtype as an expression if it is part of a case
+ choice pattern, as in "(Field1 => Positive, Field2 => <>)".
+ * exp_aggr.adb (Expand_Record_Aggregate): Do not expand case
+ choice aggregates.
+ * gen_il-fields.ads: Define two new node attributes,
+ Binding_Chars and Multidefined_Bindings.
+ * gen_il-gen-gen_nodes.adb: The new Multidefined_Bindings
+ attribute is Boolean-valued and may be set on
+ N_Case_Statement_Alternative nodes. The new Binding_Chars
+ attribute is Name_Id-valued and may be set on
+ N_Component_Association nodes.
+ * par-ch4.adb (P_Record_Or_Array_Component_Association): When
+ parsing a component association, check for both new syntax forms
+ used to specify a bound value in a case-choice aggregate. In
+ the case of a box value, an identifier may occur within the box,
+ as in "Foo => <Abc>" instead of "Foo => <>". In the more general
+ case, an expression (or a box) may be followed by "is
+ <identifier>", as in
+ "Foo => Bar is Abc" instead of just "Foo => Bar".
+ * sem_aggr.adb (Resolve_Record_Aggregate): Do not transform box
+ component values in a case-choice aggregate.
+ * sinfo.ads: Provide comments for the new attributes added in
+ gen_il-fields.ads.
+ * doc/gnat_rm/implementation_defined_pragmas.rst: Describe this
+ new feature in documentation for pragma Extensions_Allowed.
+ * gnat_rm.texi: Regenerate.
+
+2021-06-17 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Expression_With_Actions.Process_Action):
+ Do not abandon processing on a nested N_Expression_With_Actions
+ or N_Loop_Statement, otherwise we may miss some transient
+ declarations.
+
+2021-06-17 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_util.adb (Find_Hook_Context): Do not stop on an aggregate
+ node.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_util.adb (Is_Valid_Renaming): Check not only indexed
+ components, but slices too.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_ch3.adb (Analyze_Private_Extension_Declaration): Check
+ No_Wide_Characters restriction after rejecting illegal parent
+ types.
+ (Derived_Type_Declaration): Likewise.
+ (Find_Type_Of_Subtype_Indic): Remove check for
+ No_Wide_Characters restriction, which was done too early.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_util.adb (Is_Valid_Renaming): Body moved from its nested
+ routine.
+
+2021-06-17 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch12.adb (Instantiate_Type): If the actual type for an
+ incomplete formal type is also incomplete, but has a Full_View,
+ use the Full_View of the actual type rather than the incomplete
+ view.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * doc/gnat_ugn/building_executable_programs_with_gnat.rst
+ (-gnatw.I): Remove double period at the end of sentence.
+ * gnat_ugn.texi: Regenerate.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_util.adb (Denotes_Same_Object): Call Get_Index_Bounds with
+ the range of a slice object, not its type.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_warn.adb (Warn_On_Overlapping_Actuals): Fix style;
+ refactor repeated calls to Nkind; remove early RETURN.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_warn.adb (Warn_On_Overlapping_Actuals): Ignore formal of
+ generic types, but keep examining other parameters.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_warn.adb (Warn_On_Overlapping_Actuals): Remove dead code.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_warn.adb (Warn_On_Overlapping_Actuals): Remove repeated
+ code.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * checks.adb (Overlap_Check): Replace Set_Casing with
+ Adjust_Name_Case and adapt surrounding code as needed.
+
+2021-06-17 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/s-putaim.ads, libgnat/s-putaim.adb: Move...
+ * libgnarl/s-putaim.ads, libgnarl/s-putaim.adb: ... here.
+
+2021-06-17 Arnaud Charlet <charlet@adacore.com>
+
+ * uintp.ads, uintp.adb (UI_To_Unsigned_64): New.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_prag.adb (Get_Overflow_Mode): Reword error message.
+ * switch-c.adb (Get_Overflow_Mode): Likewise.
+
+2021-06-17 Richard Kenner <kenner@adacore.com>
+
+ * exp_util.adb (Expand_Static_Predicates_In_Choices): Handle
+ Others_Discrete_Choices in N_Others_Choice.
+
+2021-06-17 Arnaud Charlet <charlet@adacore.com>
+
+ * atree.adb: Remove redundant comment with spec.
+ * sem_warn.adb: Fix typo in comment.
+
+2021-06-17 Arnaud Charlet <charlet@adacore.com>
+
+ * atree.adb: Do not suppress checks.
+
+2021-06-17 Justin Squirek <squirek@adacore.com>
+
+ * exp_ch3.adb (Check_Missing_Others): Add comment.
+ (Build_Initialization_Call): Remove inaccurate accessibility
+ comment.
+ * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Remove
+ test for Ada2012.
+ (Analyze_Package_Instantiation): Remove speculative comment.
+ (Inline_Instance_Body): Add comments for loops.
+ (Build_Subprogram_Renaming): Remove comment about fix being
+ partial and "ugly."
+ (Instantiate_Subprogram_Body): Remove comment referencing DEC
+ related internal issue.
+ (Subtypes_Match): Add comment and simplify anonymous access
+ test.
+ (Is_Global): Add test for when E is an expanded name, and
+ calculate the scope accordingly.
+ * sem_ch6.adb (Analyze_Function_Return): Update comment
+ regarding accessibility, and add check for
+ Warn_On_Ada_2012_Compatibility.
+ (Mask_Type_Refs): Add comments.
+ (Analyze_Subprogram_Declaration): Remove mysterious suppression
+ of elaboration checks.
+ * sem_ch7.adb (Preserve_Full_Attributes): Preserve Is_Atomic
+ value.
+ * sem_ch8.adb (Most_Descendant_Use_Clause): Remove comment.
+ (Note_Redundant_Use): Fix calls to Find_First_Use to be
+ Find_Most_Prev.
+ (Get_Object_Name): Modify error message to be more descriptive.
+ (Known_But_Visible): Remove mysterious special case for
+ GNAT_Mode.
+ (Find_First_Use): Removed.
+ (Find_Most_Prev): Renamed from Find_First_Use.
+ * sem_prag.adb (Check_Static_Constraint): Add comments to
+ routine.
+
+2021-06-17 Bob Duff <duff@adacore.com>
+
+ * treepr.adb (Print_Node): Display the Entity or Associated_Node
+ fields if appropriate.
+ * sinfo-utils.ads (F_Associated_Node, F_Entity): Remove. These
+ are no longer needed.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * checks.adb (Apply_Parameter_Aliasing_Checks): Replace calls to
+ Is_Object_Reference with calls to Is_Name_Reference; remove
+ asymmetric condition that only detected an aggregate as the
+ first actual (aggregate objects were just a special case of an
+ object reference that was not a name).
+
+2021-06-17 Bob Duff <duff@adacore.com>
+
+ * gen_il-gen.adb, gen_il-internals.ads: Generate field
+ enumeration literals with "F_" prefix. Update all generated
+ references accordingly.
+ * atree.adb, einfo-utils.adb, sem_ch3.adb, sem_ch5.adb,
+ sem_ch6.adb, sem_ch8.adb, sinfo-cn.adb, sinfo-utils.adb,
+ sinfo-utils.ads, treepr.adb: Add "F_" prefix to all uses of the
+ field enumeration literals.
+
+2021-06-17 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/i-c.ads, libgnat/i-cexten.ads,
+ libgnat/i-cexten__128.ads: bool renamed C_bool.
+
+2021-06-17 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_ch4.adb (Analyze_Allocator): Reject allocators in
+ restricted contexts.
+
+2021-06-17 Arnaud Charlet <charlet@adacore.com>
+
+ * gcc-interface/Make-lang.in: Use libgnat.so if libgnat.a cannot
+ be found.
+
2021-06-16 Piotr Trojanek <trojanek@adacore.com>
* sem_util.adb (Is_Volatile_Function): Follow the exact wording
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 8d14d38bf77..5142210197a 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,14 @@
+2021-06-17 Jason Merrill <jason@redhat.com>
+
+ PR c++/101106
+ * decl.c (duplicate_decls): Make 'deleted after first declaration'
+ pedwarn on by default.
+
+2021-06-17 Jason Merrill <jason@redhat.com>
+
+ PR c++/101029
+ * init.c (build_vec_init): Preserve the type of base.
+
2021-06-16 Jason Merrill <jason@redhat.com>
PR c++/101078
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c6e8817fedb..1c7b730fc30 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,35 @@
+2021-06-17 Jason Merrill <jason@redhat.com>
+
+ PR c++/101106
+ * g++.dg/cpp0x/deleted15.C: New test.
+
+2021-06-17 H.J. Lu <hjl.tools@gmail.com>
+
+ PR target/100704
+ * gcc.target/i386/pr100704-1.c: New test.
+ * gcc.target/i386/pr100704-2.c: Likewise.
+ * gcc.target/i386/pr100704-3.c: Likewise.
+
+2021-06-17 Uroš Bizjak <ubizjak@gmail.com>
+
+ PR target/97194
+ * gcc.target/i386/sse4_1-vec-set-1.c: New test.
+ * gcc.target/i386/sse4_1-vec-set-2.c: ditto.
+
+2021-06-17 Aldy Hernandez <aldyh@redhat.com>
+
+ * gcc.dg/pr100790.c: New test.
+
+2021-06-17 Marius Hillenbrand <mhillen@linux.ibm.com>
+
+ * gcc.target/s390/zvector/vec-doublee.c: New test.
+ * gcc.target/s390/zvector/vec-floate.c: New test.
+
+2021-06-17 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/54400
+ * gcc.dg/vect/bb-slp-pr54400.c: New testcase.
+
2021-06-16 Jason Merrill <jason@redhat.com>
PR c++/101078
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 975406a6ba5..98b85a09a3e 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,92 @@
+2021-06-17 Chung-Lin Tang <cltang@codesourcery.com>
+
+ * hashtab.h (htab_clear): New function with initialization code
+ factored out from...
+ (htab_create): ...here, adjust to use htab_clear function.
+ * libgomp.h (REFCOUNT_SPECIAL): New symbol to denote range of
+ special refcount values, add comments.
+ (REFCOUNT_INFINITY): Adjust definition to use REFCOUNT_SPECIAL.
+ (REFCOUNT_LINK): Likewise.
+ (REFCOUNT_STRUCTELEM): New special refcount range for structure
+ element siblings.
+ (REFCOUNT_STRUCTELEM_P): Macro for testing for structure element
+ sibling maps.
+ (REFCOUNT_STRUCTELEM_FLAG_FIRST): Flag to indicate first sibling.
+ (REFCOUNT_STRUCTELEM_FLAG_LAST): Flag to indicate last sibling.
+ (REFCOUNT_STRUCTELEM_FIRST_P): Macro to test _FIRST flag.
+ (REFCOUNT_STRUCTELEM_LAST_P): Macro to test _LAST flag.
+ (struct splay_tree_key_s): Add structelem_refcount and
+ structelem_refcount_ptr fields into a union with dynamic_refcount.
+ Add comments.
+ (gomp_map_vars): Delete declaration.
+ (gomp_map_vars_async): Likewise.
+ (gomp_unmap_vars): Likewise.
+ (gomp_unmap_vars_async): Likewise.
+ (goacc_map_vars): New declaration.
+ (goacc_unmap_vars): Likewise.
+ * oacc-mem.c (acc_map_data): Adjust to use goacc_map_vars.
+ (goacc_enter_datum): Likewise.
+ (goacc_enter_data_internal): Likewise.
+ * oacc-parallel.c (GOACC_parallel_keyed): Adjust to use goacc_map_vars
+ and goacc_unmap_vars.
+ (GOACC_data_start): Adjust to use goacc_map_vars.
+ (GOACC_data_end): Adjust to use goacc_unmap_vars.
+ * target.c (hash_entry_type): New typedef.
+ (htab_alloc): New function hook for hashtab.h.
+ (htab_free): Likewise.
+ (htab_hash): Likewise.
+ (htab_eq): Likewise.
+ (hashtab.h): Add file include.
+ (gomp_increment_refcount): New function.
+ (gomp_decrement_refcount): Likewise.
+ (gomp_map_vars_existing): Add refcount_set parameter, adjust to use
+ gomp_increment_refcount.
+ (gomp_map_fields_existing): Add refcount_set parameter, adjust calls
+ to gomp_map_vars_existing.
+ (gomp_map_vars_internal): Add refcount_set parameter, add local openmp_p
+ variable to guard OpenMP specific paths, adjust calls to
+ gomp_map_vars_existing, add structure element sibling splay_tree_key
+ sequence creation code, adjust Fortran map case to avoid increment
+ under OpenMP.
+ (gomp_map_vars): Adjust to static, add refcount_set parameter, manage
+ local refcount_set if caller passed in NULL, adjust call to
+ gomp_map_vars_internal.
+ (gomp_map_vars_async): Adjust and rename into...
+ (goacc_map_vars): ...this new function, adjust call to
+ gomp_map_vars_internal.
+ (gomp_remove_splay_tree_key): New function with code factored out from
+ gomp_remove_var_internal.
+ (gomp_remove_var_internal): Add code to handle removing multiple
+ splay_tree_key sequence for structure elements, adjust code to use
+ gomp_remove_splay_tree_key for splay-tree key removal.
+ (gomp_unmap_vars_internal): Add refcount_set parameter, adjust to use
+ gomp_decrement_refcount.
+ (gomp_unmap_vars): Adjust to static, add refcount_set parameter, manage
+ local refcount_set if caller passed in NULL, adjust call to
+ gomp_unmap_vars_internal.
+ (gomp_unmap_vars_async): Adjust and rename into...
+ (goacc_unmap_vars): ...this new function, adjust call to
+ gomp_unmap_vars_internal.
+ (GOMP_target): Manage refcount_set and adjust calls to gomp_map_vars and
+ gomp_unmap_vars.
+ (GOMP_target_ext): Likewise.
+ (gomp_target_data_fallback): Adjust call to gomp_map_vars.
+ (GOMP_target_data): Likewise.
+ (GOMP_target_data_ext): Likewise.
+ (GOMP_target_end_data): Adjust call to gomp_unmap_vars.
+ (gomp_exit_data): Add refcount_set parameter, adjust to use
+ gomp_decrement_refcount, adjust to queue splay-tree keys for removal
+ after main loop.
+ (GOMP_target_enter_exit_data): Manage refcount_set and adjust calls to
+ gomp_map_vars and gomp_exit_data.
+ (gomp_target_task_fn): Likewise.
+ * testsuite/libgomp.c-c++-common/refcount-1.c: New testcase.
+ * testsuite/libgomp.c-c++-common/struct-elem-1.c: New testcase.
+ * testsuite/libgomp.c-c++-common/struct-elem-2.c: New testcase.
+ * testsuite/libgomp.c-c++-common/struct-elem-3.c: New testcase.
+ * testsuite/libgomp.c-c++-common/struct-elem-4.c: New testcase.
+ * testsuite/libgomp.c-c++-common/struct-elem-5.c: New testcase.
+
2021-06-15 Tobias Burnus <tobias@codesourcery.com>
PR fortran/92568
diff --git a/libitm/ChangeLog b/libitm/ChangeLog
index 7b3dff0b718..cffd7e1afa9 100644
--- a/libitm/ChangeLog
+++ b/libitm/ChangeLog
@@ -1,3 +1,8 @@
+2021-06-17 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/91488
+ * testsuite/libitm.c++/libstdc++-pr91488.C: New test.
+
2021-01-15 Jakub Jelinek <jakub@redhat.com>
PR target/70454
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index eaebcea0c15..0223a74f8b0 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,42 @@
+2021-06-17 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/91488
+ * include/bits/basic_string.h (__cpp_lib_constexpr_string): Only
+ define when is_constant_evaluated is available.
+ * include/bits/char_traits.h (__cpp_lib_constexpr_char_traits):
+ Likewise.
+ (__constant_string_p, __constant_array_p): Remove.
+ (char_traits): Use is_constant_evaluated directly.
+ * include/std/version (__cpp_lib_constexpr_char_traits)
+ (__cpp_lib_constexpr_string): Only define when
+ is_constant_evaluated is available.
+
+2021-06-17 Patrick Palka <ppalka@redhat.com>
+
+ PR libstdc++/100940
+ * include/std/ranges (__adaptor::_Partial): For the "simple"
+ forwarding partial specializations, also require that
+ the extra arguments are trivially copyable.
+ * testsuite/std/ranges/adaptors/100577.cc (test04): New test.
+
+2021-06-17 Patrick Palka <ppalka@redhat.com>
+
+ PR libstdc++/100940
+ * include/std/ranges (__adaptor::_RangeAdaptor): Document the
+ template form of _S_has_simple_extra_args.
+ (__adaptor::__adaptor_has_simple_extra_args): Add _Args template
+ parameter pack. Try to treat _S_has_simple_extra_args as a
+ variable template parameterized by _Args.
+ (__adaptor::_Partial): Pass _Arg/_Args to the constraint
+ __adaptor_has_simple_extra_args.
+ (views::_Take::_S_has_simple_extra_args): Templatize according
+ to the type of the extra argument.
+ (views::_Drop::_S_has_simple_extra_args): Likewise.
+ (views::_Split::_S_has_simple_extra_args): Define.
+ * testsuite/std/ranges/adaptors/100577.cc (test01, test02):
+ Adjust after changes to _S_has_simple_extra_args mechanism.
+ (test03): Define.
+
2021-06-16 Jonathan Wakely <jwakely@redhat.com>
* include/bits/iterator_concepts.h (__decay_copy): Name type.
More information about the Gcc-cvs
mailing list