[gcc(refs/users/aldyh/heads/ranger-staging)] Daily bump.
Aldy Hernandez
aldyh@gcc.gnu.org
Wed Aug 19 17:14:28 GMT 2020
https://gcc.gnu.org/g:f60ee68de3d80459d319cc0418a1a860f48f0bc8
commit f60ee68de3d80459d319cc0418a1a860f48f0bc8
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Wed Jul 8 00:16:40 2020 +0000
Daily bump.
Diff:
---
contrib/ChangeLog | 7 ++
gcc/ChangeLog | 24 ++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 215 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/c-family/ChangeLog | 9 ++
gcc/c/ChangeLog | 5 ++
gcc/cp/ChangeLog | 13 +++
gcc/testsuite/ChangeLog | 38 +++++++++
libcpp/ChangeLog | 11 +++
libstdc++-v3/ChangeLog | 31 +++++++
10 files changed, 354 insertions(+), 1 deletion(-)
diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 78b2b93dbf8..a9eb4d78006 100644
--- 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 ea2f78df22e..a0f028a828c 100644
--- 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 c0ce1b47903..f2f90c2763f 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200707
+20200708
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e3761017a23..057d347c38e 100644
--- 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 431eea3136a..5b97f416f24 100644
--- 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 7d85d5a53ac..50637de081d 100644
--- 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 f41e501ec2a..5598367395c 100644
--- 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 a27630a32fd..ce54b0458dc 100644
--- 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 6e16145b669..ed65d154432 100644
--- 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 4b6fb3f8978..ed9947c6b37 100644
--- 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)
More information about the Libstdc++-cvs
mailing list