public inbox for libstdc++-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump.
@ 2020-06-11 10:09 Martin Liska
0 siblings, 0 replies; 4+ messages in thread
From: Martin Liska @ 2020-06-11 10:09 UTC (permalink / raw)
To: gcc-cvs, libstdc++-cvs
https://gcc.gnu.org/g:b952c2cfcd74c284970e1b9bf1fca58f5f69ab23
commit b952c2cfcd74c284970e1b9bf1fca58f5f69ab23
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Wed Jun 10 00:16:47 2020 +0000
Daily bump.
Diff:
---
contrib/ChangeLog | 11 ++
gcc/ChangeLog | 89 ++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 278 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/c-family/ChangeLog | 6 ++
gcc/cp/ChangeLog | 13 +++
gcc/d/ChangeLog | 15 +++
gcc/testsuite/ChangeLog | 75 +++++++++++++
libgcc/ChangeLog | 14 +++
libsanitizer/ChangeLog | 17 +++
libstdc++-v3/ChangeLog | 11 ++
11 files changed, 530 insertions(+), 1 deletion(-)
diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 48f07e50b39..458989eda3c 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,14 @@
+2020-06-09 Jonathan Wakely <jwakely@redhat.com>
+
+ * gcc-changelog/git_email.py: Set exit status on error.
+
+2020-06-09 Martin Liska <mliska@suse.cz>
+
+ * gcc-changelog/git_commit.py: Fix ChangeLog regex in order to
+ match the top-level ChangeLog.
+ * gcc-changelog/test_email.py: Add test.
+ * gcc-changelog/test_patches.txt: Likewise.
+
2020-06-02 Martin Liska <mliska@suse.cz>
* gcc-changelog/git_commit.py: Support foo/bar/*: patterns in
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 94a7b5f8d89..5f2b16a17a1 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -9,6 +9,95 @@
* config/rs6000/rs6000.c (CLONE_ISA_3_1): New clone support.
(rs6000_clone_map): Add 'future' system target_clones support.
+2020-06-09 Michael Kuhn <gcc@ikkoku.de>
+
+ * Makefile.in (ZSTD_INC): Define.
+ (ZSTD_LIB): Include ZSTD_LDFLAGS.
+ (CFLAGS-lto-compress.o): Add ZSTD_INC.
+ * configure.ac (ZSTD_CPPFLAGS, ZSTD_LDFLAGS): New variables for
+ AC_SUBST.
+ * configure: Rebuilt.
+
+2020-06-09 Jason Merrill <jason@redhat.com>
+
+ PR c++/95552
+ * tree.c (walk_tree_1): Call func on the TYPE_DECL of a DECL_EXPR.
+
+2020-06-09 Marco Elver <elver@google.com>
+
+ * params.opt: Define --param=tsan-distinguish-volatile=[0,1].
+ * sanitizer.def (BUILT_IN_TSAN_VOLATILE_READ1): Define new
+ builtin for volatile instrumentation of reads/writes.
+ (BUILT_IN_TSAN_VOLATILE_READ2): Likewise.
+ (BUILT_IN_TSAN_VOLATILE_READ4): Likewise.
+ (BUILT_IN_TSAN_VOLATILE_READ8): Likewise.
+ (BUILT_IN_TSAN_VOLATILE_READ16): Likewise.
+ (BUILT_IN_TSAN_VOLATILE_WRITE1): Likewise.
+ (BUILT_IN_TSAN_VOLATILE_WRITE2): Likewise.
+ (BUILT_IN_TSAN_VOLATILE_WRITE4): Likewise.
+ (BUILT_IN_TSAN_VOLATILE_WRITE8): Likewise.
+ (BUILT_IN_TSAN_VOLATILE_WRITE16): Likewise.
+ * tsan.c (get_memory_access_decl): Argument if access is
+ volatile. If param tsan-distinguish-volatile is non-zero, and
+ access if volatile, return volatile instrumentation decl.
+ (instrument_expr): Check if access is volatile.
+
+2020-06-09 Richard Biener <rguenther@suse.de>
+
+ * tree-vect-loop.c (vectorizable_induction): Remove dead code.
+
+2020-06-09 Tobias Burnus <tobias@codesourcery.com>
+
+ * omp-offload.c (add_decls_addresses_to_decl_constructor,
+ omp_finish_file): With in_lto_p, stream out all offload-table
+ items even if the symtab_node does not exist.
+
+2020-06-09 Richard Biener <rguenther@suse.de>
+
+ * tree-vect-stmts.c (vect_transform_stmt): Remove dead code.
+
+2020-06-09 Martin Liska <mliska@suse.cz>
+
+ * gcov-dump.c (print_usage): Fix spacing for --raw option
+ in --help.
+
+2020-06-09 Martin Liska <mliska@suse.cz>
+
+ * cif-code.def (ATTRIBUTE_MISMATCH): Rename to...
+ (SANITIZE_ATTRIBUTE_MISMATCH): ...this.
+ * ipa-inline.c (sanitize_attrs_match_for_inline_p):
+ Handle all sanitizer options.
+ (can_inline_edge_p): Use renamed CIF_* enum value.
+
+2020-06-09 Joe Ramsay <joe.ramsay@arm.com>
+
+ * config/aarch64/aarch64-sve.md (<optab><mode>2): Add support for
+ unpacked vectors.
+ (@aarch64_pred_<optab><mode>): Add support for unpacked vectors.
+ (@aarch64_bic<mode>): Enable unpacked BIC.
+ (*bic<mode>3): Enable unpacked BIC.
+
+2020-06-09 Martin Liska <mliska@suse.cz>
+
+ PR gcov-profile/95365
+ * doc/gcov.texi: Compile and link one example in 2 steps.
+
+2020-06-09 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/95527
+ * match.pd (__builtin_ffs (X) cmp CST): New optimizations.
+
+2020-06-09 Michael Meissner <meissner@linux.ibm.com>
+
+ * config/rs6000/ppc-auxv.h (PPC_PLATFORM_FUTURE): Allocate
+ 'future' PowerPC platform.
+ (PPC_FEATURE2_ARCH_3_1): New HWCAP2 bit for ISA 3.1.
+ (PPC_FEATURE2_MMA): New HWCAP2 bit for MMA.
+ * config/rs6000/rs6000-call.c (cpu_supports_info): Add ISA 3.1 and
+ MMA HWCAP2 bits.
+ * config/rs6000/rs6000.c (CLONE_ISA_3_1): New clone support.
+ (rs6000_clone_map): Add 'future' system target_clones support.
+
2020-06-08 Tobias Burnus <tobias@codesourcery.com>
PR lto/94848
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index ec1b34716f2..51c41f0bb81 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200609
+20200610
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 4da35d14cba..f125850ccdb 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,281 @@
+2020-06-09 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch6.adb (New_Overloaded_Entity): Add missing call to check
+ subtype conformance of overriding dispatching primitive.
+ * sem_eval.adb (Subtypes_Statically_Match): Handle derivations
+ of private subtypes.
+ * libgnat/g-exptty.adb, libgnat/g-exptty.ads
+ (Set_Up_Communications): Fix the profile since null-exclusion is
+ missing in the access type formals.
+ * sem_disp.ads (Check_Operation_From_Private_View): Adding
+ documentation.
+
+2020-06-09 Eric Botcazou <ebotcazou@adacore.com>
+
+ * einfo.ads (XEINFO section): Update format description.
+ (Is_Subprogram_Or_Entry): Move pragma to regular section.
+ (Is_Subprogram_Or_Generic_Subprogram): Likewise.
+ * xeinfo.adb (Get_B4): Rename to...
+ (Get_B0): ...this.
+ (Translate_Expr): New procedure extracted from...
+ (XEinfo): ...here. Try to apply Get_B0 first and then
+ call Translate_Expr to translate supported constructs.
+
+2020-06-09 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch6.adb (Freeze_Subprogram): Deal with convention C_Family.
+ * freeze.adb (Freeze_Profile): Likewise. Add missing guard.
+ * sem_mech.adb (Set_Mechanisms): Likewise.
+ * lib-xref.adb (Output_Import_Export_Info): Ditto for C_Variadic.
+ * repinfo.adb (List_Subprogram_Info): Likewise.
+ * sem_prag.adb (Set_Convention_From_Pragma): Move main checks for
+ Stdcall to...
+ (Process_Convention): ...here. Add checks for C_Variadic.
+ * snames.ads-tmpl: Add Name_C_Variadic_0 .. Name_C_Variadic_16.
+ Use consistent format for subtype declarations.
+ (Convention_Id): Add Convention_C_Variadic_0 .. C_Variadic_16
+ and move Convention_CPP up.
+ (Convention_C_Family): New subtype of Convention_Id.
+ (Convention_C_Variadic): Likewise.
+ (Foreign_Convention): Use explicit upper bound.
+ Add pragma Inline for Is_Configuration_Pragma_Name,
+ Is_Function_Attribute_Name, Is_Internal_Attribute_Name
+ and Is_Procedure_Attribute_Name.
+ * snames.adb-tmpl (Get_Convention_Id): Deal with Name_Variadic_n.
+ (Get_Convention_Name): Deal with Convention_Variadic_n.
+ * types.h (Convention_Id): New typedef.
+ * xsnamest.adb (Name2): New variable.
+ (Is_Conv): New pattern.
+ (Get_Subt1): Likewise.
+ (Get_Subt2): Likewise.
+ Output subtypes of Convention_Id into the C header file.
+
+2020-06-09 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch3.adb, exp_ch4.adb, exp_ch6.adb, exp_ch9.adb,
+ exp_disp.adb, exp_util.adb: Add comments related to errors that
+ should be moved to semantic analysis. Also replace "?" with "??"
+ in warning messages.
+
+2020-06-09 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/a-strunb__shared.ads, libgnat/a-strunb__shared.adb
+ (Reference, Unreference): No-op for Empty_Shared_String.
+ Remove unneeded calls to Reference.
+
+2020-06-09 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch5.adb (Expand_N_Assignment): Remove kludge for
+ AI05-0087.
+ * sem_ch12.adb (Validate_Derived_Type_Instance): Implement
+ AI05-0087 retroactively since it's a binding interpretation.
+
+2020-06-09 Eric Botcazou <ebotcazou@adacore.com>
+
+ * einfo.ads (Has_Foreign_Convention): Fix description.
+ (Component_Alignment): Move around.
+ (Has_DIC): Likewise.
+ (Has_Interrupt_Handler): Likewise.
+ (Has_Invariants): Likewise.
+ (Is_Atomic_Or_VFA): Likewise.
+ (Next_Index): Likewise.
+ (Scope_Depth): Likewise.
+ (Init_Component_Size): Likewise.
+ (Init_Component_Location): Likewise.
+ (Init_Size): Likewise.
+ (Inline Pragmas for functions): Add Corresponding_Function,
+ Corresponding_Procedure, Entry_Max_Queue_Lengths_Array,
+ Finalize_Storage_Only, Has_DIC, Has_Invariants,
+ Initialization_Statements, Is_Anonymous_Access_Type,
+ Next_Stored_Discriminant, Address_Clause, Alignment_Clause,
+ Float_Rep, Has_Foreign_Convention, Has_Non_Limited_View,
+ Is_Constant_Object, Is_Discriminal, Is_Finalizer, Is_Null_State,
+ Is_Prival, Is_Protected_Component, Is_Protected_Record_Type,
+ Is_Subprogram_Or_Entry, Is_Task_Record_Type, Size_Clause,
+ Stream_Size_Clause, Type_High_Bound, Type_Low_Bound, Known_*,
+ Unknown_*.
+ (Inline Pragmas for procedures): Add Set_Corresponding_Function,
+ Set_Corresponding_Procedure, Set_Finalize_Storage_Only,
+ Set_Float_Rep, Set_Initialization_Statements,
+ Init_Normalized_First_Bit, Init_Normalized_Position,
+ Init_Normalized_Position_Max.
+ * einfo.adb (Was_Hidden): Move around.
+ (Is_Packed_Array): Likewise.
+ (Model_Emin_Value): Likewise.
+ (Model_Epsilon_Value): Likewise.
+ (Model_Mantissa_Value): Likewise.
+ (Model_Small_Value): Likewise.
+
+2020-06-09 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch12.adb (Check_Shared_Variable_Control_Aspects): Require
+ exact match between formal and actual for aspects Atomic and
+ Volatile only for formal derived types.
+
+2020-06-09 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_util.adb (Side_Effect_Free): Improve handling of
+ N_Aggregate.
+
+2020-06-09 Ghjuvan Lacambre <lacambre@adacore.com>
+
+ * sem_res.adb (Resolve_Qualified_Expression): Use Subtype_Mark
+ type.
+
+2020-06-09 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_aggr.adb (Max_Aggregate_Size): New function to factorize
+ code.
+ (Convert_To_Positional, Aggr_Size_OK): Use Max_Aggregate_Size.
+
+2020-06-09 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_util.ads, sem_util.adb (Set_Debug_Info_Defining_Id): New.
+ * exp_ch3.adb, exp_ch8.adb: Call Set_Debug_Info_Defining_Id when
+ relevant.
+
+2020-06-09 Justin Squirek <squirek@adacore.com>
+
+ * einfo.ads (Returns_By_Ref): Modify documentation to reflect
+ that Returns_By_Ref can be applied to E_Subprogram_Type
+ entities.
+
+2020-06-09 Justin Squirek <squirek@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference): Modify expansion
+ of 'Overlaps_Storage to take into account zero sized arrays.
+
+2020-06-09 Bob Duff <duff@adacore.com>
+
+ * bindo-graphs.adb, bindo-graphs.ads: For each invocation graph,
+ record the corresponding library graph.
+ * bindo-writers.adb (Write_Invocation_Graph_Vertex): Print the
+ lib item name. Remove library graph parameters.
+ * bindo-augmentors.adb, bindo-augmentors.ads,
+ bindo-builders.adb, bindo-diagnostics.adb,
+ bindo-diagnostics.ads, bindo-elaborators.adb: Remove library
+ graph parameters.
+
+2020-06-09 Eric Botcazou <ebotcazou@adacore.com>
+
+ * checks.adb (Apply_Predicate_Check): Extend trick used for
+ aggregates to qualified aggregates and object declarations
+ * einfo.ads (Has_Own_DIC): Mention the underlying full view.
+ (Has_Own_Invariants): Likewise.
+ (Has_Predicates): Likewise.
+ * exp_util.adb (Build_DIC_Procedure_Declaration): Do not deal
+ with base types explicitly but with underlying full views.
+ (Build_Invariant_Procedure_Declaration): Likewise.
+ * sem_ch13.adb (Build_Predicate_Functions): Do not deal with
+ the full view manually but call Propagate_Predicate_Attributes
+ to propagate attributes to views.
+ (Build_Predicate_Function_Declaration): Likewise.
+ * sem_ch3.adb (Build_Assertion_Bodies_For_Type): Build bodies
+ for private full views with an underlying full view.
+ (Build_Derived_Private_Type): Small comment tweak.
+ (Complete_Private_Subtype): Call Propagate_Predicate_Attributes.
+ (Process_Full_View): Do not deal with base types explicitly for
+ DIC and Invariant attributes. Deal with underlying full views
+ for them. Call Propagate_Predicate_Attributes and deal with
+ underlying full views for them.
+ * sem_ch7.adb (Preserve_Full_Attributes): Do not cross propagate
+ DIC and Invariant attributes between full type and its base type.
+ Propagate Predicate attributes from the full to the private view.
+ * sem_ch9.adb (Analyze_Protected_Type_Declaration): Likewise.
+ (Analyze_Task_Type_Declaration): Likewise.
+ * sem_util.ads (Get_Views): Remove Full_Base parameter and add
+ UFull_Typ parameter.
+ (Propagate_Predicate_Attributes): New procedure.
+ * sem_util.adb (Get_Views): Remove Full_Base parameter and add
+ UFull_Typ parameter. Retrieve the Corresponding_Record_Type
+ from the underlying full view, if any.
+ (Propagate_DIC_Attributes): Remove useless tests.
+ (Propagate_Invariant_Attributes): Likewise.
+ (Propagate_Predicate_Attributes): New procedure.
+
+2020-06-09 Justin Squirek <squirek@adacore.com>
+
+ * exp_ch5.adb (Expand_Predicated_Loop): Perserve the original
+ loop identifier within the expansion.
+
+2020-06-09 Bob Duff <duff@adacore.com>
+
+ * bindo-graphs.ads (Library_Graph_Edge_Kind): Reorder enumerals
+ to reflect the order of adding edges. Clarify comments.
+ * bindo-graphs.adb (Add_Edge_Kind_Check): Correct the
+ assertions. Reorder the "when"s to match the order of adding
+ edges, and therefore the order of enumerals in type
+ Library_Graph_Edge_Kind. Change names to "Old_" and "New_" to
+ clarify what's what. Combine Invocation_Edge into the "<="
+ test. Fix the "raise Program_Error" message, which was
+ backwards.
+
+2020-06-09 Bob Duff <duff@adacore.com>
+
+ * bindo-graphs.adb (Add_Edge_Kind_Check): Add the Image of the
+ old and new Kinds to the raise Program_Error message.
+
+2020-06-09 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch3.adb (Is_Visible_Component): Do not special-case
+ bodies of instances.
+
+2020-06-09 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch4.adb (Expand_N_In): Fix handling of null exclusion.
+
+2020-06-09 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch12.adb (Check_Shared_Variable_Control_Aspects): Require
+ exact match between formal and actual for aspects Atomic,
+ Atomic_Component, Volatile, and Volatile_Components.
+
+2020-06-09 Bob Duff <duff@adacore.com>
+
+ * doc/gnat_ugn/gnat_utility_programs.rst: Add documentation for
+ the --no-separate-return switch of gnatpp.
+
+2020-06-09 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_warn.adb (Warn_On_Constant_Valid_Condition): Add proper
+ warning tag.
+
+2020-06-09 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_type.adb (Covers): Fix implementation of AI05-0149.
+ * sem_res.adb: Fix typo.
+
+2020-06-09 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch9.adb (Build_Master_Renaming): Make name in renaming
+ declaration unique by adding a numeric suffix, to prevent
+ accidental name conflict when several instantiations of a
+ package containing an access_to_incomplete type that designate
+ tasks appear in the same scope.
+
+2020-06-09 Piotr Trojanek <trojanek@adacore.com>
+
+ * libgnarl/a-synbar.ads, libgnarl/a-synbar.adb,
+ libgnarl/a-synbar__posix.ads, libgnarl/a-synbar__posix.adb
+ (Ada.Synchronous_Barriers): Annotate with SPARK_Mode => Off.
+
+2020-06-09 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_eval.adb (Eval_Relational_Op, Eval_String_Literal,
+ Eval_Type_Conversion): Relax rules on relational operators and
+ type conversions of static string types.
+
+2020-06-09 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_util.ads, sem_util.adb (Is_Partially_Initialized_Type):
+ Take Default_Value and Default_Component_Value into account.
+ * sem_ch3.adb (Analyze_Object_Declaration): Update comment.
+
+2020-06-09 Bob Duff <duff@adacore.com>
+
+ * bindo-graphs.adb (Add_Edge_Kind_Check): Disable failing part
+ of the assertion.
+
2020-06-08 Steve Baird <baird@adacore.com>
* sem_prag.adb (Analyze_Pragma.Set_Ravenscar_Profile): Add
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 8fac84d3b02..b9da4b9fa37 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,9 @@
+2020-06-09 Jakub Jelinek <jakub@redhat.com>
+
+ PR c/95580
+ * c-pretty-print.c (c_pretty_printer::unary_expression): Handle the
+ case when MEM_REF's first argument has type pointer to incomplete type.
+
2020-06-05 Jason Merrill <jason@redhat.com>
* c-pretty-print.c (pp_c_additive_expression): Handle negative
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index cbb63d0ee61..0fc815a81b0 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,16 @@
+2020-06-09 Iain Sandoe <iain@sandoe.co.uk>
+
+ PR c++/95137
+ * coroutines.cc (expand_one_await_expression): Build separate
+ DTOR trees for the awaitable object on the destroy and resume
+ paths.
+
+2020-06-09 Jason Merrill <jason@redhat.com>
+
+ PR c++/95552
+ * cp-gimplify.c (predeclare_vla): Only predeclare a VLA if it's
+ wrapped in a pointer type.
+
2020-06-05 Marek Polacek <polacek@redhat.com>
PR c++/95369
diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog
index 71544e266eb..110e9ad55f8 100644
--- a/gcc/d/ChangeLog
+++ b/gcc/d/ChangeLog
@@ -1,3 +1,18 @@
+2020-06-09 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * dmd/MERGE: Merge upstream dmd 13d67c575.
+ * d-builtins.cc (build_frontend_type): Update call to
+ TypeVector::create.
+ * d-frontend.cc (Global::_init): Move setting of errorLimit to ...
+ * d-lang.cc (d_init_options): ... here. Update for new field
+ location of errorLimit.
+ (d_post_options): Likewise.
+ * d-port.cc (Port::readwordLE): Update signature.
+ (Port::readwordBE): Likewise.
+ (Port::readlongLE): Likewise.
+ (Port::readlongBE): Likewise.
+ * decl.cc (get_symbol_decl): Update for new field types.
+
2020-06-08 Iain Buclaw <ibuclaw@gdcproject.org>
PR d/95573
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 91b1687cbf6..7a33e89b5fa 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -3,6 +3,81 @@
* gcc.target/powerpc/clone3.c: New test for using 'future' with
the target_clones attribute.
+2020-06-09 Martin Liska <mliska@suse.cz>
+
+ * c-c++-common/asan/inline-kernel.c: Add missing
+ -fno-sanitize-address option.
+
+2020-06-09 Jason Merrill <jason@redhat.com>
+
+ PR c++/95552
+ * g++.dg/ext/vla23.C: New test.
+
+2020-06-09 Marco Elver <elver@google.com>
+
+ * c-c++-common/tsan/volatile.c: New test.
+
+2020-06-09 Michael Meissner <meissner@linux.ibm.com>
+
+ * lib/target-supports.exp (check_effective_target_powerpc_pcrel):
+ New.
+ (check_effective_target_powerpc_prefixed_addr): New.
+
+2020-06-09 Martin Liska <mliska@suse.cz>
+
+ * c-c++-common/asan/inline.c: New test.
+ * c-c++-common/asan/inline-kernel.c: New test.
+ * c-c++-common/tsan/inline.c: New test.
+ * c-c++-common/ubsan/inline.c: New test.
+
+2020-06-09 Joe Ramsay <joe.ramsay@arm.com>
+
+ * gcc.target/aarch64/sve/logical_unpacked_abs.c: New test.
+ * gcc.target/aarch64/sve/logical_unpacked_bic_1.c: New test.
+ * gcc.target/aarch64/sve/logical_unpacked_bic_2.c: New test.
+ * gcc.target/aarch64/sve/logical_unpacked_bic_3.c: New test.
+ * gcc.target/aarch64/sve/logical_unpacked_bic_4.c: New test.
+ * gcc.target/aarch64/sve/logical_unpacked_neg.c: New test.
+ * gcc.target/aarch64/sve/logical_unpacked_not.c: New test.
+
+2020-06-09 Jakub Jelinek <jakub@redhat.com>
+
+ PR c/95580
+ * gcc.dg/pr95580.c: New test.
+
+2020-06-09 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/95527
+ * gcc.dg/tree-ssa/pr95527.c: New test.
+
+2020-06-09 Jakub Jelinek <jakub@redhat.com>
+
+ * g++.dg/torture/pr95493.C: Add -Wno-psabi -w to dg-additional-options.
+
+2020-06-09 Max Filippov <jcmvbkbc@gmail.com>
+
+ * g++.target/xtensa/pr95571.C: New test.
+ * g++.target/xtensa/xtensa.exp: New testsuite.
+
+2020-06-09 Segher Boessenkool <segher@kernel.crashing.org>
+
+ * gcc.target/powerpc/fold-vec-perm-char.c: Allow both vperm/vpermr and
+ xxperm/xxpermr.
+ * gcc.target/powerpc/fold-vec-perm-double.c: Ditto.
+ * gcc.target/powerpc/fold-vec-perm-float.c: Ditto.
+ * gcc.target/powerpc/fold-vec-perm-int.c: Ditto.
+ * gcc.target/powerpc/fold-vec-perm-longlong.c: Ditto.
+ * gcc.target/powerpc/fold-vec-perm-pixel.c: Ditto.
+ * gcc.target/powerpc/fold-vec-perm-short.c: Ditto.
+ * gcc.target/powerpc/lvsl-lvsr.c: Ditto.
+ * gcc.target/powerpc/vec-mult-char-2.c: Ditto.
+ * gcc.target/powerpc/vsx-vector-6.p9.c: Also allow xxpermr.
+
+2020-06-09 Michael Meissner <meissner@linux.ibm.com>
+
+ * gcc.target/powerpc/clone3.c: New test for using 'future' with
+ the target_clones attribute.
+
2020-06-09 Michael Meissner <meissner@linux.ibm.com>
* lib/target-supports.exp (check_effective_target_powerpc_pcrel):
diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index b4e39d188f4..e3456b657ae 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,17 @@
+2020-06-09 Martin Liska <mliska@suse.cz>
+
+ PR gcov-profile/95494
+ * libgcov-driver.c (write_top_counters): Cast first to
+ intptr_t as sizeof(*) != sizeof(gcov_type).
+ * libgcov.h (gcov_counter_set_if_null): Remove.
+ (gcov_topn_add_value): Cast first to intptr_t and update
+ linked list directly.
+
+2020-06-09 Max Filippov <jcmvbkbc@gmail.com>
+
+ * config/xtensa/unwind-dw2-xtensa.c (uw_install_context): Merge
+ with uw_install_context_1.
+
2020-06-04 Andreas Schwab <schwab@suse.de>
PR target/59230
diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog
index 0e986314a8c..bbf95fbbdf2 100644
--- a/libsanitizer/ChangeLog
+++ b/libsanitizer/ChangeLog
@@ -1,3 +1,20 @@
+2020-06-09 Martin Liska <mliska@suse.cz>
+
+ * asan/Makefile.am: Replace gnu++11 with gnu++14.
+ * interception/Makefile.am: Likewise.
+ * libbacktrace/Makefile.am: Likewise.
+ * lsan/Makefile.am: Likewise.
+ * sanitizer_common/Makefile.am: Likewise.
+ * tsan/Makefile.am: Likewise.
+ * ubsan/Makefile.am: Likewise.
+ * asan/Makefile.in: Regenerate.
+ * interception/Makefile.in: Likewise.
+ * libbacktrace/Makefile.in: Likewise.
+ * lsan/Makefile.in: Likewise.
+ * sanitizer_common/Makefile.in: Likewise.
+ * tsan/Makefile.in: Likewise.
+ * ubsan/Makefile.in: Likewise.
+
2020-06-02 Martin Liska <mliska@suse.cz>
* LOCAL_PATCHES: Update hash of local patches.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 60b930dc624..b068f4f0451 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,14 @@
+2020-06-09 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/stl_iterator.h (move_iterator::operator=): Define.
+ * testsuite/24_iterators/move_iterator/dr3265.cc: New test.
+
+2020-06-09 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/std/optional (bad_optional_access): Define default
+ constructor and destructor as defaulted.
+ * testsuite/20_util/optional/bad_access.cc: New test.
+
2020-06-08 Jonathan Wakely <jwakely@redhat.com>
* testsuite/20_util/default_delete/48631_neg.cc: Adjust dg-error
^ permalink raw reply [flat|nested] 4+ messages in thread
* [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump.
@ 2020-06-11 10:13 Martin Liska
0 siblings, 0 replies; 4+ messages in thread
From: Martin Liska @ 2020-06-11 10:13 UTC (permalink / raw)
To: gcc-cvs, libstdc++-cvs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="us-ascii", Size: 25057 bytes --]
https://gcc.gnu.org/g:ec6ffbb919cdde26da3fbc949e65d564c70a3084
commit ec6ffbb919cdde26da3fbc949e65d564c70a3084
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Thu Jun 11 00:16:45 2020 +0000
Daily bump.
Diff:
---
contrib/ChangeLog | 19 +++++
gcc/ChangeLog | 220 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 209 +++++++++++++++++++++++++++++++++++++++++++++
gcc/c-family/ChangeLog | 10 +++
gcc/cp/ChangeLog | 15 ++++
gcc/testsuite/ChangeLog | 59 +++++++++++++
libstdc++-v3/ChangeLog | 49 +++++++++++
8 files changed, 582 insertions(+), 1 deletion(-)
diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 458989eda3c..3a385d68c50 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,22 @@
+2020-06-10 Martin Liska <mliska@suse.cz>
+
+ * gcc-changelog/git_commit.py: Fix renamed files in
+ parse_git_name_status.
+ * gcc-changelog/test_email.py: Add test for it.
+
+2020-06-10 Martin Liska <mliska@suse.cz>
+
+ * gcc-changelog/git_commit.py: Add more supported prefixes.
+ * gcc-changelog/test_email.py: Fix one flake8 error.
+ * gcc-changelog/test_patches.txt: Add tested for newly
+ supported prefixes.
+
+2020-06-10 Jonathan Wakely <jwakely@redhat.com>
+
+ * gcc-changelog/git_commit.py (GitCommit.parse_changelog):
+ Improve error strings.
+ * gcc-changelog/test_email.py: Update expected errors.
+
2020-06-09 Jonathan Wakely <jwakely@redhat.com>
* gcc-changelog/git_email.py: Set exit status on error.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5f2b16a17a1..b0860738d04 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,223 @@
+2020-06-10 Martin Sebor <msebor@redhat.com>
+
+ PR middle-end/95353
+ PR middle-end/92939
+ * builtins.c (inform_access): New function.
+ (check_access): Call it. Add argument.
+ (addr_decl_size): Remove.
+ (get_range): New function.
+ (compute_objsize): New overload. Only use compute_builtin_object_size
+ with raw memory function.
+ (check_memop_access): Pass new argument to compute_objsize and
+ check_access.
+ (expand_builtin_memchr, expand_builtin_strcat): Same.
+ (expand_builtin_strcpy, expand_builtin_stpcpy_1): Same.
+ (expand_builtin_stpncpy, check_strncat_sizes): Same.
+ (expand_builtin_strncat, expand_builtin_strncpy): Same.
+ (expand_builtin_memcmp): Same.
+ * builtins.h (check_nul_terminated_array): Declare extern.
+ (check_access): Add argument.
+ (struct access_ref, struct access_data): New structs.
+ * gimple-ssa-warn-restrict.c (clamp_offset): New helper.
+ (builtin_access::overlap): Call it.
+ * tree-object-size.c (decl_init_size): Declare extern.
+ (addr_object_size): Correct offset computation.
+ * tree-object-size.h (decl_init_size): Declare.
+ * tree-ssa-strlen.c (handle_integral_assign): Remove a call
+ to maybe_warn_overflow when assigning to an SSA_NAME.
+
+2020-06-10 Richard Biener <rguenther@suse.de>
+
+ * tree-vect-loop.c (vect_determine_vectorization_factor):
+ Skip debug stmts.
+ (_loop_vec_info::_loop_vec_info): Likewise.
+ (vect_update_vf_for_slp): Likewise.
+ (vect_analyze_loop_operations): Likewise.
+ (update_epilogue_loop_vinfo): Likewise.
+ * tree-vect-patterns.c (vect_determine_precisions): Likewise.
+ (vect_pattern_recog): Likewise.
+ * tree-vect-slp.c (vect_detect_hybrid_slp): Likewise.
+ (_bb_vec_info::_bb_vec_info): Likewise.
+ * tree-vect-stmts.c (vect_mark_stmts_to_be_vectorized):
+ Likewise.
+
+2020-06-10 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/95576
+ * tree-vect-slp.c (vect_slp_bb): Skip leading debug stmts.
+
+2020-06-10 Haijian Zhang <z.zhanghaijian@huawei.com>
+
+ PR target/95523
+ * config/aarch64/aarch64-sve-builtins.h
+ (sve_switcher::m_old_maximum_field_alignment): New member.
+ * config/aarch64/aarch64-sve-builtins.cc
+ (sve_switcher::sve_switcher): Save maximum_field_alignment in
+ m_old_maximum_field_alignment and clear maximum_field_alignment.
+ (sve_switcher::~sve_switcher): Restore maximum_field_alignment.
+
+2020-06-10 Richard Biener <rguenther@suse.de>
+
+ * tree-vectorizer.h (_slp_tree::vec_stmts): Make it a vector
+ of gimple * stmts.
+ (_stmt_vec_info::vec_stmts): Likewise.
+ (vec_info::stmt_vec_info_ro): New flag.
+ (vect_finish_replace_stmt): Adjust declaration.
+ (vect_finish_stmt_generation): Likewise.
+ (vectorizable_induction): Likewise.
+ (vect_transform_reduction): Likewise.
+ (vectorizable_lc_phi): Likewise.
+ * tree-vect-data-refs.c (vect_create_data_ref_ptr): Do not
+ allocate stmt infos for increments.
+ (vect_record_grouped_load_vectors): Adjust.
+ * tree-vect-loop.c (vect_create_epilog_for_reduction): Likewise.
+ (vectorize_fold_left_reduction): Likewise.
+ (vect_transform_reduction): Likewise.
+ (vect_transform_cycle_phi): Likewise.
+ (vectorizable_lc_phi): Likewise.
+ (vectorizable_induction): Likewise.
+ (vectorizable_live_operation): Likewise.
+ (vect_transform_loop): Likewise.
+ * tree-vect-patterns.c (vect_pattern_recog): Set stmt_vec_info_ro.
+ * tree-vect-slp.c (vect_get_slp_vect_def): Adjust.
+ (vect_get_slp_defs): Likewise.
+ (vect_transform_slp_perm_load): Likewise.
+ (vect_schedule_slp_instance): Likewise.
+ (vectorize_slp_instance_root_stmt): Likewise.
+ * tree-vect-stmts.c (vect_get_vec_defs_for_operand): Likewise.
+ (vect_finish_stmt_generation_1): Do not allocate a stmt info.
+ (vect_finish_replace_stmt): Do not return anything.
+ (vect_finish_stmt_generation): Likewise.
+ (vect_build_gather_load_calls): Adjust.
+ (vectorizable_bswap): Likewise.
+ (vectorizable_call): Likewise.
+ (vectorizable_simd_clone_call): Likewise.
+ (vect_create_vectorized_demotion_stmts): Likewise.
+ (vectorizable_conversion): Likewise.
+ (vectorizable_assignment): Likewise.
+ (vectorizable_shift): Likewise.
+ (vectorizable_operation): Likewise.
+ (vectorizable_scan_store): Likewise.
+ (vectorizable_store): Likewise.
+ (vectorizable_load): Likewise.
+ (vectorizable_condition): Likewise.
+ (vectorizable_comparison): Likewise.
+ (vect_transform_stmt): Likewise.
+ * tree-vectorizer.c (vec_info::vec_info): Initialize
+ stmt_vec_info_ro.
+ (vec_info::replace_stmt): Copy over stmt UID rather than
+ unsetting/setting a stmt info allocating a new UID.
+ (vec_info::set_vinfo_for_stmt): Assert !stmt_vec_info_ro.
+
+2020-06-10 Aldy Hernandez <aldyh@redhat.com>
+
+ * gimple-loop-versioning.cc (loop_versioning::name_prop::get_value):
+ Add stmt parameter.
+ * gimple-ssa-evrp.c (class evrp_folder): New.
+ (class evrp_dom_walker): Remove.
+ (execute_early_vrp): Use evrp_folder instead of evrp_dom_walker.
+ * tree-ssa-ccp.c (ccp_folder::get_value): Add stmt parameter.
+ * tree-ssa-copy.c (copy_folder::get_value): Same.
+ * tree-ssa-propagate.c (substitute_and_fold_engine::replace_uses_in):
+ Pass stmt to get_value.
+ (substitute_and_fold_engine::replace_phi_args_in): Same.
+ (substitute_and_fold_dom_walker::after_dom_children): Call
+ post_fold_bb.
+ (substitute_and_fold_dom_walker::foreach_new_stmt_in_bb): New.
+ (substitute_and_fold_dom_walker::propagate_into_phi_args): New.
+ (substitute_and_fold_dom_walker::before_dom_children): Adjust to
+ call virtual functions for folding, pre_folding, and post folding.
+ Call get_value with PHI. Tweak dump.
+ * tree-ssa-propagate.h (class substitute_and_fold_engine):
+ New argument to get_value.
+ New virtual function pre_fold_bb.
+ New virtual function post_fold_bb.
+ New virtual function pre_fold_stmt.
+ New virtual function post_new_stmt.
+ New function propagate_into_phi_args.
+ * tree-vrp.c (vrp_folder::get_value): Add stmt argument.
+ * vr-values.c (vr_values::extract_range_from_stmt): Adjust dump
+ output.
+ (vr_values::fold_cond): New.
+ (vr_values::simplify_cond_using_ranges_1): Call fold_cond.
+ * vr-values.h (class vr_values): Add
+ simplify_cond_using_ranges_when_edge_is_known.
+
+2020-06-10 Martin Liska <mliska@suse.cz>
+
+ PR sanitizer/94910
+ * asan.c (asan_emit_stack_protection): Emit
+ also **SavedFlagPtr(FakeStack, class_id) = 0 in order to release
+ a stack frame.
+
+2020-06-10 Tamar Christina <tamar.christina@arm.com>
+
+ * config/aarch64/aarch64.c (aarch64_rtx_mult_cost): Adjust costs for mul.
+
+2020-06-10 Richard Biener <rguenther@suse.de>
+
+ * tree-vect-data-refs.c (vect_vfa_access_size): Adjust.
+ (vect_record_grouped_load_vectors): Likewise.
+ * tree-vect-loop.c (vect_create_epilog_for_reduction): Likewise.
+ (vectorize_fold_left_reduction): Likewise.
+ (vect_transform_reduction): Likewise.
+ (vect_transform_cycle_phi): Likewise.
+ (vectorizable_lc_phi): Likewise.
+ (vectorizable_induction): Likewise.
+ (vectorizable_live_operation): Likewise.
+ (vect_transform_loop): Likewise.
+ * tree-vect-slp.c (vect_get_slp_defs): New function, split out
+ from overload.
+ * tree-vect-stmts.c (vect_get_vec_def_for_operand_1): Remove.
+ (vect_get_vec_def_for_operand): Likewise.
+ (vect_get_vec_def_for_stmt_copy): Likewise.
+ (vect_get_vec_defs_for_stmt_copy): Likewise.
+ (vect_get_vec_defs_for_operand): New function.
+ (vect_get_vec_defs): Likewise.
+ (vect_build_gather_load_calls): Adjust.
+ (vect_get_gather_scatter_ops): Likewise.
+ (vectorizable_bswap): Likewise.
+ (vectorizable_call): Likewise.
+ (vectorizable_simd_clone_call): Likewise.
+ (vect_get_loop_based_defs): Remove.
+ (vect_create_vectorized_demotion_stmts): Adjust.
+ (vectorizable_conversion): Likewise.
+ (vectorizable_assignment): Likewise.
+ (vectorizable_shift): Likewise.
+ (vectorizable_operation): Likewise.
+ (vectorizable_scan_store): Likewise.
+ (vectorizable_store): Likewise.
+ (vectorizable_load): Likewise.
+ (vectorizable_condition): Likewise.
+ (vectorizable_comparison): Likewise.
+ (vect_transform_stmt): Adjust and remove no longer applicable
+ sanity checks.
+ * tree-vectorizer.c (vec_info::new_stmt_vec_info): Initialize
+ STMT_VINFO_VEC_STMTS.
+ (vec_info::free_stmt_vec_info): Relase it.
+ * tree-vectorizer.h (_stmt_vec_info::vectorized_stmt): Remove.
+ (_stmt_vec_info::vec_stmts): Add.
+ (STMT_VINFO_VEC_STMT): Remove.
+ (STMT_VINFO_VEC_STMTS): New.
+ (vect_get_vec_def_for_operand_1): Remove.
+ (vect_get_vec_def_for_operand): Likewise.
+ (vect_get_vec_defs_for_stmt_copy): Likewise.
+ (vect_get_vec_def_for_stmt_copy): Likewise.
+ (vect_get_vec_defs): New overloads.
+ (vect_get_vec_defs_for_operand): New.
+ (vect_get_slp_defs): Declare.
+
+2020-06-10 Qian Chao <qianchao9@huawei.com>
+
+ PR tree-optimization/95569
+ * trans-mem.c (expand_assign_tm): Ensure that rtmp is marked TREE_ADDRESSABLE.
+
+2020-06-10 Martin Liska <mliska@suse.cz>
+
+ PR tree-optimization/92860
+ * optc-save-gen.awk: Generate new function cl_optimization_compare.
+ * opth-gen.awk: Generate declaration of the function.
+
2020-06-09 Michael Meissner <meissner@linux.ibm.com>
* config/rs6000/ppc-auxv.h (PPC_PLATFORM_FUTURE): Allocate
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 51c41f0bb81..1094e86b516 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200610
+20200611
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index f125850ccdb..b4258dccde0 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,212 @@
+2020-06-10 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/s-aomoar.ads, libgnat/s-aomoar.adb: New files.
+ * libgnat/s-atopar.ads: Move...
+ * libgnat/s-aoinar.ads: Here.
+ * libgnat/s-atopar.adb: Move...
+ * libgnat/s-aoinar.adb: Here.
+ * impunit.adb: Update list of runtime files.
+ * Makefile.rtl (GNATRTL_NONTASKING_OBJS=): Adjust.
+
+2020-06-10 Arnaud Charlet <charlet@adacore.com>
+
+ * snames.ads-tmpl (Name_Characters_Assertion_Check,
+ Name_Containers_Assertion_Check,
+ Name_Interfaces_Assertion_Check, Name_IO_Assertion_Check,
+ Name_Numerics_Assertion_Check, Name_Strings_Assertion_Check,
+ Name_System_Assertion_Check): New constants.
+ * types.ads (Characters_Assertion_Check,
+ Containers_Assertion_Check, Interfaces_Assertion_Check,
+ IO_Assertion_Check, Numerics_Assertion_Check,
+ Strings_Assertion_Check, System_Assertion_Check): New constants.
+ (All_Checks): Update accordingly.
+
+2020-06-10 Ghjuvan Lacambre <lacambre@adacore.com>
+
+ * exp_ch3.adb (Build_Equivalent_Record_Aggregate): Return Empty
+ if Etype of record component has predicates.
+
+2020-06-10 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch3.adb (Build_Init_Statements): Implement the notion of
+ "require late initialization".
+
+2020-06-10 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_util.adb (Copy_And_Maybe_Dereference): Temporarily copy
+ the parent node of the original tree when dereferencing.
+
+2020-06-10 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_warn.adb (Warn_On_Overlapping_Actuals): Add a warning when
+ two actuals in a call overlap, both are composite types that may
+ be passed by reference, and only one of them is writable.
+
+2020-06-10 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch4.adb (Expand_N_In): Use an expression with actions to
+ insert the PE raise statement for the Unchecked_Union case.
+
+2020-06-10 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch4.adb (Analyze_Call): Use idiomatic condition.
+ * sem_res.adb (Resolve_Call): Remove obsolete code.
+
+2020-06-10 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_util.adb (Copy_And_Maybe_Dereference): New function.
+ (Build_Access_Record_Constraint): Use it to copy the prefix.
+ (Build_Actual_Array_Constraint): Likewise.
+ (Build_Actual_Record_Constraint): Likewise.
+
+2020-06-10 Bob Duff <duff@adacore.com>
+
+ * sem_prag.adb (Invariant): Remove the pragma removing code. It
+ doesn't work to remove the pragma, because various flags are set
+ during Build_Invariant_Procedure_Declaration and
+ Build_Invariant_Procedure_Body that need to be set to avoid the
+ spurious warnings.
+ * exp_util.adb (Make_Invariant_Call): Avoid calling the
+ invariant-checking procedure if the body is empty. This is an
+ optimization.
+
+2020-06-10 Vasiliy Fofanov <fofanov@adacore.com>
+
+ * doc/gnat_ugn/gnat_utility_programs.rst: Fix gnatmetric
+ switches description.
+
+2020-06-10 Arnaud Charlet <charlet@adacore.com>
+
+ * repinfo-input.ads, repinfo-input.adb, repinfo.adb,
+ repinfo.ads: Update header.
+
+2020-06-10 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_aggr.adb (In_Place_Assign_OK): Do not necessarily return
+ false for a type with discriminants.
+ (Convert_To_Assignments): Use Parent_Node and Parent_Kind more
+ consistently. In the in-place assignment case, first apply a
+ discriminant check if need be, and be prepared for a rewritten
+ aggregate as a result.
+
+2020-06-10 Arnaud Charlet <charlet@adacore.com>
+
+ * atree.adb, contracts.adb, debug.adb, freeze.adb,
+ repinfo-input.adb, repinfo.adb, sem_attr.adb, sem_ch10.adb,
+ sem_ch13.adb, sem_ch3.adb, sem_ch5.adb, sem_ch6.adb,
+ sem_ch8.adb, sem_ch9.adb, sem_disp.adb, sem_eval.adb,
+ sem_prag.adb: Remove more references to ASIS.
+
+2020-06-10 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/s-secsta.adb (Round_Up): Fix typo in exception
+ message.
+
+2020-06-10 Piotr Trojanek <trojanek@adacore.com>
+
+ * par-ch4.adb (P_Membership_Test): Fix typo in a grammar rule.
+
+2020-06-10 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Remove
+ expansion of First and Last attributes.
+
+2020-06-10 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference): Remove folding
+ for Enum_Rep attribute.
+ * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Remove
+ duplicated code for folding Enum_Rep attribute.
+ * sem_attr.adb (Eval_Attribute): Relax condition for folding
+ Enum_Rep attribute; previously dead code is now executed when
+ the attribute prefix is an enumeration literal; refine type in
+ processing of Enum_Val.
+
+2020-06-10 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.adb (Analyze_Declarations): Adjust the machinery that
+ takes care of late body overriding of initialize, adjust,
+ finalize. Remove ASIS mode code.
+
+2020-06-10 Ed Schonberg <schonberg@adacore.com>
+
+ * einfo.ads (Access_Subprogram_Wrapper): New attribute of
+ Subprogram_Type entities. Denotes subprogram constructed for
+ Access_To_Subprogram types that include pre- and postconditions.
+ * einfo.adb: Subprogram bodies for Access_Subprogram_Wrapper.
+ * exp_ch6.adb (Expand_Call): An indirect call through an
+ Access_To_subprogram that includes contracts is rewritten as a
+ call to the corresponding Access_ ubprogram_Wrapper. Handle
+ derived types that inherit contract from parent.
+ * sem_prag.adb (Build_Access_Subprogram_Wrapper): Build
+ subprogram declaration for subprogram that incorporates the
+ contracts of an Access_To_Subprogram type declaration. Build
+ corresponding body and attach it to freeze actions for type.
+ * sem_util.ads, sem_util.adb (Is_Access_Subprogram_Wrapper):
+ Utility that uses signature of the subprogram to determine
+ whether it is a generated wrapper for an Access_To_Subprogram
+ type.
+
+2020-06-10 Ghjuvan Lacambre <lacambre@adacore.com>
+
+ * par-ch6.adb (P_Subprogram): Make sure the specification
+ belongs to a procedure.
+
+2020-06-10 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_ch13.adb (All_Membership_Choices_Static): Assert an AST
+ property documented in sinfo.ads and simplify an excessive
+ condition.
+
+2020-06-10 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference): Fix a copy-paste
+ mistake in comment.
+ * sem_res.adb (Flag_Effectively_Volatile_Objects): Fix a type in
+ the SPARK RM rule number.
+ * exp_ch4.adb, sem_util.adb: Fix style in single line comments.
+
+2020-06-10 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_aux.ads, sem_aux.adb (Get_Low_Bound): Remove.
+
+2020-06-10 Arnaud Charlet <charlet@adacore.com>
+
+ * scn.adb (Determine_License): Remove.
+
+2020-06-10 Justin Squirek <squirek@adacore.com>
+
+ * exp_ch3.adb (Expand_N_Object_Declaration): Add condition to
+ handle processing of objects initialized by a call to a function
+ return an anonymous access type.
+ * exp_ch6.adb, exp_ch6.ads
+ (Has_Unconstrained_Access_Discriminants): Moved to sem_util.adb
+ (Needs_Result_Accessibility_Level): Moved to sem_util.adb
+ * sem_util.adb, sem_util.ads
+ (Has_Unconstrained_Access_Discriminants): Moved from exp_ch6.adb
+ (Needs_Result_Accessibility_Level): Moved from exp_ch6.adb
+ * sem_res.adb (Valid_Conversion): Add condition for the special
+ case where the operand of a conversion is the result of an
+ anonymous access type
+
+2020-06-10 Ghjuvan Lacambre <lacambre@adacore.com>
+
+ * par-ch6.adb (P_Subprogram): Reject duplicate subprogram
+ declarations.
+
+2020-06-10 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch6.adb (Insert_Post_Call_Actions): Deal with the context
+ of an if-expression and with a call written in prefixed notation.
+
+2020-06-10 Gary Dismukes <dismukes@adacore.com>
+
+ * einfo.ads: Minor reformatting of a comment.
+ * exp_aggr.adb: Minor reformatting and a grammar correction.
+ * exp_attr.adb: Minor reformatting and a typo fix in some
+ comments.
+ * sem_ch12.adb: Fix three typos in comments.
+
2020-06-09 Javier Miranda <miranda@adacore.com>
* sem_ch6.adb (New_Overloaded_Entity): Add missing call to check
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index b9da4b9fa37..71085837dd3 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,13 @@
+2020-06-10 Martin Liska <mliska@suse.cz>
+
+ PR tree-optimization/92860
+ * c-attribs.c (handle_optimize_attribute):
+ Save global options and compare it after parsing of function
+ attribute.
+ * c-pragma.c (opt_stack::saved_global_options): New field.
+ (handle_pragma_push_options): Save global_options.
+ (handle_pragma_pop_options): Compare them after pop.
+
2020-06-09 Jakub Jelinek <jakub@redhat.com>
PR c/95580
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 0fc815a81b0..c6448360f93 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,18 @@
+2020-06-10 Iain Sandoe <iain@sandoe.co.uk>
+
+ PR c++/95440
+ * call.c (add_candidates): Use vec_safe_length() for
+ testing the arguments list.
+ (build_new_method_call_1): Use vec_safe_is_empty() when
+ checking for an empty args list.
+
+2020-06-10 Marek Polacek <polacek@redhat.com>
+
+ PR c++/95562
+ * parser.c (cp_parser_direct_declarator): Clear
+ CP_PARSER_FLAGS_DELAY_NOEXCEPT if the declarator kind is not
+ cdk_id.
+
2020-06-09 Iain Sandoe <iain@sandoe.co.uk>
PR c++/95137
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7a33e89b5fa..83751a117d9 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,62 @@
+2020-06-10 Alexandre Oliva <oliva@adacore.com>
+
+ PR rtl-optimization/51447
+ * gcc.c-torture/execute/pr51447.c (main): Preserve call-saved
+ register.
+
+2020-06-10 Iain Sandoe <iain@sandoe.co.uk>
+
+ PR c++/95440
+ * g++.dg/coroutines/pr95440.C: New test.
+
+2020-06-10 Martin Sebor <msebor@redhat.com>
+
+ PR middle-end/95353
+ PR middle-end/92939
+ * c-c++-common/Wstringop-truncation.c: Remove an xfail.
+ * gcc.dg/Warray-bounds-46.c: Remove a bogus warning.
+ * gcc.dg/Wrestrict-9.c: Disable -Wstringop-overflow.
+ * gcc.dg/Wstringop-overflow-12.c: Remove xfails.
+ * gcc.dg/Wstringop-overflow-28.c: Same.
+ * gcc.dg/builtin-stringop-chk-4.c: Same.
+ * gcc.dg/builtin-stringop-chk-5.c: Same.
+ * gcc.dg/builtin-stringop-chk-8.c: Same.
+ * gcc.dg/strlenopt-74.c: Avoid buffer overflow.
+ * gcc.dg/Wstringop-overflow-34.c: New test.
+ * gcc.dg/Wstringop-overflow-35.c: New test.
+ * gcc.dg/Wstringop-overflow-36.c: New test.
+ * gcc.dg/Wstringop-overflow-37.c: New test.
+ * gcc.dg/Wstringop-overflow-38.c: New test.
+
+2020-06-10 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/95576
+ * g++.dg/vect/pr95576.cc: New testcase.
+
+2020-06-10 Haijian Zhang <z.zhanghaijian@huawei.com>
+
+ PR target/95523
+ * gcc.target/aarch64/sve/pr95523.c: New test.
+
+2020-06-10 Marek Polacek <polacek@redhat.com>
+
+ PR c++/95562
+ * g++.dg/cpp0x/noexcept60.C: New test.
+
+2020-06-10 Aldy Hernandez <aldyh@redhat.com>
+
+ * gcc.dg/tree-ssa/ssa-dse-30.c: Adjust test for folding of
+ memmove happening later.
+
+2020-06-10 Tamar Christina <tamar.christina@arm.com>
+
+ * gcc.target/aarch64/asimd-mull-elem.c: New test.
+
+2020-06-10 Qian Chao <qianchao9@huawei.com>
+
+ PR tree-optimization/95569
+ * gcc.dg/tm/pr95569.c: New test.
+
2020-06-09 Michael Meissner <meissner@linux.ibm.com>
* gcc.target/powerpc/clone3.c: New test for using 'future' with
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index b068f4f0451..6f8e2f2e186 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,52 @@
+2020-06-10 Patrick Palka <ppalka@redhat.com>
+
+ PR libstdc++/95578
+ * include/bits/ranges_algo.h (__lexicographical_compare_fn):
+ Also check that the iterator and sentinel have the same type before
+ applying the unwrapping optimization for __normal_iterator.
+ Split the check into two, one for the first iterator/sentinel
+ pair and another for second iterator/sentinel pair. Remove uses
+ of __niter_base, and remove uses of std::move on a
+ __normal_iterator.
+ * include/bits/ranges_algobase.h (__equal_fn): Likewise.
+ (__copy_or_move): Likewise. Perform similar adjustments for
+ the reverse_iterator and move_iterator optimizations. Inline
+ the checks into the if-constexprs, and use using-declarations to
+ make them less visually noisy. Remove uses of __niter_wrap.
+ (__copy_or_move_backward): Likewise.
+ * testsuite/25_algorithms/copy/95578.cc: New test.
+ * testsuite/25_algorithms/copy_backward/95578.cc: New test.
+ * testsuite/25_algorithms/equal/95578.cc: New test.
+ * testsuite/25_algorithms/lexicographical_compare/95578.cc: New test.
+ * testsuite/25_algorithms/move/95578.cc: New test.
+ * testsuite/25_algorithms/move_backward/95578.cc: New test.
+
+2020-06-10 François Dumont <fdumont@gcc.gnu.org>
+ Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/deque.tcc (__lex_cmp_dit): New.
+ (__lexicographical_compare_aux1): Define overloads for deque
+ iterators.
+ * include/bits/stl_algobase.h (__lexicographical_compare::__3way):
+ New static member function.
+ (__lexicographical_compare<true>::__3way): Likewise.
+ (__lexicographical_compare<true>::__lc): Use __3way.
+ (__lexicographical_compare_aux): Rename to
+ __lexicographical_compare_aux1 and declare overloads for deque
+ iterators.
+ (__lexicographical_compare_aux): Define new forwarding function
+ that calls __lexicographical_compare_aux1 and declare new overloads
+ for safe iterators.
+ (lexicographical_compare): Do not use __niter_base on
+ parameters.
+ * include/debug/safe_iterator.tcc
+ (__lexicographical_compare_aux): Define overloads for safe
+ iterators.
+ * testsuite/25_algorithms/lexicographical_compare/1.cc: Add
+ checks with random access iterators.
+ * testsuite/25_algorithms/lexicographical_compare/deque_iterators/1.cc:
+ New test.
+
2020-06-09 Jonathan Wakely <jwakely@redhat.com>
* include/bits/stl_iterator.h (move_iterator::operator=): Define.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump.
@ 2020-06-11 10:04 Martin Liska
0 siblings, 0 replies; 4+ messages in thread
From: Martin Liska @ 2020-06-11 10:04 UTC (permalink / raw)
To: gcc-cvs, libstdc++-cvs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="us-ascii", Size: 19145 bytes --]
https://gcc.gnu.org/g:2c455ae06c0b46a6a27be3a6bd869384758e4707
commit 2c455ae06c0b46a6a27be3a6bd869384758e4707
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Tue Jun 9 00:16:47 2020 +0000
Daily bump.
Diff:
---
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 <jason@redhat.com>
+
+ * configure.ac: Check AX_CXX_COMPILE_STDCXX if not bootstrapping.
+ * configure: Regenerate.
+
2020-06-06 Max Filippov <jcmvbkbc@gmail.com>
* 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 <tobias@codesourcery.com>
+
+ 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 <jason@redhat.com>
+
+ * aclocal.m4: Remove ax_cxx_compile_stdcxx.m4.
+ * configure.ac: Remove AX_CXX_COMPILE_STDCXX.
+ * configure: Regenerate.
+
+2020-06-08 Martin Sebor <msebor@redhat.com>
+
+ * postreload.c (reload_cse_simplify_operands): Clear first array element
+ before using it. Assert a precondition.
+
+2020-06-08 Jakub Jelinek <jakub@redhat.com>
+
+ 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 <tamar.christina@arm.com>
+
+ * config/aarch64/aarch64.c (aarch64_layout_frame): Expand comments.
+
+2020-06-08 Christophe Lyon <christophe.lyon@linaro.org>
+
+ * config/arm/predicates.md (vfp_register_operand): Use VFP_HI_REGS
+ instead of VFP_REGS.
+
+2020-06-08 Martin Liska <mliska@suse.cz>
+
+ * config/rs6000/vector.md: Replace FAIL with gcc_unreachable
+ in all vcond* patterns.
+
+2020-06-08 Christophe Lyon <christophe.lyon@linaro.org>
+
+ * common/config/arm/arm-common.c (INCLUDE_ALGORITHM):
+ Define. No longer include <algorithm>.
+
2020-06-07 Roger Sayle <roger@nextmovesoftware.com>
* 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 <baird@adacore.com>
+
+ * 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 <charlet@adacore.com>
+
+ * 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 <charlet@adacore.com>
+
+ * 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 <squirek@adacore.com>
+
+ * 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 <trojanek@adacore.com>
+
+ * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Port
+ changes in frontend expander.
+
+2020-06-08 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_ch13.adb (All_Membership_Choices_Static): Fix style.
+
+2020-06-08 Steve Baird <baird@adacore.com>
+
+ * 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 <charlet@adacore.com>
+
+ * 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 <charlet@adacore.com>
+
+ * 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 <ebotcazou@adacore.com>
+
+ * 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 <baird@adacore.com>
+
+ * 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 <kenner@adacore.com>
+
+ * 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 <dismukes@adacore.com>
+
+ * 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 <trojanek@adacore.com>
+
+ * snames.ads-tmpl (Name_SPARK): Restore after being deleted.
+
+2020-06-08 Arnaud Charlet <charlet@adacore.com>
+
+ * 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 <charlet@adacore.com>
+
+ * 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 <charlet@adacore.com>
+
+ * libgnat/a-textio.ads (File_Mode): Fix typo in comment.
+
+2020-06-08 Eric Botcazou <ebotcazou@adacore.com>
+
+ * 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 <gil@adacore.com>
+
+ * 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 <charlet@adacore.com>
+
+ * 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 <miranda@adacore.com>
+
+ * 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 <trojanek@adacore.com>
+
+ * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Apply
+ standard expansion to attributes First and Last.
+
+2020-06-08 Piotr Trojanek <trojanek@adacore.com>
+
+ * 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 <charlet@adacore.com>
+
+ * 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 <dross@adacore.com>
+
+ * 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 <duff@adacore.com>
+
+ * 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 <schonberg@adacore.com>
+
+ * 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 <anisimko@adacore.com>
+
+ * socket.c (__gnat_minus_500ms): Remove
+ IsWindowsVersionOrGreater from condition.
+
+2020-06-08 Claire Dross <dross@adacore.com>
+
+ * 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 <charlet@adacore.com>
+
+ * 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 <charlet@adacore.com>
* 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 <ibuclaw@gdcproject.org>
+
+ PR d/95573
+ * dmd/MERGE: Merge upstream dmd 5041e56f1.
+
+2020-06-08 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * 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 <ibuclaw@gdcproject.org>
* 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 <anlauf@gmx.de>
+
+ PR fortran/95195
+ * gfortran.dg/namelist_97.f90: Adjust testcase.
+
+2020-06-08 Mark Eggleston <markeggleston@gcc.gnu.org>
+
+ PR fortran/92993
+ * gfortran.dg/pr92993.f90: New test.
+
+2020-06-08 Jakub Jelinek <jakub@redhat.com>
+
+ PR target/95528
+ * g++.dg/opt/pr95528.C: New test.
+
+2020-06-08 Jakub Jelinek <jakub@redhat.com>
+
+ 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 <roger@nextmovesoftware.com>
* 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 <anlauf@gmx.de>
+
+ PR fortran/95091
+ * io/transfer.c (finalize_transfer): Fix type in error message.
+
2020-06-01 Uroš Bizjak <ubizjak@gmail.com>
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 <tobias@codesourcery.com>
+
+ PR lto/94848
+ PR middle-end/95551
+ * testsuite/libgomp.fortran/target-var.f90: New test.
+
2020-06-05 Thomas Schwinge <thomas@codesourcery.com>
Julian Brown <julian@codesourcery.com>
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 <jwakely@redhat.com>
+
+ * 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 <jwakely@redhat.com>
+
+ * 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 <jwakely@redhat.com>
* include/bits/iterator_concepts.h (__detail::__ptr, __detail::__ref)
^ permalink raw reply [flat|nested] 4+ messages in thread
* [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump.
@ 2020-06-11 9:54 Martin Liska
0 siblings, 0 replies; 4+ messages in thread
From: Martin Liska @ 2020-06-11 9:54 UTC (permalink / raw)
To: gcc-cvs, libstdc++-cvs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="us-ascii", Size: 39379 bytes --]
https://gcc.gnu.org/g:3add342502b9506b6f1a0f70c156a97a7b38ef4d
commit 3add342502b9506b6f1a0f70c156a97a7b38ef4d
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Fri Jun 5 00:16:30 2020 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 192 ++++++++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 303 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/c-family/ChangeLog | 7 ++
gcc/cp/ChangeLog | 30 +++++
gcc/d/ChangeLog | 67 +++++++++++
gcc/fortran/ChangeLog | 7 ++
gcc/testsuite/ChangeLog | 141 ++++++++++++++++++++++
libgcc/ChangeLog | 9 ++
libgomp/ChangeLog | 94 +++++++++++++++
libstdc++-v3/ChangeLog | 55 +++++++++
11 files changed, 906 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index edbcaf2bc4d..9d5fce30b40 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,195 @@
+2020-06-04 Martin Sebor <msebor@redhat.com>
+
+ PR middle-end/10138
+ PR middle-end/95136
+ * attribs.c (init_attr_rdwr_indices): Move function here.
+ * attribs.h (rdwr_access_hash, rdwr_map): Define.
+ (attr_access): Add 'none'.
+ (init_attr_rdwr_indices): Declared function.
+ * builtins.c (warn_for_access)): New function.
+ (check_access): Call it.
+ * builtins.h (checK-access): Add an optional argument.
+ * calls.c (rdwr_access_hash, rdwr_map): Move to attribs.h.
+ (init_attr_rdwr_indices): Declare extern.
+ (append_attrname): Handle attr_access::none.
+ (maybe_warn_rdwr_sizes): Same.
+ (initialize_argument_information): Update comments.
+ * doc/extend.texi (attribute access): Document 'none'.
+ * tree-ssa-uninit.c (struct wlimits): New.
+ (maybe_warn_operand): New function.
+ (maybe_warn_pass_by_reference): Same.
+ (warn_uninitialized_vars): Refactor code into maybe_warn_operand.
+ Also call for function calls.
+ (pass_late_warn_uninitialized::execute): Adjust comments.
+ (execute_early_warn_uninitialized): Same.
+
+2020-06-04 Vladimir Makarov <vmakarov@redhat.com>
+
+ PR middle-end/95464
+ * lra.c (lra_emit_move): Add processing STRICT_LOW_PART.
+ * lra-constraints.c (match_reload): Use STRICT_LOW_PART in output
+ reload if the original insn has it too.
+
+2020-06-04 Richard Biener <rguenther@suse.de>
+
+ * config/aarch64/aarch64.c (aarch64_gimplify_va_arg_expr):
+ Ensure that tmp_ha is marked TREE_ADDRESSABLE.
+
+2020-06-04 Martin Jambor <mjambor@suse.cz>
+
+ PR ipa/95113
+ * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Move non-call
+ exceptions check to...
+ * tree-eh.c (stmt_unremovable_because_of_non_call_eh_p): ...this
+ new function.
+ * tree-eh.h (stmt_unremovable_because_of_non_call_eh_p): Declare it.
+ * ipa-sra.c (isra_track_scalar_value_uses): Use it. New parameter
+ fun.
+
+2020-06-04 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
+
+ PR target/94735
+ * config/arm/predicates.md (mve_scatter_memory): Define to
+ match (mem (reg)) for scatter store memory.
+ * config/arm/mve.md (mve_vstrbq_scatter_offset_<supf><mode>): Modify
+ define_insn to define_expand.
+ (mve_vstrbq_scatter_offset_p_<supf><mode>): Likewise.
+ (mve_vstrhq_scatter_offset_<supf><mode>): Likewise.
+ (mve_vstrhq_scatter_shifted_offset_p_<supf><mode>): Likewise.
+ (mve_vstrhq_scatter_shifted_offset_<supf><mode>): Likewise.
+ (mve_vstrdq_scatter_offset_p_<supf>v2di): Likewise.
+ (mve_vstrdq_scatter_offset_<supf>v2di): Likewise.
+ (mve_vstrdq_scatter_shifted_offset_p_<supf>v2di): Likewise.
+ (mve_vstrdq_scatter_shifted_offset_<supf>v2di): Likewise.
+ (mve_vstrhq_scatter_offset_fv8hf): Likewise.
+ (mve_vstrhq_scatter_offset_p_fv8hf): Likewise.
+ (mve_vstrhq_scatter_shifted_offset_fv8hf): Likewise.
+ (mve_vstrhq_scatter_shifted_offset_p_fv8hf): Likewise.
+ (mve_vstrwq_scatter_offset_fv4sf): Likewise.
+ (mve_vstrwq_scatter_offset_p_fv4sf): Likewise.
+ (mve_vstrwq_scatter_offset_p_<supf>v4si): Likewise.
+ (mve_vstrwq_scatter_offset_<supf>v4si): Likewise.
+ (mve_vstrwq_scatter_shifted_offset_fv4sf): Likewise.
+ (mve_vstrwq_scatter_shifted_offset_p_fv4sf): Likewise.
+ (mve_vstrwq_scatter_shifted_offset_p_<supf>v4si): Likewise.
+ (mve_vstrwq_scatter_shifted_offset_<supf>v4si): Likewise.
+ (mve_vstrbq_scatter_offset_<supf><mode>_insn): Define insn for scatter
+ stores.
+ (mve_vstrbq_scatter_offset_p_<supf><mode>_insn): Likewise.
+ (mve_vstrhq_scatter_offset_<supf><mode>_insn): Likewise.
+ (mve_vstrhq_scatter_shifted_offset_p_<supf><mode>_insn): Likewise.
+ (mve_vstrhq_scatter_shifted_offset_<supf><mode>_insn): Likewise.
+ (mve_vstrdq_scatter_offset_p_<supf>v2di_insn): Likewise.
+ (mve_vstrdq_scatter_offset_<supf>v2di_insn): Likewise.
+ (mve_vstrdq_scatter_shifted_offset_p_<supf>v2di_insn): Likewise.
+ (mve_vstrdq_scatter_shifted_offset_<supf>v2di_insn): Likewise.
+ (mve_vstrhq_scatter_offset_fv8hf_insn): Likewise.
+ (mve_vstrhq_scatter_offset_p_fv8hf_insn): Likewise.
+ (mve_vstrhq_scatter_shifted_offset_fv8hf_insn): Likewise.
+ (mve_vstrhq_scatter_shifted_offset_p_fv8hf_insn): Likewise.
+ (mve_vstrwq_scatter_offset_fv4sf_insn): Likewise.
+ (mve_vstrwq_scatter_offset_p_fv4sf_insn): Likewise.
+ (mve_vstrwq_scatter_offset_p_<supf>v4si_insn): Likewise.
+ (mve_vstrwq_scatter_offset_<supf>v4si_insn): Likewise.
+ (mve_vstrwq_scatter_shifted_offset_fv4sf_insn): Likewise.
+ (mve_vstrwq_scatter_shifted_offset_p_fv4sf_insn): Likewise.
+ (mve_vstrwq_scatter_shifted_offset_p_<supf>v4si_insn): Likewise.
+ (mve_vstrwq_scatter_shifted_offset_<supf>v4si_insn): Likewise.
+
+2020-06-04 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
+
+ * config/arm/arm_mve.h (__arm_vbicq_n_u16): Correct the intrinsic
+ arguments.
+ (__arm_vbicq_n_s16): Likewise.
+ (__arm_vbicq_n_u32): Likewise.
+ (__arm_vbicq_n_s32): Likewise.
+ (__arm_vbicq): Modify polymorphic variant.
+
+2020-06-04 Richard Biener <rguenther@suse.de>
+
+ * tree-vectorizer.h (vect_get_slp_vect_def): Declare.
+ * tree-vect-loop.c (vect_create_epilog_for_reduction): Use it.
+ * tree-vect-stmts.c (vect_transform_stmt): Likewise.
+ (vect_is_simple_use): Use SLP_TREE_REPRESENTATIVE.
+ * tree-vect-slp.c (vect_get_slp_vect_defs): Fold into single
+ use ...
+ (vect_get_slp_defs): ... here.
+ (vect_get_slp_vect_def): New function.
+
+2020-06-04 Richard Biener <rguenther@suse.de>
+
+ * tree-vectorizer.h (_slp_tree::lanes): New.
+ (SLP_TREE_LANES): Likewise.
+ * tree-vect-loop.c (vect_create_epilog_for_reduction): Use it.
+ (vectorizable_reduction): Likewise.
+ (vect_transform_cycle_phi): Likewise.
+ (vectorizable_induction): Likewise.
+ (vectorizable_live_operation): Likewise.
+ * tree-vect-slp.c (_slp_tree::_slp_tree): Initialize lanes.
+ (vect_create_new_slp_node): Likewise.
+ (slp_copy_subtree): Copy it.
+ (vect_optimize_slp): Use it.
+ (vect_slp_analyze_node_operations_1): Likewise.
+ (vect_slp_convert_to_external): Likewise.
+ (vect_bb_vectorization_profitable_p): Likewise.
+ * tree-vect-stmts.c (vectorizable_load): Likewise.
+ (get_vectype_for_scalar_type): Likewise.
+
+2020-06-04 Richard Biener <rguenther@suse.de>
+
+ * tree-vect-slp.c (vect_update_all_shared_vectypes): Remove.
+ (vect_build_slp_tree_2): Simplify building all external op
+ nodes from scalars.
+ (vect_slp_analyze_node_operations): Remove push/pop of
+ STMT_VINFO_DEF_TYPE.
+ (vect_schedule_slp_instance): Likewise.
+ * tree-vect-stmts.c (ect_check_store_rhs): Pass in the
+ stmt_info, use the vect_is_simple_use overload combining
+ SLP and stmt_info analysis.
+ (vect_is_simple_cond): Likewise.
+ (vectorizable_store): Adjust.
+ (vectorizable_condition): Likewise.
+ (vect_is_simple_use): Fully handle invariant SLP nodes
+ here. Amend stmt_info operand extraction with COND_EXPR
+ and masked stores.
+ * tree-vect-loop.c (vectorizable_reduction): Deal with
+ COND_EXPR representation ugliness.
+
+2020-06-04 Hongtao Liu <hongtao.liu@inte.com>
+
+ PR target/95254
+ * config/i386/sse.md (*vcvtps2ph_store<merge_mask_name>):
+ Refine from *vcvtps2ph_store<mask_name>.
+ (vcvtps2ph256<mask_name>): Refine constraint from vm to v.
+ (<mask_codefor>avx512f_vcvtps2ph512<mask_name>): Ditto.
+ (*vcvtps2ph256<merge_mask_name>): New define_insn.
+ (*avx512f_vcvtps2ph512<merge_mask_name>): Ditto.
+ * config/i386/subst.md (merge_mask): New define_subst.
+ (merge_mask_name): New define_subst_attr.
+ (merge_mask_operand3): Ditto.
+
+2020-06-04 Hao Liu <hliu@os.amperecomputing.com>
+
+ PR tree-optimization/89430
+ * tree-ssa-phiopt.c
+ (struct name_to_bb): Rename to ref_to_bb; add a new field exp;
+ remove ssa_name_ver, store, offset fields.
+ (struct ssa_names_hasher): Rename to refs_hasher; update functions.
+ (class nontrapping_dom_walker): Rename m_seen_ssa_names to m_seen_refs.
+ (nontrapping_dom_walker::add_or_mark_expr): Extend to support ARRAY_REFs
+ and COMPONENT_REFs.
+
+2020-06-04 Andreas Schwab <schwab@suse.de>
+
+ PR target/95154
+ * config/ia64/ia64.h (ASM_OUTPUT_FDESC): Call assemble_external.
+
+2020-06-04 Hongtao.liu <hongtao.liu@intel.com>
+
+ * config/i386/sse.md (pmov_dst_3_lower): New mode attribute.
+ (trunc<mode><pmov_dst_3_lower>2): Refine from
+ trunc<mode><pmov_dst_3>2.
+
2020-06-03 Vitor Guidi <vitor.guidi@usp.br>
* match.pd (tanh/sinh -> 1/cosh): New simplification.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 6c883c98853..de253bc14b7 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200604
+20200605
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6fc01445b8b..fed3fe2fbaf 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,306 @@
+2020-06-04 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/i-c.ads (long_long, unsigned_long_long): New
+ definitions.
+
+2020-06-04 Arnaud Charlet <charlet@adacore.com>
+
+ * Makefile.rtl: add a-tasini object
+ * impunit.adb (Non_Imp_File_Names_95): Add s-tasini.
+ * libgnarl/a-tasini.ads, libgnarl/a-tasini.adb: New files.
+ * libgnarl/s-taskin.ads (Global_Initialization_Handler): New.
+ * libgnarl/s-tassta.adb (Task_Wrapper): Call
+ Global_Initialization_Handler if non null.
+
+2020-06-04 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch12.adb (Build_Suprogram_Body_Wrapper,
+ Build_Subprogram_Decl_Wrapper): New suprograms, to create the
+ wrappers needed to implement contracts on formsl subprograms at
+ the point of instantiation.
+ (Build_Subprogram_Wrappers): New subprogram within
+ Analyze_Associations, calls the above when the formal subprogram
+ has contracts, and expansion is enabled.
+ (Instantiate_Formal_Subprogram): If the actual is not an entity,
+ such as a function attribute, or a synchronized operation,
+ create a function with an internal name and call it within the
+ wrapper.
+ (Analyze_Generic_Formal_Part): Analyze contracts at the end of
+ the list of formal declarations.
+ * sem_prag.adb (Analyze_Pre_Post_Condtion): In Ada_2020 the
+ aspect and corresponding pragma can appear on a formal
+ subprogram declaration.
+ (Find_Related_Declaration_Or_Body): Ditto.
+
+2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch7.adb (Make_Final_Call): Set the type of the object, if
+ it is unanalyzed, before calling Convert_View on it.
+
+2020-06-04 Arnaud Charlet <charlet@adacore.com>
+
+ * adabkend.adb, back_end.ads, opt.ads, sem_ch6.adb: Get rid of
+ Disable_FE_Inline_Always.
+
+2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch7.adb (Make_Final_Call): Add missing guard.
+ * sem_ch3.adb (Copy_And_Build): Adjust recursive call for
+ private types.
+ (Build_Derived_Private_Type): Deal with underlying full views.
+
+2020-06-04 Bob Duff <duff@adacore.com>
+
+ * libgnat/a-stobbu.adb, libgnat/a-stobbu.ads,
+ libgnat/a-stobfi.adb, libgnat/a-stobfi.ads,
+ libgnat/a-stoubu.adb, libgnat/a-stoubu.ads,
+ libgnat/a-stoufi.adb, libgnat/a-stoufi.ads,
+ libgnat/a-stoufo.adb, libgnat/a-stoufo.ads,
+ libgnat/a-stouut.adb, libgnat/a-stouut.ads,
+ libgnat/a-stteou.ads, libgnat/s-putaim.adb,
+ libgnat/s-putaim.ads, libgnat/s-putima.adb, libgnat/s-putima.ads
+ (Ada.Strings.Text_Output and children, System.Put_Images): New
+ runtime support for Put_Image.
+ * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Add
+ exp_put_image.o.
+ * exp_put_image.adb, exp_put_image.ads: New compiler package
+ that generates calls to runtime routines that implement
+ Put_Image.
+ * Makefile.rtl: Add object files for Ada.Strings.Text_Output and
+ children and System.Put_Images.
+ * aspects.adb: Simplify initialization of Canonical_Aspect.
+ * aspects.ads: Improve documentation. Add Aspect_Put_Image.
+ * exp_attr.adb: Add support for Put_Image, by calling routines
+ in Exp_Put_Image.
+ * sem_util.adb (Is_Predefined_Dispatching_Operation): Return
+ True for new TSS_Put_Image operation.
+ * exp_ch3.adb: For tagged types, build a dispatching
+ TSS_Put_Image operation by calling routines in Exp_Put_Image.
+ * exp_disp.adb, exp_disp.ads: Make TSS_Put_Image be number 10,
+ adjusting other operations' numbers after 10. We choose 10
+ because that's the last number shared by all runtimes.
+ * exp_strm.adb: Use named notation as appropriate.
+ * exp_cg.adb, exp_tss.ads: Add TSS_Put_Image.
+ * libgnat/a-tags.ads: Modify Max_Predef_Prims for the new
+ TSS_Put_Image.
+ * impunit.adb: Add new runtime packages.
+ * rtsfind.adb, rtsfind.ads: Add support for
+ Ada.Strings.Text_Output, Ada.Strings.Text_Output.Utils, and
+ System.Put_Images.
+ * sem_attr.adb: Error checking for Put_Image calls.
+ * sem_ch12.adb (Valid_Default_Attribute): Support for passing
+ Put_Image as a generic formal parameter.
+ * sem_ch13.adb: Analysis of Put_Image aspect. Turn it into a
+ Put_Image attribute definition clause.
+ * sem_ch8.adb (Analyze_Subprogram_Renaming): Support for
+ renaming of the Put_Image attribute.
+ * snames.adb-tmpl: Fix comments.
+ * snames.ads-tmpl (Name_Put_Image): New Name_Id.
+ (Attribute_Put_Image): New Attribute_Id.
+ * tbuild.adb, tbuild.ads (Make_Increment): New utility.
+
+2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_attr.adb (xpand_N_Attribute_Reference) <Input>: Call
+ Find_Inherited_TSS to look up the Stream_Read TSS.
+ <Output>: Likewise for the Stream_Write TSS.
+ * exp_ch7.adb (Make_Final_Call): Call Underlying_Type on
+ private types to account for underlying full views.
+ * exp_strm.ads (Build_Record_Or_Elementary_Input_Function):
+ Remove Use_Underlying parameter.
+ * exp_strm.adb (Build_Record_Or_Elementary_Input_Function):
+ Likewise and adjust accordingly.
+ * exp_tss.adb (Find_Inherited_TSS): Deal with full views.
+ Call Find_Inherited_TSS recursively on the parent type if
+ the base type is a derived type.
+ * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Take
+ into account underlying full views for derived types.
+ * sem_ch3.adb (Copy_And_Build): Look up the underlying full
+ view only for a completion. Be prepared for private types.
+ (Build_Derived_Private_Type): Build an underlying full view
+ for a completion in the general case too.
+
+2020-06-04 Arnaud Charlet <charlet@adacore.com>
+
+ * back_end.adb, opt.ads, par-prag.adb, sem_ch5.adb,
+ sem_prag.adb, sinfo.adb, sinfo.ads, snames.ads-tmpl,
+ doc/gnat_rm/implementation_defined_pragmas.rst: Remove
+ experimental support for OpenACC.
+ * gcc-interface/misc.c, gcc-interface/trans.c,
+ gcc-interface/lang.opt: Ditto.
+ * gnat_rm.texi: Regenerate.
+
+2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * checks.adb (Generate_Discriminant_Check): Remove obsolete
+ comment.
+
+2020-06-04 Gary Dismukes <dismukes@adacore.com>
+
+ * par-ch3.adb (P_Identifier_Declarations): Add parsing of object
+ renamings that have neither a subtype_mark nor an
+ access_definition. Issue an error if the version is earlier than
+ Ada_2020, and suggest using -gnatX.
+ * sem_ch8.adb (Analyze_Object_Renaming): Handle
+ object_renaming_declarations that don't have an explicit
+ subtype. Errors are issued when the name is inappropriate or
+ ambiguous, and otherwise the Etype of the renaming entity is set
+ from the Etype of the renamed object.
+ * sem_util.adb (Has_Null_Exclusion): Allow for the case of no
+ subtype given in an N_Object_Renaming_Declaration.
+ * sprint.adb (Sprint_Node_Actual): Handle printing of
+ N_Object_Renaming_Declarations that are specified without an
+ explicit subtype.
+
+2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sinfo.ads (N_Delta_Aggregate): Document Etype field.
+ (N_Case_Expression): Likewise.
+ (Is_Syntactic_Field) <N_Quantified_Expression>: Adjust.
+ <N_Case_Expression>: Likewise.
+
+2020-06-04 Arnaud Charlet <charlet@adacore.com>
+
+ * adaint.c: Avoid redefining IS_DIR_SEPARATOR macro.
+
+2020-06-04 Arnaud Charlet <charlet@adacore.com>
+
+ * sem.adb (Walk_Library_Items): Defer processing of main spec
+ after all other specs and before processing bodies.
+
+2020-06-04 Arnaud Charlet <charlet@adacore.com>
+
+ * bindgen.adb (Gen_Adafinal): Adafinal is convention Ada, not C.
+
+2020-06-04 Ed Schonberg <schonberg@adacore.com>
+
+ * sinput.adb (Sloc_Range): Ignore node in the tree if it appears
+ in a unit different from that of the node whose Sloc range we
+ are computing. This is necessary when computing the source range
+ of a subprogram body whose declaration includes a pre- or
+ postcondition, because declaration and body may appear in
+ different units, and the expanded code for the body includes
+ copies of the contract code.
+
+2020-06-04 Alexandre Oliva <oliva@adacore.com>
+
+ * switch.adb (Is_Internal_GCC_Switch): Recognize dumpdir and
+ dumpbase-ext. Mark auxbase and auxbase-strip for removal.
+
+2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_attr.adb (Resolve_Attribute) <Access>: Do not generate
+ the secondary message about a missing pragma if the convention
+ of the prefix is Intrinsic.
+ * sem_ch12.adb (Instantiate_Formal_Subprogram): Only set the
+ Convention and the Is_Inlined flag on a null procedure.
+
+2020-06-04 Justin Squirek <squirek@adacore.com>
+
+ * sem_ch6.adb (Check_Return_Obj_Accessibility): Change to
+ Check_Return_Construct_Accessibility to better reflect its
+ purpose. Add loop to properly obtain the object declaration
+ from an expanded extended return statement and add calls to get
+ the original node for associated values. Also, avoid checks when
+ the return statement being examined comes from an internally
+ generated function.
+
+2020-06-04 Dmitriy Anisimkov <anisimko@adacore.com>
+
+ * adaint.c (__gnat_is_absolute_path): Check for directory
+ separator after drive and colon.
+ (IS_DIR_SEPARATOR): Define new inline substitution.
+
+2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * checks.ads: Update documentation about range checks and fix
+ minor other things.
+
+2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch3.adb (Array_Type_Declaration): Apply special handling
+ of private index types to generic packages and restrict it to
+ index types defined in the current scope.
+
+2020-06-04 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/a-exextr.adb (Global_Unhandled_Action): New global
+ variable.
+ (Notify_Exception): Take into account Global_Unhandled_Action
+ and fix latent race condition.
+ (Exception_Action): Mark Favor_Top_Level so that variables can
+ be atomic.
+ (Global_Action): Mark atomic to remove the need for a lock.
+ * libgnat/g-excact.ads, libgnat/g-excact.adb
+ (Register_Global_Unhandled_Action): New procedure.
+ (Register_Global_Action): Remove lock.
+ * libgnat/s-stalib.ads (Raise_Action): Mark Favor_Top_Level to
+ be compatible with Exception_Action.
+ * sem_warn.adb (Warn_On_Unreferenced_Entity): Fix logic wrt
+ Volatile entities and entities with an address clause: the code
+ did not match the comment/intent.
+
+2020-06-04 Arnaud Charlet <charlet@adacore.com>
+
+ * comperr.adb (Compiler_Abort): Update URL and bug report
+ instructions.
+
+2020-06-04 Steve Baird <baird@adacore.com>
+
+ * libgnat/s-imgrea.ads: Declare a named number
+ Max_Real_Image_Length with value 5200. Provide a comment
+ explaining why this value was chosen.
+ * libgnat/s-imgrea.adb (Set_Image_Real): Increase the upper
+ bound of the local String variable Digs to
+ Max_Real_Image_Length.
+ * libgnat/a-tiflau.adb (Put): Increase the upper bound of the
+ local String variable Buf to Max_Real_Image_Length.
+ (Puts): Increase the upper bound of the local String variable
+ Buf to Max_Real_Image_Length.
+
+2020-06-04 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnarl/a-dynpri.adb, libgnarl/a-taside.adb,
+ libgnarl/a-taster.adb, libgnarl/s-interr.adb,
+ libgnarl/s-interr__sigaction.adb, libgnarl/s-taasde.adb,
+ libgnarl/s-taenca.adb, libgnarl/s-taenca.ads,
+ libgnarl/s-taprop.ads, libgnarl/s-taprop__hpux-dce.adb,
+ libgnarl/s-taprop__linux.adb, libgnarl/s-taprop__mingw.adb,
+ libgnarl/s-taprop__posix.adb, libgnarl/s-taprop__qnx.adb,
+ libgnarl/s-taprop__solaris.adb, libgnarl/s-taprop__vxworks.adb,
+ libgnarl/s-tarest.adb, libgnarl/s-tasini.adb,
+ libgnarl/s-tasque.adb, libgnarl/s-tasque.ads,
+ libgnarl/s-tasren.adb, libgnarl/s-tasren.ads,
+ libgnarl/s-tassta.adb, libgnarl/s-tasuti.adb,
+ libgnarl/s-tasuti.ads, libgnarl/s-tpoben.adb,
+ libgnarl/s-tpobop.adb, libgnarl/s-tpopmo.adb,
+ libgnarl/s-tposen.adb, libgnat/s-parame.ads,
+ libgnat/s-parame__ae653.ads, libgnat/s-parame__hpux.ads,
+ libgnat/s-parame__vxworks.ads: Remove references to Single_Lock
+ and Global_Lock.
+
+2020-06-04 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/s-atopar.adb, libgnat/s-atopex.adb: Use Object_Size
+ instead of Size, otherwise many derived types will be rejected
+ (e.g. a type with a 14 bits 'Size and a 16 bits 'Object_Size).
+
+2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch12.adb (Copy_Generic_Node): Add special handling for a
+ conversion between access types.
+
+2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch12.adb (Check_Generic_Actuals): Also restore the proper
+ views of the actuals of the parent instances if the formals are
+ used as actuals of the children.
+ (Instantiate_Type): Add comment.
+
+2020-06-04 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch12.adb: Minor editorial fixes.
+
2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch12.adb (Denotes_Previous_Actual): Delete.
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index a513fdc4958..4344fb8ab4f 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,10 @@
+2020-06-04 Martin Sebor <msebor@redhat.com>
+
+ PR middle-end/10138
+ PR middle-end/95136
+ * c-attribs.c (append_access_attrs): Handle attr_access::none.
+ (handle_access_attribute): Same.
+
2020-06-03 Mark Wielaard <mark@klomp.org>
* known-headers.cc (get_cp_stdlib_header_for_string_macro_name):
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 452ab2345f0..5c8eaff1a97 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,33 @@
+2020-06-04 Jason Merrill <jason@redhat.com>
+
+ PR c++/93310
+ * constexpr.c (cxx_eval_constant_expression) [OBJ_TYPE_REF]:
+ Evaluate OBJ_TYPE_REF_EXPR.
+
+2020-06-04 Jason Merrill <jason@redhat.com>
+
+ PR c++/95158
+ * class.c (lookup_vfn_in_binfo): New.
+ * call.c (build_over_call): Use it.
+ * cp-tree.h (resolves_to_fixed_type_p): Add default argument.
+ (lookup_vfn_in_binfo): Declare.
+
+2020-06-04 Iain Sandoe <iain@sandoe.co.uk>
+
+ PR c++/95346
+ * coroutines.cc (morph_fn_to_coro): Ensure that the get-
+ return-object is constructed correctly; When it is not the
+ final return value, pass it to the CTOR of the return type
+ as an rvalue, per the standard comment.
+
+2020-06-04 Jakub Jelinek <jakub@redhat.com>
+
+ PR c++/82304
+ PR c++/95307
+ * constexpr.c (cxx_eval_constant_expression): Diagnose CONVERT_EXPR
+ conversions from pointer types to arithmetic types here...
+ (cxx_eval_outermost_constant_expr): ... instead of here.
+
2020-06-03 Mark Wielaard <mark@klomp.org>
* parser.c (cp_lexer_safe_previous_token): New function.
diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog
index 5bee3ab9bb3..1ef6814468b 100644
--- a/gcc/d/ChangeLog
+++ b/gcc/d/ChangeLog
@@ -1,3 +1,70 @@
+2020-06-04 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * dmd/MERGE: Merge upstream dmd 48d704f08.
+ * d-attribs.cc (build_attributes): Use new field name.
+ * d-builtins.cc (build_frontend_type): Likewise.
+ (maybe_set_builtin_1): Likewise.
+ (d_maybe_set_builtin): Likewise.
+ * d-codegen.cc (build_interface_binfo): Likewise.
+ (identity_compare_p): Likewise.
+ (lower_struct_comparison): Likewise.
+ (build_struct_comparison): Likewise.
+ (d_build_call): Likewise.
+ (build_frame_type): Likewise.
+ (build_closure): Likewise.
+ * d-compiler.cc (Compiler::paintAsType): Likewise.
+ (Compiler::loadModule): Likewise.
+ * d-incpath.cc (add_globalpaths): Likewise.
+ (add_filepaths): Likewise.
+ (add_import_paths): Likewise.
+ * d-lang.cc (deps_write): Likewise.
+ (d_parse_file): Likewise.
+ * decl.cc (gcc_attribute_p): Likewise.
+ (base_vtable_offset): Likewise.
+ (get_vtable_decl): Likewise.
+ (build_class_instance): Likewise.
+ * expr.cc (class ExprVisitor): Likewise.
+ * modules.cc (layout_moduleinfo_fields): Likewise.
+ (layout_moduleinfo): Likewise.
+ (build_module_tree): Likewise.
+ * toir.cc (class IRVisitor): Likewise.
+ * typeinfo.cc (class TypeInfoVisitor): Likewise.
+ (layout_classinfo_interfaces): Likewise.
+ * types.cc (layout_aggregate_members): Likewise.
+ (layout_aggregate_type): Likewise.
+
+2020-06-04 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * dmd/MERGE: Merge upstream dmd 47ed0330f.
+
+2020-06-04 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * Make-lang.in (D_OBJS): Add d-compiler.o, d-ctfloat.o, d-port.o.
+ * d-frontend.cc (Port::memicmp): Move to d-port.cc.
+ (Port::strupr): Likewise.
+ (Port::isFloat32LiteralOutOfRange): Likewise.
+ (Port::isFloat64LiteralOutOfRange): Likewise.
+ (Port::readwordLE): Likewise.
+ (Port::readwordBE): Likewise.
+ (Port::readlongLE): Likewise.
+ (Port::readlongBE): Likewise.
+ (Port::valcpy): Likewise.
+ (CTFloat::fabs): Move to d-ctfloat.cc.
+ (CTFloat::ldexp): Likewise.
+ (CTFloat::isIdentical): Likewise.
+ (CTFloat::isNaN): Likewise.
+ (CTFloat::isSNaN): Likewise.
+ (CTFloat::isInfinity): Likewise.
+ (CTFloat::parse): Likewise.
+ (CTFloat::sprint): Likewise.
+ (CTFloat::hash): Likewise.
+ (Compiler::genCmain): Move to d-compiler.cc.
+ (Compiler::paintAsType): Likewise.
+ (Compiler::loadModule): Likewise.
+ * d-compiler.cc: New file.
+ * d-ctfloat.cc: New file.
+ * d-port.cc: New file.
+
2020-06-02 Iain Buclaw <ibuclaw@gdcproject.org>
* decl.cc (DeclVisitor::build_dsymbol): New function.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index a8789024860..13534c18fe2 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,10 @@
+2020-06-04 Steven G. Kargl <kargl@gcc.gnu.org>
+ Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/95500
+ * trans-expr.c (gfc_conv_expr_reference): Do not dereference NULL
+ pointer.
+
2020-06-03 José Rui Faustino de Sousa <jrfsousa@gmail.com>
PR fortran/95214
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 89a1ad55923..45a256253a2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,144 @@
+2020-06-04 Martin Sebor <msebor@redhat.com>
+
+ PR middle-end/10138
+ PR middle-end/95136
+ * c-c++-common/Wsizeof-pointer-memaccess1.c: Prune out valid
+ Wuninitialized.
+ * c-c++-common/uninit-pr51010.c: Adjust expected warning format.
+ * c-c++-common/goacc/uninit-dim-clause.c: Same.
+ * c-c++-common/goacc/uninit-firstprivate-clause.c: Same.
+ * c-c++-common/goacc/uninit-if-clause.c: Same.
+ * c-c++-common/gomp/pr70550-1.c: Same.
+ * c-c++-common/gomp/pr70550-2.c: Adjust.
+ * g++.dg/20090107-1.C: Same.
+ * g++.dg/20090121-1.C: Same.
+ * g++.dg/ext/attr-access.C: Avoid -Wuninitialized.
+ * gcc.dg/tree-ssa/forwprop-6.c: Prune out -Wuninitialized.
+ * gcc.dg/Warray-bounds-52.c: Prune out valid -Wuninitialized.
+ * gcc.dg/Warray-bounds-53.c: Same.
+ * gcc.dg/Warray-bounds-54.c: Same.
+ * gcc.dg/Wstringop-overflow-33.c: New test.
+ * gcc.dg/attr-access-none.c: New test.
+ * gcc.dg/attr-access-read-only.c: Adjust.
+ * gcc.dg/attr-access-read-write.c: Same.
+ * gcc.dg/attr-access-write-only.c: Same.
+ * gcc.dg/pr71581.c: Adjust text of expected warning.
+ * gcc.dg/uninit-15.c: Same.
+ * gcc.dg/uninit-32.c: New test.
+ * gcc.dg/uninit-33.c: New test.
+ * gcc.dg/uninit-34.c: New test.
+ * gcc.dg/uninit-36.c: New test.
+ * gcc.dg/uninit-B-O0.c: Adjust text of expected warning.
+ * gcc.dg/uninit-I-O0.c: Same.
+ * gcc.dg/uninit-pr19430-O0.c: Same.
+ * gcc.dg/uninit-pr19430.c: Same.
+ * gcc.dg/uninit-pr95136.c: New test.
+ * gfortran.dg/assignment_4.f90: Expect -Wuninitialized.
+ * gfortran.dg/goacc/uninit-dim-clause.f95: Adjust text of expected
+ warning.
+ * gfortran.dg/goacc/uninit-firstprivate-clause.f95
+ * gfortran.dg/goacc/uninit-if-clause.f95
+ * gfortran.dg/pr66545_2.f90
+
+2020-06-04 Jason Merrill <jason@redhat.com>
+
+ PR c++/93310
+ * g++.dg/cpp2a/constexpr-virtual16.C: New test.
+ * g++.dg/cpp2a/constexpr-virtual17.C: New test.
+ * g++.dg/cpp2a/constexpr-new12.C: Adjust diagnostic.
+
+2020-06-04 Jason Merrill <jason@redhat.com>
+
+ PR c++/95158
+ * g++.dg/template/virtual5.C: New test.
+
+2020-06-04 Steven G. Kargl <kargl@gcc.gnu.org>
+ Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/95500
+ * gfortran.dg/pr95500.f90: New test.
+
+2020-06-04 Iain Sandoe <iain@sandoe.co.uk>
+
+ PR c++/95346
+ * g++.dg/coroutines/pr95346.C: New test.
+
+2020-06-04 Vladimir Makarov <vmakarov@redhat.com>
+
+ PR middle-end/95464
+ * gcc.target/i386/pr95464.c: New.
+
+2020-06-04 Martin Jambor <mjambor@suse.cz>
+
+ PR ipa/95113
+ * gcc.dg/ipa/pr95113.c: New test.
+
+2020-06-04 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
+
+ PR target/94735
+ * gcc.target/arm/mve/intrinsics/mve_vstore_scatter_base.c: New test.
+ * gcc.target/arm/mve/intrinsics/mve_vstore_scatter_base_p.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/mve_vstore_scatter_offset.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/mve_vstore_scatter_offset_p.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/mve_vstore_scatter_shifted_offset.c:
+ Likewise.
+ * gcc.target/arm/mve/intrinsics/mve_vstore_scatter_shifted_offset_p.c:
+ Likewise.
+
+2020-06-04 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
+
+ * gcc.target/arm/mve/intrinsics/vbicq_f16.c: Modify.
+ * gcc.target/arm/mve/intrinsics/vbicq_f32.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/vbicq_n_s16.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/vbicq_n_s32.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/vbicq_n_u16.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/vbicq_n_u32.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/vbicq_s16.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/vbicq_s32.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/vbicq_s8.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/vbicq_u16.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/vbicq_u32.c: Likewise.
+ * gcc.target/arm/mve/intrinsics/vbicq_u8.c: Likewise.
+
+2020-06-04 Hongtao Liu <hongtao.liu@inte.com>
+
+ * gcc.target/i386/avx512f-vcvtps2ph-pr95254.c: New test.
+ * gcc.target/i386/avx512vl-vcvtps2ph-pr95254.c: Ditto.
+
+2020-06-04 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat.dg/openacc1.adb: Remove testcase.
+
+2020-06-04 Hao Liu <hliu@os.amperecomputing.com>
+
+ PR tree-optimization/89430
+ * gcc.dg/tree-ssa/pr89430-1.c: Remove xfail.
+ * gcc.dg/tree-ssa/pr89430-2.c: Remove xfail.
+ * gcc.dg/tree-ssa/pr89430-5.c: Remove xfail.
+ * gcc.dg/tree-ssa/pr89430-6.c: Remove xfail.
+ * gcc.dg/tree-ssa/pr89430-7-comp-ref.c: New test.
+ * gcc.dg/tree-ssa/pr89430-8-mem-ref-size.c: New test.
+ * gcc.dg/tree-ssa/ssa-pre-17.c: Add -fno-tree-cselim.
+
+2020-06-04 Andreas Schwab <schwab@suse.de>
+
+ PR libfortran/59227
+ * gfortran.dg/erf_3.F90: Remove XFAIL on ia64-*-linux*.
+
+2020-06-04 Hongtao.liu <hongtao.liu@intel.com>
+
+ * gcc.target/i386/pr92658-avx512bw-trunc.c: Adjust testcase.
+
+2020-06-04 Jakub Jelinek <jakub@redhat.com>
+
+ PR c++/82304
+ PR c++/95307
+ * g++.dg/template/pr79650.C: Expect different diagnostics and expect
+ it on all lines that do pointer to integer casts.
+ * g++.dg/cpp1y/constexpr-shift1.C: Expect different diagnostics.
+ * g++.dg/cpp1y/constexpr-82304.C: New test.
+ * g++.dg/cpp0x/constexpr-95307.C: New test.
+
2020-06-03 Mark Wielaard <mark@klomp.org>
* g++.dg/spellcheck-inttypes.C: Add string-literal testcases.
diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index 3b20f6f86a7..b4e39d188f4 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,12 @@
+2020-06-04 Andreas Schwab <schwab@suse.de>
+
+ PR target/59230
+ PR libfortran/59227
+ * config/ia64/t-softfp-compat (softfp_file_list): Filter out
+ soft-fp/divtf3.c.
+ (LIB2ADD): Add config/ia64/divtf3.c.
+ * config/ia64/divtf3.c: New file.
+
2020-06-03 Martin Liska <mliska@suse.cz>
PR gcov-profile/95480
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index d715aa4f0bf..75917f30afe 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,97 @@
+2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
+
+ * oacc-mem.c (goacc_exit_data_internal) <GOMP_MAP_STRUCT>:
+ Evaluate 'copyfrom' individually for each entry.
+ * testsuite/libgomp.oacc-c-c++-common/struct-1.c: Update.
+
+2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
+
+ * oacc-mem.c (goacc_exit_data_internal) <GOMP_MAP_STRUCT>:
+ Evaluate 'finalize' individually for each entry.
+ * testsuite/libgomp.oacc-c-c++-common/struct-1.c: New file.
+ * testsuite/libgomp.oacc-c-c++-common/struct-refcount-1.c: Remove
+ file.
+
+2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
+
+ * testsuite/libgomp.oacc-c-c++-common/deep-copy-7.c: Fix 'sizeof'
+ usage.
+ * testsuite/libgomp.oacc-c-c++-common/deep-copy-8.c: Likewise.
+
+2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
+ Julian Brown <julian@codesourcery.com>
+
+ * oacc-mem.c (goacc_exit_datum): Repair 'is_tgt_unmapped'
+ checking.
+ (acc_unmap_data, goacc_exit_data_internal): Restore
+ 'is_tgt_unmapped' checking.
+ * testsuite/libgomp.oacc-c-c++-common/struct-refcount-1.c: New
+ file.
+ * testsuite/libgomp.oacc-fortran/deep-copy-6.f90: Adjust.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-1-1.f90: Likewise.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-2-1.f90: Likewise.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-2-2.f90: Likewise.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-3-1.f90: Likewise.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-4-1.f90: Likewise.
+
+2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
+ Julian Brown <julian@codesourcery.com>
+
+ * oacc-mem.c (acc_unmap_data): Don't open-code 'gomp_remove_var'.
+
+2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
+
+ PR libgomp/92854
+ * oacc-mem.c (acc_unmap_data): Remove 'tgt' reference counting.
+
+2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
+
+ PR libgomp/92854
+ * testsuite/libgomp.oacc-c-c++-common/pr92854-1.c: Extend some
+ more.
+
+2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
+ Julian Brown <julian@codesourcery.com>
+
+ * oacc-mem.c (goacc_enter_datum): Use 'tgt' returned from
+ 'gomp_map_vars'.
+ (acc_map_data): Clean up accordingly.
+
+2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
+
+ * testsuite/libgomp.oacc-fortran/deep-copy-6.f90: XFAIL behavior
+ of over-eager 'finalize' clause.
+ * testsuite/libgomp.oacc-fortran/deep-copy-6-no_finalize.F90: New
+ file.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-1-1.f90: Likewise.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-1-2.F90: Likewise.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-2-1.f90: Likewise.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-2-2.f90: Likewise.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-3-1.f90: Likewise.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-3-2.f90: Likewise.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-4-1.f90: Likewise.
+ * testsuite/libgomp.oacc-fortran/mdc-refcount-1-4-2.f90: Likewise.
+
+2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
+
+ * oacc-mem.c (goacc_exit_data_internal): Unlock on error path.
+
+2020-06-04 Julian Brown <julian@codesourcery.com>
+
+ * oacc-mem.c (acc_attach_async): Add missing gomp_mutex_unlock on
+ error path.
+ (goacc_detach_internal): Likewise.
+
+2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
+
+ * testsuite/libgomp.oacc-fortran/error_stop-1.f: Initialize before
+ the checkpoint.
+ * testsuite/libgomp.oacc-fortran/error_stop-2.f: Likewise.
+ * testsuite/libgomp.oacc-fortran/error_stop-3.f: Likewise.
+ * testsuite/libgomp.oacc-fortran/stop-1.f: Likewise.
+ * testsuite/libgomp.oacc-fortran/stop-2.f: Likewise.
+ * testsuite/libgomp.oacc-fortran/stop-3.f: Likewise.
+
2020-06-02 Jakub Jelinek <jakub@redhat.com>
* allocator.c (omp_free): Fix up build if HAVE_SYNC_BUILTINS is not
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 6ce4dd2fb57..ee252236a9f 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,58 @@
+2020-06-04 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/iterator_concepts.h (__detail::__ptr, __detail::__ref)
+ (__detail::__cat, __detail::__diff): Move to class scope in the
+ relevant __iterator_traits specializations.
+ (__iterator_traits<>): Use nested class templates instead of ones from
+ namespace __detail.
+ * include/bits/stl_iterator.h (__detail::__common_iter_ptr): Move to
+ class scope in iterator_traits<common_iterator<I, S>>.
+ (iterator_traits<common_iterator<I, S>>): Use nested class template
+ instead of __detail::__common_iter_ptr.
+
+2020-06-04 François Dumont <fdumont@gcc.gnu.org>
+
+ * include/bits/stl_algo.h (__copy_n_a): Move to ...
+ * include/bits/stl_algobase.h (__copy_n_a): ...here. Add __strict
+ parameter.
+ (__copy_n_a(istreambuf_iterator<>, _Size, _Deque_iterator<>, bool)):
+ Declare.
+ (__niter_base(const _Safe_iterator<_Ite, _Seq,
+ random_access_iterator_tag>&)): Declare.
+ (__copy_move_a2(istreambuf_iterator<>, istreambuf_iterator<>,
+ _Deque_iterator<>)): Declare.
+ * include/bits/deque.tcc
+ (__copy_move_a2(istreambuf_iterator<>, istreambuf_iterator<>,
+ _Deque_iterator<>)): New.
+ (__copy_n_a(istreambuf_iterator<>, _Size, _Deque_iterator<>, bool)):
+ New.
+ * include/bits/streambuf_iterator.h
+ (__copy_n_a(istreambuf_iterator<>, _Size, _CharT*, bool)): Adapt.
+ * include/debug/safe_iterator.tcc (__niter_base): New.
+ * testsuite/25_algorithms/copy/streambuf_iterators/char/4.cc
+ (test03): New.
+ * testsuite/25_algorithms/copy/streambuf_iterators/char/debug/deque_neg.cc:
+ New test.
+ * testsuite/25_algorithms/copy_n/debug/istreambuf_ite_deque_neg.cc:
+ New test.
+ * testsuite/25_algorithms/copy_n/istreambuf_iterator/2.cc: New test.
+ * testsuite/25_algorithms/copy_n/istreambuf_iterator/deque.cc:
+ New test.
+
+2020-06-04 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/ranges_algobase.h (__copy_n_fn): Only call
+ ranges::copy for positive values.
+ * include/bits/stl_algo.h (copy_n): Convert Size argument to an
+ integral type and only call __copy_n for positive values.
+ * testsuite/util/testsuite_iterators.h
+ (random_access_iterator_wrapper::operator+=): Fix range check for
+ negative values.
+ (output_container, input_container, forward_container)
+ (bidirectional_container, random_access_container): New alias
+ templates.
+ * testsuite/25_algorithms/copy_n/5.cc: New test.
+
2020-06-02 Jonathan Wakely <jwakely@redhat.com>
PR libstdc++/90102
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2020-06-11 10:13 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-06-11 10:09 [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump Martin Liska
-- strict thread matches above, loose matches on Subject: below --
2020-06-11 10:13 Martin Liska
2020-06-11 10:04 Martin Liska
2020-06-11 9:54 Martin Liska
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).