From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1059) id 7F99B384240E; Wed, 8 Jul 2020 19:01:07 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7F99B384240E DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1594234867; bh=Q/lkfPutbAvEDftMQCnEiQc5da8/cBuN2x4+sAyE3/A=; h=From:To:Subject:Date:From; b=ay0B/J9WxHe2H29U/XeF+BwnEY4Yd4oU1TiOQT7MxQHLVt+G6JF/+J6RDSMGH6lIq Mhd+UusyoaieHlT/lhECfyHKpDWqRe6emWmetl6PoRCJIu2O5NIzJY6gxlpYi80RKE 6XaO1N/OOvWNTRgtCb8xu+1IdYrMHNpfgos+wtZM= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Nathan Sidwell To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc/devel/c++-modules] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/devel/c++-modules X-Git-Oldrev: 36e8db7c2af254a38fba5a874a3104a2cc1b1aac X-Git-Newrev: f60ee68de3d80459d319cc0418a1a860f48f0bc8 Message-Id: <20200708190107.7F99B384240E@sourceware.org> Date: Wed, 8 Jul 2020 19:01:07 +0000 (GMT) X-BeenThere: libstdc++-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libstdc++-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 08 Jul 2020 19:01:07 -0000 https://gcc.gnu.org/g:f60ee68de3d80459d319cc0418a1a860f48f0bc8 commit f60ee68de3d80459d319cc0418a1a860f48f0bc8 Author: GCC Administrator 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 + Martin Liska + + * 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 * 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 + + * config/aarch64/aarch64.c (thunderx2t99_regmove_cost, + thunderx2t99_vector_cost): Likewise. + +2020-07-07 Richard Biener + + * 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 + + * doc/generic.texi: Fix typo. + +2020-07-07 Richard Biener + + * 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 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 + + * 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 + + * treepr.adb (Print_Node): Add code to test Is_Extension. + +2020-07-07 Arnaud Charlet + + * sem_ch4.adb (Try_Container_Indexing): Add ??? comment. Protect + against malformed tree in case of errors. + +2020-07-07 Piotr Trojanek + + * einfo.adb, sem_ch10.adb, sem_ch12.adb, sem_ch8.adb: Use + Is_Generic_Subprogram. + +2020-07-07 Piotr Trojanek + + * 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 + + * 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 + + * 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 + + * 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 + + * 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 + + * 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 + + * sem_util.adb (Is_Potentially_Unevaluated): Code cleanup. + +2020-07-07 Eric Botcazou + + * 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) : 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 + + * 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 + + * 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 + + * freeze.adb (Freeze_Expr_Types): Freeze the designated type of + the explicit dereference. + +2020-07-07 Javier Miranda + + * sem_util.adb (Is_Potentially_Unevaluated): Protect reading + attribute Etype. + +2020-07-07 Bob Duff + + * libgnat/g-catiio.adb (Value, Parse_ISO_8601): Unsuppress + checks, and don't rely on 'Valid. + +2020-07-07 Arnaud Charlet + + * 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 + + * 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 + + * 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 + + * 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 + + * sem_aggr.adb (Resolve_Delta_Array_Aggregate): Make Index_Type + a constant. + +2020-07-07 Piotr Trojanek + + * 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 + + * sem_util.ads (Interval_Lists): Reordering routine. + * sem_util.adb (Interval_Lists): Reordering routines to keep + them alphabetically ordered. + +2020-07-07 Piotr Trojanek + + * sem_attr.adb (Resolve_Attribute): Do not call + Check_Non_Static_Context. + +2020-07-07 Arnaud Charlet + + * sem_elab.adb (Is_Guaranteed_ABE): Take into account null + procedures. + +2020-07-07 Piotr Trojanek + + * sem_ch5.adb (Analyze_Assignment): Reuse Is_Assignable. + +2020-07-07 Piotr Trojanek + + * 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 + + * sem.ads (Sem): Fix description. + +2020-07-07 Piotr Trojanek + + * sem_ch13.adb (Analyze_Relaxed_Parameter): Fix for protected + entries. + 2020-07-06 Piotr Trojanek * 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 + + * 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 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 + + * c-parser.c (c_parser_statement_after_labels): Pass correct + parameters to c_parser_do_statement. + 2020-06-16 Jakub Jelinek * 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 + + 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 + + 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 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 + + PR c++/92427 + * g++.dg/ext/flexary37.C: New test. + +2020-07-07 Patrick Palka + + PR c++/95303 + * g++.dg/concepts/diagnostic14.C: New test. + +2020-07-07 Aaron Sawdey + + * lib/target-supports.exp (check_power10_hw_available): + Return 0 for passing test. + +2020-07-07 Nathan Sidwell + + * c-c++-common/cpp/pragma-eof.c: New + +2020-07-07 Nathan Sidwell + + * 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 + + 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 + + * gcc.dg/vect/slp-47.c: New testcase. + * gcc.dg/vect/slp-48.c: Likewise. + 2020-07-06 Martin Sebor 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 + + * 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 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 + + * include/std/limits: Whitespace changes. + +2020-07-07 Jonathan Wakely + + * 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 + + * include/std/limits: Whitespace changes. + 2020-07-06 Jonathan Wakely * include/std/optional (_Optional_payload_base, _Optional_base)