Daily bump.

5 files changed, 350 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5c41406..50966f5 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,58 @@
+2020-07-15  Uroš Bizjak  <ubizjak@gmail.com>
+
+	PR target/95355
+	* config/i386/sync.md
+	(peephole2 to remove unneded compare after CMPXCHG): New pattern.
+
+2020-07-15  Jakub Jelinek  <jakub@redhat.com>
+
+	PR libgomp/96198
+	* omp-general.h (struct omp_for_data): Rename min_inner_iterations
+	member to first_inner_iterations, adjust comment.
+	* omp-general.c (omp_extract_for_data): Adjust for the above change.
+	Always use n1first and n2first to compute it, rather than depending
+	on single_nonrect_cond_code.  Similarly, always compute factor
+	as (m2 - m1) * outer_step / inner_step rather than sometimes m1 - m2
+	depending on single_nonrect_cond_code.
+	* omp-expand.c (expand_omp_for_init_vars): Rename min_inner_iterations
+	to first_inner_iterations and min_inner_iterationsd to
+	first_inner_iterationsd.
+
+2020-07-15  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/96174
+	* config/i386/avx512fintrin.h (_mm512_cmpeq_pd_mask,
+	_mm512_mask_cmpeq_pd_mask, _mm512_cmplt_pd_mask,
+	_mm512_mask_cmplt_pd_mask, _mm512_cmple_pd_mask,
+	_mm512_mask_cmple_pd_mask, _mm512_cmpunord_pd_mask,
+	_mm512_mask_cmpunord_pd_mask, _mm512_cmpneq_pd_mask,
+	_mm512_mask_cmpneq_pd_mask, _mm512_cmpnlt_pd_mask,
+	_mm512_mask_cmpnlt_pd_mask, _mm512_cmpnle_pd_mask,
+	_mm512_mask_cmpnle_pd_mask, _mm512_cmpord_pd_mask,
+	_mm512_mask_cmpord_pd_mask, _mm512_cmpeq_ps_mask,
+	_mm512_mask_cmpeq_ps_mask, _mm512_cmplt_ps_mask,
+	_mm512_mask_cmplt_ps_mask, _mm512_cmple_ps_mask,
+	_mm512_mask_cmple_ps_mask, _mm512_cmpunord_ps_mask,
+	_mm512_mask_cmpunord_ps_mask, _mm512_cmpneq_ps_mask,
+	_mm512_mask_cmpneq_ps_mask, _mm512_cmpnlt_ps_mask,
+	_mm512_mask_cmpnlt_ps_mask, _mm512_cmpnle_ps_mask,
+	_mm512_mask_cmpnle_ps_mask, _mm512_cmpord_ps_mask,
+	_mm512_mask_cmpord_ps_mask): Move outside of __OPTIMIZE__ guarded
+	section.
+
+2020-07-15  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/96176
+	* builtins.c: Include gimple-ssa.h, tree-ssa-live.h and
+	tree-outof-ssa.h.
+	(expand_expr_force_mode): If exp is a SSA_NAME with different mode
+	from MODE and get_gimple_for_ssa_name is a cast from MODE, use the
+	cast's rhs.
+
+2020-07-15  Jiufu Guo   <guojiufu@cn.ibm.com>
+
+	* config/rs6000/rs6000.c (rs6000_loop_unroll_adjust): Refine hook.
+
 2020-07-14  David Edelsohn  <dje.gcc@gmail.com>
 
 	* config/rs6000/rs6000.md (rotldi3_insert_sf): Add TARGET_POWERPC64
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 579ecf2..788faba 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200715
+20200716
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6e4b0e3..27c2628 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,261 @@
+2020-07-15  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Find_Overlaid_Entity): Fix style in comment.
+	(Note_Possible_Modification): Simplify repeated calls to Ekind.
+
+2020-07-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Flatten): Adjust description.
+	(Convert_To_Positional): Remove obsolete ??? comment and use
+	Compile_Time_Known_Value in the final test.
+
+2020-07-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* par-ch4.adb (P_Iterated_Component_Association): Extended to
+	recognzize the similar Iterated_Element_Association. This node
+	is only generated when an explicit Key_Expression is given.
+	Otherwise the distinction between the two iterated forms is done
+	during semantic analysis.
+	* sinfo.ads: New node N_Iterated_Element_Association, for
+	Ada202x container aggregates.  New field Key_Expression.
+	* sinfo.adb: Subprograms for new node and newn field.
+	* sem_aggr.adb (Resolve_Iterated_Component_Association): Handle
+	the case where the Iteration_Scheme is an
+	Iterator_Specification.
+	* exp_aggr.adb (Wxpand_Iterated_Component): Handle a component
+	with an Iterated_Component_Association, generate proper loop
+	using given Iterator_Specification.
+	* exp_util.adb (Insert_Axtions): Handle new node as other
+	aggregate components.
+	* sem.adb, sprint.adb: Handle new node.
+	* tbuild.adb (Make_Implicit_Loop_Statement): Handle properly a
+	loop with an Iterator_ specification.
+
+2020-07-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* libgnat/s-stposu.adb (Allocate_Any_Controlled): Fix logic in
+	lock/unlock.
+
+2020-07-15  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Is_Object_Reference): Return True on
+	N_Target_Name.
+
+2020-07-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Add proper
+	handling of Aspect_Predicate_Failure, consistent with
+	Check_Aspect_At_Freeze_Point.
+
+2020-07-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_ch13.adb (Check_Aspect_Too_Late): Mention -gnat2020 switch
+	in error message.
+
+2020-07-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* einfo.ads (Delayed Freezing and Elaboration): Adjust description.
+	* freeze.adb (Freeze_Object_Declaration): Likewise.
+	* sem_ch3.adb (Delayed_Aspect_Present): Likewise.  Do not return
+	true for Alignment.
+	* sem_ch13.adb (Analyze_Aspect_Specifications): Do not always delay
+	for Alignment.  Moreover, for Alignment and various Size aspects,
+	do not delay if the expression is an attribute whose prefix is the
+	Standard package.
+
+2020-07-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch6.adb (Requires_Atomic_Or_Volatile_Copy): Return false
+	inside an initialization procedure.
+
+2020-07-15  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* sem_util.adb (Is_Renaming): Add ekind checks.
+
+2020-07-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* doc/gnat_ugn/gnat_utility_programs.rst: Remove doc on obsolete
+	tools.
+	* gnat_ugn.texi: Regenerate.
+
+2020-07-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_res.adb (Resolve_Type_Conversion): Protect against null
+	entity.  Add proper tag for -gnatwr warning.
+
+2020-07-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_ch6.adb (Analyze_Procedure_Call): Detect use of operators
+	in a procedure call.
+	* sem_util.adb: Minor edit.
+
+2020-07-15  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_spark.adb (Expand_SPARK_Delta_Or_Update): Apply scalar
+	range checks against the base type of an index type, not against
+	the index type itself.
+
+2020-07-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* einfo.ads (Delayed Freezing and Elaboration): Minor tweaks.
+	Document the discrepancy between the aspect and the non-aspect
+	cases for alignment settings in object declarations.
+
+2020-07-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* exp_ch3.adb (Freeze_Type): Remove warning in expander,
+	replaced by a corresponding error in sem_ch13.adb. Replace
+	RTE_Available by RTU_Loaded to avoid adding unnecessary
+	dependencies.
+	* sem_ch13.adb (Associate_Storage_Pool): New procedure.
+	(Analyze_Attribute_Definition_Clause
+	[Attribute_Simple_Storage_Pool| Attribute_Storage_Pool]): Call
+	Associate_Storage_Pool to add proper legality checks on
+	subpools.
+
+2020-07-15  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/a-cbdlli.adb, libgnat/a-cbdlli.ads,
+	libgnat/a-cbhama.adb, libgnat/a-cbhama.ads,
+	libgnat/a-cbhase.adb, libgnat/a-cbhase.ads,
+	libgnat/a-cbmutr.adb, libgnat/a-cbmutr.ads,
+	libgnat/a-cborma.adb, libgnat/a-cborma.ads,
+	libgnat/a-cborse.adb, libgnat/a-cborse.ads,
+	libgnat/a-cbprqu.adb, libgnat/a-cbprqu.ads,
+	libgnat/a-cbsyqu.adb, libgnat/a-cbsyqu.ads,
+	libgnat/a-cdlili.adb, libgnat/a-cdlili.ads,
+	libgnat/a-cidlli.adb, libgnat/a-cidlli.ads,
+	libgnat/a-cihama.adb, libgnat/a-cihama.ads,
+	libgnat/a-cihase.adb, libgnat/a-cihase.ads,
+	libgnat/a-cimutr.adb, libgnat/a-cimutr.ads,
+	libgnat/a-ciorma.adb, libgnat/a-ciorma.ads,
+	libgnat/a-ciormu.adb, libgnat/a-ciormu.ads,
+	libgnat/a-ciorse.adb, libgnat/a-ciorse.ads,
+	libgnat/a-cohama.adb, libgnat/a-cohama.ads,
+	libgnat/a-cohase.adb, libgnat/a-cohase.ads,
+	libgnat/a-coinve.adb, libgnat/a-coinve.ads,
+	libgnat/a-comutr.adb, libgnat/a-comutr.ads,
+	libgnat/a-convec.adb, libgnat/a-convec.ads,
+	libgnat/a-coorma.adb, libgnat/a-coorma.ads,
+	libgnat/a-coormu.adb, libgnat/a-coormu.ads,
+	libgnat/a-coorse.adb, libgnat/a-coorse.ads: Add SPARK_Mode =>
+	Off.
+
+2020-07-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch3.adb (Delayed_Aspect_Present): Fix oversight in loop.
+	* freeze.adb (Freeze_Object_Declaration): Use Declaration_Node
+	instead of Parent for the sake of consistency.
+
+2020-07-15  Javier Miranda  <miranda@adacore.com>
+
+	* sem_attr.adb (Resolve_Attribute): Resolve overloaded
+	N_Selected_Component prefix of 'Access. Required to handle
+	overloaded prefixed view of protected subprograms.
+
+2020-07-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* doc/gnat_ugn/about_this_guide.rst: Remove old section and
+	update for Ada 202x.
+	* doc/gnat_ugn/getting_started_with_gnat.rst: Add a system
+	requirements section. Remove obsolete section and minimal
+	rewording on the getting started section.
+	* gnat_ugn.texi: Regenerate.
+
+2020-07-15  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_ch5.adb (Expand_Assign_Array): Use short-circuit operator
+	(style).
+	* sem_res.adb (Resolve_Indexed_Component): Fix style in comment.
+	* sem_util.adb (Is_Effectively_Volatile_Object): Handle slices
+	just like indexed components; handle qualified expressions and
+	type conversions lie in Is_OK_Volatile_Context.
+	(Is_OK_Volatile_Context): Handle qualified expressions just like
+	type conversions.
+
+2020-07-15  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_prag.adb (Atomic_Components): Simplify with Ekind_In.
+	(Complex_Representation): Fix type of E_Id, which just like when
+	for pragma Atomic_Components will hold an N_Identifier node, not
+	an entity.
+	* sem_util.adb (Is_Effectively_Volatile): Refactor to avoid
+	unnecessary computation.
+
+2020-07-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* inline.adb, inline.ads
+	(Inline_Static_Expression_Function_Call): Renamed
+	Inline_Static_Function_Call.
+	* sem_ch13.adb (Analyze_Aspect_Static): Allow static intrinsic
+	imported functions under -gnatX.
+	* sem_util.ads, sem_util.adb (Is_Static_Expression_Function):
+	Renamed Is_Static_Function.
+	(Is_Static_Expression_Function_Call): Renamed
+	Is_Static_Function_Call.
+	* sem_ch6.adb, sem_elab.adb, sem_res.adb: Update calls to
+	Is_Static_Function*.
+	* sem_eval.adb (Fold_Dummy, Eval_Intrinsic_Call, Fold_Shift):
+	New.
+	(Eval_Call): Add support for intrinsic calls, code refactoring.
+	(Eval_Entity_Name): Code refactoring.
+	(Eval_Logical_Op): Update comment.
+	(Eval_Shift): Call Fold_Shift. Update comments.
+	* par-prag.adb (Par [Pragma_Extensions_Allowed]): Set
+	Ada_Version to Ada_Version_Type'Last to handle
+	Extensions_Allowed (On) consistently.
+	* opt.ads (Extensions_Allowed): Update documentation.
+	* sem_attr.adb: Update comment.
+	* doc/gnat_rm/implementation_defined_pragmas.rst: Update
+	documentation of Extensions_Allowed.
+	* gnat_rm.texi: Regenerate.
+
+2020-07-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_aggr.adb (Resolve_Iterated_Component_Association): Ensure
+	Typ is never accessed uninitialized.
+
+2020-07-15  Piotr Trojanek  <trojanek@adacore.com>
+
+	* doc/gnat_rm/representation_clauses_and_pragmas.rst: Fix typo.
+	* gnat_rm.texi: Regenerate.
+	* libgnat/s-secsta.ads (Memory_Alignment): Likewise.
+
+2020-07-15  Gary Dismukes  <dismukes@adacore.com>
+
+	* exp_ch6.adb: Add a comma and fix a typo (machinary =>
+	machinery) in comment.
+	* exp_aggr.adb: Reformat, fix capitalization, and add a couple
+	of commas in a comment. Adjust columns in several code
+	fragments.
+	* sem_aggr.adb: Reformat and add a comma in a comment.
+
+2020-07-15  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch9.adb (Expand_N_Timed_Entry_Call): Use the Sloc of
+	the delay statement in the expansion.
+
+2020-07-15  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_aggr.adb (Resolve_Iterated_Component_Association): New
+	procedure, internal to Resolve_Container_Aggregate, to complete
+	semantic analysis of Iterated_Component_Associations.
+	* exp_aggr.adb (Expand_Iterated_Component): New procedure,
+	internal to Expand_Container_Aggregate, to expand the construct
+	into an implicit loop that performs individual insertions into
+	the target aggregate.
+
+2020-07-15  Justin Squirek  <squirek@adacore.com>
+
+	* exp_ch6.adb (Make_Build_In_Place_Call_Allocator): Normalize
+	the associated node for internally generated objects to be like
+	their SOAAT counter-parts.
+
+2020-07-15  Arnaud Charlet  <charlet@adacore.com>
+
+	* libgnat/g-socket.adb (Wait_On_Socket): Fix potentially
+	uninitialized variable.
+
 2020-07-10  Piotr Trojanek  <trojanek@adacore.com>
 
 	* sem_ch8.adb (Find_Direct_Name): Fix code to match the comment.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 4abd1f1..37a1cce 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,19 @@
