Daily bump.

11 files changed, 426 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a0f028a..d51c124 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,72 @@
+2020-07-08  Eric Botcazou  <ebotcazou@gcc.gnu.org>
+
+	* gimple-fold.c (gimple_fold_builtin_memory_op): Do not fold if
+	either type has reverse scalar storage order.
+	* tree-ssa-sccvn.c (vn_reference_lookup_3): Do not propagate through
+	a memory copy if either type has reverse scalar storage order.
+
+2020-07-08  Tobias Burnus  <tobias@codesourcery.com>
+
+	* config/gcn/mkoffload.c (compile_native, main): Pass -fPIC/-fpic
+	on to the native compiler, if used.
+	* config/nvptx/mkoffload.c (compile_native, main): Likewise.
+
+2020-07-08  Will Schmidt  <will_schmidt@vnet.ibm.com>
+
+	* config/rs6000/altivec.h (vec_vmsumudm): New define.
+	* config/rs6000/altivec.md (UNSPEC_VMSUMUDM): New unspec.
+	  (altivec_vmsumudm): New define_insn.
+	* config/rs6000/rs6000-builtin.def (altivec_vmsumudm): New BU_ALTIVEC_3
+	  entry. (vmsumudm): New BU_ALTIVEC_OVERLOAD_3 entry.
+	* config/rs6000/rs6000-call.c (altivec_overloaded_builtins): Add entries for
+	  ALTIVEC_BUILTIN_VMSUMUDM variants of vec_msum.
+	* doc/extend.texi: Add document for vmsumudm behind vmsum.
+
+2020-07-08  Richard Biener  <rguenther@suse.de>
+
+	* tree-vect-stmts.c (get_group_load_store_type): Pass
+	in the SLP node and the alignment support scheme output.
+	Set that.
+	(get_load_store_type): Likewise.
+	(vectorizable_store): Adjust.
+	(vectorizable_load): Likewise.
+
+2020-07-08  Richard Sandiford  <richard.sandiford@arm.com>
+
+	PR middle-end/95694
+	* expr.c (expand_expr_real_2): Get the mode from the type rather
+	than the rtx, and assert that it is consistent with the mode of
+	the rtx (where known).  Optimize all constant integers, not just
+	those that can be represented in poly_int64.
+
+2020-07-08  Kewen Lin  <linkw@linux.ibm.com>
+
+	* config/rs6000/vsx.md (len_load_v16qi): New define_expand.
+	(len_store_v16qi): Likewise.
+
+2020-07-08  Kewen Lin  <linkw@linux.ibm.com>
+
+	* doc/md.texi (len_load_@var{m}): Document.
+	(len_store_@var{m}): Likewise.
+	* internal-fn.c (len_load_direct): New macro.
+	(len_store_direct): Likewise.
+	(expand_len_load_optab_fn): Likewise.
+	(expand_len_store_optab_fn): Likewise.
+	(direct_len_load_optab_supported_p): Likewise.
+	(direct_len_store_optab_supported_p): Likewise.
+	(expand_mask_load_optab_fn): New macro.  Original renamed to ...
+	(expand_partial_load_optab_fn): ... here.  Add handlings for
+	len_load_optab.
+	(expand_mask_store_optab_fn): New macro.  Original renamed to ...
+	(expand_partial_store_optab_fn): ... here. Add handlings for
+	len_store_optab.
+	(internal_load_fn_p): Handle IFN_LEN_LOAD.
+	(internal_store_fn_p): Handle IFN_LEN_STORE.
+	(internal_fn_stored_value_index): Handle IFN_LEN_STORE.
+	* internal-fn.def (LEN_LOAD): New internal function.
+	(LEN_STORE): Likewise.
+	* optabs.def (len_load_optab, len_store_optab): New optab.
+
 2020-07-07  Anton Youdkevitch  <anton.youdkevitch@bell-sw.com>
 
 	* config/aarch64/aarch64.c (thunderx2t99_regmove_cost,
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index f2f90c2..7f5c70d 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200708
+20200709
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 057d347..913d84c 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,278 @@
+2020-07-08  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* tracebak.c [generic implementation]: Add pragma GCC diagnostic
+	to disable warning about __builtin_frame_address.
+
+2020-07-08  Dmitriy Anisimkov  <anisimko@adacore.com>
+
+	* socket.c [_WIN32] (__gnat_minus_500ms): Parentheses around &&
+	operations.  Remove notes about TN in comment.
+
+2020-07-08  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* adaint.h (__gnat_expect_portable_execvp): Fix prototype.
+	(__gnat_expect_poll): Likewise.
+	* expect.c [_WIN32]: Include adaint.h file.
+	(__gnat_waitpid): Remove useless variable.
+	(__gnat_expect_portable_execvp): Add ATTRIBUTE_UNUSED on parameter.
+	* raise-gcc.c [SEH] (__gnat_personality_v0): Add ATTRIBUTE_UNUSED.
+	* socket.c [_WIN32] (__gnat_getservbyport): Add ATTRIBUTE_UNUSED on
+	a couple of parameters.
+	(__gnat_gethostbyname): Likewise.
+	(__gnat_gethostbyaddr): Likewise.
+	(__gnat_getservbyname): Likewise.
+	(__gnat_last_socket_in_set): Use variables local to loops.
+	(__gnat_socket_ioctl): Cast 3rd parameter to proper type if _WIN32.
+	(__gnat_inet_pton): Cast 2nd parameter to proper type if _WIN32.
+	* sysdep.c (__gnat_localtime_tzoff): Remove superfluous test.
+	* terminals.c [_WIN32]: Include io.h file.
+	(is_gui_app): Remove useless variables and fix unsigned comparison.
+	(nt_spawnve): Add ATTRIBUTE_UNUSED on first parameter.  Initialize a
+	local variable and remove others that are useless.  Add missing cast
+	(__gnat_setup_child_communication): Remove useless variable and call
+	Use proper formatting string in call to sprintf.
+	(__gnat_setup_parent_communication): Cast to proper type.
+	(find_child_console): Fix prototype and remove useless variable.
+	(find_process_handle): Likewise.
+	(_gnat_interrupt_process): Move to after __gnat_interrupt_pid.
+	(__gnat_reset_tty): Add ATTRIBUTE_UNUSED on parameter, remove return
+	(__gnat_setup_winsize): Add ATTRIBUTE_UNUSED on all parameters.
+
+2020-07-08  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_N_Allocator): In the subtype mark case, do
+	not apply constraint checks if the No_Initialization flag is set.
+
+2020-07-08  Javier Miranda  <miranda@adacore.com>
+
+	* exp_ch9.adb
+	(Build_Class_Wide_Master): Insert the declaration of _Master
+	before its use; required to avoid assertion failure in the
+	backend.
+
+2020-07-08  Arnaud Charlet  <charlet@adacore.com>
+
+	* libgnat/i-cexten.ads (long_long, unsigned_long_long): Now
+	subtypes of Interfaces.C types.
+	* libgnat/a-calcon.ads, libgnat/a-calcon.adb
+	(To_Unix_Nano_Time): Use Interfaces.C.long_long instead of
+	Interfaces.C.Extensions.long_long.
+
+2020-07-08  Vasiliy Fofanov  <fofanov@adacore.com>
+
+	* debug.adb: Document new switch.
+	* exp_ch6.adb (Warn_BIP): New function that warns if the switch
+	is on.  Call it from Make_Build_In_Place_* functions.  Warn_BIP
+	is not needed in Make_Build_In_Place_Iface_*, because those call
+	Make_Build_In_Place_Call_In_Object_Declaration or similar.
+
+2020-07-08  Piotr Trojanek  <trojanek@adacore.com>
+
+	* erroutc.adb (Matches): Fix comments.
+
+2020-07-08  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Has_Decl_In_List): New predicate to check that an
+	entity is declared in a list of nodes.
+	(Freeze_Expression): Use it to deal with Expression_With_Actions,
+	short-circuit expression, if- and case-expression and ensure that
+	the freeze node is put onto their Actions list if the entity is
+	declared locally.
+
+2020-07-08  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (In_Expanded_Body): Return true for the body of a
+	generated predicate function.
+
+2020-07-08  Gary Dismukes  <dismukes@adacore.com>
+
+	* sem_attr.adb: Remove hyphens in comments, plus minor code
+	reformatting.
+	* sem_ch13.adb: Fix typo (that => than).
+	* sem_util.adb: Add hyphen in comment ("class-wide").
+
+2020-07-08  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Freeze_Array_Type): Add comment on implementation
+	choice for byte-packed array types.
+
+2020-07-08  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_attr.adb (Analyze_Attribute): Correct prefix of 'Result
+	this prefix is a generic function but the enclosing aspect or
+	pragma is attached to its instance.
+	* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Analyze
+	generic subprogram formal parameters (including the implicit
+	result of a generic function) and only then analyse its aspects,
+	because with Relaxed_Initialization the aspect expression might
+	refer to those formal parameters.
+	* sem_ch13.adb (Analyze_Aspect_Relaxed_Initialization): Accept
+	aspect on generic subprograms; install formal parameters of a
+	generic subprogram but not formal parameters of the generic unit
+	itself (the previous code was inspired by aspects Post and
+	Depends, where both kinds of formals are allowed).
+	* sem_util.ads (Enter_Name): Fix name of a subprogram referenced
+	in comment.
+
+2020-07-08  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call
+	Analyze_Aspect_Specifications after setting Ekind of the
+	analyzed entity.
+	* sem_ch13.adb (Analyze_Aspect_Yield): Remove minimal decoration
+	of generic subprograms.
+
+2020-07-08  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_prag.adb (Process_Inline): Check for duplicate
+	pragma+aspect Inline. Minor code cleanup.
+	(Check_Duplicate_Pragma): Add warning for duplicate
+	pragma [No_]Inline under -gnatwr.
+	* sinfo.ads, sinfo.adb (Next_Rep_Item): Allow N_Null_Statement
+	which can appear when a pragma is rewritten.
+	* sem_util.ads, sem_util.adb, bindo-writers.adb: Fix bad
+	copy/paste now flagged.
+	* libgnat/s-mmap.ads: Remove redundant pragma Inline.
+
+2020-07-08  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_util.adb (Build_Class_Wide_Clone_Body): Update entities to
+	refer to the right spec.
+
+2020-07-08  Bob Duff  <duff@adacore.com>
+
+	* sem_ch13.adb (Predicate_Failure): Check that the type has
+	predicates.  Remove the setting of Has_Delayed_Aspects and
+	Freeze_Node, because (if the code is legal) it should have
+	already been done by the predicate aspect.
+
+2020-07-08  Gary Dismukes  <dismukes@adacore.com>
+
+	* par-ch4.adb (P_Iterated_Component_Association): Typo
+	corrections.
+
+2020-07-08  Ed Schonberg  <schonberg@adacore.com>
+
+	* par.adb (P_Iterator_Specification): Make public for use in
+	other parser subprograms.
+	* par-ch4.adb (P_Iterated_Component_Association): In Ada_2020,
+	recognize use of Iterator_Specification in an element iterator.
+	To simplify disambiguation between the two iterator forms, mark
+	the component association as carrying an Iterator_Specification
+	only when the element iterator (using "OF") is used.
+	* par-ch5.adb (P_Loop_Parameter_Specification): In Ada_2020,
+	parse iterator filter when present.
+	(P_Iterator_Specification): Ditto.  Remove declaration of
+	P_Iterator_Specification, now in parent unit.
+	* exp_ch5.adb (Expand_N_Loop_Statement): Apply Iterator filter
+	when present.
+	(Expand_Iterator_Loop_Over_Array): Ditto.
+	(Expand_Iterator_Loop_Over_Container): Ditto.
+	* sem_aggr.adb (Resolve_Array_Aggregate): Emit error nessage if
+	an iterated component association includes a iterator
+	specificcation with an element iterator, i.e. one that uses the
+	OF keyword.
+	* sem_ch5.adb (Analyze_Iterator_Specification): Analyze Iterator
+	filter when present.
+	(Analyze_Loop_Parameter_Specification): Ditto.
+	* sinfo.adb: Suprogram bodies for new syntactic element
+	Iterator_Filter.
+	* sinfo.ads: Add Iterator_Filter to relevant nodes.  Structure
+	of Component_Association and Iteroted_Component_Association
+	nodes is modified to take into account the possible  presence of
+	an iterator specification in the latter.
+
+2020-07-08  Yannick Moy  <moy@adacore.com>
+
+	* sem_util.ads, sem_util.adb (Is_Attribute_Loop_Entry): New
+	function for GNATProve.
+
+2020-07-08  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* sem_ch13.adb (Analyze_Record_Representation_Clause,
+	Check_Record_Representation_Clause): Add expected and actual
+	size to error message.
+
+2020-07-08  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.ads, sem_util.adb (Safe_To_Capture_Value): Return
+	True for in-parameters.
+
+2020-07-08  Justin Squirek  <squirek@adacore.com>
+
+	* exp_attr.adb (Expand_Attribute): Set
+	Stores_Attribute_Old_Prefix to generated renamings of 'Old
+	constants for later use in generating finalization routines.
+	* exp_ch7.adb (Build_Finalizer): Minor reformatting. Use "or
+	else" operators.
+
+2020-07-08  Gary Dismukes  <dismukes@adacore.com>
+
+	* exp_ch6.adb (Expand_Simple_Function_Return): Remove ugly code
+	that was copying the return expression, resetting Analyzed
+	flags, etc. for the return expression of static expression
+	functions.
+	* inline.adb (Inline_Static_Expression_Function_Call): Set the
+	Parent of the copied expression to that of the call. This avoids
+	a blowup in Insert_Actions when GNATprove_Mode is set and there
+	are nested SEF calls. Add ??? comment.
+	* sem_ch6.adb (Analyze_Expression_Function): In the case of a
+	static expression function, create a new copy of the expression
+	and replace the function's expression with the copy; the
+	original expression is used in the expression function's body
+	and will be analyzed and rewritten, and we need to save a clean
+	copy for later use in processing static calls to the function.
+	This allows removing the kludgy code that was in
+	Expand_Simple_Function_Return.
+	* sem_eval.adb (Eval_Qualified_Expression): Return immediately
+	if any errors have been posted on the qualified expression, to
+	avoid blowups when GNATprove_Mode is enabled (or with -gnatd.F),
+	since illegal static expressions are handled differently in that
+	case and attempting to fold such expressions would fail.
+
+2020-07-08  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* repinfo.adb (Compute_Max_Length): Skip hidden discriminants.
+	(List_Record_Layout): Likewise.
+	(List_Structural_Record_Layout): Use First_Discriminant instead
+	of First_Stored_Discriminant and Next_Discriminant instead of
+	Next_Stored_Discriminant to walk the list of discriminants.
+
+2020-07-08  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch13.adb (Analyze_Aspect_Relaxed_Initialization): Analyze
+	optional boolean expressions.
+	* sem_util.ads, sem_util.adb (Has_Relaxed_Initialization): Adapt
+	query; update comment.
+
+2020-07-08  Piotr Trojanek  <trojanek@adacore.com>
+
+	* einfo.ads (Current_Value): Fix typo in comment.
+	* exp_ch2.adb (Expand_Current_Value): Remove unnecessary "Start
+	of processing ..." comment.
+	* exp_util.adb (Set_Entity_Current_Value): Fix unbalanced paren
+	in comment.
+	(Get_Current_Value_Condition): Fix layout in comment.
+	* sem_ch5.adb (Analyze_Cond_Then): Replace commented condition
+	with pragma Assert.
+
+2020-07-08  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_ch5.adb (Expand_N_If_Statement): Detect True/False
+	prefixed with Standard.
+
+2020-07-08  Bob Duff  <duff@adacore.com>
+
+	* sem_ch13.adb (Analyze_Aspect_Specifications): Add freeze node
+	for the Underlying_Full_View if it exists. The freeze node is
+	what triggers the generation of the predicate function.
+	* freeze.adb: Minor reformatting.
+
+2020-07-08  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Narrow_Large_Operation): Use the base type instead
+	of the first subtype of standard integer types as narrower type.
+
 2020-07-07  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* freeze.adb (Freeze_Array_Type): Use Ctyp more consistently.
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 5b97f41..89e7cd5 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,7 @@
+2020-07-08  Eric Botcazou  <ebotcazou@gcc.gnu.org>
+
+	* c.opt (Wscalar-storage-order): Add explicit variable.
+
 2020-07-07  Nathan Sidwell  <nathan@acm.org>
 
 	* c-opts.c (c_common_post_options): Add 'injecting' arg to
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 50637de..7ff3699 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,9 @@
+2020-07-08  Eric Botcazou  <ebotcazou@gcc.gnu.org>
+
+	* c-typeck.c (convert_for_assignment): If -Wscalar-storage-order is
+	set, warn for conversion between pointers that point to incompatible
+	scalar storage orders.
+
 2020-07-07  Kaipeng Zhou  <zhoukaipeng3@huawei.com>
 
 	* c-parser.c (c_parser_statement_after_labels): Pass correct
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 5598367..cd21caa 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,16 @@
+2020-07-08  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/95497
+	* constexpr.c (potential_constant_expression_1) <case PARM_DECL>:
+	When processing_template_decl, check COMPLETE_TYPE_P before
+	calling is_really_empty_class.  Don't check dependent_type_p.
+
+2020-07-08  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/96103
+	* parser.c (cp_parser_decltype): Print error about using decltype(auto)
+	in C++11.  Check that the token following "auto" is ")".
+
 2020-07-07  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/95303
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index c7552b6..be08d90 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2020-07-08  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/96085
+	* resolve.c (gfc_resolve_code): Check whether assign target is a
+	parameter.
+
 2020-07-06  Harald Anlauf  <anlauf@gmx.de>
 
 	PR fortran/95980
diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog
index aca2df4..ced6405 100644
--- a/gcc/po/ChangeLog
+++ b/gcc/po/ChangeLog
@@ -1,3 +1,7 @@
+2020-07-08  Joseph Myers  <joseph@codesourcery.com>
+
+	* sv.po: Update.
+
 2020-06-29  Joseph Myers  <joseph@codesourcery.com>
 
 	* sv.po: Update.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ce54b04..49f5b2b 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,34 @@
+2020-07-08  Eric Botcazou  <ebotcazou@gcc.gnu.org>
+
+	* gcc.dg/sso-11.c: New test.
+	* gcc.dg/sso/sso.exp: Pass -Wno-scalar-storage-order.
+	* gcc.dg/sso/memcpy-1.c: New test.
+
+2020-07-08  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/96085
+	* gfortran.dg/pr96085.f90: New file.
+
+2020-07-08  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/95497
+	* g++.dg/cpp2a/concepts-pr95497.C: New test.
+
+2020-07-08  Will Schmidt  <will_schmidt@vnet.ibm.com>
+
+	* gcc.target/powerpc/builtins-msum-runnable.c: New test.
+	* gcc.target/powerpc/vsx-builtin-msum.c: New test.
+
+2020-07-08  Richard Sandiford  <richard.sandiford@arm.com>
+
+	PR middle-end/95694
+	* gcc.dg/pr95694.c: New test.
+
+2020-07-08  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/96103
+	* g++.dg/cpp0x/decltype77.C: New test.
+
 2020-07-07  Marek Polacek  <polacek@redhat.com>
 
 	PR c++/92427
