Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0a429d2bacd079dcbafa42a74e58a3e6a23a6da0..73fd1e2772a92edc587ecd2c9b9e480d984e2adc 100644 (file)
--- 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 244a45a8404f1f5ba04e774573ff36454cfa28ca..75ec474bf8fcae4295f6cb7c12ebfea947d13830 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200727
+20200728

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 2a32e86b3cd2edf2ca63396136d03500f6ca694e..304b19ae5954d10769a666bb38cb88f746c3f657 100644 (file)
--- 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 e64b09adea9e52e208773ae2c4a4aa3e9573c2f8..5780e6465f89d5a29f11c304c8d2f37360a16d9a 100644 (file)
--- 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 174ff0321a744d2bd84cc8d9337cdb1520efc1ae..2ce7552d36f4701bd883718b632c738538a15cb8 100644 (file)
--- 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 652408d100f06ce2fbf470c03c2704caf71f67a2..e1419cdc19872fd12b5fa1a1c2b262a74ded86c5 100644 (file)
--- 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 15acbb3be98acdf6b496f3654fb7ade2eb893ceb..162d93370ba85aa6f776e37b8cf5e1de7aaa235b 100644 (file)
--- 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 477804eec9b28084b55889a308190b54bb669480..f900b67ec668ae94e2512b8d2e10d091d2f90a55 100644 (file)
--- 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 f5a27deae558dab42fa36bc9be0cab8c545dac1d..2f9a05b9caffd57b1d663bc20ca847224c2b3bd3 100644 (file)
--- 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 9bce1831eabfc40e1fb62bebfaf1ba1a151f249a..70d594f74d5d8ba2c634df249722563f9568cbdb 100644 (file)
--- 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