[gcc(refs/users/wschmidt/heads/builtins3)] Daily bump.

William Schmidt wschmidt@gcc.gnu.org
Tue Aug 18 18:12:30 GMT 2020


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

commit e71dab87744081714bae2b3abb2e4157beed513d
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Tue Jul 28 00:16:25 2020 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           |  50 +++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 188 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/c-family/ChangeLog  |   5 ++
 gcc/cp/ChangeLog        |   9 +++
 gcc/fortran/ChangeLog   |   5 ++
 gcc/po/ChangeLog        |   6 ++
 gcc/testsuite/ChangeLog |  39 ++++++++++
 libgomp/ChangeLog       |  26 +++++++
 libstdc++-v3/ChangeLog  |  31 ++++++++
 10 files changed, 360 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0a429d2bacd..73fd1e2772a 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,53 @@
+2020-07-27  Martin Sebor  <msebor@redhat.com>
+
+	PR tree-optimization/84079
+	* gimple-array-bounds.cc (array_bounds_checker::check_addr_expr):
+	Only allow just-past-the-end references for the most significant
+	array bound.
+
+2020-07-27  Hu Jiangping  <hujiangping@cn.fujitsu.com>
+
+	PR driver/96247
+	* opts.c (check_alignment_argument): Set the -falign-Name
+	on/off flag on and set the -falign-Name string value null,
+	when the command-line specified argument is zero.
+
+2020-07-27  Martin Liska  <mliska@suse.cz>
+
+	PR tree-optimization/96058
+	* expr.c (string_constant): Build string_constant only
+	for a type that has same precision as char_type_node
+	and is an integral type.
+
+2020-07-27  Richard Biener  <rguenther@suse.de>
+
+	* var-tracking.c (variable_tracking_main_1): Remove call
+	to mark_dfs_back_edges.
+
+2020-07-27  Martin Liska  <mliska@suse.cz>
+
+	PR tree-optimization/96128
+	* tree-vect-generic.c (expand_vector_comparison): Do not expand
+	vector comparison with VEC_COND_EXPR.
+
+2020-07-27  H.J. Lu  <hjl.tools@gmail.com>
+
+	PR bootstrap/96203
+	* common.opt: Add -fcf-protection=check.
+	* flag-types.h (cf_protection_level): Add CF_CHECK.
+	* lto-wrapper.c (merge_and_complain): Issue an error for
+	mismatching -fcf-protection values with -fcf-protection=check.
+	Otherwise, merge -fcf-protection values.
+	* doc/invoke.texi: Document -fcf-protection=check.
+
+2020-07-27  Martin Liska  <mliska@suse.cz>
+
+	PR lto/45375
+	* symbol-summary.h: Call vec_safe_reserve before grow is called
+	in order to grow to a reasonable size.
+	* vec.h (vec_safe_reserve): Add missing function for vl_ptr
+	type.
+
 2020-07-26  Hans-Peter Nilsson  <hp@bitrange.com>
 
 	* configure.ac (out-of-tree linker .hidden support): Don't turn off
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 244a45a8404..75ec474bf8f 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200727
+20200728
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 2a32e86b3cd..304b19ae595 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,191 @@
+2020-07-27  Alexandre Oliva  <oliva@adacore.com>
+
+	* switch.adb (Is_Internal_GCC_Switch): Revert accidental
+	reintroduction of auxbase and auxbase-strip.
+
+2020-07-27  Javier Miranda  <miranda@adacore.com>
+
+	* sem_res.adb (Resolve_Actuals): Restrict the check on matching
+	aliased components to view conversions of array types that are
+	not placed in an instance. In such case at runtime an object is
+	created.
+	* sem_util.ads (Is_Actual_In_Out_Parameter, Is_View_Conversion):
+	New subprograms.
+	* sem_util.adb (Is_Actual_In_Out_Parameter, Is_View_Conversion):
+	New subprograms.
+
+2020-07-27  Arnaud Charlet  <charlet@adacore.com>
+
+	* lib-xref.adb (Generate_Reference): Protect against malformed
+	tree in case of severe errors.
+	* sem_ch8.adb (Add_Implicit_Operator): Ditto.
+
+2020-07-27  Arnaud Charlet  <charlet@adacore.com>
+
+	* opt.ads (Ada_Version_Runtime): Set to Ada_2020.
+	* sem_ch3.adb (Analyze_Subtype_Declaration): Propagate
+	Is_Independent flag to subtypes.
+	* libgnarl/s-taprop__linux.adb: Adapt to Ada 2020 warning.
+	* libgnat/a-nbnbin.adb, libgnat/a-nbnbin.ads,
+	libgnat/a-nbnbin__gmp.adb, libgnat/a-nbnbre.adb,
+	libgnat/a-nbnbre.ads, libgnat/a-stobbu.adb,
+	libgnat/a-stobbu.ads, libgnat/a-stobfi.adb,
+	libgnat/a-stobfi.ads, libgnat/a-stoubu.adb,
+	libgnat/a-stoubu.ads, libgnat/a-stoufi.adb,
+	libgnat/a-stoufi.ads, libgnat/a-stoufo.adb,
+	libgnat/a-stoufo.ads, libgnat/a-stouut.adb,
+	libgnat/a-stouut.ads, libgnat/a-strsto.ads,
+	libgnat/a-ststbo.adb, libgnat/a-ststbo.ads,
+	libgnat/a-ststun.adb, libgnat/a-ststun.ads,
+	libgnat/a-stteou.ads, libgnat/s-aoinar.ads,
+	libgnat/s-aomoar.ads, libgnat/s-atopex.ads,
+	libgnat/s-putaim.adb, libgnat/s-putaim.ads,
+	libgnat/s-putima.adb, libgnat/s-putima.ads: Remove pragma
+	Ada_2020, now redundant.
+
+2020-07-27  Justin Squirek  <squirek@adacore.com>
+
+	* exp_ch6.adb (Expand_Call_Helper): Modify addition of the extra
+	accessibility parameter to take into account the extra
+	accessibility of formals within the calling subprogram.
+
+2020-07-27  Bob Duff  <duff@adacore.com>
+
+	* exp_imgv.adb (Expand_Image_Attribute): Add Root_Type, so
+	constrained subtypes work.
+
+2020-07-27  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* exp_prag.adb (Arg1, Arg2, Arg3): Removed.
+	(Arg_N): New function.
+
+2020-07-27  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_ch8.adb (Analyze_Object_Renaming): Allow values in Ada
+	2020 mode.
+
+2020-07-27  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_res.adb (Resolve_Actuals): Refine 6.4.1 rules as per
+	AI12-0377.
+
+2020-07-27  Bob Duff  <duff@adacore.com>
+
+	* errout.ads, errout.adb (Error_Msg_Ada_2020_Feature): New
+	procedure analogous to Error_Msg_Ada_2012_Feature.
+	* sem_attr.adb (Analyze_Image_Attribute): Use
+	Error_Msg_Ada_2012_Feature and Error_Msg_Ada_2020_Feature to
+	indicate that Object'Image is allowed in Ada 2012, and that
+	'Image is allowed for any type in Ada 2020.
+
+2020-07-27  Dmitriy Anisimkov  <anisimko@adacore.com>
+
+	* libgnat/a-strunb.adb (Sum, Mul, Saturated_Sum, Saturated_Mul):
+	New routines.  Use them when resulting string size more that
+	length of the strings in parameters.
+	(Unbounded_Slice): Use "- 1" instead of "+ 1" in opposite side
+	of condition to avoid overflow.
+	* libgnat/a-strunb__shared.adb (Sum, Mul): New routines.
+	(Allocate): New routine with 2 parameters.  Use routine above
+	when resulting string size more that length of the strings in
+	parameters.
+	(Aligned_Max_Length): Do not try to align to more than Natural'Last.
+	(Unbounded_Slice): Use "- 1" instead of "+ 1" in opposite side
+	of condition to avoid overflow.
+
+2020-07-27  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_attr.adb (Resolve_Attribute): Remove dead code.
+
+2020-07-27  Arnaud Charlet  <charlet@adacore.com>
+
+	* aspects.adb, atree.adb, atree.ads, checks.adb, contracts.adb,
+	einfo.adb, errout.adb, exp_aggr.adb, exp_attr.adb, exp_cg.adb,
+	exp_ch11.adb, exp_ch2.adb, exp_ch3.adb, exp_ch4.adb,
+	exp_ch5.adb, exp_ch6.adb, exp_ch7.adb, exp_ch8.adb, exp_ch9.adb,
+	exp_dbug.adb, exp_disp.adb, exp_intr.adb, exp_pakd.adb,
+	exp_prag.adb, exp_put_image.adb, exp_smem.adb, exp_tss.adb,
+	exp_unst.adb, exp_util.adb, freeze.adb, ghost.adb, gnat1drv.adb,
+	inline.adb, lib-writ.adb, lib-xref-spark_specific.adb,
+	lib-xref.adb, namet.adb, namet.ads, nlists.adb, par-ch10.adb,
+	par-ch2.adb, par-ch3.adb, par-ch4.adb, par-ch5.adb, par-ch6.adb,
+	par-prag.adb, par-util.adb, par_sco.adb, pprint.adb,
+	repinfo.adb, restrict.adb, rtsfind.adb, scil_ll.adb, sem.adb,
+	sem_aggr.adb, sem_attr.adb, sem_aux.adb, sem_cat.adb,
+	sem_ch10.adb, sem_ch11.adb, sem_ch12.adb, sem_ch13.adb,
+	sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_ch7.adb,
+	sem_ch8.adb, sem_ch9.adb, sem_dim.adb, sem_disp.adb,
+	sem_dist.adb, sem_elab.adb, sem_elim.adb, sem_eval.adb,
+	sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb,
+	sem_scil.adb, sem_type.adb, sem_util.adb, sem_warn.adb,
+	sinfo.adb, sinfo.ads, sprint.adb, styleg.adb, tbuild.adb,
+	treepr.adb (Nkind_In, Nam_In, Ekind_In): Removed, replaced by
+	membership tests.
+
+2020-07-27  Gary Dismukes  <dismukes@adacore.com>
+
+	* sem_prag.adb (Analyze_Pragma, Pragma_Max_Entry_Queue_Length):
+	Refine error message to indicate that the pragma must apply to
+	an entry declaration, not just an entry.
+
+2020-07-27  Javier Miranda  <miranda@adacore.com>
+
+	* exp_ch6.adb (Make_Build_In_Place_Iface_Call_In_Allocator):
+	Revert previous patch, and add a missing type conversion to
+	displace the pointer to the allocated object to reference the
+	target dispatch table.
+
+2020-07-27  Javier Miranda  <miranda@adacore.com>
+
+	* sem_res.adb (Resolve_Actuals): Restore restrictive check on
+	view conversions which required matching value of
+	Has_Aliased_Components of formals and actuals. Required to avoid
+	the regression of ACATS b460005.
+
+2020-07-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch12.adb (Instantiate_Package_Body): Add commentary for a
+	nesting issue with parent handling and private view switching.
+	(Switch_View): Do not skip specific private-dependent subtypes.
+
+2020-07-27  Patrick Bernardi  <bernardi@adacore.com>
+
+	* Makefile.rtl: Remove X86_TARGET_PAIRS for x86-lynx178elf.
+
+2020-07-27  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_ch13.adb (Analyze_Address_Specification_Clause): Do not
+	emit a warning when a constant declaration in a generic unit
+	overlays a generic In_Parameter.
+
+2020-07-27  Gary Dismukes  <dismukes@adacore.com>
+
+	* sem_ch3.adb (Check_Abstract_Overriding): Remove Scope
+	comparison test from test related to initial implementation of
+	AI12-0042, plus remove the related ??? comment.
+	(Derive_Subprogram): Add test requiring that the type extension
+	appear in the visible part of its enclosing package when
+	checking the overriding requirement of 7.3.2(6.1/4), as
+	clarified by AI12-0382.
+
+2020-07-27  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_spark.adb (Expand_SPARK_N_Attribute_Reference) Extend
+	existing workaround to 'Pos.
+
+2020-07-27  Bob Duff  <duff@adacore.com>
+
+	* libgnat/s-rannum.ads, libgnat/s-rannum.adb: Add Put_Image.
+	This will be inherited by the language-defined packages
+	Ada.Numerics.Discrete_Random and Ada.Numerics.Float_Random.
+	* libgnat/a-convec.ads, libgnat/a-convec.adb: Add Put_Image.
+	* libgnat/s-putima.ads: Add pragma Preelaborate, so this can be
+	imported into containers packages.
+	* libgnat/s-putima.adb: Move Digit to private part; otherwise
+	reference to Base is illegal in Preelaborate generic.
+	* exp_put_image.adb (Build_Record_Put_Image_Procedure): Use the
+	base type.
+
 2020-07-23  Arnaud Charlet  <charlet@adacore.com>
 
 	* aspects.ads: Declare CUDA_Global as aspect.
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index e64b09adea9..5780e6465f8 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,8 @@
+2020-07-27  Nathan Sidwell  <nathan@acm.org>
+
+	* c-common.c (try_to_locate_new_include_insertion_point): Use
+	strcmp, not pointer equality.
+
 2020-07-25  Martin Sebor  <msebor@redhat.com>
 
 	PR c++/96310
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 174ff0321a7..2ce7552d36f 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,12 @@
+2020-07-27  Nathan Sidwell  <nathan@acm.org>
+
+	* cp-tree.h (enum cp_tree_index): Add CPTI_AS_BASE_IDENTIFIER.
+	(as_base_identifier): Define.
+	* decl.c (initialize_predifined_identifiers): Initialize as_base
+	identifier.
+	* class.c (layout_class_type): Name the as-base type.  Zap
+	NSDMI its fields may have.
+
 2020-07-22  Nathan Sidwell  <nathan@acm.org>
 
 	* class.c (maybe_add_class_template_decl_list): Don't add CONST_DECLs.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 652408d100f..e1419cdc198 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2020-07-27  Tobias Burnus  <tobias@codesourcery.com>