+2020-07-15  Nathan Sidwell  <nathan@acm.org>
+
+	* parser.c (cp_parser_declaration): Avoid copying tokens.
+	(cp_parser_block_declaration): RAII token pointer.
+
+2020-07-15  Nathan Sidwell  <nathan@acm.org>
+
+	* parser.c (cp_parser_skip_to_closing_parenthesis_1): Deal with
+	meeting a deferred pragma.
+	(cp_parser_skip_to_end_of_statement): Likewise.
+	(cp_parser_skip_to_end_of_block_or_statement): Likewise.
+	(cp_parser_skip_to_pragma_eol): We should never meet EOF.
+	(cp_parser_omp_declare_simd): Likewise.
+	(cp_parser_omp_declare_reduction, cp_parser_oacc_routine)
+	(pragma_lex): Likewise.
+
 2020-07-14  Marek Polacek  <polacek@redhat.com>
 
 	PR c++/95789
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4483c8a..077cd3f 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,23 @@
+2020-07-15  Uroš Bizjak  <ubizjak@gmail.com>
+
+	PR target/95355
+	* gcc.target/i386/pr96189.c: New test.
+
+2020-07-15  Nathan Sidwell  <nathan@acm.org>
+
+	* g++.dg/parse/pragma-recovery.C: New.
+
+2020-07-15  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/96174
+	* gcc.target/i386/avx512f-vcmppd-3.c: New test.
+	* gcc.target/i386/avx512f-vcmpps-3.c: New test.
+
+2020-07-15  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/96176
+	* gcc.target/i386/pr96176.c: New test.
+
 2020-07-14  Marek Polacek  <polacek@redhat.com>
 
 	PR c++/59978