From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1698) id 7E915385ED4B; Tue, 7 Jul 2020 20:46:40 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7E915385ED4B DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1594154800; bh=DwPtHQQTC3UUMmq05Ez4fW+RwMCx7xvHfMzayxXFk8Q=; h=From:To:Subject:Date:From; b=TPnYizyQE+j4aU0MGDx1+FWWy4EmrX6s/RKjhDf4DM+36u1XiQqXlRzDyErFutT/N LVvzO4++mXZBR2kObLi3jS9xlf413ZawVa8v2/etOpkANA89eo0xcvzgWxXOi3/pkt 8QNP9haZRhDNh5qqFzXkJ+EOiXuyxP+pzOb1Pvso= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Iain D Sandoe To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc/devel/c++-coroutines] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/devel/c++-coroutines X-Git-Oldrev: 67a493a0b9e7ce6caba4b8bedf1f3295e477ec00 X-Git-Newrev: 4077d74c6d8946b667f5544bb3dedf32d451aa2f Message-Id: <20200707204640.7E915385ED4B@sourceware.org> Date: Tue, 7 Jul 2020 20:46:40 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 07 Jul 2020 20:46:40 -0000 https://gcc.gnu.org/g:4077d74c6d8946b667f5544bb3dedf32d451aa2f commit 4077d74c6d8946b667f5544bb3dedf32d451aa2f Author: GCC Administrator Date: Tue Jul 7 00:16:40 2020 +0000 Daily bump. Diff: --- gcc/ChangeLog | 21 ++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 268 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/c-family/ChangeLog | 7 ++ gcc/cp/ChangeLog | 19 ++++ gcc/fortran/ChangeLog | 16 +++ gcc/testsuite/ChangeLog | 45 ++++++++ libstdc++-v3/ChangeLog | 40 ++++++++ 8 files changed, 417 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f70a366a13d..ea2f78df22e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,24 @@ +2020-07-06 Richard Biener + + PR tree-optimization/96075 + * tree-vect-data-refs.c (vect_compute_data_ref_alignment): Use + TYPE_SIZE_UNIT of the vector component type instead of DR_STEP + for the misalignment calculation for negative step. + +2020-07-06 Roger Sayle + + * config/nvptx/nvptx.md (*vadd_addsi4): New instruction. + (*vsub_addsi4): New instruction. + +2020-07-06 Hans-Peter Nilsson + + * config/cris/cris.md (movulsr): New peephole2. + +2020-07-06 Hans-Peter Nilsson + + * config/cris/sync.md ("cris_atomic_fetch__1"): + Correct gcc_assert of overlapping operands. + 2020-07-05 Hans-Peter Nilsson * config/cris/cris.c (cris_select_cc_mode): Always return diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 8a714f144c0..c0ce1b47903 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20200706 +20200707 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 0cb5f1b3e0e..e3761017a23 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,271 @@ +2020-07-06 Piotr Trojanek + + * checks.adb (Apply_Scalar_Range_Check): Use Is_RTE. + +2020-07-06 Bob Duff + + * libgnat/g-catiio.ads: Document newly supported format. Add + ISO_Time constant, for convenience. + * libgnat/g-catiio.adb (Image_Helper): New helper function to do + all the formatting work, called by the two exported Image + functions. Add support for "%:::z" here. Add a Time_Zone + parameter used by the "%:::z" processing. This parameter is not + used for the actual time zone computations; local time is always + used for that, for ease of implementation reasons. It would + make sense to use Append throughout this function, but that's a + cleanup for another day. + (Image): Modify these to pass the local time zone, or the + specified time zone, as appropriate. + +2020-07-06 Bob Duff + + * libgnat/g-catiio.ads: Change the regular expression that + documents the allowed format to match what ISO-8601 allows. + * libgnat/g-catiio.adb (Scan_Subsecond): Rewrite so it doesn't + assume the subsecond comes last. + (Parse_ISO_8601): Parse an optional subsecond, followed by an + optional time zone, rather than making these alternatives to + each other. + +2020-07-06 Bob Duff + + * libgnat/g-catiio.adb (Parse_ISO_8601): Minor cleanups: + Give some objects clearer names. + Make some objects more local to where they are used. + Remove some validity checks that can't fail, because some of + the variables tested have been moved so they're not visible here. + Anyway, Wrong_Syntax is about errors in the input, not data + validity. + Use Time_Zone_Seen instead of Local_Sign = ' ' to determine + that a time zone indication was seen. + We don't need to distinguish two different kinds of + syntax error (End_Of_Source_Reached and Wrong_Syntax), + so use Wrong_Syntax always. + Remove comment, "Certain scanning scenarios may handle + this exception on their own."; there are no such scenarios. + +2020-07-06 Bob Duff + + * libgnat/g-catiio.ads, libgnat/g-catiio.adb (Image): New + function. It might seem like the local-time Image should be + implemented in terms of the Time_Zone Image, but that would be + far harder to implement, so we do it the other way around. + +2020-07-06 Thomas Quinot + + * libgnat/g-sechas.ads, libgnat/g-sechas.adb: Refactor to use + Stream_Element_Array as the internal buffer type. + * libgnat/g-shshco.adb: Adjust to use Stream_Element_Offset + instead of Integer as the index in the internal state buffer. + +2020-07-06 Gary Dismukes + + * doc/gnat_rm/implementation_defined_pragmas.rst, errout.ads, + erroutc.adb, exp_ch4.adb, exp_ch6.adb, freeze.adb: Comment + rewording/reformatting/typo fixes. Replace "ie." with "that is" + in comment; "can not" -> "cannot", and remove an extraneous + underscore in another comment. + * gnat_rm.texi, gnat_ugn.texi: Regenerate. + +2020-07-06 Javier Miranda + + * sem_util.ads (Interval_Lists.Aggregate_Intervals): New + subprogram. + * sem_util.adb (Has_Null_Others_Choice, + Non_Static_Or_Null_Range, Interval_Lists.Aggregate_Intervals): + New subprograms. + (Is_Potentially_Unevaluated): Adding support to detect + potentially unevaluated components of array aggregates. + +2020-07-06 Bob Duff + + * libgnat/g-catiio.adb (Parse_ISO_8601): New name for + Parse_ISO_8861_UTC. 8601 is the correct ISO standard number. + Also, "UTC" was confusing. All Time values are represented in + UTC, but the ISO 8601 date strings include a time zone. + If a time zone was specified, call + Ada.Calendar.Formatting.Time_Of instead of + GNAT.Calendar.Time_Of, because the latter adjusts to the current + time zone, whereas we want to use (just) the time zone specified + in the ISO string. This allows us to pass Time_Zone instead to + Time_Of, instead of adjusting by Local_Disp by hand. + If no time zone was specified, call GNAT.Calendar.Time_Of as + before. + Use expanded names to clarify which Time_Of is being called. + Remove redundant comment, and move nonredundant part of the + commment to the spec. + (Value): Minor: use "not in" instead of "or else". + * libgnat/g-catiio.ads: Comment moved here. Correct the ISO + standard number. + * libgnat/g-calend.adb: Add ??? comments. + * libgnat/a-calend.ads, libgnat/a-calend.adb: Update obsolete + comments regarding the representation of type Time. Move the + information about the epoch (year 2150) to the spec, and avoid + uttering "2150" more than once. + * libgnat/a-catizo.ads (Time_Offset): Add comment. + +2020-07-06 Ed Schonberg + + * exp_ch5.adb (Find_Component): If the target type is a derived + record type and the required component is a discriminant that is + renamed in the derived type declaration, use the name of the + original discriminant to locate the intended target component. + +2020-07-06 Justin Squirek + + * sem_ch12.adb (Analyze_Associations): Add check for errors on + the generic formal before continuing with instantiation. + +2020-07-06 Arnaud Charlet + + * libgnat/a-nbnbin.ads, libgnat/a-nbnbin.adb, + libgnat/a-nbnbin__gmp.adb: Use more Valid_Big_Integer. + +2020-07-06 Piotr Trojanek + + * exp_util.ads (Get_Index_Subtype): Fix duplicate "Last". + +2020-07-06 Ed Schonberg + + * sinfo.ads: Indicate that Field 1 of an N_Delta_Aggregate is + unused. Previously it was erroneously labelled as holding an + Expressions list, in analogy with other aggregate constructs, + but there are no Expressions attached to this node syntactically + or semantically. + +2020-07-06 Piotr Trojanek + + * sem_attr.adb (Eval_Attribute): Check if constant has an + initialization expression. + +2020-07-06 Piotr Trojanek + + * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Apply + scalar range checks. + * sem_attr.adb (Resolve_Attribute): Do not set scalar range + checks when resolving attribute Update. + +2020-07-06 Gary Dismukes + + * sem_attr.adb (Analyze_Attribute, Attribute_Constrained): Issue + a warning if the attribute prefix is a current instance + reference within an aspect of a type or subtype. + (Address_Checks): Replace test of Is_Object (Ent) with + Is_Object_Reference (P) so that testing for current instances + will be done. + (Eval_Attribute): Add test for current instance reference, to + ensure that we still fold array attributes when current + instances are involved, since value prefixes are allowed for + array attributes, and will now be excluded by + Is_Object_Reference. + * sem_util.ads (Is_Current_Instance_Reference_In_Type_Aspect): + New exported query function. + * sem_util.adb (Is_Object_Reference): Return False for the case + where N is a current instance reference within an + aspect_specification of a type or subtype (basically if the + reference occurs within a predicate, invariant, or DIC aspect + expression). + (Is_Current_Instance_Reference_In_Type_Aspect): New function + that tests whether a node is a reference to a current instance + formal of a predicate, invariant, or + Default_Initial_Condition (DIC) subprogram. + +2020-07-06 Ed Schonberg + + * sem_res.adb (Resolve_Declare_Expression): New subprogram, to + install the scope holding local declarations of the expression, + before completing its resolution. + (Resolve): For an Expression_With_Actions that comes from a + source occurrence of a Declare_Expression, call new subprogram. + +2020-07-06 Piotr Trojanek + + * sem_attr.adb (Analyze_Attribute): Reuse SPARK_Implicit_Load. + +2020-07-06 Piotr Trojanek + + * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Propagate + exception when switch -gnatdk is used and no previous errors are + present. + * sem_eval.adb (Compile_Time_Known_Value, Is_In_Range): + Likewise. + * sem_warn.adb (Operand_Has_Warnings_Suppressed): Likewise. + +2020-07-06 Richard Kenner + + * exp_unst.adb (Needs_Fat_Pointer): Don't check for formal. + (Unnest_Subprogram): Use 'Unchecked_Access instead of 'Access + when populating activation record. + +2020-07-06 Eric Botcazou + + * exp_ch6.adb (Add_Simple_Call_By_Copy_Code): Rename parameter + from Bit_Packed_Array to Force. + (Expand_Actuals): Do not apply BIP processing if the subprogram + is intrinsic. Adjust calls to Add_Simple_Call_By_Copy_Code and + add one for In parameters whose actual is a CPP constructor call. + +2020-07-06 Eric Botcazou + + * sem_attr.adb (Eval_Attribute): Do not apply range checks in + the case of 'Pos applied to an integer type here. + +2020-07-06 Ed Schonberg + + * sem_ch3.adb (Analyze_Object_Declaration): If the type is an + Unchecked_Union, and the expression is an aggregate. complete + the analysis and resolution of the aggregate, and treat like a + regular object declaration, instead of as a renaming + declarattion. + +2020-07-06 Eric Botcazou + + * exp_ch9.adb (Is_Potentially_Large_Family): Add documentation. + (Actual_Index_Expression): Use Entry_Index_Type. + (Build_Entry_Count_Expression): Likewise. + (Build_Find_Body_Index): Likewise. + (Collect_Entry_Families): Likewise. Use directly the bounds of + the index type to find out whether the family is large. + (Entry_Index_Expression): Likewise. + +2020-07-06 Piotr Trojanek + + * sem_res.adb (Resolve_Range): Resolve both low and high bounds + with the range type. + +2020-07-06 Arnaud Charlet + + * aspects.ads (Is_Representation_Aspect): + Default_Component_Value is a representation aspect. + * sem_ch13.adb (Check_Aspect_Too_Late, Rep_Item_Too_Late): Relax + RM 13.1(10) rule wrt primitive operations for Ada 202x. + +2020-07-06 Eric Botcazou + + * exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Move to library + level and use a new predicate Is_OK_Aggregate to recognize the + aggregates suitable for direct assignment by the back-end. + (Convert_Array_Aggr_In_Allocator): If neither in CodePeer mode nor + generating C code, generate a direct assignment instead of further + expanding if Aggr_Assignment_OK_For_Backend returns true. + +2020-07-06 Gary Dismukes + + * sem_aux.adb: Add a with clause for Nlists. + (Nearest_Ancestor): Test for the case of concurrent + types (testing for both Is_Concurrent_Type and + Is_Concurrent_Record_Type), and return the first ancestor in the + Interfaces list if present (otherwise will return Empty if no + interfaces). + * sem_ch13.adb (Build_Predicate_Functions): Add a ??? comment + about missing handling for adding predicates when they can be + inherited from multiple progenitors. + +2020-07-06 Arnaud Charlet + + * par-ch6.adb (P_Return_Object_Declaration): Set + Has_Init_Expression flag. + 2020-07-02 Eric Botcazou * debug.adb (d.K): Document new usage. diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 87925f63fc2..431eea3136a 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,10 @@ +2020-07-06 Martin Sebor + + PR c++/95984 + * c-common.c (check_function_nonnull): Avoid checking syntesized calls + to stub lambda objects with null this pointer. + (check_nonnull_arg): Handle C++ nullptr. + 2020-07-02 Jason Merrill Jakub Jelinek diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 41a6e6d02f7..f41e501ec2a 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,22 @@ +2020-07-06 Martin Sebor + + PR c++/95984 + * call.c (build_over_call): Check calls only when tf_warning is set. + +2020-07-06 Nathan Sidwell + + * decl.c (push_library_fn): Return the decl pushdecl_toplevel returns. + * except.c (verify_library_fn): Replace with ... + (declare_library_fn_1): ... this fn. Always push the fn. + (declare_library_fn): Call it. + (build_throw): Call declare_library_fn_1. + +2020-07-06 Jonathan Wakely + + PR c++/96068 + * parser.c (cp_parser_toplevel_declaration): Only do pedwarn for + empty-declaration in C++98. + 2020-07-02 Jason Merrill Jakub Jelinek diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 4828c7f0fbc..c7552b661cb 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,19 @@ +2020-07-06 Harald Anlauf + + PR fortran/95980 + * match.c (copy_ts_from_selector_to_associate, build_class_sym): + Distinguish between unlimited polymorphic and ordinary variables + to avoid NULL pointer dereference. + * resolve.c (resolve_select_type): + Distinguish between unlimited polymorphic and ordinary variables + to avoid NULL pointer dereference. + +2020-07-06 Harald Anlauf + + PR fortran/95709 + * resolve.c (gfc_resolve_code): Check for valid arguments to + assigned GOTO. + 2020-07-05 Thomas Koenig PR fortran/27318 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 14df1c824b4..a27630a32fd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,48 @@ +2020-07-06 Martin Sebor + + PR c++/95984 + * g++.dg/warn/Wnonnull6.C: New test. + +2020-07-06 Nathan Sidwell + + * g++.dg/eh/builtin10.C: Adjust expected errors. + * g++.dg/eh/builtin11.C: Likewise. + * g++.dg/eh/builtin5.C: Likewise. + * g++.dg/eh/builtin6.C: Likewise. + * g++.dg/eh/builtin7.C: Likewise. + * g++.dg/eh/builtin9.C: Likewise. + * g++.dg/parse/crash55.C: Likewise. + +2020-07-06 Harald Anlauf + + PR fortran/95980 + * gfortran.dg/pr95980.f90: New file. + +2020-07-06 Harald Anlauf + + PR fortran/95709 + * gfortran.dg/pr95709.f90: New file. + +2020-07-06 Jonathan Wakely + + * g++.old-deja/g++.bugs/900404_04.C: Add c++98_only selector to + dg-error for extra ';'. + * g++.old-deja/g++.law/missed-error2.C: Likewise. + +2020-07-06 Richard Biener + + PR tree-optimization/96075 + * gcc.dg/vect/slp-46.c: New testcase. + +2020-07-06 Roger Sayle + + * gcc.target/nvptx/vadd_add.c: New test. + * gcc.target/nvptx/vsub_add.c: New test. + +2020-07-06 Hans-Peter Nilsson + + * gcc.target/cris/peep2-movulsr.c: New test. + 2020-07-05 Hans-Peter Nilsson * gcc.target/cris/pr93372-39.c: New test. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index d8832773e90..807fe522137 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,43 @@ +2020-07-06 Jonathan Wakely + + * include/std/optional (_Optional_payload_base, _Optional_base) + (optional, __optional_hash_call_base): Adjust whitespace and + other formatting. Remove redundant && tokens on template + arguments to type traits. + +2020-07-06 Jonathan Wakely + + * include/std/optional (make_optional): Add enable_if + constraints and noexcept-specifier to each overload. + * testsuite/20_util/optional/make_optional-2.cc: New test. + +2020-07-06 Jonathan Wakely + + PR libstdc++/96036 + * include/std/optional (optional): Add noexcept-specifier to + every constructor, assignment operator, emplace function and + dereference operator. + * testsuite/20_util/optional/assignment/noexcept.cc: New test. + * testsuite/20_util/optional/cons/noexcept.cc: New test. + +2020-07-06 Jonathan Wakely + + * include/bits/fs_dir.h: Use consistent tag in class-head. + * include/bits/localefwd.h: Likwise. + * include/bits/regex.h: Likwise. + * include/bits/stl_map.h: Likwise. + * include/bits/stl_multimap.h: Likwise. + * include/bits/stl_multiset.h: Likwise. + * include/bits/stl_set.h: Likwise. + * include/std/complex: Likwise. + * include/std/functional: Likwise. + * include/std/future: Likwise. + * include/std/system_error: Likwise. + * include/std/thread: Likwise. + * include/std/tuple: Likwise. + * include/std/type_traits: Likwise. + * include/std/valarray: Likwise. + 2020-07-02 Jonathan Wakely * testsuite/27_io/basic_ios/conv/voidptr.cc: Add c++98_only