[gcc(refs/users/giulianob/heads/autopar_rebase2)] Daily bump.
Giuliano Belinassi
giulianob@gcc.gnu.org
Tue Aug 18 00:29:43 GMT 2020
https://gcc.gnu.org/g:efd05cce23ec2c761b111f50098e9373e5ce31dc
commit efd05cce23ec2c761b111f50098e9373e5ce31dc
Author: GCC Administrator <gccadmin@gcc.gnu.org>
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 <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 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 <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 87925f63fc2..431eea3136a 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 41a6e6d02f7..f41e501ec2a 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 4828c7f0fbc..c7552b661cb 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 14df1c824b4..a27630a32fd 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.
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 <jwakely@redhat.com>
+
+ * 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 <jwakely@redhat.com>
+
+ * 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 <jwakely@redhat.com>
+
+ 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 <jwakely@redhat.com>
+
+ * 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 <jwakely@redhat.com>
* testsuite/27_io/basic_ios/conv/voidptr.cc: Add c++98_only
More information about the Libstdc++-cvs
mailing list