[gcc r12-1492] Daily bump.

GCC Administrator gccadmin@gcc.gnu.org
Wed Jun 16 00:17:42 GMT 2021


https://gcc.gnu.org/g:ede6c3568f383f62df7bf9234212ee80763fdf6b

commit r12-1492-gede6c3568f383f62df7bf9234212ee80763fdf6b
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Wed Jun 16 00:17:05 2021 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           |  68 ++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 276 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/analyzer/ChangeLog  |  90 ++++++++++++++++
 gcc/c-family/ChangeLog  |   5 +
 gcc/c/ChangeLog         |   5 +
 gcc/cp/ChangeLog        |   4 +
 gcc/fortran/ChangeLog   |  19 ++++
 gcc/testsuite/ChangeLog |  46 ++++++++
 libgomp/ChangeLog       |   5 +
 libstdc++-v3/ChangeLog  |  43 ++++++++
 11 files changed, 562 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 65d57100f6a..92423fdbbb2 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,71 @@
+2021-06-15  Martin Sebor  <msebor@redhat.com>
+
+	PR middle-end/100876
+	* builtins.c: (gimple_call_return_array): Account for size_t
+	mangling as either unsigned int or unsigned long
+
+2021-06-15  Jeff Law  <jeffreyalaw@gmail.com>
+
+	* compare-elim.c (try_eliminate_compare): Run DCE to clean things
+	up before eliminating comparisons.
+
+2021-06-15  Aldy Hernandez  <aldyh@redhat.com>
+
+	* range-op.cc (operator_bitwise_or::wi_fold): Make sure
+	nonzero|X is nonzero.
+	(range_op_bitwise_and_tests): Add tests for above.
+
+2021-06-15  Carl Love  <cel@us.ibm.com>
+
+	PR target/101022
+	* config/rs6000/rs6000-builtin.def (VCMPEQUT): Fix the ICODE for the
+	enum definition.
+	(VRLQ, VSLQ, VSRQ, VSRAQ): Remove unused BU_P10_OVERLOAD_2
+	definitions.
+
+2021-06-15  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR fortran/92568
+	* gimplify.c (enum gimplify_defaultmap_kind): Add GDMK_SCALAR_TARGET.
+	(struct gimplify_omp_ctx): Extend defaultmap array by one.
+	(new_omp_context): Init defaultmap[GDMK_SCALAR_TARGET].
+	(omp_notice_variable): Update type classification for Fortran.
+	(gimplify_scan_omp_clauses): Update calls for new argument; handle
+	GDMK_SCALAR_TARGET; for Fortran, GDMK_POINTER avoid GOVD_MAP_0LEN_ARRAY.
+	* langhooks-def.h (lhd_omp_scalar_p): Add 'ptr_ok' argument.
+	* langhooks.c (lhd_omp_scalar_p): Likewise.
+	(LANG_HOOKS_OMP_ALLOCATABLE_P, LANG_HOOKS_OMP_SCALAR_TARGET_P): New.
+	(LANG_HOOKS_DECLS): Add them.
+	* langhooks.h (struct lang_hooks_for_decls): Add new hooks, update
+	omp_scalar_p pointer type to include the new bool argument.
+
+2021-06-15  David Malcolm  <dmalcolm@redhat.com>
+
+	* doc/analyzer.texi
+	(Special Functions for Debugging the Analyzer): Add
+	__analyzer_dump_capacity.
+
+2021-06-15  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/101046
+	* expr.c (expand_expr_real_2) <case VEC_PACK_FIX_TRUNC_EXPR,
+	case VEC_PACK_TRUNC_EXPR>: Clear subtarget when changing mode.
+
+2021-06-15  Richard Biener  <rguenther@suse.de>
+
+	* cfgloopanal.c (mark_irreducible_loops): Use a dominance
+	check to identify loop latches.
+	* cfgloop.c (verify_loop_structure): Likewise.
+	* loop-init.c (apply_loop_flags): Allow marked irreducible
+	regions even with multiple latches.
+	* predict.c (rebuild_frequencies): Simplify.
+
+2021-06-15  Richard Biener  <rguenther@suse.de>
+
+	* tree-ssa-threadupdate.c
+	(jump_thread_path_registry::mark_threaded_blocks): Assert we
+	have marked irreducible regions.
+
 2021-06-14  Martin Sebor  <msebor@redhat.com>
 
 	PR c++/100876
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 78287281a18..052decd9611 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20210615
+20210616
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 9805f1843ba..31eca3fa086 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,279 @@
+2021-06-15  Steve Baird  <baird@adacore.com>
+
+	* exp_util.adb (Kill_Dead_Code): Generalize the existing
+	handling of if statements to handle case statements similarly.
+
+2021-06-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* raise.h (_gnat_builtin_longjmp): Delete.
+	(set_gnat_exit_status): Likewise.
+
+2021-06-15  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_util.adb (Possible_Side_Effect_In_SPARK): Handle component
+	declaration just like full type and subtype declarations.
+
+2021-06-15  Yannick Moy  <moy@adacore.com>
+
+	* errout.adb (First_And_Last_Node): Also apply to arbitrary late
+	declarations, not only subprogram specs.
+
+2021-06-15  Bob Duff  <duff@adacore.com>
+
+	* sem_ch3.adb (Make_Class_Wide_Type): Make sure all the calls to
+	Reinit_Field_To_Zero are for the correct Ekinds.
+
+2021-06-15  Bob Duff  <duff@adacore.com>
+
+	* aspects.ads (No_Task_Parts): New aspect.
+	* snames.ads-tmpl: Add the aspect name.
+	* exp_ch6.adb (Might_Have_Tasks): Return False if this is a
+	class-wide type whose specific type has No_Task_Parts.
+	* freeze.adb (Check_No_Parts_Violations): This is an adaptation
+	of the procedure formerly known as
+	Check_No_Controlled_Parts_Violations, which now supports both
+	No_Controlled_Parts and No_Task_Parts.  It takes a parameter
+	indicating which aspect is being checked.
+	(Freeze_Entity): Call Check_No_Parts_Violations for both
+	aspects.
+	* sem_ch13.adb (Analyze_Aspect_Specifications): The code for
+	Aspect_No_Controlled_Parts already works as is with
+	Aspect_No_Task_Parts.
+	* libgnat/a-iteint.ads: Add No_Task_Parts aspect to the two
+	iterator iterfaces.
+	* doc/gnat_rm/implementation_defined_aspects.rst: Add
+	documentation for the No_Task_Parts aspect.
+	* gnat_rm.texi: Regenerate.
+
+2021-06-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* exp_unst.adb (Unnest_Subprogram.Build_Table.Visit_Node): Fix
+	handling of scopes for subprogram calls.
+
+2021-06-15  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_prag.adb: Fix typos in comments related to access types.
+	* sem_util.adb (Is_Access_Variable): Stronger condition.
+
+2021-06-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* Make-generated.in: Add rule to copy runtime files needed
+	during stage1.
+	* raise.c: Remove obsolete symbols used during bootstrap.
+	* gcc-interface/Make-lang.in: Do not use libgnat sources during
+	stage1.
+	(GNAT_ADA_OBJS, GNATBIND_OBJS): Split in two parts, the common
+	part and the part only used outside of stage1.
+	(ADA_GENERATED_FILES): Add runtime files needed during bootstrap
+	when recent APIs are needed.
+	(ada/b_gnatb.adb): Remove prerequisite.
+	* gcc-interface/system.ads: Remove obsolete entries.
+
+2021-06-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* raise-gcc.c (__gnat_personality_seh0): Use PERSONALITY_FUNCTION.
+
+2021-06-15  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_util.adb (Is_Confirming): Separate the handling of
+	Implicit_Dereference, for which no pragma is generated but which
+	is already checked for legality in Sem_Ch13, including renamed
+	discriminants in a derived type.
+	(Is_Confirming, Same_Name): For expanded names, only check
+	matching of selector, because prefix may correspond to original
+	and derived types with different names and/or scopes. Semantic
+	checks on aspect expression have already verified its legality.
+	Add comments regarding possible gaps in RM description of the
+	feature.
+
+2021-06-15  Gary Dismukes  <dismukes@adacore.com>
+
+	* freeze.adb (Freeze_Subprogram): Don't propagate conventions
+	Intrinsic or Entry to anonymous access-to-subprogram types
+	associated with subprograms having those conventions. Update
+	related comment.
+	* sem_attr.adb (Resolve_Attribute, Attribute_*Access): Remove
+	special-case warning code for cases where a called subprogram
+	has convention Intrinsic as well as its formal's type (the
+	expected type for the Access attribute), since this case can no
+	longer occur.
+
+2021-06-15  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_imgv.adb (Expand_User_Defined_Enumeration_Image): Fix
+	typos.
+
+2021-06-15  Bob Duff  <duff@adacore.com>
+
+	* einfo-utils.adb (Known_Component_Size,
+	Known_Static_Component_Size, Unknown_Component_Size): Use
+	Implementation_Base_Type instead of Base_Type.
+
+2021-06-15  Bob Duff  <duff@adacore.com>
+
+	* gen_il-gen-gen_entities.adb (E_Loop_Parameter): Add
+	Interface_Name field.
+
+2021-06-15  Bob Duff  <duff@adacore.com>
+
+	* sem_cat.adb (Check_Non_Static_Default_Expr): Allow nonstatic
+	expression in predefined unit with pragma Preelaborate.
+
+2021-06-15  Yannick Moy  <moy@adacore.com>
+
+	* doc/gnat_rm/intrinsic_subprograms.rst: More details on shift
+	operations for signed types. Also add the missing Import and
+	Convention on the example.
+	* gnat_rm.texi: Regenerate.
+
+2021-06-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* raise-gcc.c: Include <cstdarg> instead of <stdarg.h> in C++.
+	Include <stdbool.h> and unconditionally <stdlib.h> in C.
+
+2021-06-15  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.ads (Find_Overlaid_Entity): Simplify comment for
+	spec.
+	* sem_util.adb (Find_Overlaid_Entity): Remove defensive code
+	from body.
+
+2021-06-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* argv.c: Add include of <stdlib.h> for the runtime.
+	(gnat_argv): Change type to char ** and initialize to NULL.
+	(gnat_envp): Likewise.
+	* argv-lynxos178-raven-cert.c: Add include of <stdlib.h>.
+	(gnat_argv): Change type to char ** and initialize to NULL.
+	(gnat_envp): Likewise.
+
+2021-06-15  Bob Duff  <duff@adacore.com>
+
+	* gen_il-gen.adb (Setter_Needs_Parent): Add missing
+	Then_Actions.  Fix self-contradictory comment.
+	* exp_util.adb (Insert_Actions): Minor comment improvments.
+
+2021-06-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_eval.adb (Eval_Logical_Op, Test_Expression_Is_Foldable):
+	Add support for folding more "and"/"or" expressions.
+	* exp_util.adb (Side_Effect_Free): Fix handling of membership
+	tests.
+
+2021-06-15  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_res.adb (Resolve_Actual): Replace repeated calls to
+	"Etype (F)" with references to "F_Typ", which keeps the results
+	of exactly that call.
+
+2021-06-15  Bob Duff  <duff@adacore.com>
+
+	* gen_il-gen.adb (To_Bit_Offset): Use 'Base to avoid overflow in
+	computations in Last_Bit when Offset = 'Last.
+	(Choose_Offset): Give a better error message when we run out of
+	fields.  In particular, point out that
+	Gen_IL.Internals.Bit_Offset'Last needs to be increased.
+
+2021-06-15  Bob Duff  <duff@adacore.com>
+
+	* atree.ads, einfo-utils.ads, einfo-utils.adb, fe.h, gen_il.adb,
+	gen_il.ads, gen_il-gen-gen_entities.adb,
+	gen_il-gen-gen_nodes.adb, sem_ch12.adb, sem_ch3.adb,
+	sem_util.adb, sinfo-utils.ads, treepr.adb, types.ads: Clean up
+	??? comments and other comments.
+	* atree.adb: Clean up ??? comments and other comments.
+	(Validate_Node): Fix bug: "Off_0 (N) < Off_L (N)"
+	should be "Off_0 (N) <= Off_L (N)".
+	* gen_il-gen.adb, gen_il-gen.ads: Clean up ???
+	comments and other comments.  Add support for getter-specific
+	and setter-specific preconditions.  Detect the error of putting
+	a field in the wrong subrange.  Misc cleanup.
+	(Node_Field vs. Entity_Field): Clean up Nmake.  Improve
+	comments.
+	* gen_il-utils.ads: Misc cleanup. Move...
+	* gen_il-internals.ads: ... here.
+	* gen_il-utils.adb: Misc cleanup. Move...
+	* gen_il-internals.adb: ... here.
+	* gen_il-fields.ads: Move Was_Default_Init_Box_Association,
+	which was in the wrong subrange.  Add comments.  Misc cleanup.
+	* gen_il-types.ads: Add Named_Access_Kind.
+	* sinfo-cn.adb: Clean up ??? comments and other comments.
+	Remove redundant assertions.
+	* einfo.ads, sinfo.ads: Clean up ??? comments and other
+	comments.  Remove all the comments indicating field offsets.
+	These are obsolete now that Gen_IL computes the offsets
+	automatically.
+
+2021-06-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* einfo.ads, errout.adb, errout.ads, exp_aggr.adb, exp_ch5.adb,
+	exp_ch6.adb, exp_ch8.adb, exp_ch9.adb, exp_imgv.adb,
+	exp_put_image.adb, fe.h, impunit.adb, impunit.ads,
+	libgnat/a-cobove.ads, libgnat/a-convec.ads, opt.ads,
+	par-ch12.adb, par-ch3.adb, par-ch4.adb, par-ch5.adb,
+	par-ch6.adb, par-prag.adb, par-util.adb, scans.ads, scng.adb,
+	sem_aggr.adb, sem_attr.adb, sem_ch10.adb, sem_ch12.adb,
+	sem_ch13.adb, sem_ch3.adb, sem_ch5.adb, sem_ch6.adb,
+	sem_ch8.adb, sem_elab.adb, sem_eval.adb, sem_prag.adb,
+	sem_res.adb, sem_type.adb, sem_util.adb, sem_util.ads,
+	sinfo.ads, snames.ads-tmpl, sprint.adb, switch-c.adb, usage.adb,
+	doc/gnat_ugn/building_executable_programs_with_gnat.rst,
+	doc/gnat_rm/implementation_defined_aspects.rst,
+	gcc-interface/trans.c: Update all references to Ada 2020 to Ada
+	2022. Rename pragma Ada_2020 to Ada_2022.  Update documentation
+	accordingly.
+	* gnat_ugn.texi, gnat_rm.texi: Regenerate.
+
+2021-06-15  Steve Baird  <baird@adacore.com>
+
+	* sem_util.adb (Gather_Components): Factor the test that was
+	already being used to govern emitting a pre-Ada_2020 error
+	message into an expression function,
+	OK_Scope_For_Discrim_Value_Error_Messages. Call that new
+	function in two places: the point where the same test was being
+	performed previously, and in governing emission of a newer
+	Ada_2020 error message. In both cases, the out-mode parameter
+	Gather_Components.Report_Errors is set to True even if no error
+	messages are generated within Gather_Components.
+	* sem_util.ads: Correct a comment.
+
+2021-06-15  Richard Kenner  <kenner@adacore.com>
+
+	* sem_ch3.adb (Array_Type_Declaration, Build_Derived_Type):
+	Reinitialize Stored_Constraint when needed.
+	(Set_Modular_Size): Likewise.
+	* atree.adb: (Check_Vanishing_Fields): Add node id to debugging
+	information.
+
+2021-06-15  Bob Duff  <duff@adacore.com>
+
+	* sem_util.adb (Propagate_Invariant_Attributes): Call
+	Set_Has_Own_Invariants on the base type, because these are
+	Base_Type_Only. The problem is that the base type of a type is
+	indeed a base type when Set_Base_Type is called, but then the
+	type is mutated into a subtype in rare cases.
+	* atree.ads, atree.adb (Is_Entity): Export. Correct subtype of
+	parameter in body.
+	* gen_il-gen.adb: Improve getters so that "Pre => ..." can refer
+	to the value of the field. Put Warnings (Off) on some with
+	clauses that are not currently used, but might be used by such
+	Pre's.
+
+2021-06-15  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch3.adb (Access_Type_Declaration): Add comments to explain
+	the ordering of Mutate_Kind and Set_Directly_Designated_Type;
+	remove temporary setting of Ekind to E_Access_Type for building
+	_master objects, since now the Ekind is already set to its final
+	value. Move repeated code into Setup_Access_Type routine and use
+	it so that Process_Subtype is executed before mutating the kind
+	of the type entity.
+	* gen_il-gen-gen_entities.adb (Gen_Entities): Remove
+	Directly_Designated_Type from E_Void, E_Private_Record,
+	E_Limited_Private_Type and Incomplete_Kind; now it only belongs
+	to Access_Kind entities.
+	* sem_util.adb: Minor reformatting.
+
 2021-06-03  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Add PAT
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 400175a86fc..b8f7a2bb314 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,93 @@
+2021-06-15  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/99212
+	PR analyzer/101082
+	* engine.cc: Include "target.h".
+	(impl_run_checkers): Log BITS_BIG_ENDIAN, BYTES_BIG_ENDIAN, and
+	WORDS_BIG_ENDIAN.
+	* region-model-manager.cc
+	(region_model_manager::maybe_fold_binop): Move support for masking
+	via ARG0 & CST into...
+	(region_model_manager::maybe_undo_optimize_bit_field_compare):
+	...this new function.  Flatten by converting from nested
+	conditionals to a series of early return statements to reject
+	failures.  Reject if type is not unsigned_char_type_node.
+	Handle BYTES_BIG_ENDIAN when determining which bits are bound
+	in the binding_map.
+	* region-model.h
+	(region_model_manager::maybe_undo_optimize_bit_field_compare):
+	New decl.
+	* store.cc (bit_range::dump): New function.
+	* store.h (bit_range::dump): New decl.
+
+2021-06-15  David Malcolm  <dmalcolm@redhat.com>
+
+	* engine.cc (exploded_node::on_stmt): Handle __analyzer_dump_capacity.
+	(exploded_node::on_stmt): Drop m_sm_changes from on_stmt_flags.
+	(state_change_requires_new_enode_p): New function...
+	(exploded_graph::process_node): Call it, rather than querying
+	flags.m_sm_changes, so that dynamic-extent differences can also
+	trigger the splitting of nodes.
+	* exploded-graph.h (struct on_stmt_flags): Drop field m_sm_changes.
+	* program-state.cc (program_state::detect_leaks): Purge dead
+	heap-allocated regions from dynamic extents.
+	(selftest::test_program_state_1): Fix type of "size_in_bytes".
+	(selftest::test_program_state_merging): Likewise.
+	* region-model-impl-calls.cc
+	(region_model::impl_call_analyzer_dump_capacity): New.
+	(region_model::impl_call_free): Remove dynamic extents from the
+	freed region.
+	* region-model-reachability.h
+	(reachable_regions::begin_mutable_base_regs): New.
+	(reachable_regions::end_mutable_base_regs): New.
+	* region-model.cc: Include "tree-object-size.h".
+	(region_model::region_model): Support new field m_dynamic_extents.
+	(region_model::operator=): Likewise.
+	(region_model::operator==): Likewise.
+	(region_model::dump_to_pp): Dump sizes of dynamic regions.
+	(region_model::handle_unrecognized_call): Purge dynamic extents
+	from any regions that have escaped mutably:.
+	(region_model::get_capacity): New function.
+	(region_model::add_constraint): Unset dynamic extents when a
+	heap-allocated region's address is NULL.
+	(region_model::unbind_region_and_descendents): Purge dynamic
+	extents of unbound regions.
+	(region_model::can_merge_with_p): Call
+	m_dynamic_extents.can_merge_with_p.
+	(region_model::create_region_for_heap_alloc): Assert that
+	size_in_bytes's type is compatible with size_type_node.  Update
+	for renaming of record_dynamic_extents to set_dynamic_extents.
+	(region_model::create_region_for_alloca): Likewise.
+	(region_model::record_dynamic_extents): Rename to...
+	(region_model::set_dynamic_extents): ...this.  Assert that
+	size_in_bytes's type is compatible with size_type_node.  Add it
+	to the m_dynamic_extents map.
+	(region_model::get_dynamic_extents): New.
+	(region_model::unset_dynamic_extents): New.
+	(selftest::test_state_merging): Fix type of "size".
+	(selftest::test_malloc_constraints): Likewise.
+	(selftest::test_malloc): Verify dynamic extents.
+	(selftest::test_alloca): Likewise.
+	* region-model.h (region_to_value_map::is_empty): New.
+	(region_model::dynamic_extents_t): New typedef.
+	(region_model::impl_call_analyzer_dump_capacity): New decl.
+	(region_model::get_dynamic_extents): New function.
+	(region_model::get_dynamic_extents): New decl.
+	(region_model::set_dynamic_extents): New decl.
+	(region_model::unset_dynamic_extents): New decl.
+	(region_model::get_capacity): New decl.
+	(region_model::record_dynamic_extents): Rename to set_dynamic_extents.
+	(region_model::m_dynamic_extents): New field.
+
+2021-06-15  David Malcolm  <dmalcolm@redhat.com>
+
+	* region-model.cc (region_to_value_map::operator=): New.
+	(region_to_value_map::operator==): New.
+	(region_to_value_map::dump_to_pp): New.
+	(region_to_value_map::dump): New.
+	(region_to_value_map::can_merge_with_p): New.
+	* region-model.h (class region_to_value_map): New class.
+
 2021-06-13  Trevor Saunders  <tbsaunde@tbsaunde.org>
 
 	* call-string.cc (call_string::call_string): Use range based for
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 39fae4e6a8b..ba218e652cc 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,8 @@
+2021-06-15  Robin Dapp  <rdapp@linux.ibm.com>
+
+	* c-attribs.c (common_handle_aligned_attribute): Remove short
+	circuit and dead code.
+
 2021-06-14  Jonathan Wakely  <jwakely@redhat.com>
 
 	PR c++/101052
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 665fcd84c2d..2deedba3bde 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,8 @@
+2021-06-15  Robin Dapp  <rdapp@linux.ibm.com>
+
+	* c-decl.c (merge_decls): Copy DECL_USER_ALIGN if DECL_ALIGN is
+	similar.
+
 2021-06-14  Tobias Burnus  <tobias@codesourcery.com>
 
 	PR c/100913
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f5659cf39b2..3016da8c650 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,7 @@
+2021-06-15  Robin Dapp  <rdapp@linux.ibm.com>
+
+	* decl.c (duplicate_decls): Likewise.
+
 2021-06-14  Tobias Burnus  <tobias@codesourcery.com>
 
 	PR c/100913
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index a0ee6eb21f5..3c7193323cf 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,22 @@
+2021-06-15  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR fortran/92568
+	* dump-parse-tree.c (show_omp_clauses): Update for defaultmap.
+	* f95-lang.c (LANG_HOOKS_OMP_ALLOCATABLE_P,
+	LANG_HOOKS_OMP_SCALAR_TARGET_P): New.
+	* gfortran.h (enum gfc_omp_defaultmap,
+	enum gfc_omp_defaultmap_category): New.
+	* openmp.c (gfc_match_omp_clauses): Update defaultmap matching.
+	* trans-decl.c (gfc_finish_decl_attrs): Set GFC_DECL_SCALAR_TARGET.
+	* trans-openmp.c (gfc_omp_allocatable_p, gfc_omp_scalar_target_p): New.
+	(gfc_omp_scalar_p): Take 'ptr_alloc_ok' argument.
+	(gfc_trans_omp_clauses, gfc_split_omp_clauses): Update for
+	defaultmap changes.
+	* trans.h (gfc_omp_scalar_p): Update prototype.
+	(gfc_omp_allocatable_p, gfc_omp_scalar_target_p): New.
+	(struct lang_decl): Add scalar_target.
+	(GFC_DECL_SCALAR_TARGET, GFC_DECL_GET_SCALAR_TARGET): New.
+
 2021-06-14  Tobias Burnus  <tobias@codesourcery.com>
 
 	* resolve.c (resolve_variable): Remove *XCNEW used to
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index fb8419834a0..8b273523f1f 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,49 @@
+2021-06-15  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR fortran/92568
+	* gfortran.dg/gomp/pr99928-1.f90: Uncomment 'defaultmap(none)'.
+	* gfortran.dg/gomp/pr99928-2.f90: Uncomment 'defaultmap(none)'.
+	* gfortran.dg/gomp/pr99928-3.f90: Uncomment 'defaultmap(none)'.
+	* gfortran.dg/gomp/pr99928-4.f90: Uncomment 'defaultmap(none)'.
+	* gfortran.dg/gomp/pr99928-5.f90: Uncomment 'defaultmap(none)'.
+	* gfortran.dg/gomp/pr99928-6.f90: Uncomment 'defaultmap(none)'.
+	* gfortran.dg/gomp/pr99928-8.f90: Uncomment 'defaultmap(none)'.
+	* gfortran.dg/gomp/defaultmap-1.f90: New test.
+	* gfortran.dg/gomp/defaultmap-2.f90: New test.
+	* gfortran.dg/gomp/defaultmap-3.f90: New test.
+	* gfortran.dg/gomp/defaultmap-4.f90: New test.
+	* gfortran.dg/gomp/defaultmap-5.f90: New test.
+	* gfortran.dg/gomp/defaultmap-6.f90: New test.
+	* gfortran.dg/gomp/defaultmap-7.f90: New test.
+
+2021-06-15  David Malcolm  <dmalcolm@redhat.com>
+
+	* gcc.dg/analyzer/analyzer-decls.h (__analyzer_dump_capacity): New decl.
+	* gcc.dg/analyzer/capacity-1.c: New test.
+	* gcc.dg/analyzer/capacity-2.c: New test.
+	* gcc.dg/analyzer/capacity-3.c: New test.
+
+2021-06-15  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/101068
+	* gcc.dg/analyzer/explode-2a.c: New test.
+
+2021-06-15  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/101046
+	* gcc.target/i386/pr101046.c: New test.
+
+2021-06-15  Robin Dapp  <rdapp@linux.ibm.com>
+
+	* c-c++-common/Wattributes.c: Remove s390-specific check and add
+	new tests.
+	* gcc.dg/Wattributes-6.c: Likewise.
+
+2021-06-15  Xionghu Luo  <luoxhu@linux.ibm.com>
+
+	PR target/101020
+	* gcc.target/powerpc/float128-call.c: Adjust counts for be and le.
+
 2021-06-14  Martin Sebor  <msebor@redhat.com>
 
 	PR c++/100876
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index ed9f258d2f2..975406a6ba5 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,8 @@
+2021-06-15  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR fortran/92568
+	* testsuite/libgomp.fortran/defaultmap-8.f90: New test.
+
 2021-06-10  Andrew Stubbs  <ams@codesourcery.com>
 	    Thomas Schwinge  <thomas@codesourcery.com>
 
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 635bc1c4789..c802dac3364 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,46 @@
+2021-06-15  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/ranges_base.h (ranges::begin, ranges::end)
+	(ranges::cbegin, ranges::cend, ranges::rbeing, ranges::rend)
+	(ranges::crbegin, ranges::crend, ranges::size, ranges::ssize)
+	(ranges::empty, ranges::data, ranges::cdata): Make types final.
+	Add deleted operator& overloads.
+	(ranges::advance, ranges::distance, ranges::next, ranges::prev):
+	Likewise.
+	* testsuite/std/ranges/headers/ranges/synopsis.cc: Replace
+	ill-formed & expressions with using-declarations. Add checks for
+	other function objects.
+
+2021-06-15  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/ranges_util.h (view_interface): Add noexcept to
+	empty, operator bool, data and size members.
+	(subrange): Add noexcept to constructors.
+	* include/std/ranges (single_view, ref_view): Add noexcept to
+	constructors.
+	(views::single, views::all): Add noexcept.
+	* testsuite/std/ranges/adaptors/all.cc: Check noexcept.
+	* testsuite/std/ranges/single_view.cc: Likewise.
+
+2021-06-15  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/ranges_util.h (subrange): Add __size_type typedef
+	and use it to simplify declarations.
+	(subrange(i, s, n)): Remove assertion.
+	* testsuite/std/ranges/subrange/constexpr.cc: New test.
+
+2021-06-15  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/iterator_concepts.h (__cust_access::__decay_copy):
+	Replace with function object.
+	(__cust_access::__member_begin, ___cust_access::_adl_begin): Use
+	__decay_copy unqualified.
+	* include/bits/ranges_base.h (__member_end, __adl_end):
+	Likewise. Use __range_iter_t for type of ranges::begin.
+	(__member_rend): Use correct value category for rbegin argument.
+	(__member_data): Use __decay_copy unqualified.
+	(__begin_data): Use __range_iter_t for type of ranges::begin.
+
 2021-06-14  Jonathan Wakely  <jwakely@redhat.com>
 
 	* include/bits/ranges_base.h (ranges::empty): Check whether


More information about the Libstdc++-cvs mailing list