Daily bump.

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 78b2b93..a9eb4d7 100644 (file)
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,10 @@
+2020-07-07  Alexandre Oliva  <oliva@adacore.com>
+           Martin Liska  <mliska@suse.cz>
+
+       * gcc-changelog/git_commit.py: Support CASE and COND.
+       * gcc-changelog/test_patches.txt: Add test.
+       * gcc-changelog/test_email.py: Add test.
+
 2020-06-30  Martin Liska  <mliska@suse.cz>
 
        * gcc-changelog/git_repository.py: Support older releases of

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ea2f78d..a0f028a 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,27 @@
+2020-07-07  Anton Youdkevitch  <anton.youdkevitch@bell-sw.com>
+
+       * config/aarch64/aarch64.c (thunderx2t99_regmove_cost,
+       thunderx2t99_vector_cost): Likewise.
+
+2020-07-07  Richard Biener  <rguenther@suse.de>
+
+       * tree-vect-data-refs.c (vect_analyze_data_ref_accesses): Fix
+       group overlap condition to allow negative step DR groups.
+       * tree-vect-stmts.c (get_group_load_store_type): For
+       multi element SLP groups force VMAT_STRIDED_SLP when the step
+       is negative.
+
+2020-07-07  Qian Jianhua  <qianjh@cn.fujitsu.com>
+
+       * doc/generic.texi: Fix typo.
+
+2020-07-07  Richard Biener  <rguenther@suse.de>
+
+       * lto-streamer-out.c (cmp_symbol_files): Use the computed
+       order map to sort symbols from the same sub-file together.
+       (lto_output): Compute a map of sub-file to an order number
+       it appears in the symbol output array.
+
 2020-07-06  Richard Biener  <rguenther@suse.de>
 
        PR tree-optimization/96075

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index c0ce1b4..f2f90c2 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200707
+20200708

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e376101..057d347 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,218 @@
+2020-07-07  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * freeze.adb (Freeze_Array_Type): Use Ctyp more consistently.
+       Move code setting the alignment in the non-packed case to...
+       * layout.adb (Layout_Type): ...here.
+
+2020-07-07  Bob Duff  <duff@adacore.com>
+
+       * treepr.adb (Print_Node): Add code to test Is_Extension.
+
+2020-07-07  Arnaud Charlet  <charlet@adacore.com>
+
+       * sem_ch4.adb (Try_Container_Indexing): Add ??? comment. Protect
+       against malformed tree in case of errors.
+
+2020-07-07  Piotr Trojanek  <trojanek@adacore.com>
+
+       * einfo.adb, sem_ch10.adb, sem_ch12.adb, sem_ch8.adb: Use
+       Is_Generic_Subprogram.
+
+2020-07-07  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_ch8.adb (Analyze_Use_Package): Replace low-level,
+       error-prone Ekind_In tests with high-level Is_Generic_Subprogram
+       and Is_Subprogram.
+
+2020-07-07  Arnaud Charlet  <charlet@adacore.com>
+
+       * sem_ch6.adb (Check_Formal_Subprogram_Conformance): New
+       subprogram to handle checking without systematically emitting an
+       error.
+       (Check_Conformance): Update call to
+       Check_Formal_Subprogram_Conformance and fix handling of Conforms
+       and Errmsg parameters.
+
+2020-07-07  Arnaud Charlet  <charlet@adacore.com>
+
+       * exp_ch4.adb (Tagged_Membership): Generate a call to
+       CW_Membership instead of using Build_CW_Membership.
+       (Expand_N_In): Remove wrong handling of null access types and
+       corresponding comment.
+       * exp_intr.adb (Expand_Dispatching_Constructor_Call): Generate a
+       call to CW_Membership instead of using Build_CW_Membership.
+       * rtsfind.ads: Add CW_Membership.
+       * exp_atag.ads, exp_atag.adb (Build_CW_Membership): Removed.
+       * einfo.ads: Fix typo.
+       * libgnat/a-tags.ads, libgnat/a-tags.adb (CW_Membership): Moved
+       back to spec.
+
+2020-07-07  Ed Schonberg  <schonberg@adacore.com>
+
+       * exp_ch3.adb (Build_Access_Subprogram_Wrapper_Body): Create
+       proper subprogram specification for body, using names in the
+       subprogram declaration but distinct entities.
+       * exp_ch6.adb (Expand_Call): If this is an indirect call
+       involving a subprogram wrapper, insert pointer parameter in list
+       of actuals with a parameter association, not as a positional
+       parameter.
+
+2020-07-07  Justin Squirek  <squirek@adacore.com>
+
+       * exp_ch6.adb (Expand_Branch): Verify the original node is a
+       conditional expression before recursing further.
+       (Insert_Level_Assign): Transform assertion into an explicit
+       raise.
+
+2020-07-07  Steve Baird  <baird@adacore.com>
+
+       * sem_attr.adb (Eval_Attribute): Generalize static evaluation of
+       Size attribute references to also handle
+       Max_Size_In_Storage_Elements references.
+
+2020-07-07  Javier Miranda  <miranda@adacore.com>
+
+       * sem_util.adb (Is_Potentially_Unevaluated): Code cleanup.
+
+2020-07-07  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * checks.ads (Expander Routines): Update the description of the
+       Do_Range_Check mechanism.
+       * checks.adb (Selected_Range_Checks): Fix typo.
+       * exp_ch9.adb: Add with and use clause for Checks.
+       (Actual_Index_Expression): Generate a range check if requested.
+       (Entry_Index_Expression): Likewise.
+       * sem_attr.adb (Resolve_Attribute) <Attribute_Count>: Call
+       Apply_Scalar_Range_Check instead of Apply_Range_Check.
+       * sem_ch9.adb (Analyze_Accept_Statement): Likewise.
+       * sem_res.adb (Resolve_Entry): Likewise, after having set the
+       actual index type on the prefix of the indexed component.
+       (Resolve_Indexed_Component): Remove useless conditional construct.
+
+2020-07-07  Piotr Trojanek  <trojanek@adacore.com>
+
+       * contracts.adb (Analyze_Entry_Or_Subprogram_Contract,
+       Process_Preconditions_For): Freeze expression that has been
+       relocated to pragma Precondition, not the expression which is
+       still in the aspect.
+
+2020-07-07  Arnaud Charlet  <charlet@adacore.com>
+
+       * sem_ch6.adb (Check_Conformance): Remove unnecessary (and
+       wrong) code.
+       * sem_ch8.adb (Check_Null_Exclusion): Post error at proper
+       location.  Introduce new helper Null_Exclusion_Mismatch and fix
+       implementation wrt formal subprograms used in generic bodies.
+       (Analyze_Subprogram_Renaming): Fix missing setting of
+       Error_Msg_Sloc.
+       (Analyze_Object_Renaming): Replace "in Anonymous_Access_Kind" by
+       Is_Anonymous_Access_Type.
+       * sem_util.adb (Has_Null_Exclusion): Fix handling of
+       N_Parameter_Specification.
+       * sem_ch12.adb (Instantiate_Object): Replace "in
+       Anonymous_Access_Kind" by Is_Anonymous_Access_Type.
+
+2020-07-07  Ed Schonberg  <schonberg@adacore.com>
+
+       * freeze.adb (Freeze_Expr_Types): Freeze the designated type of
+       the explicit dereference.
+
+2020-07-07  Javier Miranda  <miranda@adacore.com>
+
+       * sem_util.adb (Is_Potentially_Unevaluated): Protect reading
+       attribute Etype.
+
+2020-07-07  Bob Duff  <duff@adacore.com>
+
+       * libgnat/g-catiio.adb (Value, Parse_ISO_8601): Unsuppress
+       checks, and don't rely on 'Valid.
+
+2020-07-07  Arnaud Charlet  <charlet@adacore.com>
+
+       * Makefile.rtl: Remove dead code.
+       * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
+       Document gnatbind -xdr switch.
+       * gnat_ugn.texi: Regenerate.
+
+2020-07-07  Piotr Trojanek  <trojanek@adacore.com>
+
+       * doc/gnat_ugn/building_executable_programs_with_gnat.rst
+       (Validity Checking): Add "p" to the list of switches enabled by
+       -gnatVa.
+       * gnat_ugn.texi: Regenerate.
+
+2020-07-07  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+       * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Add call
+       to Check_Restriction_No_Specification_Of_Aspect.
+       * sem_prag.adb (Analyze_Pragma): Likewise.
+       * restrict.ads (Check_Restriction_No_Specification_Of_Aspect):
+       Mention possible new node kinds in documentation.
+       * restrict.adb (Check_Restriction_No_Specification_Of_Aspect):
+       Retrieve aspect id from different fields if given node is an
+       N_Pragma or an N_Attribute_Definition_Clause.
+
+2020-07-07  Gary Dismukes  <dismukes@adacore.com>
+
+       * contracts.adb (Add_Invariant_And_Predicate_Checks): Relax the
+       condition for doing invariant checks so that in-mode parameters
+       of procedures are also checked (required by AI05-0289, and
+       restricted to procedures by AI12-0044). This is done in a
+       procedure's nested postconditions procedure.
+       * exp_ch6.adb (Expand_Actuals): Also perform postcall invariant
+       checks for in parameters of procedures (but not functions).
+       Moved invariant-checking code to end of Expand_Actuals
+       (including the nested function Is_Public_Subp).
+
+2020-07-07  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_aggr.adb (Resolve_Delta_Array_Aggregate): Make Index_Type
+       a constant.
+
+2020-07-07  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_aggr.adb (Expand_N_Delta_Aggregate): Use type of the delta
+       base expression for the anonymous object of the delta aggregate.
+
+2020-07-07  Javier Miranda  <miranda@adacore.com>
+
+       * sem_util.ads (Interval_Lists): Reordering routine.
+       * sem_util.adb (Interval_Lists): Reordering routines to keep
+       them alphabetically ordered.
+
+2020-07-07  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_attr.adb (Resolve_Attribute): Do not call
+       Check_Non_Static_Context.
+
+2020-07-07  Arnaud Charlet  <charlet@adacore.com>
+
+       * sem_elab.adb (Is_Guaranteed_ABE): Take into account null
+       procedures.
+
+2020-07-07  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_ch5.adb (Analyze_Assignment): Reuse Is_Assignable.
+
+2020-07-07  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Add scalar
+       range checks for 'Update on arrays just like for 'Update on
+       records.
+       * sem_attr.adb (Analyze_Array_Component_Update): Do not set
+       range checks for single-dimensional arrays.
+       (Resolve_Attribute): Do not set range checks for both single-
+       and multi- dimensional arrays.
+
+2020-07-07  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem.ads (Sem): Fix description.
+
+2020-07-07  Piotr Trojanek  <trojanek@adacore.com>
+
+       * sem_ch13.adb (Analyze_Relaxed_Parameter): Fix for protected
+       entries.
+
 2020-07-06  Piotr Trojanek  <trojanek@adacore.com>
 
        * checks.adb (Apply_Scalar_Range_Check): Use Is_RTE.

diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 431eea3..5b97f41 100644 (file)
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,12 @@
+2020-07-07  Nathan Sidwell  <nathan@acm.org>
+
+       * c-opts.c (c_common_post_options): Add 'injecting' arg to
+       cpp_read_main_file.
+       (c_finish_options): Add linemap_line_start calls for builtin and cmd
+       maps.  Force token position to line_table's highest line.
+       * c-ppoutput.c (print_line_1): Refactor, print line zero.
+       (cb_define): Always increment source line.
+
 2020-07-06  Martin Sebor  <msebor@redhat.com>
 
        PR c++/95984

diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 7d85d5a..50637de 100644 (file)
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,8 @@
+2020-07-07  Kaipeng Zhou  <zhoukaipeng3@huawei.com>
+
+       * c-parser.c (c_parser_statement_after_labels): Pass correct
+       parameters to c_parser_do_statement.
+
 2020-06-16  Jakub Jelinek  <jakub@redhat.com>
 
        * c-parser.c (c_parser_expr_no_commas): Save, clear and restore

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f41e501..5598367 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,16 @@
+2020-07-07  Patrick Palka  <ppalka@redhat.com>
+
+       PR c++/95303
+       * cxx-pretty-print.c (pp_cxx_unqualified_id): Check
+       PRIMARY_TEMPLATE_P before printing the innermost template
+       arguments.
+
+2020-07-07  Martin Sebor  <msebor@redhat.com>
+
+       PR c++/96063
+       * parser.c (class_decl_loc_t::diag_mismatched_tags): Print notes only
+       if warning_at returns nonzero.
+
 2020-07-06  Martin Sebor  <msebor@redhat.com>
 
        PR c++/95984

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a27630a..ce54b04 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,41 @@
+2020-07-07  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/92427
+       * g++.dg/ext/flexary37.C: New test.
+
+2020-07-07  Patrick Palka  <ppalka@redhat.com>
+
+       PR c++/95303
+       * g++.dg/concepts/diagnostic14.C: New test.
+
+2020-07-07  Aaron Sawdey  <acsawdey@linux.ibm.com>
+
+       * lib/target-supports.exp (check_power10_hw_available):
+       Return 0 for passing test.
+
+2020-07-07  Nathan Sidwell  <nathan@acm.org>
+
+       * c-c++-common/cpp/pragma-eof.c: New
+
+2020-07-07  Nathan Sidwell  <nathan@acm.org>
+
+       * c-c++-common/cpp/line-2.c: New.
+       * c-c++-common/cpp/line-2.h: New.
+       * c-c++-common/cpp/line-3.c: New.
+       * c-c++-common/cpp/line-4.c: New.
+       * c-c++-common/cpp/line-4.h: New.
+
+2020-07-07  Martin Sebor  <msebor@redhat.com>
+
+       PR c++/96063
+       * g++.dg/warn/Wmismatched-tags-7.C: New test.
+       * g++.dg/warn/Wmismatched-tags-8.C: New test.
+
+2020-07-07  Richard Biener  <rguenther@suse.de>
+
+       * gcc.dg/vect/slp-47.c: New testcase.
+       * gcc.dg/vect/slp-48.c: Likewise.
+
 2020-07-06  Martin Sebor  <msebor@redhat.com>
 
        PR c++/95984

diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index 6e16145..ed65d15 100644 (file)
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,14 @@
+2020-07-07  Nathan Sidwell  <nathan@acm.org>
+
+       * directives.c (do_linemarker): Optimize rewinding to line zero.
+       * files.c (_cpp_stack_file): Start on line zero when about to inject
+       headers.
+       (cpp_push_include, cpp_push_default_include): Use highest_line as
+       the location.
+       * include/cpplib.h (cpp_read_main_file): Add injecting parm.
+       * init.c (cpp_read_main_file): Likewise, inform _cpp_stack_file.
+       * internal.h (enum include_type): Add IT_MAIN_INJECT.
+
 2020-05-29  H.J. Lu  <hjl.tools@gmail.com>
 
        PR bootstrap/95413

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 4b6fb3f..ed9947c 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,34 @@
+2020-07-07  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/std/limits: Whitespace changes.
+
+2020-07-07  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/Makefile.am: Remove bits/int_limits.h.
+       * include/Makefile.in: Regenerate.
+       * include/bits/int_limits.h: Removed.
+       * include/bits/parse_numbers.h (_Select_int_base): Replace
+       __int_limits with __int_traits.
+       * include/bits/range_access.h (_SSize::operator()): Likewise.
+       * include/ext/numeric_traits.h (__numeric_traits_integer): Add
+       static assertion.
+       (__int_traits): New alias template.
+       * include/std/bit (__rotl, __rotr, __countl_zero, __countl_one)
+       (__countr_zero, __countr_one, __popcount, __bit_ceil)
+       (__bit_floor, __bit_width) Replace __int_limits with
+       __int_traits.
+       * include/std/charconv (__to_chars_8, __from_chars_binary)
+       (__from_chars_alpha_to_num, from_chars): Likewise.
+       * include/std/memory_resource (polymorphic_allocator::allocate)
+       (polymorphic_allocator::allocate_object): Likewise.
+       * include/std/string_view (basic_string_view::_S_compare):
+       Likewise.
+       * include/std/utility (cmp_equal, cmp_less, in_range): Likewise.
+
+2020-07-07  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/std/limits: Whitespace changes.
+
 2020-07-06  Jonathan Wakely  <jwakely@redhat.com>
 
        * include/std/optional (_Optional_payload_base, _Optional_base)