[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