From e37658dffdb5d4707e316180a0d5d5caee843744 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Sat, 20 Jun 2020 00:16:27 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 21 ++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 209 ++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 6 ++ gcc/testsuite/ChangeLog | 32 ++++++ libstdc++-v3/ChangeLog | 36 +++++++ 6 files changed, 305 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 49ce2772aa7..d599e8fe04c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,24 @@ +2020-06-19 Tobias Burnus + + * config/gcn/gcn.c (gcn_related_vector_mode): Add ARG_UNUSED. + (output_file_start): Use const 'char *'. + +2020-06-19 Przemyslaw Wirkus + + PR tree-optimization/94880 + * match.pd (A | B) - B -> (A & ~B): New simplification. + +2020-06-19 Richard Biener + + * tree-vect-slp.c (vect_bb_slp_scalar_cost): Adjust + for lane permutations. + +2020-06-19 Richard Biener + + PR tree-optimization/95761 + * tree-vect-slp.c (vect_schedule_slp_instance): Walk all + vectorized stmts for finding the last one. + 2020-06-18 Felix Yang * tree-vect-data-refs.c (vect_enhance_data_refs_alignment): Call diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index bfd6abf660d..34d423ff9ba 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20200619 +20200620 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 64a2d0fb95e..7340c50da57 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,212 @@ +2020-06-19 Eric Botcazou + + * gcc-interface/trans.c (lvalue_required_for_attribute_p): Do not deal + with 'Pos or 'Val. + (Attribute_to_gnu): Likewise. + * gcc-interface/utils.c (create_field_decl): Small formatting fix. + +2020-06-19 Eric Botcazou + + * gcc-interface/trans.c (adjust_for_implicit_deref): Delete. + (maybe_implicit_deref): Likewise. + (Attribute_to_gnu): Replace calls to maybe_implicit_deref by calls + to maybe_padded_object. + (Call_to_gnu): Likewise. + (gnat_to_gnu) : Likewise. + : Likewise. + : Likewise. + : Remove call to adjust_for_implicit_deref and + manually make sure that the designated type is complete. + * gcc-interface/utils2.c (build_simple_component_ref): Add comment. + +2020-06-19 Eric Botcazou + + * gcc-interface/decl.c (gnat_to_gnu_param): Tidy up. + (gnat_to_gnu_subprog_type): For a variadic C function, do not + build unnamed parameters and do not add final void node. + * gcc-interface/misc.c: Include snames.h. + * gcc-interface/trans.c (Attribute_to_gnu): Tidy up. + (Call_to_gnu): Implement support for unnamed parameters in a + variadic C function. + * gcc-interface/utils.c: Include snames.h. + (copy_type): Tidy up. + +2020-06-19 Eric Botcazou + + * exp_ch5.adb (Expand_N_Assignment_Statement): Do not apply + range checks to allocators here. + +2020-06-19 Justin Squirek + + * lib.adb (Check_Same_Extended_Unit): Add check to determine if + the body for the subunits exist in the same file as their + specifications. + +2020-06-19 Eric Botcazou + + * exp_aggr.adb (In_Place_Assign_OK): In an allocator context, + check the bounds of an array aggregate against those of the + designated type, except if the latter is unconstrained. + +2020-06-19 Eric Botcazou + + * sem_ch3.adb (Is_Visible_Component): Reason only on the private + status of the original type in an instance body. + +2020-06-19 Eric Botcazou + + * sem_res.adb (Resolve_Qualified_Expression): Do not override the + type of the node when it is unconstrained if it is for an allocator. + +2020-06-19 Eric Botcazou + + * sem_res.adb (Resolve_Allocator): Call Resolve_Qualified_Expression + on the qualified expression, if any, instead of doing an incomplete + type resolution manually. + (Resolve_Qualified_Expression): Apply predicate check to operand. + +2020-06-19 Eric Botcazou + + * sem_ch4.adb (Analyze_Selected_Component): In an instance body, + also invoke Find_Component_In_Instance on the parent subtype of + a derived tagged type immediately visible. Remove obsolete case. + +2020-06-19 Eric Botcazou + + * exp_attr.adb (Get_Integer_Type): Return the largest supported + unsigned integer type if need be. + +2020-06-19 Justin Squirek + + * sem_warn.adb (Warn_On_Known_Condition): Add general sanity + check that asserts the original source node being checked + contains an entity. If not, it could be the result of special + case expansion for type conversions. + +2020-06-19 Ed Schonberg + + * sem_ch6.adb (Analyze_Expression_Function): Do not indicate + that the function has a completion if it appears within a Ghost + generic package. + +2020-06-19 Bob Duff + + * libgnat/a-ststbo.adb (Write): Replace pragma Assert with "if + ... raise Constraint_Error". + +2020-06-19 Justin Squirek + + * widechar.adb, widechar.ads (Skip_Wide): Catch validity check + failure when skipping over characters, and update comment to + reflect Skip_Wide's usage in error printing. + +2020-06-19 Javier Miranda + + * exp_ch3.ads (Ensure_Activation_Chain_And_Master): New + subprogram. + * exp_ch3.adb (Ensure_Activation_Chain_And_Master): New + subprogram that factorizes code. + (Expand_N_Object_Declaration): Call new subprogram. + * sem_ch6.adb (Analyze_Function_Return): Returning a + build-in-place unconstrained array type defer the full analysis + of the returned object to avoid generating the corresponding + constrained subtype; otherwise the bounds would be created in + the stack and a dangling reference would be returned pointing to + the bounds. + +2020-06-19 Arnaud Charlet + + * libgnat/a-nbnbin.adb, libgnat/a-nbnbin.ads, + libgnat/a-nbnbin__gmp.adb, libgnat/a-nbnbre.adb, + libgnat/a-nbnbre.ads: Update spec according to AI12-0366. + +2020-06-19 Piotr Trojanek + + * checks.ads: Remove excessive whitespace in declarations of + functions for check suppression. + +2020-06-19 Eric Botcazou + + * sem_ch7.adb (Hide_Public_Entities): Split handling of objects + and subprograms, and do not reject the latter upfront in nested + instance specs if there are no referencer subprograms at all. + (Analyze_Package_Body_Helper): Also call Hide_Public_Entities on + nested generic instances. + +2020-06-19 Piotr Trojanek + + * sem_attr.adb (Analyze_Attribute): Reject illegal positional + component associations; fix syntax in comment about named + component associations. + +2020-06-19 Piotr Trojanek + + * sem_aggr.adb (Resolve_Delta_Record_Aggregate): Modify a nested + Get_Component_Type routine to return a component and not just + its type; use this routine to decorate the identifier within the + delta aggregate. + +2020-06-19 Arnaud Charlet + + * sem_ch4.adb (Find_Equality_Types.Check_Access_Attribute): New. + (Find_Equality_Types): Move universal_access related checks at + the end of the processing and add call to + Check_Access_Attribute. + +2020-06-19 Eric Botcazou + + * sem_prag.adb (Process_Convention): Revert previous change. + +2020-06-19 Eric Botcazou + + * checks.ads (Apply_Static_Length_Check): Move up. + (Apply_Range_Check): Add parameter Insert_Node. + * checks.adb (Apply_Selected_Range_Checks): Merge into... + (Apply_Range_Check): ...this. Add parameter Insert_Node, + pass it as Warn_Node to Selected_Range_Checks and use it + as insertion point for the checks. + * sem_ch3.adb (Analyze_Subtype_Declaration): Rewrite block + dealing with the range checks for the subtype indication. + Use local variable and call Apply_Range_Check in both cases. + +2020-06-19 Piotr Trojanek + + * exp_attr.adb (Expand_N_Attribute_Reference): Call Ensure_Valid + on the expression of an object declaration that captures the + value of 'Old prefix. + +2020-06-19 Piotr Trojanek + + * exp_attr.adb (Expand_N_Attribute_Reference): Add comment. + * sem_attr.adb (Analyze_Attribute): Add ??? comment. + * sem_util.ads (Valid_Scalars): This routine is only used for + 'Valid_Scalars and not for 'Valid. + +2020-06-19 Piotr Trojanek + + * exp_attr.adb (Expand_N_Attribute_Reference): Do not call + Scalar_Part_Present on the array component's type. + (Build_Array_VS_Func): Remove Comp_Typ parameter, because it can + be easily computed from the Array_Top parameter *and redundant + parameters are confusing and error-prone). + +2020-06-19 Piotr Trojanek + + * exp_attr.adb (Build_Record_VS_Func): Strip privacy and type + derivation from the root type when 'Valid_Scalars is applied to + a class-wide type. + +2020-06-19 Piotr Trojanek + + * checks.adb (Apply_Parameter_Validity_Checks): Remove testing + of Check_Validity_Of_Parameters for every formal parameter and + function result. + +2020-06-19 Arnaud Charlet + + * sem_warn.adb (Warn_On_Overlapping_Actuals): Add missing + warning tag. + 2020-06-18 Eric Botcazou * exp_ch4.adb (Get_Size_For_Range): Only make sure to return a diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 8c027b238c8..4af420a2cdb 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2020-06-19 Jason Merrill + + * method.c (early_check_defaulted_comparison): Allow defaulting + comparison outside class. Complain if non-member operator isn't a + friend. + 2020-06-18 Jason Merrill * method.c (early_check_defaulted_comparison): Check for &&. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index dbb9c56c888..ab7066f6856 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,35 @@ +2020-06-19 David Edelsohn + + * gcc.dg/tree-ssa/popcount4ll.c: Add target lp64. + * gcc.dg/tree-ssa/popcount5ll.c: Same. + +2020-06-19 Jason Merrill + + * g++.dg/cpp2a/spaceship-friend1.C: New test. + * g++.dg/cpp2a/spaceship-err4.C: Adjust diagnostic. + +2020-06-19 David Edelsohn + + * gcc.target/powerpc/vec-extracth-be-0.c: Apply -mbig + conditionally for powerpc64le*-*-*. + * gcc.target/powerpc/vec-extracth-be-1.c: Same. + * gcc.target/powerpc/vec-extracth-be-2.c: Same. + * gcc.target/powerpc/vec-extracth-be-3.c: Same. + * gcc.target/powerpc/vec-extractl-be-0.c: Same. + * gcc.target/powerpc/vec-extractl-be-1.c: Same. + * gcc.target/powerpc/vec-extractl-be-2.c: Same. + * gcc.target/powerpc/vec-extractl-be-3.c: Same. + +2020-06-19 Przemyslaw Wirkus + + PR tree-optimization/94880 + * gcc.dg/tree-ssa/pr94880.c: New Test. + +2020-06-19 Richard Biener + + PR tree-optimization/95761 + * gcc.dg/torture/pr95761.c: New testcase. + 2020-06-18 Jason Merrill * g++.dg/cpp2a/spaceship-ref1.C: New test. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 76262375d82..b148f854870 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,39 @@ +2020-06-19 Jonathan Wakely + + PR libstdc++/95765 + * include/bits/stl_algobase.h (__size_to_integer(float)) + (__size_to_integer(double), __size_to_integer(long double)) + (__size_to_integer(__float128)): Cast return type explicitly. + * include/bits/stl_uninitialized.h (__uninitialized_default_1): + Remove unused typedef. + +2020-06-19 Jonathan Wakely + + * include/bits/stl_pair.h (_Index_tuple): Remove redundant + namespace qualification. + (pair::pair(tuple<>&, tuple<>&, _Index_tuple, _Index_tuple)): + Likewise. + * include/std/tuple (_Head_base, _Tuple_impl, tuple_size) + (tuple_element, __get_helper, get, __make_tuple_impl) + (__make_1st_indices, __tuple_concater) + (pair::pair(tuple<>&, tuple<>&, _Index_tuple, _Index_tuple)): + Likewise. + * include/std/utility (tuple_element, __is_tuple_like_impl) + (tuple_size, __pair_get, get): Likewise. + +2020-06-19 Jonathan Wakely + + * include/bits/std_function.h (function): Define all member + functions inline. + +2020-06-19 Marc Glisse + + * include/bits/stl_algo.h (__includes): Simplify the code. + +2020-06-19 Marc Glisse + + * include/std/optional (optional()): Explicitly define it. + 2020-06-17 Jonathan Wakely PR libstdc++/94540 -- 2.30.2