+
+	* openmp.c (gfc_resolve_omp_directive): Remove NULL check
+	for clauses in EXEC_OMP_CRITICAL as it no longer can be NULL.
+
 2020-07-23  Tobias Burnus  <tobias@codesourcery.com>
 
 	* gfortran.h (gfc_omp_namelist): Add lastprivate_conditional.
diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog
index 15acbb3be98..162d93370ba 100644
--- a/gcc/po/ChangeLog
+++ b/gcc/po/ChangeLog
@@ -1,3 +1,9 @@
+2020-07-27  Joseph Myers  <joseph@codesourcery.com>
+
+	* be.po, da.po, de.po, el.po, es.po, fi.po, fr.po, hr.po, id.po,
+	ja.po, nl.po, ru.po, sr.po, sv.po, tr.po, uk.po, vi.po, zh_CN.po,
+	zh_TW.po: Update.
+
 2020-07-20  Joseph Myers  <joseph@codesourcery.com>
 
 	* gcc.pot: Regenerate.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 477804eec9b..f900b67ec66 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,42 @@
+2020-07-27  Hans-Peter Nilsson  <hp@bitrange.com>
+
+	* gcc.dg/torture/pr39074-2.c: Adjust for mmix.
+	* gcc.dg/torture/pr39074.c, gcc.dg/torture/pta-callused-1.c: Ditto.
+
+2020-07-27  Nathan Sidwell  <nathan@acm.org>
+
+	* g++.dg/lookup/missing-std-include-10.h: New.
+	* g++.dg/lookup/missing-std-include-10.C: New.
+	* g++.dg/lookup/missing-std-include-11.C: New.
+
+2020-07-27  Martin Sebor  <msebor@redhat.com>
+
+	PR tree-optimization/84079
+	* gcc.dg/Warray-bounds-62.c: New test.
+
+2020-07-27  Martin Liska  <mliska@suse.cz>
+
+	PR tree-optimization/96128
+	* gcc.target/s390/vector/pr96128.c: New test.
+
+2020-07-27  H.J. Lu  <hjl.tools@gmail.com>
+
+	PR bootstrap/96203
+	* gcc.target/i386/pr96203-1.c: New test.
+	* gcc.target/i386/pr96203-2.c: Likewise.
+
+2020-07-27  Hans-Peter Nilsson  <hp@bitrange.com>
+
+	* gcc.dg/tree-ssa/vector-4.c: Adjust for mmix.
+
+2020-07-27  Hans-Peter Nilsson  <hp@bitrange.com>
+
+	* gcc.dg/tree-ssa/ssa-dse-26.c: Adjust for mmix.
+
+2020-07-27  Hans-Peter Nilsson  <hp@bitrange.com>
+
+	* gcc.dg/tree-ssa/ssa-dom-cse-2.c: xfail scan for mmix.
+
 2020-07-27  Hans-Peter Nilsson  <hp@bitrange.com>
 
 	* gcc.dg/tree-ssa/reassoc-20.c: Adjust for mmix.
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index f5a27deae55..2f9a05b9caf 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,29 @@
+2020-07-27  Julian Brown  <julian@codesourcery.com>
+	    Thomas Schwinge  <thomas@codesourcery.com>
+
+	* libgomp.h (struct target_var_desc): Rename do_detach field to
+	is_attach.
+	* oacc-mem.c (goacc_exit_datum_1): Add assert.  Don't set finalize for
+	GOMP_MAP_FORCE_DETACH. Update checking to use is_attach field.
+	(goacc_enter_data_internal): Don't affect reference counts
+	for attach mappings.
+	(goacc_exit_data_internal): Don't affect reference counts for detach
+	mappings.
+	* target.c (gomp_map_vars_existing): Don't affect reference counts for
+	attach mappings.
+	(gomp_map_vars_internal): Set renamed is_attach flag unconditionally to
+	mark attach mappings.
+	(gomp_unmap_vars_internal): Use is_attach flag to prevent affecting
+	reference count for attach mappings.
+	* testsuite/libgomp.oacc-c-c++-common/mdc-refcount-1.c: New test.
+	* testsuite/libgomp.oacc-c-c++-common/mdc-refcount-2.c: New test.
+	* testsuite/libgomp.oacc-c-c++-common/mdc-refcount-2.c: New test.
+	* testsuite/libgomp.oacc-fortran/deep-copy-6-no_finalize.F90: Mark
+	test as shouldfail.
+	* testsuite/libgomp.oacc-fortran/deep-copy-6.f90: Adjust to fail
+	gracefully in no-finalize mode.
+	* testsuite/libgomp.oacc-c-c++-common/mdc-refcount-3.c: New file.
+
 2020-07-24  Thomas Schwinge  <thomas@codesourcery.com>
 
 	* testsuite/libgomp.oacc-c++/c++.exp: Unset 'offload_target' after
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 9bce1831eab..70d594f74d5 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,34 @@
+2020-07-27  François Dumont  <fdumont@gcc.gnu.org>
+
+	* include/bits/hashtable_policy.h (_Map_base<>::at): Use
+	_Hashtable<>::find.
+	(_Hashtable_base<>::_Equal_hash_code<>::_S_node_equals):New.
+	(_Hashtable_base<>::_M_node_equals): New, use latter.
+	(_Equality<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash,
+	_RehashPolicy, false>::_M_equal): Adapt to use latter.
+	* include/bits/hashtable.h (_Hashtable<>::_M_update_bbegin): New.
+	(_Hashtable<>::_M_assign): Use latter.
+	(_Hashtable<>::_M_move_assign): Likewise.
+	(_Hashtable<>(_Hashtable<>&&)): Likewise.
+	(_Hashtable<>(_Hashtable<>&&, const allocator_type&)): Likewise.
+	(_Hashtable<>::swap): Likewise.
+	(_Hashtable<>::find): Build iterator directly from _M_find_node result.
+	(_Hashtable<>::count): Use _Hashtable<>::find.
+	(_Hashtable<>::equal_range): Likewise.
+	(_Hashtable<>::_M_erase(false_type, const key_type&)): Use
+	_M_node_equals.
+
+2020-07-27  Jonathan Wakely  <jwakely@redhat.com>
+
+	* src/c++17/floating_from_chars.cc (from_chars_impl): Ensure
+	that FE_NEAREST is used.
+	* testsuite/20_util/from_chars/4.cc: Do not use if constexpr in
+	a { target c++14 } test.
+	[!_GLIBCXX_HAVE_USELOCALE]: Disable all tests.
+	* testsuite/20_util/from_chars/5.cc [!_GLIBCXX_HAVE_USELOCALE]:
+	Likewise.
+	* testsuite/20_util/from_chars/6.cc: New test.
+
 2020-07-22  Jonathan Wakely  <jwakely@redhat.com>
 
 	* include/std/future (future, shared_future, promise): Add


More information about the Libstdc++-cvs mailing list