[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