From 2c455ae06c0b46a6a27be3a6bd869384758e4707 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Tue, 9 Jun 2020 00:16:47 +0000 Subject: [PATCH] Daily bump. --- ChangeLog | 5 + gcc/ChangeLog | 46 ++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 302 ++++++++++++++++++++++++++++++++++++++++ gcc/d/ChangeLog | 13 ++ gcc/testsuite/ChangeLog | 23 +++ libgfortran/ChangeLog | 5 + libgomp/ChangeLog | 6 + libstdc++-v3/ChangeLog | 11 ++ 9 files changed, 412 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 88ae1fdcafd..90a8fec9a3c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2020-06-08 Jason Merrill + + * configure.ac: Check AX_CXX_COMPILE_STDCXX if not bootstrapping. + * configure: Regenerate. + 2020-06-06 Max Filippov * MAINTAINERS: Add myself as xtensa port maintainer. diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8e4ef2cd5cd..c92582df7fe 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,49 @@ +2020-06-08 Tobias Burnus + + PR lto/94848 + PR middle-end/95551 + * omp-offload.c (add_decls_addresses_to_decl_constructor, + omp_finish_file): Skip removed items. + * lto-cgraph.c (output_offload_tables): Likewise; set force_output + to this node for variables and functions. + +2020-06-08 Jason Merrill + + * aclocal.m4: Remove ax_cxx_compile_stdcxx.m4. + * configure.ac: Remove AX_CXX_COMPILE_STDCXX. + * configure: Regenerate. + +2020-06-08 Martin Sebor + + * postreload.c (reload_cse_simplify_operands): Clear first array element + before using it. Assert a precondition. + +2020-06-08 Jakub Jelinek + + PR target/95528 + * tree-ssa-forwprop.c (simplify_vector_constructor): Don't use + VEC_UNPACK*_EXPR or VEC_PACK_TRUNC_EXPR with scalar modes unless the + type is vector boolean. + +2020-06-08 Tamar Christina + + * config/aarch64/aarch64.c (aarch64_layout_frame): Expand comments. + +2020-06-08 Christophe Lyon + + * config/arm/predicates.md (vfp_register_operand): Use VFP_HI_REGS + instead of VFP_REGS. + +2020-06-08 Martin Liska + + * config/rs6000/vector.md: Replace FAIL with gcc_unreachable + in all vcond* patterns. + +2020-06-08 Christophe Lyon + + * common/config/arm/arm-common.c (INCLUDE_ALGORITHM): + Define. No longer include . + 2020-06-07 Roger Sayle * config/i386/i386.md (paritydi2, paritysi2): Expand reduction diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 3b45689b2c3..ec1b34716f2 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20200608 +20200609 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 76948134677..4da35d14cba 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,305 @@ +2020-06-08 Steve Baird + + * sem_prag.adb (Analyze_Pragma.Set_Ravenscar_Profile): Add + appropriate call to Set_Restriction_No_Dependence if Ada_Version + >= Ada2012 and Profile is either Ravenscar or a GNAT-defined + Ravenscar variant (i.e., not Jorvik). + +2020-06-08 Arnaud Charlet + + * sem_ch5.adb: Fix typo. + * sem_ch8.adb (Analyze_Renamed_Primitive_Operation): Check that + the prefix of a prefixed view must be renamable as an object. + +2020-06-08 Arnaud Charlet + + * sem_cat.ads: Fix typo. + * sem_cat.adb (Validate_Remote_Access_To_Class_Wide_Type): Add + handling of N_Attribute_Definition_Clause. + * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Call + Validate_Remote_Access_To_Class_Wide_Type for Storage_Size and + Storage_Pool. + * sem_attr.adb, exp_ch4.adb: Update comments. + +2020-06-08 Justin Squirek + + * sem_ch4.adb (Analyze_One_Call): Add extra condition to the + predicate for deciding when a given controlled call is visible. + +2020-06-08 Piotr Trojanek + + * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Port + changes in frontend expander. + +2020-06-08 Piotr Trojanek + + * sem_ch13.adb (All_Membership_Choices_Static): Fix style. + +2020-06-08 Steve Baird + + * libgnat/s-rident.ads: Add Jorvik to the Profile_Name + enumeration type. Add an element for Jorvik to the array + aggregate that is the initial value of the constant + Profile_Info. + * targparm.adb (Get_Target_Parameters): Handle "pragma Profile + (Jorvik);" similarly to "pragma Profile (Ravenscar);". + * snames.ads-tmpl: Declare Name_Jorvik Name_Id. Unlike + Ravenscar, Jorvik is not a pragma name and has no corresponding + element in the Pragma_Id enumeration type; this means that its + declaration must not occur between those of First_Pragma_Name + and Last_Pragma_Name. + * sem_prag.adb (Analyze_Pragma): Add call to + Set_Ravenscar_Profile for Jorvik, similar to the existing calls + for Ravenscar and the GNAT Ravenscar variants. + +2020-06-08 Arnaud Charlet + + * sem_ch8.adb (Analyze_Object_Renaming): Update Get_Object_Name + to go through N_Qualified_Expression and N_Type_Conversion. Fix + another case of wrong usage of E_Anonymous_Access_Type instead + of Anonymous_Access_Kind. + * sem_util.adb (Is_Dependent_Component_Of_Mutable_Object): Work + on the original node. + (Is_Aliased_View): Take into account N_Qualified_Expression. + +2020-06-08 Arnaud Charlet + + * sem_eval.adb (Eval_Type_Conversion): Fix handling of + enumeration to integer conversions. + * exp_attr.adb (Expand_N_Attribute_Reference + [Attribute_Enum_Rep]): Remove special casing for first-level + renaming, best left to the general folding mechanism via + Eval_Type_Conversion. + +2020-06-08 Eric Botcazou + + * atree.adb (New_Copy): Do not clear Has_Dynamic_Range_Check. + * checks.ads (Append_Range_Checks): Remove Flag_Node parameter. + (Insert_Range_Checks): Likewise and remove default value of + Static_Loc parameter. + * checks.adb (Append_Range_Checks): Remove Flag_Node parameter. + Do not test and set Has_Dynamic_Range_Check. + (Insert_Range_Checks): Likewise and remove default value of + Static_Loc parameter. + * csinfo.adb (CSinfo): Remove 'L' from [NEUB]_Fields pattern and + do not handle Has_Dynamic_Range_Check. + * exp_ch5.adb (Expand_N_Assignment_Statement): Remove argument + in call to Insert_Range_Checks. + * sem_ch3.adb (Analyze_Subtype_Declaration): Do not fiddle + with Has_Dynamic_Range_Check. + (Process_Range_Expr_In_Decl): Remove argument in calls to + Insert_Range_Checks and Append_Range_Checks. + * sinfo.ads (Has_Dynamic_Range_Check): Delete. + (Set_Has_Dynamic_Range_Check): Likewise. + * sinfo.adb (Has_Dynamic_Range_Check): Delete. + (Set_Has_Dynamic_Range_Check): Likewise. + * treepr.adb (Print_Node): Do not print Has_Dynamic_Range_Check. + +2020-06-08 Steve Baird + + * sem_ch13.ads: Export new function + All_Membership_Choices_Static. + * sem_ch13.adb: Implement new function + All_Membership_Choices_Static. This involves moving the + functions Is_Static_Choice and All_Membership_Choices_Static, + which were previously declared within the function + Is_Predicate_Static, out to library level so that they can be + called by the new function. The already-exisiting code in + Is_Predicate_Static which became the body of + All_Membership_Choices_Static is replaced with a call to the new + function in order to avoid duplication. + * exp_ch9.adb (Is_Pure_Barrier): Several changes needed to + implement rules of AI12-0290 and RM D.7's definition of + "pure-barrier-eligible". These changes include adding a call to + the new function Sem_13.All_Membership_Choices_Static, as per + the "see 4.9" in RM D.7(1.6/5). + +2020-06-08 Richard Kenner + + * exp_unst.adb (Visit_Node): When visiting array attribute + nodes, in addition to checking the type of Get_Referenced_Object + of the prefix, also check the actual type of the prefix. + +2020-06-08 Gary Dismukes + + * checks.adb (Apply_Predicate_Check): Refine test for being in a + subprogram body to account for no Corresponding_Body case, + avoiding blowups arising due to other changes here. + * exp_ch4.adb (Expand_N_Qualified_Expression): Apply predicate + checks, if any, after constraint checks are applied. + * sem_eval.ads (Check_Expression_Against_Static_Predicate): Add + Check_Failure_Is_Error formal for conditionalizing warning vs. + error messages. + * sem_eval.adb (Check_Expression_Against_Static_Predicate): + Issue an error message rather than a warning when the new + Check_Failure_Is_Error formal is True. In the nonstatic or + Dynamic_Predicate case where the predicate is known to fail, + emit the check to ensure that folded cases get checks applied. + * sem_res.adb (Resolve_Qualified_Expression): Call + Check_Expression_Against_Static_Predicate, passing True for + Check_Failure_Is_Error, to ensure we reject static predicate + violations. Remove code that was conditionally calling + Apply_Predicate_Check, which is no longer needed, and that check + procedure shouldn't be called from a resolution routine in any + case. Also remove associated comment about preventing infinite + recursion and consistency with Resolve_Type_Conversion, since + that handling was already similarly removed from + Resolve_Type_Convesion at some point. + (Resolve_Type_Conversion): Add passing of True for + Check_Failure_Is_Error parameter on call to + Check_Expression_Against_Static_Predicate, to ensure that static + conversion cases that violate a predicate are rejected as + errors. + +2020-06-08 Piotr Trojanek + + * snames.ads-tmpl (Name_SPARK): Restore after being deleted. + +2020-06-08 Arnaud Charlet + + * exp_aggr.adb, exp_ch6.adb, par-ch11.adb, par-ch6.adb, + par-ch7.adb, par-prag.adb, restrict.adb, restrict.ads, + scans.ads, scng.adb, sem_aggr.adb, sem_attr.adb, sem_ch11.adb, + sem_ch12.adb, sem_ch3.adb, sem_ch3.ads, sem_ch4.adb, + sem_ch5.adb, sem_ch6.adb, sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, + sem_res.adb, sem_util.adb, sem_util.ads, snames.ads-tmpl, + gnatbind.adb, libgnat/s-rident.ads, + doc/gnat_rm/standard_and_implementation_defined_restrictions.rst: + Remove processing of SPARK_05 restriction. + * gnat_rm.texi: Regenerate. + * opt.ads: Remove processing of old checksum which is now + handled by gprbuild directly. + +2020-06-08 Arnaud Charlet + + * sem_ch12.adb (Instantiate_Object): Relax rules related to null + exclusions and generic objects. Handle all anonymous types + consistently and not just E_Anonymous_Access_Type. + * sem_ch8.adb (Analyze_Object_Renaming): Change wording so that + it applies to both renamings and instantiations to avoid + confusion. + +2020-06-08 Arnaud Charlet + + * libgnat/a-textio.ads (File_Mode): Fix typo in comment. + +2020-06-08 Eric Botcazou + + * sem_res.adb (Resolve_Indexed_Component): Do not give a warning + for a nonatomic component of an atomic array which is subject to + an address clause in Ada 2020 mode. + (Resolve_Selected_Component): Likewise for an atomic record. + +2020-06-08 Philippe Gil + + * doc/gnat_ugn/the_gnat_compilation_model.rst: in "Handling + Files with Multiple Units" part documents gnatname use for + unmodified files handling and gnatchop use for files + refactoring. + * gnat_ugn.texi: Regenerate. + +2020-06-08 Arnaud Charlet + + * doc/gnat_rm/implementation_defined_attributes.rst: + Enum_Rep/Enum_Val are standard Ada 202x attributes. + * gnat_rm.texi: Regenerate. + +2020-06-08 Javier Miranda + + * exp_aggr.adb (Safe_Component): Remove code that considers as + unsafe components that are aggregates; such removal allows the + frontend to proceed and evaluate if they are safe by means of + invoking Safe_Aggregate. + +2020-06-08 Piotr Trojanek + + * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Apply + standard expansion to attributes First and Last. + +2020-06-08 Piotr Trojanek + + * exp_attr.adb, exp_util.ads, exp_util.adb (Get_Index_Subtype): + Move from the body of Exp_Attr to Exp_Util and expose from the + spec. + * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Replace + duplicated code with a call to Get_Index_Subtype. + +2020-06-08 Arnaud Charlet + + * sem_ch8.adb (Analyze_Object_Renaming): Simplify code by moving + many special cases to Is_Object_Reference and removing others by + only checking renamings coming from sources. + * sem_util.adb (Is_Object_Reference): Update for AI12-0226 and + add more regular handling of 'Priority. Remove special cases no + longer needed now that we are only checking renamings coming + from sources. + +2020-06-08 Claire Dross + + * libgnat/a-cofove.adb (Insert_Space): The computation of Index + generates a spurious compiler warning about a value not being in + range for a statically dead branch. Silence it using pragma + Warnings. + +2020-06-08 Bob Duff + + * bindo-graphs.adb (function Add_Edge): Rename + Add_Edge_With_Return to Add_Edge; we can tell it returns because + it's a function, and overloading seems appropriate in this case. + If Activates_Task=True, and we're not going to add a new edge + because an existing Pred-->Succ edge already exists, then set + Activates_Task to True on the preexisting edge. This ensures + that the message: + info: use pragma Restrictions (No_Entry_Calls_In_Elaboration_Code) + appears when appropriate, no matter in what order the edges + happened to be processed. + (procedure Add_Edge): Remove redundant assertions. + (Activates_Task): Other kinds of edges can have + Activates_Task=True. For example, if we had a With_Edge and + then an Invocation_Edge with Activates_Task=True, then the + With_Edge has Activates_Task set to True. + (Add_Edge_Kind_Check): New procedure to prevent other bugs of + this nature. For example, if we were to sometimes call Add_Edge + for a Spec_Before_Body_Edge followed by Add_Edge for a + With_Edge, and sometimes in the other order, that would cause a + similar bug to what we're fixing here. + (Set_Is_Recorded_Edge): Val parameter is not used. Get rid of + it. + (Set_Activates_Task): New procedure to set the Activates_Task flag. + * bindo-graphs.ads (Library_Graph_Edge_Kind): Reorder the + enumeration literals to facilitate Add_Edge_Kind_Check. + * ali.adb (Known_ALI_Lines): The comment about "still available" + was wrong. Fix that by erasing the comment, and encoding the + relevant information in real code. Take advantage of Ada's full + coverage rules by removing "others =>". Also DRY. + +2020-06-08 Ed Schonberg + + * par-ch12.adb (P_Formal_Derived_Type_Definition): Handle + properly formal derived types that include aspect + specifications, so that the "with" keyword appears twice in the + formal type declaration. + * sem_ch13.adb (Has_Generic_Parent): Return true if the type + itself is a generic formal. + +2020-06-08 Dmitriy Anisimkov + + * socket.c (__gnat_minus_500ms): Remove + IsWindowsVersionOrGreater from condition. + +2020-06-08 Claire Dross + + * libgnat/a-cfdlli.ads, libgnat/a-cfhama.ads, + libgnat/a-cfhase.ads, libgnat/a-cforma.ads, libgnat/a-cforse.ads + (Delete): Add Depends contract. + +2020-06-08 Arnaud Charlet + + * snames.ads-tmpl (Name_Program_Error_Check, + Name_Tasking_Check): New constants. + * types.ads (Program_Error_Check, Tasking_Check): New constants. + (All_Checks): Update accordingly. + 2020-06-05 Arnaud Charlet * sem_prag.adb (Validate_Compile_Time_Warning_Or_Error): Use ??. diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog index 5273cb69557..71544e266eb 100644 --- a/gcc/d/ChangeLog +++ b/gcc/d/ChangeLog @@ -1,3 +1,16 @@ +2020-06-08 Iain Buclaw + + PR d/95573 + * dmd/MERGE: Merge upstream dmd 5041e56f1. + +2020-06-08 Iain Buclaw + + * dmd/MERGE: Merge upstream dmd 955b8b36f. + * expr.cc (ExprVisitor::visit (AndAndExp *)): Rename type to ... + (ExprVisitor::visit (LogicalExp *)): ... this. Handle both 'and if' + and 'or if' expression nodes. + (ExprVisitor::visit (OrOrExp *)): Remove. + 2020-06-07 Iain Buclaw * dmd/MERGE: Merge upstream dmd 73d8e2fec. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 986f36b1d35..60d9ecca3ed 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,26 @@ +2020-06-08 Harald Anlauf + + PR fortran/95195 + * gfortran.dg/namelist_97.f90: Adjust testcase. + +2020-06-08 Mark Eggleston + + PR fortran/92993 + * gfortran.dg/pr92993.f90: New test. + +2020-06-08 Jakub Jelinek + + PR target/95528 + * g++.dg/opt/pr95528.C: New test. + +2020-06-08 Jakub Jelinek + + PR lto/95548 + * g++.dg/torture/pr95548.C: Change from dg-do compile to dg-do link, + add return type for main, for __SIZEOF_INT128__ test with __uint128_t + enumerator constants and add a test with unsigned long long + enumerators for all targets. + 2020-06-07 Roger Sayle * gcc.target/i386/parity-3.c: New test. diff --git a/libgfortran/ChangeLog b/libgfortran/ChangeLog index c2358cbe4e7..f9a70b19151 100644 --- a/libgfortran/ChangeLog +++ b/libgfortran/ChangeLog @@ -1,3 +1,8 @@ +2020-06-08 Harald Anlauf + + PR fortran/95091 + * io/transfer.c (finalize_transfer): Fix type in error message. + 2020-06-01 Uroš Bizjak PR libfortran/95418 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 1cc6015a64b..e814546d935 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,9 @@ +2020-06-08 Tobias Burnus + + PR lto/94848 + PR middle-end/95551 + * testsuite/libgomp.fortran/target-var.f90: New test. + 2020-06-05 Thomas Schwinge Julian Brown diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index ee252236a9f..60b930dc624 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,14 @@ +2020-06-08 Jonathan Wakely + + * testsuite/20_util/default_delete/48631_neg.cc: Adjust dg-error + line number. + * testsuite/20_util/default_delete/void_neg.cc: Likewise. + +2020-06-08 Jonathan Wakely + + * include/bits/unique_ptr.h (operator<<): Define for C++20. + * testsuite/20_util/unique_ptr/io/lwg2948.cc: New test. + 2020-06-04 Jonathan Wakely * include/bits/iterator_concepts.h (__detail::__ptr, __detail::__ref) -- 2.30.2