diff --git a/libbacktrace/ChangeLog b/libbacktrace/ChangeLog
index cd33dc2..f02da9e 100644
--- a/libbacktrace/ChangeLog
+++ b/libbacktrace/ChangeLog
@@ -1,3 +1,8 @@
+2020-07-08  Ian Lance Taylor  <iant@golang.org>
+
+	* configure.ac: Test linker support for DWARF5
+	* configure: Regenerate
+
 2020-05-29  H.J. Lu  <hjl.tools@gmail.com>
 
 	PR bootstrap/95413
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index ed9947c..3adcd81 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,15 @@
+2020-07-08  François Dumont  <fdumont@gcc.gnu.org>
+
+	* include/bits/stl_tree.h (_Rb_tree_impl(_Rb_tree_impl&&)): Add noexcept
+	qualification based only on _Compare one.
+	* testsuite/23_containers/map/cons/noexcept_move_construct.cc: Add
+	static asserts.
+	* testsuite/23_containers/multimap/cons/noexcept_move_construct.cc:
+	Likewise.
+	* testsuite/23_containers/multiset/cons/noexcept_move_construct.cc:
+	Likewise.
+	* testsuite/23_containers/set/cons/noexcept_move_construct.cc: Likewise.
+
 2020-07-07  Jonathan Wakely  <jwakely@redhat.com>
 
 	* include/std/limits: Whitespace changes.