diff options
author | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-07-07 00:16:40 +0000 |
---|---|---|
committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-07-07 00:16:40 +0000 |
commit | 4077d74c6d8946b667f5544bb3dedf32d451aa2f (patch) | |
tree | 19c390c5236e7d7c6a54296153a89e2eac2d9e06 /gcc | |
parent | 67a493a0b9e7ce6caba4b8bedf1f3295e477ec00 (diff) | |
download | gcc-4077d74c6d8946b667f5544bb3dedf32d451aa2f.zip gcc-4077d74c6d8946b667f5544bb3dedf32d451aa2f.tar.gz gcc-4077d74c6d8946b667f5544bb3dedf32d451aa2f.tar.bz2 |
Daily bump.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 21 | ||||
-rw-r--r-- | gcc/DATESTAMP | 2 | ||||
-rw-r--r-- | gcc/ada/ChangeLog | 268 | ||||
-rw-r--r-- | gcc/c-family/ChangeLog | 7 | ||||
-rw-r--r-- | gcc/cp/ChangeLog | 19 | ||||
-rw-r--r-- | gcc/fortran/ChangeLog | 16 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 45 |
7 files changed, 377 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f70a366..ea2f78d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,24 @@ +2020-07-06 Richard Biener <rguenther@suse.de> + + 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 <roger@nextmovesoftware.com> + + * config/nvptx/nvptx.md (*vadd_addsi4): New instruction. + (*vsub_addsi4): New instruction. + +2020-07-06 Hans-Peter Nilsson <hp@axis.com> + + * config/cris/cris.md (movulsr): New peephole2. + +2020-07-06 Hans-Peter Nilsson <hp@axis.com> + + * config/cris/sync.md ("cris_atomic_fetch_<atomic_op_name><mode>_1"): + Correct gcc_assert of overlapping operands. + 2020-07-05 Hans-Peter Nilsson <hp@axis.com> * config/cris/cris.c (cris_select_cc_mode): Always return diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 8a714f1..c0ce1b4 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20200706 +20200707 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 0cb5f1b..e376101 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,271 @@ +2020-07-06 Piotr Trojanek <trojanek@adacore.com> + + * checks.adb (Apply_Scalar_Range_Check): Use Is_RTE. + +2020-07-06 Bob Duff <duff@adacore.com> + + * 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 <duff@adacore.com> + + * 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 <duff@adacore.com> + + * 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 <duff@adacore.com> + + * 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 <quinot@adacore.com> + + * 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 <dismukes@adacore.com> + + * 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 <miranda@adacore.com> + + * 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 <duff@adacore.com> + + * 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 <schonberg@adacore.com> + + * 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 <squirek@adacore.com> + + * sem_ch12.adb (Analyze_Associations): Add check for errors on + the generic formal before continuing with instantiation. + +2020-07-06 Arnaud Charlet <charlet@adacore.com> + + * libgnat/a-nbnbin.ads, libgnat/a-nbnbin.adb, + libgnat/a-nbnbin__gmp.adb: Use more Valid_Big_Integer. + +2020-07-06 Piotr Trojanek <trojanek@adacore.com> + + * exp_util.ads (Get_Index_Subtype): Fix duplicate "Last". + +2020-07-06 Ed Schonberg <schonberg@adacore.com> + + * 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 <trojanek@adacore.com> + + * sem_attr.adb (Eval_Attribute): Check if constant has an + initialization expression. + +2020-07-06 Piotr Trojanek <trojanek@adacore.com> + + * 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 <dismukes@adacore.com> + + * 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 <schonberg@adacore.com> + + * 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 <trojanek@adacore.com> + + * sem_attr.adb (Analyze_Attribute): Reuse SPARK_Implicit_Load. + +2020-07-06 Piotr Trojanek <trojanek@adacore.com> + + * 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 <kenner@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * 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 <schonberg@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * 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 <trojanek@adacore.com> + + * sem_res.adb (Resolve_Range): Resolve both low and high bounds + with the range type. + +2020-07-06 Arnaud Charlet <charlet@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * 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 <dismukes@adacore.com> + + * 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 <charlet@adacore.com> + + * par-ch6.adb (P_Return_Object_Declaration): Set + Has_Init_Expression flag. + 2020-07-02 Eric Botcazou <ebotcazou@gcc.gnu.org> * debug.adb (d.K): Document new usage. diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 87925f6..431eea3 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,10 @@ +2020-07-06 Martin Sebor <msebor@redhat.com> + + 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 <jason@redhat.com> Jakub Jelinek <jakub@redhat.com> diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 41a6e6d..f41e501 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,22 @@ +2020-07-06 Martin Sebor <msebor@redhat.com> + + PR c++/95984 + * call.c (build_over_call): Check calls only when tf_warning is set. + +2020-07-06 Nathan Sidwell <nathan@acm.org> + + * 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 <jwakely@redhat.com> + + PR c++/96068 + * parser.c (cp_parser_toplevel_declaration): Only do pedwarn for + empty-declaration in C++98. + 2020-07-02 Jason Merrill <jason@redhat.com> Jakub Jelinek <jakub@redhat.com> diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 4828c7f..c7552b6 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,19 @@ +2020-07-06 Harald Anlauf <anlauf@gmx.de> + + 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 <anlauf@gmx.de> + + PR fortran/95709 + * resolve.c (gfc_resolve_code): Check for valid arguments to + assigned GOTO. + 2020-07-05 Thomas Koenig <tkoenig@gcc.gnu.org> PR fortran/27318 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 14df1c8..a27630a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,48 @@ +2020-07-06 Martin Sebor <msebor@redhat.com> + + PR c++/95984 + * g++.dg/warn/Wnonnull6.C: New test. + +2020-07-06 Nathan Sidwell <nathan@acm.org> + + * 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 <anlauf@gmx.de> + + PR fortran/95980 + * gfortran.dg/pr95980.f90: New file. + +2020-07-06 Harald Anlauf <anlauf@gmx.de> + + PR fortran/95709 + * gfortran.dg/pr95709.f90: New file. + +2020-07-06 Jonathan Wakely <jwakely@redhat.com> + + * 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 <rguenther@suse.de> + + PR tree-optimization/96075 + * gcc.dg/vect/slp-46.c: New testcase. + +2020-07-06 Roger Sayle <roger@nextmovesoftware.com> + + * gcc.target/nvptx/vadd_add.c: New test. + * gcc.target/nvptx/vsub_add.c: New test. + +2020-07-06 Hans-Peter Nilsson <hp@axis.com> + + * gcc.target/cris/peep2-movulsr.c: New test. + 2020-07-05 Hans-Peter Nilsson <hp@axis.com> * gcc.target/cris/pr93372-39.c: New test. |