[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