From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2100) id 34F1E3870851; Mon, 17 Aug 2020 23:37:21 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 34F1E3870851 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1597707441; bh=l3DZp9L9yGT8Sr/KV+QwlvyGfFeebb2u1jeSwOtpPXo=; h=From:To:Subject:Date:From; b=HzAF72P5QF1gEqAn/eYQLWOw9lkefxoahHySIhbdRcjT5l44GbjhFktm3pmrjkj/k vG0at1GtDRBfnBaMHXRld/8h098l7y3a1kd16H+ahxmEoM2kx0/aKaWjEM4E4payFL AK/JFpAZQAUegZZvABELzXvAiryPmyH7NnINJgic= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit From: Giuliano Belinassi To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc(refs/users/giulianob/heads/autopar_rebase2)] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/users/giulianob/heads/autopar_rebase2 X-Git-Oldrev: ecef8bd3db32ba80162e53a0f5f9cfafb98251a6 X-Git-Newrev: d678f622fd5150080a9116640a4812d6a6fb5314 Message-Id: <20200817233721.34F1E3870851@sourceware.org> Date: Mon, 17 Aug 2020 23:37:21 +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: Mon, 17 Aug 2020 23:37:21 -0000 https://gcc.gnu.org/g:d678f622fd5150080a9116640a4812d6a6fb5314 commit d678f622fd5150080a9116640a4812d6a6fb5314 Author: GCC Administrator Date: Fri Jun 12 00:16:29 2020 +0000 Daily bump. Diff: --- contrib/ChangeLog | 21 ++++ gcc/ChangeLog | 117 +++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 324 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 17 +++ gcc/fortran/ChangeLog | 46 +++++++ gcc/testsuite/ChangeLog | 59 +++++++++ libstdc++-v3/ChangeLog | 11 ++ 8 files changed, 596 insertions(+), 1 deletion(-) diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 3a385d68c50..49afab1d1f3 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,24 @@ +2020-06-11 Jonathan Wakely + + * prepare-commit-msg: Use the gcc-config.mklog-hook-type Git + config key instead of the GCC_FORCE_MKLOG environment variable. + Optionally disable generating a new ChangeLog template for + amended commits when the existing log is still OK. + +2020-06-11 Martin Liska + + * gcc-changelog/git_update_version.py: Add --curent argument. + +2020-06-11 Martin Liska + + * prepare-commit-msg: Replace ENV variable with a git config + value. + +2020-06-11 Jonathan Wakely + + * prepare-commit-msg: Use 'tee' to save the diff to a file + instead of running 'git diff' twice. + 2020-06-10 Martin Liska * gcc-changelog/git_commit.py: Fix renamed files in diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b0860738d04..2381eb6ccd4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,120 @@ +2020-06-11 Martin Liska + + * config/rs6000/rs6000.c (rs6000_density_test): Fix GNU coding + style. + +2020-06-11 Martin Liska + + PR target/95627 + * config/rs6000/rs6000.c (rs6000_density_test): Skip debug + statements. + +2020-06-11 Martin Liska + Jakub Jelinek + + PR sanitizer/95634 + * asan.c (asan_emit_stack_protection): Fix emission for ilp32 + by using Pmode instead of ptr_mode. + +2020-06-11 Kewen Lin + + * tree-vect-loop-manip.c (vect_set_loop_mask): Renamed to ... + (vect_set_loop_control): ... this. + (vect_maybe_permute_loop_masks): Rename rgroup_masks related things. + (vect_set_loop_masks_directly): Renamed to ... + (vect_set_loop_controls_directly): ... this. Also rename some + variables with ctrl instead of mask. Rename vect_set_loop_mask to + vect_set_loop_control. + (vect_set_loop_condition_masked): Rename rgroup_masks related things. + Also rename some variables with ctrl instead of mask. + * tree-vect-loop.c (release_vec_loop_masks): Renamed to ... + (release_vec_loop_controls): ... this. Rename rgroup_masks related + things. + (_loop_vec_info::~_loop_vec_info): Rename release_vec_loop_masks to + release_vec_loop_controls. + (can_produce_all_loop_masks_p): Rename rgroup_masks related things. + (vect_get_max_nscalars_per_iter): Likewise. + (vect_estimate_min_profitable_iters): Likewise. + (vect_record_loop_mask): Likewise. + (vect_get_loop_mask): Likewise. + * tree-vectorizer.h (struct rgroup_masks): Renamed to ... + (struct rgroup_controls): ... this. Also rename mask_type + to type and rename masks to controls. + +2020-06-11 Kewen Lin + + * tree-vect-loop-manip.c (vect_set_loop_condition): Rename + LOOP_VINFO_FULLY_MASKED_P to LOOP_VINFO_USING_PARTIAL_VECTORS_P. + (vect_gen_vector_loop_niters): Likewise. + (vect_do_peeling): Likewise. + * tree-vect-loop.c (_loop_vec_info::_loop_vec_info): Rename + fully_masked_p to using_partial_vectors_p. + (vect_analyze_loop_costing): Rename LOOP_VINFO_FULLY_MASKED_P to + LOOP_VINFO_USING_PARTIAL_VECTORS_P. + (determine_peel_for_niter): Likewise. + (vect_estimate_min_profitable_iters): Likewise. + (vect_transform_loop): Likewise. + * tree-vectorizer.h (LOOP_VINFO_FULLY_MASKED_P): Updated. + (LOOP_VINFO_USING_PARTIAL_VECTORS_P): New macro. + +2020-06-11 Kewen Lin + + * tree-vect-loop.c (_loop_vec_info::_loop_vec_info): Rename + can_fully_mask_p to can_use_partial_vectors_p. + (vect_analyze_loop_2): Rename LOOP_VINFO_CAN_FULLY_MASK_P to + LOOP_VINFO_CAN_USE_PARTIAL_VECTORS_P. Rename saved_can_fully_mask_p + to saved_can_use_partial_vectors_p. + (vectorizable_reduction): Rename LOOP_VINFO_CAN_FULLY_MASK_P to + LOOP_VINFO_CAN_USE_PARTIAL_VECTORS_P. + (vectorizable_live_operation): Likewise. + * tree-vect-stmts.c (permute_vec_elements): Likewise. + (check_load_store_masking): Likewise. + (vectorizable_operation): Likewise. + (vectorizable_store): Likewise. + (vectorizable_load): Likewise. + (vectorizable_condition): Likewise. + * tree-vectorizer.h (LOOP_VINFO_CAN_FULLY_MASK_P): Renamed to ... + (LOOP_VINFO_CAN_USE_PARTIAL_VECTORS_P): ... this. + (_loop_vec_info): Rename can_fully_mask_p to can_use_partial_vectors_p. + +2020-06-11 Martin Liska + + * optc-save-gen.awk: Quote error string. + +2020-06-11 Alexandre Oliva + + * print-rtl.c (print_mem_expr): Enable TDF_SLIM in dump_flags. + +2020-06-11 Kito Cheng + + * config/riscv/riscv-protos.h (riscv_output_gpr_save): Remove. + * config/riscv/riscv-sr.c (riscv_sr_match_prologue): Update + value. + * config/riscv/riscv.c (riscv_output_gpr_save): Remove. + * config/riscv/riscv.md (gpr_save): Update output asm pattern. + +2020-06-11 Kito Cheng + + * config/riscv/predicates.md (gpr_save_operation): New. + * config/riscv/riscv-protos.h (riscv_gen_gpr_save_insn): New. + (riscv_gpr_save_operation_p): Ditto. + * config/riscv/riscv-sr.c (riscv_remove_unneeded_save_restore_calls): + Ignore USEs for gpr_save patter. + * config/riscv/riscv.c (gpr_save_reg_order): New. + (riscv_expand_prologue): Use riscv_gen_gpr_save_insn to gen gpr_save. + (riscv_gen_gpr_save_insn): New. + (riscv_gpr_save_operation_p): Ditto. + * config/riscv/riscv.md (S3_REGNUM): New. + (S4_REGNUM): Ditto. + (S5_REGNUM): Ditto. + (S6_REGNUM): Ditto. + (S7_REGNUM): Ditto. + (S8_REGNUM): Ditto. + (S9_REGNUM): Ditto. + (S10_REGNUM): Ditto. + (S11_REGNUM): Ditto. + (gpr_save): Model USEs correctly. + 2020-06-10 Martin Sebor PR middle-end/95353 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 1094e86b516..98278266c63 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20200611 +20200612 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index b4258dccde0..a02459bb400 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,327 @@ +2020-06-11 Eric Botcazou + + * sem_res.adb (Resolve_Implicit_Dereference): In an instance, + reset the type of the prefix if it is private before building + the dereference. + +2020-06-11 Eric Botcazou + + * exp_util.adb (Safe_Unchecked_Type_Conversion): Add missing + Is_Type guard before calling Has_Discriminants on Etype. + +2020-06-11 Bob Duff + + * libgnat/a-nbnbin__gmp.adb: There's no Optional_Big_Integer + anymore. Invalid_Big_Integer is not used. + Greatest_Common_Divisor returns Big_Positive. + +2020-06-11 Piotr Trojanek + + * sem_aggr.adb (Get_Value): Refine type of the Compon parameter. + +2020-06-11 Piotr Trojanek + + * sem_aggr.adb (Resolve_Record_Aggregate): Refine type of + Others_Box. + +2020-06-11 Piotr Trojanek + + * checks.adb, exp_ch7.adb, exp_ch9.adb, exp_smem.adb, lib.adb, + nlists.adb, sem.adb, sem_aggr.adb, sem_ch3.adb, sem_ch6.adb, + sem_ch8.adb, sem_dim.adb, sem_res.adb, sem_util.adb, + sem_warn.adb: Replace uses of Next function with procedure. + +2020-06-11 Eric Botcazou + + * exp_pakd.ads: Add paragraph about scalar storage order. + * exp_pakd.adb (Install_PAT): Do not set the scalar storage + order of the PAT here but... + (Set_PB_Type): ...here instead and... + (Create_Packed_Array_Impl_Type): ...here as well. + * rtsfind.ads (RE_Id): Add RE_Rev_Packed_Bytes{1,2,4}. + (RE_Unit_Table): Likewise. + * libgnat/s-unstyp.ads (Rev_Packed_Bytes1): New derived type. + (Rev_Packed_Bytes2): Likewise. + (Rev_Packed_Bytes4): Likewise. + +2020-06-11 Piotr Trojanek + + * sem_ch4.adb, sem_ch6.adb, sem_res.adb, sem_util.ads: Fix + references to SPARK RM 7.1.3 rule numbers. + +2020-06-11 Ed Schonberg + + * sem_warn.adb (Warn_On_Overlapping_Actuals): Simplify code, + remove inner predicate Is_Covered_Formal, preserve warning for + two overlapping composite types when only one is writable, and + for two overlapping and writable elementary types. + +2020-06-11 Steve Baird + + * contracts.adb (Add_Contract_Item): Support specifying + volatility refinement aspects for types. + (Analyze_Contracts): Add call to Analyze_Type_Contract in the + case of a contract for a type. + (Freeze_Contracts): Add call to Analyze_Type_Contract in the + case of a contract for a type. + (Check_Type_Or_Object_External_Properties): A new procedure + which performs the work that needs to be done for both object + declarations and types. + (Analyze_Object_Contract): Add a call to + Check_Type_Or_Object_External_Properties and remove the code in + this procedure which did much of the work that is now performed + by that call. + (Analyze_Type_Contract): Implement this new routine as nothing + more than a call to Check_Type_Or_Object_External_Properties. + * contracts.ads: Update comment for Add_Contract_To_Item because + types can have contracts. Follow (questionable) precedent and + declare new routine Analyze_Type_Contract as visible (following + example of Analyze_Object_Contract), despite the fact that it is + never called from outside of the package where it is declared. + * einfo.adb (Contract, Set_Contract): Id argument can be a type; + support this case. + (Write_Field34_Name): Field name is "contract" for a type. + * einfo.ads: Update comment describing Contract attribute. + * sem_ch3.adb (Build_Derived_Numeric_Type): Is_Volatile should + return same answer for all subtypes of a given type. Thus, when + building the base type for something like type Volatile_1_To_10 + is range 1 .. 10 with Volatile; that basetype should be marked + as being volatile. + (Access_Type_Declaration): Add SPARK-specific legality check + that the designated type of an access type shall be compatible + with respect to volatility with the access type. + * sem_ch12.adb (Check_Shared_Variable_Control_Aspects): Add + SPARK-specific legality check that an actual type parameter in + an instantiation shall be compatible with respect to volatility + with the corresponding formal type. + * sem_ch13.adb (Analyze_Aspect_Specifications): Perform checks + for aspect specs for the 4 volatility refinement aspects that + were already being performed for all language-defined aspects. + * sem_prag.adb (Analyze_External_Property_In_Decl_Part, + Analyze_Pragma): External properties (other than No_Caching) may + be specified for a type, including a generic formal type. + * sem_util.ads: Declare new subprograms - Async_Readers_Enabled, + Async_Writers_Enabled, Effective_Reads, Effective_Writes, and + Check_Volatility_Compatibility. + * sem_util.adb (Async_Readers_Enabled, Async_Writers_Enabled, + Effective_Reads, Effective_Writes): Initial implementation of + new functions for querying aspect values. + (Check_Volatility_Compatibility): New procedure intended for use + in checking all SPARK legality rules of the form "<> shall be + compatible with respect to volatility with <>". + (Has_Enabled_Property): Update comment because Item_Id can be a + type. Change name of nested Variable_Has_Enabled_Property + function to Type_Or_Variable_Has_Enabled_Property; add a + parameter to that function because recursion may be needed, + e.g., in the case of a derived typ). Cope with the case where + the argument to Has_Enabled_Property is a type. + +2020-06-11 Piotr Trojanek + + * sem_aggr.adb (Add_Association): Add assertion about the formal + parameters. + (Propagate_Discriminants): Always add an explicit component + association, so that an "others => <>" association is never + needed. + +2020-06-11 Bob Duff + + * exp_put_image.adb (Build_Elementary_Put_Image_Call): If the + underlying type is real, call Put_Image_Unknown. + (Build_Unknown_Put_Image_Call): Pass the type name to + Put_Image_Unknown. + * libgnat/s-putima.ads, libgnat/s-putima.adb + (Put_Image_Unknown): Add Type_Name parameter. Remove + overly-detailed documentation of what it does; better to leave + it open. + +2020-06-11 Piotr Trojanek + + * sem_ch3.adb (Build_Constrained_Array_Type, + Build_Constrained_Discriminated_Type): Skip unnecessary loop + iterations. + +2020-06-11 Piotr Trojanek + + * sem_aggr.adb (Build_Constrained_Itype): Move to Sem_Util. + * sem_ch3.adb (Build_Subtype, Inherit_Predicate_Flags): Move... + * sem_util.adb (Build_Subtype): Here. Add parameters for + references to objects previously declared in enclosing scopes. + (Inherit_Predicate_Flags): And here, because it is called by + Build_Subtype. + * sem_util.ads (Build_Overriding_Spec): Reorder alphabetically. + (Build_Subtype): Moved from Sem_Ch3; comments updated. + (Build_Constrained_Itype): Moved from Sem_Aggr; comments + updated. + +2020-06-11 Piotr Trojanek + + * sem_aggr.adb (Case_Table_Type): Change index type from Nat to + Pos. + +2020-06-11 Piotr Trojanek + + * sem_aggr.adb (Build_Constrained_Itype): Previously a declare + block, now a separate procedure; the only change is that now + New_Assoc_List might include components and an others clause, + which we ignore (while we deal with discriminants exactly as we + did before); extend a ??? comment about how this routine is + different from the Build_Subtype + (Resolve_Record_Aggregate): Create a constrained itype not just + for the outermost record aggregate, but for its inner record + aggregates as well. + +2020-06-11 Eric Botcazou + + * checks.adb (Build_Discriminant_Checks): Build an explicit + dereference when the type is an access type. + * exp_atag.adb (Build_CW_Membership): Add explicit dereferences. + (Build_Get_Access_Level): Likewise. + (Build_Get_Alignment): Likewise. + (Build_Inherit_Prims): Likewise. + (Build_Get_Transportable): Likewise. + (Build_Set_Size_Function): Likewise. + * exp_ch3.adb (Build_Offset_To_Top_Function): Likewise. + * exp_ch4.adb (Expand_Allocator_Expression): Likewise. + (Expand_N_Indexed_Component ): Remove code dealing with implicit + dereferences. + (Expand_N_Selected_Component): Likewise. + (Expand_N_Slice): Likewise. + * exp_ch9.adb (Add_Formal_Renamings): Add explicit dereference. + (Expand_Accept_Declarations): Likewise. + (Build_Simple_Entry_Call): Remove code dealing with implicit + dereferences. + (Expand_N_Requeue_Statement): Likewise. + * exp_disp.adb (Expand_Dispatching_Call): Build an explicit + dereference when the controlling type is an access type. + * exp_spark.adb (Expand_SPARK_N_Selected_Component): Delete. + (Expand_SPARK_N_Slice_Or_Indexed_Component): Likewise. + (Expand_SPARK): Do not call them. + * sem_ch4.adb (Process_Implicit_Dereference_Prefix): Delete. + (Process_Indexed_Component): Call Implicitly_Designated_Type + to get the designated type for an implicit dereference. + (Analyze_Overloaded_Selected_Component): Do not insert an + explicit dereference here. + (Analyze_Selected_Component): Likewise. + (Analyze_Slice): Call Implicitly_Designated_Type to get the + designated type for an implicit dereference. + * sem_ch8.adb (Has_Components): New predicate extracted from... + (Is_Appropriate_For_Record): ...this. Delete. + (Is_Appropriate_For_Entry_Prefix): Likewise. + (Analyze_Renamed_Entry): Deal with implicit dereferences. + (Find_Selected_Component): Do not insert an explicit dereference + here. Call Implicitly_Designated_Type to get the designated type + for an implicit dereference. Call Has_Components, Is_Task_Type + and Is_Protected_Type directly. Adjust test for error. + * sem_res.adb (Resolve_Implicit_Dereference): New procedure. + (Resolve_Call): Call Resolve_Indexed_Component last. + (Resolve_Entry): Call Resolve_Implicit_Dereference on the prefix. + (Resolve_Indexed_Component): Call Implicitly_Designated_Type to + get the designated type for an implicit dereference and + Resolve_Implicit_Dereference on the prefix at the end. + (Resolve_Selected_Component): Likewise. + (Resolve_Slice): Likewise. Do not apply access checks here. + * sem_util.ads (Implicitly_Designated_Type): Declare. + * sem_util.adb (Copy_And_Maybe_Dereference): Simplify. + (Implicitly_Designated_Type): New function. + (Object_Access_Level): Fix typo. + * sem_warn.adb (Check_Unset_Reference): Test Comes_From_Source + on the original node. + +2020-06-11 Piotr Trojanek + + * exp_disp.adb: Minor reformatting. + * exp_aggr.adb (Is_Static_Dispatch_Table_Aggregate): Recognize + aggregates of the Ada.Tags.Object_Specific_Data type as static. + * sem_aggr.adb (Check_Static_Discriminated_Subtype): Deconstruct + and do not call it from Build_Constrained_Itype. + +2020-06-11 Piotr Trojanek + + * exp_disp.adb (Make_Secondary_DT): Internally generated OSD + tables are now constant. + +2020-06-11 Piotr Trojanek + + * exp_aggr.adb (Backend_Processing_Possible): Remove useless + call. + +2020-06-11 Piotr Trojanek + + * opt.ads (Building_Static_Dispatch_Tables): Fix punctuation in + comment. + +2020-06-11 Arnaud Charlet + + * libgnat/s-stposu.ads (Root_Storage_Pool_With_Subpools, + Root_Subpool): Mark with Preelaborable_Initialization. + +2020-06-11 Javier Miranda + + * exp_ch9.adb (Expand_N_Conditional_Entry_Call): Replace call to + New_Copy_List by calls to the new routine + New_Copy_Separate_List. + * sem_util.ads (New_Copy_Separate_List, New_Copy_Separate_Tree): + New routines. + * sem_util.adb (New_Copy_Separate_List, New_Copy_Separate_Tree): + New routines. + (New_Copy_Tree): Extend the machinery that detects syntactic + nodes to handle lists of indentifiers with field More_Ids; + otherwise such nodes are erroneously handled as semantic nodes. + Copy aspect specifications attached to nodes. + * sem_ch12.adb (Copy_Generic_Node): Protect reading attribute + Etype. + +2020-06-11 Bob Duff + + * sem_ch13.adb (Analyze_Aspect_Specifications): Do not set the + Has_Predicates flag when the Predicate_Failure aspect is seen. + It is legal (but pointless) to use this aspect without a + predicate. If we set the flag, we generate a half-baked + Predicate procedure, and if that procedure is nested, it causes + unnesting to crash. + +2020-06-11 Bob Duff + + * exp_put_image.adb (Build_Record_Put_Image_Procedure): Remove + special processing of protected types, because those are handled + by Build_Protected_Put_Image_Call. + (Enable_Put_Image): Use the switch -gnatd_z to control enabling + of Put_Image. Disable Put_Image for types in Remote_Types + packages. + * debug.adb: Document -gnatd_z switch. + * exp_imgv.adb, libgnat/a-stteou.ads, opt.ads: Minor cleanups. + +2020-06-11 Piotr Trojanek + + * sem_warn.adb (Warn_On_Overlapping_Actuals): Add label to the + outer loop and use it in the exit statement. + +2020-06-11 Ghjuvan Lacambre + + * exp_ch3.adb (Build_Assignment): Generate predicate check if + subtype mark has predicate. + +2020-06-11 Justin Squirek + + * sem_util.adb (Expand_N_Attribute_Reference): Use original + nodes where required to avoid looking at the expanded tree. + +2020-06-11 Arnaud Charlet + + * libgnat/a-catizo.ads, libgnat/a-nbnbin.ads, + libgnat/a-nbnbre.ads, libgnat/a-nubinu.ads, + libgnat/s-aoinar.ads, libgnat/s-aomoar.ads, + libgnat/s-aotase.ads, libgnat/s-stopoo.ads: Remove aspects that + we will not implement. + +2020-06-11 Arnaud Charlet + + * libgnat/s-aoinar.adb (Atomic_Fetch_And_Add, + Atomic_Fetch_And_Subtract): Add fallback using + compare-and-exchange, in case the integer type does not map to a + machine type. + 2020-06-10 Arnaud Charlet * libgnat/s-aomoar.ads, libgnat/s-aomoar.adb: New files. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index c6448360f93..876c36483c2 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,20 @@ +2020-06-11 Patrick Palka + + PR c++/93467 + * constraint.cc (associate_classtype_constraints): If there is a + discrepancy between the current template depth and the template + depth of the original declaration, then adjust the template + parameter depth within the current constraints appropriately. + * pt.c (tsubst_friend_class): Substitute into and set the + constraints on the injected declaration. + +2020-06-11 Iain Sandoe + + * coroutines.cc (instantiate_coro_traits): Pass a reference + to lambda closure objects to traits instantiation. + (morph_fn_to_coro): Likewise for promise parameter + preview and allocator lookup. + 2020-06-10 Iain Sandoe PR c++/95440 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index f6db90378db..530333e38c4 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,49 @@ +2020-06-11 Harald Anlauf + Steven G. Kargl + + PR fortran/95611 + * decl.c (access_attr_decl): Use correct symbol in error message. + +2020-06-11 Steven G. Kargl + Harald Anlauf + + PR fortran/95544 + * check.c (invalid_null_arg): Rename to gfc_invalid_null_arg. + (gfc_check_associated, gfc_check_kind, gfc_check_merge) + (gfc_check_shape, gfc_check_size, gfc_check_spread) + (gfc_check_transfer): Adjust. + (gfc_check_len_lentrim, gfc_check_trim): Check for NULL() argument. + * gfortran.h: Declare gfc_invalid_null_arg (). + * intrinsic.c (check_arglist): Check for NULL() argument. + +2020-06-11 Harald Anlauf + + PR fortran/95503 + * expr.c (gfc_check_pointer_assign): Skip contiguity check of rhs + of pointer assignment if lhs cannot be simply contiguous. + +2020-06-11 José Rui Faustino de Sousa + + PR fortran/95331 + * trans-array.c (gfc_conv_array_ref): For class array dummy + arguments use the transformed descriptor in sym->backend_decl + instead of the original descriptor. + +2020-06-11 José Rui Faustino de Sousa + + PR fortran/52351 + PR fortran/85868 + * trans-array.c (gfc_conv_expr_descriptor): Enable the + creation of a new descriptor with the correct one based + indexing for array sections. Rework array descriptor + indexing offset calculation. + +2020-06-11 José Rui Faustino de Sousa + + PR fortran/94022 + * trans-expr.c (gfc_conv_procedure_call): In the case of + assumed-size arrays ensure that the reference is to a full array. + 2020-06-07 Harald Anlauf PR fortran/95091 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 83751a117d9..46e9c7eb1a8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,62 @@ +2020-06-11 Patrick Palka + + PR c++/93467 + * g++.dg/cpp2a/concepts-friend6.C: New test. + * g++.dg/cpp2a/concepts-friend7.C: New test. + +2020-06-11 Harald Anlauf + Steven G. Kargl + + PR fortran/95611 + * gfortran.dg/pr95611.f90: New file. + +2020-06-11 Steven G. Kargl + Harald Anlauf + + PR fortran/95544 + * gfortran.dg/pr95544.f90: New file. + +2020-06-11 Tamar Christina + + * lib/target-supports.exp (check_effective_target_exceptions_enabled): + Mark as C++ test input. + +2020-06-11 Harald Anlauf + + PR fortran/95503 + * gfortran.dg/pr95503.f90: New test. + +2020-06-11 José Rui Faustino de Sousa + + PR fortran/95331 + * gfortran.dg/PR95331.f90: New test. + +2020-06-11 David Edelsohn + + * g++.dg/abi/pure-virtual1.C: XFAIL AIX. + +2020-06-11 David Edelsohn + + * gcc.dg/spellcheck-inttypes.c: Don't include inttypes.h on AIX. + +2020-06-11 José Rui Faustino de Sousa + + PR fortran/52351 + PR fortran/85868 + * gfortran.dg/coarray_lib_comm_1.f90: Adjust match test for + the newly generated descriptor. + * gfortran.dg/PR85868A.f90: New test. + * gfortran.dg/PR85868B.f90: New test. + +2020-06-11 José Rui Faustino de Sousa + + PR fortran/94022 + * gfortran.dg/PR94022.f90: New test. + +2020-06-11 Kito Cheng + + * gcc.target/riscv/pr95252.c: New. + 2020-06-10 Alexandre Oliva PR rtl-optimization/51447 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 6f8e2f2e186..bf017a40716 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,14 @@ +2020-06-11 Jonathan Wakely + + PR libstdc++/94749 + * include/bits/istream.tcc (basic_istream::ignore(streamsize, CharT)): + Only discard an extra character if we didn't already reach the + maximum number. + * src/c++98/istream.cc (istream::ignore(streamsiz, char)) + (wistream::ignore(streamsize, wchar_t)): Likewise. + * testsuite/27_io/basic_istream/ignore/char/94749.cc: New test. + * testsuite/27_io/basic_istream/ignore/wchar_t/94749.cc: New test. + 2020-06-10 Patrick Palka PR libstdc++/95578