public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump.
@ 2020-06-11 9:59 Martin Liska
0 siblings, 0 replies; 8+ messages in thread
From: Martin Liska @ 2020-06-11 9:59 UTC (permalink / raw)
To: gcc-cvs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="us-ascii", Size: 1880 bytes --]
https://gcc.gnu.org/g:8f94b078cc11903bb54e5d57dfb44377c7e498b0
commit 8f94b078cc11903bb54e5d57dfb44377c7e498b0
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Sun Jun 7 00:16:19 2020 +0000
Daily bump.
Diff:
---
ChangeLog | 4 ++++
gcc/ChangeLog | 12 ++++++++++++
gcc/DATESTAMP | 2 +-
gcc/testsuite/ChangeLog | 4 ++++
4 files changed, 21 insertions(+), 1 deletion(-)
diff --git a/ChangeLog b/ChangeLog
index 7bbef9e0356..88ae1fdcafd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2020-06-06 Max Filippov <jcmvbkbc@gmail.com>
+
+ * MAINTAINERS: Add myself as xtensa port maintainer.
+
2020-05-28 Nicolas Bértolo <nicolasbertolo@gmail.com>
* configure.ac: Don't require --enable-host-shared when building
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b4c70db2b43..07fc3a08eef 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,15 @@
+2020-06-06 Jan Hubicka <hubicka@ucw.cz>
+
+ PR lto/95548
+ * ipa-devirt.c (struct odr_enum_val): Turn values to wide_int.
+ (ipa_odr_summary_write): Update streaming.
+ (ipa_odr_read_section): Update streaming.
+
+2020-06-06 Alexandre Oliva <oliva@adacore.com>
+
+ PR driver/95456
+ * gcc.c (do_spec_1): Don't call memcpy (_, NULL, 0).
+
2020-06-05 Thomas Schwinge <thomas@codesourcery.com>
Julian Brown <julian@codesourcery.com>
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 4d03d79ce42..7329e39884d 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200606
+20200607
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 740af3191cd..61734c55a31 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2020-06-06 Jan Hubicka <hubicka@ucw.cz>
+
+ * g++.dg/torture/pr95548.C: New test.
+
2020-06-05 Martin Sebor <msebor@redhat.com>
* g++.dg/warn/Wnonnull5.C: Temporarily remove.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump.
@ 2020-06-11 10:13 Martin Liska
0 siblings, 0 replies; 8+ 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] 8+ messages in thread
* [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump.
@ 2020-06-11 10:09 Martin Liska
0 siblings, 0 replies; 8+ 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] 8+ messages in thread
* [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump.
@ 2020-06-11 10:04 Martin Liska
0 siblings, 0 replies; 8+ 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] 8+ messages in thread
* [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump.
@ 2020-06-11 10:00 Martin Liska
0 siblings, 0 replies; 8+ messages in thread
From: Martin Liska @ 2020-06-11 10:00 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:53d461e4e0fbc6d2ef7385509e8c3785e9b205fd
commit 53d461e4e0fbc6d2ef7385509e8c3785e9b205fd
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Mon Jun 8 00:16:23 2020 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 23 +++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/d/ChangeLog | 40 ++++++++++++++++++++++++++++++++++++++++
gcc/fortran/ChangeLog | 12 ++++++++++++
gcc/testsuite/ChangeLog | 20 ++++++++++++++++++++
5 files changed, 96 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 07fc3a08eef..8e4ef2cd5cd 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,26 @@
+2020-06-07 Roger Sayle <roger@nextmovesoftware.com>
+
+ * config/i386/i386.md (paritydi2, paritysi2): Expand reduction
+ via shift and xor to an USPEC PARITY matching a parityhi2_cmp.
+ (paritydi2_cmp, paritysi2_cmp): Delete these define_insn_and_split.
+ (parityhi2, parityqi2): New expanders.
+ (parityhi2_cmp): Implement set parity flag with xorb insn.
+ (parityqi2_cmp): Implement set parity flag with testb insn.
+ New peephole2s to use these insns (UNSPEC PARITY) when appropriate.
+
+2020-06-07 Jiufu Guo <guojiufu@linux.ibm.com>
+
+ PR target/95018
+ * config/rs6000/rs6000.c (rs6000_option_override_internal):
+ Override flag_cunroll_grow_size.
+
+2020-06-07 Jiufu Guo <guojiufu@linux.ibm.com>
+
+ * common.opt (flag_cunroll_grow_size): New flag.
+ * toplev.c (process_options): Set flag_cunroll_grow_size.
+ * tree-ssa-loop-ivcanon.c (pass_complete_unroll::execute):
+ Use flag_cunroll_grow_size.
+
2020-06-06 Jan Hubicka <hubicka@ucw.cz>
PR lto/95548
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 7329e39884d..3b45689b2c3 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200607
+20200608
diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog
index 8d5eee9fd39..5273cb69557 100644
--- a/gcc/d/ChangeLog
+++ b/gcc/d/ChangeLog
@@ -1,3 +1,43 @@
+2020-06-07 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * dmd/MERGE: Merge upstream dmd 73d8e2fec.
+ * decl.cc (get_symbol_decl): Use new Prot::Kind enum.
+ * modules.cc (get_internal_fn): Likewise.
+
+2020-06-07 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * dmd/MERGE: Merge upstream dmd 108ca1bcd.
+ * d-diagnostic.cc (expand_d_format): Adjust to use extractChars().
+ * d-frontend.cc (Loc::toChars): Likewise.
+ * d-lang.cc (deps_write): Likewise.
+ (d_parse_file): Likewise.
+ * decl.cc (d_mangle_decl): Likewise.
+ * intrinsics.cc (maybe_set_intrinsic): Likewise.
+
+2020-06-07 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * dmd/MERGE: Merge upstream dmd b0df0e982.
+ * d-builtins.cc (build_frontend_type): Use VarArg for varargs_p.
+ * d-codegen.cc (declaration_type): Call TypeFunction::create with
+ argument VARARGnone.
+ (parameter_type): Likewise.
+ (d_build_call): Use new field names and member functions.
+ * d-target.cc (Target::cppParameterType): Call TypeFunction::create
+ with argument VARARGnone.
+ * types.cc (TypeVisitor::visit (TypeFunction *): Use new field names
+ and member functions.
+
+2020-06-07 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * dmd/MERGE: Merge upstream dmd 1831b24ff.
+ * d-lang.cc (d_init_options): Remove initialization of updated fields.
+ (d_handle_option): Adjust for new field types.
+
+2020-06-07 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * dmd/MERGE: Merge upstream dmd cef1e7991.
+ * d-lang.cc (d_parse_file): Adjust for new field types.
+
2020-06-05 Iain Buclaw <ibuclaw@gdcproject.org>
* dmd/MERGE: Merge upstream dmd 740f3d1ea.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index fac5bcf0ba9..f6db90378db 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,15 @@
+2020-06-07 Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/95091
+ * class.c (gfc_hash_value): Add cast.
+
+2020-06-07 Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/95091
+ * class.c (get_unique_type_string, gfc_hash_value): Enlarge
+ buffers, and check whether the strings returned by
+ get_unique_type_string() fit.
+
2020-06-05 Harald Anlauf <anlauf@gmx.de>
PR fortran/95530
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 61734c55a31..986f36b1d35 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,23 @@
+2020-06-07 Roger Sayle <roger@nextmovesoftware.com>
+
+ * gcc.target/i386/parity-3.c: New test.
+ * gcc.target/i386/parity-4.c: Likewise.
+ * gcc.target/i386/parity-5.c: Likewise.
+ * gcc.target/i386/parity-6.c: Likewise.
+ * gcc.target/i386/parity-7.c: Likewise.
+ * gcc.target/i386/parity-8.c: Likewise.
+ * gcc.target/i386/parity-9.c: Likewise.
+
+2020-06-07 Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/95091
+ * gfortran.dg/pr95091.f90: New file.
+
+2020-06-07 Thomas Koenig <tkoenig@gcc.gnu.org>
+
+ PR tree-optimization/50439
+ * gfortran.dg/loop_interchange_2.f: New test.
+
2020-06-06 Jan Hubicka <hubicka@ucw.cz>
* g++.dg/torture/pr95548.C: New test.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump.
@ 2020-06-11 9:58 Martin Liska
0 siblings, 0 replies; 8+ messages in thread
From: Martin Liska @ 2020-06-11 9:58 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:1a59f3db4a4174d02256be51e9e08e9c68478a41
commit 1a59f3db4a4174d02256be51e9e08e9c68478a41
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Sat Jun 6 00:16:29 2020 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 62 ++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 212 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/c-family/ChangeLog | 5 ++
gcc/c/ChangeLog | 7 ++
gcc/cp/ChangeLog | 16 ++++
gcc/d/ChangeLog | 65 +++++++++++++++
gcc/fortran/ChangeLog | 16 ++++
gcc/testsuite/ChangeLog | 58 +++++++++++++
libgomp/ChangeLog | 17 ++++
10 files changed, 459 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9d5fce30b40..b4c70db2b43 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,65 @@
+2020-06-05 Thomas Schwinge <thomas@codesourcery.com>
+ Julian Brown <julian@codesourcery.com>
+
+ * gimplify.c (gimplify_adjust_omp_clauses): Remove
+ 'GOMP_MAP_STRUCT' mapping from OpenACC 'exit data' directives.
+
+2020-06-05 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/95539
+ * tree-vect-data-refs.c
+ (vect_slp_analyze_and_verify_instance_alignment): Use
+ SLP_TREE_REPRESENTATIVE for the data-ref check.
+ * tree-vect-stmts.c (vectorizable_load): Reset stmt_info
+ back to the first scalar stmt rather than the
+ SLP_TREE_REPRESENTATIVE to match previous behavior.
+
+2020-06-05 Felix Yang <felix.yang@huawei.com>
+
+ PR target/95254
+ * expr.c (emit_move_insn): Check src and dest of the copy to see
+ if one or both of them are subregs, try to remove the subregs when
+ innermode and outermode are equal in size and the mode change involves
+ an implicit round trip through memory.
+
+2020-06-05 Jakub Jelinek <jakub@redhat.com>
+
+ PR target/95535
+ * config/i386/i386.md (*ctzsi2_zext, *clzsi2_lzcnt_zext): New
+ define_insn_and_split patterns.
+ (*ctzsi2_zext_falsedep, *clzsi2_lzcnt_zext_falsedep): New
+ define_insn patterns.
+
+2020-06-05 Jonathan Wakely <jwakely@redhat.com>
+
+ * alloc-pool.h (object_allocator::remove_raw): New.
+ * tree-ssa-math-opts.c (struct occurrence): Use NSMDI.
+ (occurrence::occurrence): Add.
+ (occurrence::~occurrence): Likewise.
+ (occurrence::new): Likewise.
+ (occurrence::delete): Likewise.
+ (occ_new): Remove.
+ (insert_bb): Use new occurence (...) instead of occ_new.
+ (register_division_in): Likewise.
+ (free_bb): Use delete occ instead of manually removing
+ from the pool.
+
+2020-06-05 Richard Biener <rguenther@suse.de>
+
+ PR middle-end/95493
+ * cfgexpand.c (expand_debug_expr): Avoid calling
+ set_mem_attributes_minus_bitpos when we were expanding
+ an SSA name.
+ * emit-rtl.c (set_mem_attributes_minus_bitpos): Remove
+ ARRAY_REF special-casing, add CONSTRUCTOR to the set of
+ special-cases we do not want MEM_EXPRs for. Assert
+ we end up with reasonable MEM_EXPRs.
+
+2020-06-05 Lili Cui <lili.cui@intel.com>
+
+ PR target/95525
+ * config/i386/i386.h (PTA_WAITPKG): Change bitmask value.
+
2020-06-04 Martin Sebor <msebor@redhat.com>
PR middle-end/10138
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index de253bc14b7..4d03d79ce42 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200605
+20200606
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index fed3fe2fbaf..76948134677 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,215 @@
+2020-06-05 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_prag.adb (Validate_Compile_Time_Warning_Or_Error): Use ??.
+
+2020-06-05 Arnaud Charlet <charlet@adacore.com>
+
+ * cstand.adb (Create_Standard): Update comments.
+
+2020-06-05 Arnaud Charlet <charlet@adacore.com>
+
+ * scng.adb (Scan): Fix typo to take into account all future
+ versions of Ada.
+ * sem_attr.ads (Attribute_Impl_Def): Add Attribute_Reduce for
+ now.
+ * sem_attr.adb (Analyze_Attribute): Only allow 'Reduce under
+ -gnatX.
+ * snames.ads-tmpl (Name_Reduce): Update comment.
+
+2020-06-05 Thomas Quinot <quinot@adacore.com>
+
+ * exp_disp.adb (Expand_Interface_Thunk): Add comment about
+ gnatcov reliance on specific name used for thunks.
+
+2020-06-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb (Analyze_Subtype_Declaration): For scalar types,
+ and for subtype declarations without a constraint, subtype
+ inherits Atomic flag from base type.
+
+2020-06-05 Piotr Trojanek <trojanek@adacore.com>
+
+ * doc/gnat_rm/implementation_defined_attributes.rst (Enum_Rep):
+ Remove extra colon.
+ * gnat_rm.texi: Regenerate.
+
+2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * atree.adb (New_Copy): Clear Has_Dynamic_Range_Check on
+ subexpression nodes.
+ * checks.adb (Append_Range_Checks): Assert that the node
+ doesn't have the Has_Dynamic_Range_Check flag set.
+ (Insert_Range_Checks): Likewise.
+ * exp_ch3.adb (Expand_N_Subtype_Indication): Do not apply
+ range checks for a full type or object declaration.
+ * sem_ch3.ads: Move with and use clauses for Nlists to...
+ (Process_Range_Expr_In_Decl): Change default to No_List for
+ the Check_List parameter.
+ * sem_ch3.adb: ...here.
+ (Process_Range_Expr_In_Decl): Likewise. When the insertion
+ node is a declaration, only insert on the list if is present
+ when the declaration involves discriminants, and only insert
+ on the node when there is no list otherwise.
+
+2020-06-05 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_aggr.adb (Resolve_Record_Aggregate): Create the
+ N_Aggregate node with its Expressions field set to No_List and
+ not to an empty list.
+
+2020-06-05 Dmitriy Anisimkov <anisimko@adacore.com>
+
+ * libgnat/s-os_lib.adb (Is_Dirsep): Moved from Build_Path to
+ package level to reuse.
+ (Normalize_Pathname.Final_Value): Reduce 2 'if' statements to
+ one.
+ (Normalize_Pathname.Fill_Directory): New procedure instead of
+ function Get_Directory. Remove slash to backslash conversion and
+ drive letter uppercasing on Windows.
+
+2020-06-05 Arnaud Charlet <charlet@adacore.com>
+
+ * sem.adb (Assert_Done): Relax check for main unit, as it was
+ overzealous in the case of the main unit itself.
+
+2020-06-05 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_ch3.adb, sem_ch8.adb, sem_util.adb: Use Is_Incomplete_Type
+ to make the code easier to read.
+
+2020-06-05 Piotr Trojanek <trojanek@adacore.com>
+
+ * einfo.adb: Minor reformatting.
+ * sem_util.adb (Has_Full_Default_Initialization,
+ Is_Partially_Initialized_Type, Caller_Known_Size_Record,
+ Large_Max_Size_Mutable): Iterate with
+ First_Component/Next_Component; rename Ent to Comp.
+
+2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use
+ Expr_Rep_Value instead of Expr_Value to obtain the equivalent
+ integer value.
+ * sem_eval.ads (Expr_Value): Document more supported cases.
+ * sem_eval.adb (Expr_Rep_Value): Copy missing cases from
+ Exp_Value.
+
+2020-06-05 Bob Duff <duff@adacore.com>
+
+ * rtsfind.adb, rtsfind.ads: Move subtypes of RTU_Id into package
+ body, because they are not needed by clients. Change "Child_" to
+ "Descendant", because grandchildren and great grandchildren are
+ involved. Replace all the repetitive comments with a single
+ concise one. Change the parent subtypes to be more consistent;
+ use the most specific parent.
+
+2020-06-05 Piotr Trojanek <trojanek@adacore.com>
+
+ * rtsfind.ads, rtsfind.adb (Is_Text_IO_Special_Package): Moved
+ from the GNATprove backend to the frontend.
+
+2020-06-05 Yannick Moy <moy@adacore.com>
+
+ * sem_util.ads: Add comment about function only used in
+ CodePeer.
+
+2020-06-05 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch9.adb, (Analyze_Task_Body): After analying the task
+ body, indicate that all local variables have no delayed aspects.
+ This prevents improper later calls to
+ Check_Aspect_At_End_Of_Declarations, that would happen when the
+ constructed task_procedure body (generated during expansion) is
+ analyzed. The legality of aspect specifications that may appear
+ on local declarations has already been established, and it is in
+ general not possible to recheck them properly during expansion,
+ when visibility may not be fully established.
+
+2020-06-05 Piotr Trojanek <trojanek@adacore.com>
+
+ * libgnat/a-cofuve.ads (First): Add Global contract.
+
+2020-06-05 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_prag.adb (Set_Convention_From_Pragma): Set the convention
+ of anonymous access array components.
+
+2020-06-05 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/a-calfor.ads, libgnat/a-catizo.ads,
+ libgnat/a-catizo.adb (Local_Time_Offset, Local_Image): New.
+ (UTC_Time_Offset): Now a renaming of Local_Time_Offset.
+
+2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch3.adb (Available_Full_View): New function returning
+ either the full or the underlying full view.
+ (Build_Full_Derivation): Add guard for the full view.
+ (Copy_And_Build): Retrieve the underlying full view, if any,
+ also if deriving a completion.
+ (Build_Derived_Private_Type): Use Available_Full_View throughout
+ to decide whether a full derivation must be done.
+
+2020-06-05 Bob Duff <duff@adacore.com>
+
+ * exp_attr.adb, exp_ch11.adb, exp_imgv.adb, exp_tss.ads,
+ par-ch4.adb, sem_attr.adb, sem_util.ads: Misc cleanup.
+
+2020-06-05 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/a-nudira.ads, libgnat/a-nudira.adb (Random): New
+ function.
+
+2020-06-05 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_attr.ads (Attribute_Impl_Def): Remove Enum_Rep/Val.
+ * sem_attr.adb (Attribute_20): New, move Enum_Rep/Val here.
+ (Analyze_Attribute): Take Attribute_20 into account.
+
+2020-06-05 Arnaud Charlet <charlet@adacore.com>
+
+ * restrict.ads (Unit_Array): Add a-direct.
+
+2020-06-05 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/s-stopoo.ads: Mark package Pure and leave room for
+ Nonblocking once this aspect is supported.
+
+2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference) <Valid_Scalars>:
+ Set the No_Truncation flag on the unchecked conversion built for
+ scalar types.
+
+2020-06-05 Bob Duff <duff@adacore.com>
+
+ * einfo.adb, einfo.ads, exp_util.adb: Remove Invariants_Ignored
+ flag.
+ * sem_prag.adb (Invariant): Instead of setting a flag to be
+ checked elsewhere, remove the pragma as soon as it is analyzed
+ and checked for legality.
+
+2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * checks.ads (Apply_Length_Check): Rename Ck_Node parameter to
+ Expr.
+ (Apply_Range_Check): Likewise.
+ (Get_Range_Checks): Likewise.
+ * checks.adb (Apply_Float_Conversion_Check): Likewise.
+ (Apply_Selected_Length_Checks): Likewise.
+ (Apply_Selected_Range_Checks): Likewise.
+ (Guard_Access): Likewise.
+ (Selected_Length_Checks): Likewise. Also avoid shadowing in
+ child procedures.
+ (Selected_Range_Checks): Likewise.
+
+2020-06-05 Arnaud Charlet <charlet@adacore.com>
+
+ * par-ch3.adb, par-ch4.adb, scng.adb, sem_aggr.adb,
+ sem_ch10.adb, sem_ch12.adb, sem_prag.adb: Update wording: change
+ Ada_2020 to Ada 2020 in comments and mention -gnat2020 instead
+ of -gnatX switch.
+
2020-06-04 Arnaud Charlet <charlet@adacore.com>
* libgnat/i-c.ads (long_long, unsigned_long_long): New
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 4344fb8ab4f..8fac84d3b02 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,8 @@
+2020-06-05 Jason Merrill <jason@redhat.com>
+
+ * c-pretty-print.c (pp_c_additive_expression): Handle negative
+ operand to POINTER_PLUS_EXPR.
+
2020-06-04 Martin Sebor <msebor@redhat.com>
PR middle-end/10138
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index abf31e57688..bf38e8704b7 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,10 @@
+2020-06-05 Mark Wielaard <mark@klomp.org>
+
+ * c-decl.c (implicit_decl_warning): When warned and olddecl is
+ an undeclared builtin, then add a fixit header hint, if found.
+ (implicitly_declare): Add OPT_Wbuiltin_declaration_mismatch to
+ warning_at about implicit builtin declaration type mismatch.
+
2020-06-03 Mark Wielaard <mark@klomp.org>
* c-parser.c (struct c_parser): Add seen_string_literal
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 5c8eaff1a97..ef3d75ca09f 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,19 @@
+2020-06-05 Marek Polacek <polacek@redhat.com>
+
+ PR c++/95369
+ * call.c (build_converted_constant_expr_internal): Allow
+ list-initialization.
+
+2020-06-05 Iain Sandoe <iain@sandoe.co.uk>
+
+ * cp-tree.def (CO_RETURN_EXPR): Correct the class
+ to use tcc_statement.
+
+2020-06-05 Jason Merrill <jason@redhat.com>
+
+ * error.c (dump_binary_op): Handle negative operand to
+ POINTER_PLUS_EXPR.
+
2020-06-04 Jason Merrill <jason@redhat.com>
PR c++/93310
diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog
index 1ef6814468b..8d5eee9fd39 100644
--- a/gcc/d/ChangeLog
+++ b/gcc/d/ChangeLog
@@ -1,3 +1,68 @@
+2020-06-05 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * dmd/MERGE: Merge upstream dmd 740f3d1ea.
+ * d-lang.cc (d_handle_option): Use new fields to save debug and
+ version levels passed over command-line.
+ (d_post_options): Add them to front-end here.
+
+2020-06-05 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * dmd/MERGE: Merge upstream dmd f5638c7b8.
+ * d-builtins.cc (d_init_versions): Use new CHECKENABLE enum.
+ * d-codegen.cc (array_bounds_check): Likewise.
+ (build_frame_type): Likewise.
+ (get_frameinfo): Likewise.
+ * d-lang.cc (d_init_options): Likewise.
+ (d_init_options_struct): Don't initialize x_flag_bounds_check.
+ (d_handle_option): Use new CHECKENABLE enum.
+ (d_post_options): Likewise. Set flag_bounds_check here.
+ * expr.cc (ExprVisitor::visit(AssertExp *)): Use new CHECKENABLE enum.
+
+2020-06-05 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * dmd/MERGE: Merge upstream dmd 56f0a65c4.
+ * d-builtins.cc (build_frontend_type): Remove static.
+ (d_build_builtins_module): Use target.va_listType() to get front-end
+ type for va_list.
+ (d_init_builtins): Move creation of va_list to Target::va_listType.
+ * d-codegen.cc (build_interface_binfo): Use new target global.
+ (build_vindex_ref): Likewise.
+ (identity_compare_p): Likewise.
+ * d-ctfloat.cc (CTFloat::parse): Likewise.
+ * d-lang.cc (d_init): Likewise.
+ * d-port.cc (Port::isFloat32LiteralOutOfRange): Likewise.
+ (Port::isFloat64LiteralOutOfRange): Likewise.
+ * d-target.cc (define_float_constants): Initialize constants through a
+ reference, instead of setting globals.
+ (Target::_init): Initialize new fields instead of setting globals.
+ (Target::va_listType): Build front-end type from va_list_type_node.
+ (Target::toCppMangle): Renamed to ...
+ (TargetCPP::toMangle): ... this.
+ (Target::cppTypeInfoMangle): Renamed to ...
+ (TargetCPP::typeInfoMangle): ... this.
+ (Target::cppTypeMangle): Renamed to ...
+ (TargetCPP::typeMangle): this.
+ (Target::cppParameterType): Renamed to ...
+ (TargetCPP::parameterType): ... this. Use target.va_listType() to get
+ front-end type for va_list.
+ (Target::cppFundamentalType): Renamed to ...
+ (TargetCPP::fundamentalType): ... this.
+ * d-tree.h (build_frontend_type): Declare.
+ * decl.cc (base_vtable_offset): Use new target global.
+ * typeinfo.cc (layout_classinfo_interfaces): Likewise.
+ (layout_cpp_typeinfo): Likewise.
+ * types.cc (valist_array_p): Use target.va_listType() to get front-end
+ type for va_list.
+ (layout_aggregate_type): Use new target global.
+
+2020-06-05 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * dmd/MERGE: Merge upstream dmd 6d5bffa54.
+ * d-builtins.cc (maybe_set_builtin_1): Update call to
+ Condition::include().
+ * decl.cc (DeclVisitor::visit(AttribDeclaration *)): Likewise.
+ * types.cc (layout_aggregate_members): Likewise.
+
2020-06-04 Iain Buclaw <ibuclaw@gdcproject.org>
* dmd/MERGE: Merge upstream dmd 48d704f08.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 13534c18fe2..fac5bcf0ba9 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,19 @@
+2020-06-05 Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/95530
+ PR fortran/95537
+ * decl.c (gfc_match_decl_type_spec): Enlarge buffer, and enhance
+ string copy to detect buffer overflow.
+ * gfortran.h (gfc_common_head): Enlarge buffer.
+ * trans-common.c (finish_equivalences): Enhance string copy to
+ detect buffer overflow.
+
+2020-06-05 Tom Tromey <tromey@adacore.com>
+
+ PR fortran/95509
+ * misc.c (gfc_closest_fuzzy_match): Update cutoff value
+ computation.
+
2020-06-04 Steven G. Kargl <kargl@gcc.gnu.org>
Harald Anlauf <anlauf@gmx.de>
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 45a256253a2..740af3191cd 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,61 @@
+2020-06-05 Martin Sebor <msebor@redhat.com>
+
+ * g++.dg/warn/Wnonnull5.C: Temporarily remove.
+
+2020-06-05 Marek Polacek <polacek@redhat.com>
+
+ PR c++/95369
+ * g++.dg/cpp2a/nontype-class38.C: New test.
+
+2020-06-05 Mark Wielaard <mark@klomp.org>
+
+ * gcc.dg/missing-header-fixit-3.c: Add
+ -Wno-implicit-function-declaration.
+ * gcc.dg/missing-header-fixit-4.c: Add new expected output.
+ * gcc.dg/missing-header-fixit-5.c: New testcase.
+ * gcc.dg/Wbuiltin-declaration-mismatch-ignore.c: Likewise.
+
+2020-06-05 Jason Merrill <jason@redhat.com>
+
+ * g++.dg/cpp0x/constexpr-ptrsub2.C: New test.
+
+2020-06-05 Thomas Schwinge <thomas@codesourcery.com>
+ Julian Brown <julian@codesourcery.com>
+
+ * c-c++-common/goacc/struct-enter-exit-data-1.c: New file.
+
+2020-06-05 Martin Sebor <msebor@redhat.com>
+
+ * c-c++-common/goacc/uninit-use-device-clause.c: Adjust.
+ * c-c++-common/pr59223.c: Same.
+ * g++.dg/warn/Wnonnull5.C: Same.
+ * gcc.dg/pr59924.c: Same.
+ * gcc.dg/ubsan/pr81981.c: Same.
+ * gcc.dg/ubsan/pr89284.c: Same.
+ * gfortran.dg/goacc/uninit-use-device-clause.f95: Same.
+
+2020-06-05 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/95539
+ * gcc.dg/vect/pr95539.c: New testcase.
+
+2020-06-05 Felix Yang <felix.yang@huawei.com>
+
+ PR target/95254
+ * gcc.target/aarch64/pr95254.c: New test.
+ * gcc.target/i386/pr67609.c: Check "movq\t%xmm0" instead of "movdqa".
+
+2020-06-05 Jakub Jelinek <jakub@redhat.com>
+
+ PR target/95535
+ * gcc.target/i386/pr95535-1.c: New test.
+ * gcc.target/i386/pr95535-2.c: New test.
+
+2020-06-05 Richard Biener <rguenther@suse.de>
+
+ PR middle-end/95493
+ * g++.dg/torture/pr95493.C: New testcase.
+
2020-06-04 Martin Sebor <msebor@redhat.com>
PR middle-end/10138
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 75917f30afe..1cc6015a64b 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,20 @@
+2020-06-05 Thomas Schwinge <thomas@codesourcery.com>
+ Julian Brown <julian@codesourcery.com>
+
+ * oacc-mem.c (goacc_exit_data_internal) <GOMP_MAP_STRUCT>: Explain
+ special handling.
+
+2020-06-05 Thomas Schwinge <thomas@codesourcery.com>
+ Julian Brown <julian@codesourcery.com>
+
+ * oacc-mem.c (goacc_exit_data_internal) <GOMP_MAP_STRUCT>:
+ Simplify.
+
+2020-06-05 Julian Brown <julian@codesourcery.com>
+
+ * testsuite/libgomp.oacc-c-c++-common/struct-copyout-1.c: New test.
+ * testsuite/libgomp.oacc-c-c++-common/struct-copyout-2.c: New test.
+
2020-06-04 Thomas Schwinge <thomas@codesourcery.com>
* oacc-mem.c (goacc_exit_data_internal) <GOMP_MAP_STRUCT>:
^ permalink raw reply [flat|nested] 8+ messages in thread
* [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump.
@ 2020-06-11 9:54 Martin Liska
0 siblings, 0 replies; 8+ 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] 8+ messages in thread
* [gcc(refs/users/marxin/heads/slp-function-v2)] Daily bump.
@ 2020-06-11 9:48 Martin Liska
0 siblings, 0 replies; 8+ messages in thread
From: Martin Liska @ 2020-06-11 9:48 UTC (permalink / raw)
To: gcc-cvs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="us-ascii", Size: 22454 bytes --]
https://gcc.gnu.org/g:9a5b7438c85a926a0dba9dc980039f3d67571763
commit 9a5b7438c85a926a0dba9dc980039f3d67571763
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Thu Jun 4 00:16:34 2020 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 97 +++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 250 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/c-family/ChangeLog | 20 ++++
gcc/c/ChangeLog | 19 ++++
gcc/cp/ChangeLog | 39 ++++++++
gcc/fortran/ChangeLog | 14 +++
gcc/jit/ChangeLog | 6 ++
gcc/lto/ChangeLog | 4 +
gcc/po/ChangeLog | 4 +
gcc/testsuite/ChangeLog | 69 +++++++++++++
libgcc/ChangeLog | 8 ++
12 files changed, 531 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3fc8a8e55cc..edbcaf2bc4d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,100 @@
+2020-06-03 Vitor Guidi <vitor.guidi@usp.br>
+
+ * match.pd (tanh/sinh -> 1/cosh): New simplification.
+
+2020-06-03 Aaron Sawdey <acsawdey@linux.ibm.com>
+
+ PR target/95347
+ * config/rs6000/rs6000.c (is_stfs_insn): Rename to
+ is_lfs_stfs_insn and make it recognize lfs as well.
+ (prefixed_store_p): Use is_lfs_stfs_insn().
+ (prefixed_load_p): Use is_lfs_stfs_insn() to recognize lfs.
+
+2020-06-03 Jan Hubicka <hubicka@ucw.cz>
+
+ * ipa-devirt.c: Include data-streamer.h, lto-streamer.h and
+ streamer-hooks.h.
+ (odr_enums): New static var.
+ (struct odr_enum_val): New struct.
+ (class odr_enum): New struct.
+ (odr_enum_map): New hashtable.
+ (odr_types_equivalent_p): Drop code testing TYPE_VALUES.
+ (add_type_duplicate): Likewise.
+ (free_odr_warning_data): Do not free TYPE_VALUES.
+ (register_odr_enum): New function.
+ (ipa_odr_summary_write): New function.
+ (ipa_odr_read_section): New function.
+ (ipa_odr_summary_read): New function.
+ (class pass_ipa_odr): New pass.
+ (make_pass_ipa_odr): New function.
+ * ipa-utils.h (register_odr_enum): Declare.
+ * lto-section-in.c: (lto_section_name): Add odr_types section.
+ * lto-streamer.h (enum lto_section_type): Add odr_types section.
+ * passes.def: Add odr_types pass.
+ * lto-streamer-out.c (DFS::DFS_write_tree_body): Do not stream
+ TYPE_VALUES.
+ (hash_tree): Likewise.
+ * tree-streamer-in.c (lto_input_ts_type_non_common_tree_pointers):
+ Likewise.
+ * tree-streamer-out.c (write_ts_type_non_common_tree_pointers):
+ Likewise.
+ * timevar.def (TV_IPA_ODR): New timervar.
+ * tree-pass.h (make_pass_ipa_odr): Declare.
+ * tree.c (free_lang_data_in_type): Regiser ODR types.
+
+2020-06-03 Romain Naour <romain.naour@gmail.com>
+
+ * Makefile.in (SELFTEST_DEPS): Move before including language makefile
+ fragments.
+
+2020-06-03 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/95487
+ * tree-vect-stmts.c (vectorizable_store): Use a truth type
+ for the scatter mask.
+
+2020-06-03 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/95495
+ * tree-vect-slp.c (vect_slp_analyze_node_operations): Use
+ SLP_TREE_REPRESENTATIVE in the shift assertion.
+
+2020-06-03 Tom Tromey <tromey@adacore.com>
+
+ * spellcheck.c (CASE_COST): New define.
+ (BASE_COST): New define.
+ (get_edit_distance): Recognize case changes.
+ (get_edit_distance_cutoff): Update.
+ (test_edit_distances): Update.
+ (get_old_cutoff): Update.
+ (test_find_closest_string): Add case sensitivity test.
+
+2020-06-03 Richard Biener <rguenther@suse.de>
+
+ * tree-vect-slp.c (vect_bb_vectorization_profitable_p): Loop over
+ the cost vector to unset the visited flag on stmts.
+
+2020-06-03 Tobias Burnus <tobias@codesourcery.com>
+
+ * gimplify.c (omp_notice_variable): Use new hook.
+ * langhooks-def.h (lhd_omp_predetermined_mapping): Declare.
+ (LANG_HOOKS_OMP_PREDETERMINED_MAPPING): Define
+ (LANG_HOOKS_DECLS): Add it.
+ * langhooks.c (lhd_omp_predetermined_sharing): Remove bogus unused attr.
+ (lhd_omp_predetermined_mapping): New.
+ * langhooks.h (struct lang_hooks_for_decls): Add new hook.
+
+2020-06-03 Jan Hubicka <jh@suse.cz>
+
+ * lto-streamer.h (LTO_tags): Reorder so frequent tags has small indexes;
+ add LTO_first_tree_tag and LTO_first_gimple_tag.
+ (lto_tag_is_tree_code_p): Update.
+ (lto_tag_is_gimple_code_p): Update.
+ (lto_gimple_code_to_tag): Update.
+ (lto_tag_to_gimple_code): Update.
+ (lto_tree_code_to_tag): Update.
+ (lto_tag_to_tree_code): Update.
+
2020-06-02 Felix Yang <felix.yang@huawei.com>
PR target/95459
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 2850e546047..6c883c98853 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200603
+20200604
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index f672e7466c9..6fc01445b8b 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,253 @@
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch12.adb (Denotes_Previous_Actual): Delete.
+ (Check_Generic_Actuals): Do not special case array types whose
+ component type denotes a previous actual. Do not special case
+ access types whose base type is private.
+ (Check_Private_View): Remove code dealing with secondary types.
+ Do not switch the views of an array because of its component.
+ (Copy_Generic_Node): Add special handling for a comparison
+ operator on array types.
+ (Instantiate_Type): Do not special case access types whose
+ designated type is private.
+ (Set_Global_Type): Do not special case array types whose
+ component type is private.
+
+2020-06-03 Justin Squirek <squirek@adacore.com>
+
+ * sem_ch10.adb (Process_Body_Clauses): Add loop to interate
+ through all prefixes in a use_type clause so that all packages
+ in the expanded name get examined for effectiveness.
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch12.adb (Check_Private_View): Clean up implementation of
+ second main case, when the generic sees the private declaration.
+
+2020-06-03 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/a-nbnbin.ads: Minor reformatting.
+ * libgnat/a-nbnbre.ads, libgnat/a-nbnbre.adb (Is_Valid): Add
+ convention Intrinsic. Add detection of uninitialized big reals.
+
+2020-06-03 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_util.ads, sem_util.adb (Side_Effect_Free_Statements,
+ Side_Effect_Free_Loop): New functions.
+ (Has_Non_Null_Statements): Consider N_Call_Marker as a null
+ statement.
+ * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Call
+ Set_Is_Null_Loop even inside a generic instantiation.
+ (Analyze_Loop_Statement): Mark for removal loops with no side
+ effects.
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * opt.ads (Allow_Integer_Address): Fix typo in comment.
+ * stand.ads (Standard_Address): New entity.
+ * cstand.adb (Create_Standard): Create it.
+ * sem_ch4.adb (Operator_Check): Convert the operands of an
+ operation with addresses and integers to Standard_Address
+ if pragma Allow_Integer_Address is in effect.
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * libgnat/s-atopar.adb (Atomic_Fetch_And_Add): Make use of an
+ equivalent static expression.
+ (Atomic_Fetch_And_Subtract): Likewise.
+ (Is_Lock_Free): Likewise.
+ * libgnat/s-atopex.adb (Atomic_Exchange): Likewise.
+ (Atomic_Compare_And_Exchange): Likewise.
+ (Is_Lock_Free): Likewise.
+
+2020-06-03 Vadim Godunko <godunko@adacore.com>
+
+ * libgnat/s-parame.ads, libgnat/s-parame__ae653.ads,
+ libgnat/s-parame__hpux.ads: Fix typos.
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_util.adb (Remove_Side_Effects): For a type conversion, do
+ not remove the side effects of the expression only if it is of
+ universal integer type.
+
+2020-06-03 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/s-aotase.ads, libgnat/s-atoope.ads,
+ libgnat/s-atopar.ads, libgnat/s-atopex.ads: Update header.
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Unchecked_Type_Conversion): Also fold the
+ conversion for literals of enumeration types.
+
+2020-06-03 Yannick Moy <moy@adacore.com>
+
+ * rtsfind.adb (Load_RTU): Correctly set/reset global variable to
+ ignore SPARK_Mode in instances around loading.
+ * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Accept Off
+ without prior On.
+ * sem_ch7.adb (Analyze_Package_Body_Helper): Likewise.
+ * sem_prag.adb (Analyze_Pragma): Always take into account
+ SPARK_Mode Off.
+
+2020-06-03 Arnaud Charlet <charlet@adacore.com>
+
+ * frontend.adb (Frontend): Call (dummy for now) tree checker.
+ * debug.adb: Reserve -gnatd_V for the tree checker.
+ * vast.ads, vast.adb: New files.
+ * gcc-interface/Make-lang.in: Add vast.o.
+
+2020-06-03 Justin Squirek <squirek@adacore.com>
+
+ * libgnat/a-cborse.adb, libgnat/a-cihase.adb,
+ libgnat/a-ciorse.adb, libgnat/a-coorse.adb: Modified to use
+ 'Unrestricted_Access in certain cases where static accessibility
+ errors were triggered.
+ * exp_ch6.adb (Expand_Simple_Return_Statement): Add generation
+ of dynamic accessibility checks as determined by
+ Is_Special_Aliased_Formal_Access.
+ * sem_attr.adb (Resolve_Attribute): Add call to
+ Is_Special_Aliased_Formal_Access to avoid performing static
+ checks where dynamic ones are required.
+ * sem_ch6.adb (Check_Return_Obj_Accessibility): Handle renamed
+ objects within component associations requiring special
+ accessibility checks.
+ * sem_util.adb, sem_util.ads (Is_Special_Aliased_Formal_Access):
+ Created to detect the special case where an aliased formal is
+ being compared against the level of an anonymous access return
+ object.
+ (Object_Access_Level): Remove incorrect condition leading to
+ overly permissive accessibility levels being returned on
+ explicitly aliased parameters.
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * einfo.ads (Enum_Pos_To_Rep): Adjust description.
+ * exp_attr.adb (Expand_N_Attribute_Reference) <Pred>:
+ Reimplement in the case of an enumeration type with non-standard
+ but contiguous representation.
+ <Succ>: Likewise.
+ <Val>: Likewise.
+ * exp_ch3.adb (Expand_Freeze_Enumeration_Type): Count the
+ literals in the first loop. If the representation is
+ contiguous, just build the index type of the array type and set
+ Enum_Pos_To_Rep to it.
+
+2020-06-03 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_attr.adb (Expand_Loop_Entry_Attribute): Revise loop that
+ resets the scopes of entities associated with Loop_Id to the
+ scope of the new function, so the resetting is not restricted to
+ itypes, but excludes loop parameters and the function entity
+ itself. However, this fix is believed to be incomplete and a ???
+ comment is added to indicate that.
+
+2020-06-03 Bob Duff <duff@adacore.com>
+
+ * libgnat/s-regexp.ads: Fix comment
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference) <Enum_Rep>:
+ In the case of an enumeration type, do an intermediate
+ conversion to a small integer type. Remove useless stuff.
+ <Finalization_Size>: Do not hardcode Universal_Integer and
+ fix a type mismatch in the assignment to the variable.
+ <Max_Size_In_Storage_Elements>: Likewise.
+ <From_Any>: Do not redefine the Ptyp local variable.
+ <To_Any>: Likewise.
+ <TypeCode>: Likewise.
+ <Pos>: Small tweaks.
+ <Val>: For an enumeration type with standard representation,
+ apply the range check to the expression of a convertion to
+ Universal_Integer, if any. For an integer type, expand to
+ a mere conversion.
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * libgnat/s-rannum.adb (Random_Discrete): In the 32-bit case,
+ use the same linear implementation as in the 64-bit case when
+ the type has a contiguous representation.
+
+2020-06-03 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_util.adb (Build_Class_Wide_Clone_Decl): Call
+ Set_Debug_Info_Needed to set the Needs_Debug_Info flag on
+ Clone_Id if the flag is set on Spec_Id.
+
+2020-06-03 Yannick Moy <moy@adacore.com>
+
+ * inline.adb (Expand_Inlined_Call): Do not suppress checks on
+ inlined code in GNATprove mode.
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * einfo.ads (Has_Contiguous_Rep): Fix typo in comment.
+
+2020-06-03 Piotr Trojanek <trojanek@adacore.com>
+
+ * checks.adb, einfo.adb, exp_aggr.adb, exp_ch4.adb, exp_ch6.adb,
+ exp_unst.adb, exp_util.adb, freeze.adb, inline.adb, repinfo.adb,
+ sem_aggr.adb, sem_attr.adb, sem_aux.adb, sem_ch13.adb,
+ sem_ch3.adb, sem_ch4.adb, sem_ch8.adb, sem_elab.adb,
+ sem_eval.adb, sem_prag.adb, sem_res.adb, sem_smem.adb,
+ sem_util.adb, treepr.adb: Replace uses of Next_ functions with
+ corresponding procedures.
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_attr.adb (Attribute_Valid): Use Standard_Long_Long_Integer
+ in lieu of Universal_Integer as large integer type.
+ * exp_ch3.adb (Expand_Freeze_Enumeration_Type): Likewise.
+
+2020-06-03 Arnaud Charlet <charlet@adacore.com>
+
+ * libgnat/s-auxdec.ads (Address_Int): New.
+
+2020-06-03 Arnaud Charlet <charlet@adacore.com>
+
+ * aspects.adb, aspects.ads, atree.adb, atree.ads, elists.adb,
+ elists.ads, fname.adb, fname.ads, gnat1drv.adb, lib.adb,
+ lib.ads, namet.adb, namet.ads, nlists.adb, nlists.ads, opt.adb,
+ opt.ads, osint-c.adb, osint-c.ads, repinfo.adb, repinfo.ads,
+ sem_aux.adb, sem_aux.ads, sinput.adb, sinput.ads, stand.ads,
+ stringt.adb, stringt.ads, switch-c.adb, table.adb, table.ads,
+ uintp.adb, uintp.ads, urealp.adb, urealp.ads (Tree_Read,
+ Tree_Write): Remove generation of ASIS trees.
+ * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
+ Remove -gnatt and -gnatct documentation.
+ * gnat_ugn.texi: Regenerate.
+ * tree_in.ads, tree_in.adb, tree_io.ads, tree_io.adb,
+ tree_gen.ads, tree_gen.adb, stand.adb: Remove.
+ * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Remove
+ references to tree_gen.o tree_in.o tree_io.o.
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * opt.ads (Disable_FE_Inline): Move around.
+ (Disable_FE_Inline_Always): Likewise.
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * checks.adb (Is_Single_Attribute_Reference): New predicate.
+ (Generate_Range_Check): Do not force the evaluation if the
+ node is a single attribute reference.
+ * exp_util.adb (Side_Effect_Free_Attribute): New predicate.
+ (Side_Effect_Free) <N_Attribute_Reference>: Call it.
+ (Remove_Side_Effects): Remove the side effects of the prefix
+ for an attribute reference whose prefix is not a name.
+
+2020-06-03 Arnaud Charlet <charlet@adacore.com>
+
+ * switch-c.adb (Scan_Front_End_Switches): Remove processing of
+ -gnatt.
+ * usage.adb (Usage): Remove mention of -gnatt.
+
+2020-06-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sinfo.ads: Minor tweaks in commentary.
+
2020-06-02 Alexandre Oliva <oliva@adacore.com>
* lib.ads (Compilation_Switches): Remove -auxbase from
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 0ec2b9662a8..a513fdc4958 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,23 @@
+2020-06-03 Mark Wielaard <mark@klomp.org>
+
+ * known-headers.cc (get_cp_stdlib_header_for_string_macro_name):
+ New function.
+ * known-headers.h (get_cp_stdlib_header_for_string_macro_name):
+ New function declaration.
+
+2020-06-03 Mark Wielaard <mark@klomp.org>
+
+ * known-headers.cc (get_string_macro_hint): New function.
+ (get_stdlib_header_for_name): Use get_string_macro_hint.
+ (get_c_stdlib_header_for_string_macro_name): New function.
+ * known-headers.h (get_c_stdlib_header_for_string_macro_name):
+ New function declaration.
+
+2020-06-03 Tobias Burnus <tobias@codesourcery.com>
+
+ * c-common.h (c_omp_predetermined_mapping): Declare.
+ * c-omp.c (c_omp_predetermined_mapping): New.
+
2020-05-22 Mark Wielaard <mark@klomp.org>
* known-headers.cc (get_stdlib_header_for_name): Add a new
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 7efb6bfc544..abf31e57688 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,22 @@
+2020-06-03 Mark Wielaard <mark@klomp.org>
+
+ * c-parser.c (struct c_parser): Add seen_string_literal
+ bitfield.
+ (c_parser_consume_token): Reset seen_string_literal.
+ (c_parser_error_richloc): Add name_hint if seen_string_literal
+ and next token is a CPP_NAME and we have a missing header
+ suggestion for the name.
+ (c_parser_string_literal): Set seen_string_literal.
+
+2020-06-03 Mark Wielaard <mark@klomp.org>
+
+ * c-parser.c (c_parser_postfix_expression_after_primary): Add
+ scope with matching_parens after CPP_OPEN_PAREN.
+
+2020-06-03 Tobias Burnus <tobias@codesourcery.com>
+
+ * c-objc-common.h (LANG_HOOKS_OMP_PREDETERMINED_MAPPING): Redefine.
+
2020-05-28 Nicolas Bértolo <nicolasbertolo@gmail.com>
* Make-lang.in: Remove extra slash.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 805ed184220..452ab2345f0 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,42 @@
+2020-06-03 Mark Wielaard <mark@klomp.org>
+
+ * parser.c (cp_lexer_safe_previous_token): New function.
+ (cp_parser_error_1): Add name_hint if the previous token is
+ a string literal and next token is a CPP_NAME and we have a
+ missing header suggestion for the name.
+
+2020-06-03 Patrick Palka <ppalka@redhat.com>
+
+ * pt.c (process_partial_specialization): Pass the full set of
+ generic template arguments to strictly_subsumes.
+
+2020-06-03 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/92103
+ * pt.c (most_specialized_partial_spec): Reorganize the loop over
+ DECL_TEMPLATE_SPECIALIZATIONS. Check constraints_satisfied_p on
+ the original template declaration, not on the tsubsted one.
+
+2020-06-03 Iain Sandoe <iain@sandoe.co.uk>
+
+ PR c++/95345
+ * coroutines.cc (finish_co_await_expr): Revise to allow for
+ parameter packs.
+ (finish_co_yield_expr): Likewise.
+
+2020-06-03 Jason Merrill <jason@redhat.com>
+
+ PR c++/95232
+ * cp-tree.h (predeclare_vla): Declare.
+ * cp-gimplify.c (predeclare_vla): Handle getting a decl.
+ * pt.c (tsubst_expr) [DECL_EXPR]: Use it.
+
+2020-06-03 Tobias Burnus <tobias@codesourcery.com>
+
+ * cp-gimplify.c (cxx_omp_predetermined_mapping): New.
+ * cp-objcp-common.h (LANG_HOOKS_OMP_PREDETERMINED_MAPPING): Redfine.
+ * cp-tree.h (cxx_omp_predetermined_mapping): Declare.
+
2020-06-02 Jason Merrill <jason@redhat.com>
PR c++/95193
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index a96acfa17cb..a8789024860 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,17 @@
+2020-06-03 José Rui Faustino de Sousa <jrfsousa@gmail.com>
+
+ PR fortran/95214
+ PR fortran/66833
+ PR fortran/67938
+ * trans-expr.c (gfc_maybe_dereference_var): Add assumed-rank to
+ character dummy arguments list of possible attributes.
+
+2020-06-03 Tobias Burnus <tobias@codesourcery.com>
+
+ * f95-lang.c (LANG_HOOKS_OMP_PREDETERMINED_MAPPING): Redefine.
+ * trans-openmp.c (gfc_omp_predetermined_mapping): New.
+ * trans.h (gfc_omp_predetermined_mapping): Declare.
+
2020-05-31 Thomas Koenig <tkoenig@gcc.gnu.org>
PR fortran/94361
diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog
index c0561d19db4..85edad17e98 100644
--- a/gcc/jit/ChangeLog
+++ b/gcc/jit/ChangeLog
@@ -1,3 +1,9 @@
+2020-06-03 David Malcolm <dmalcolm@redhat.com>
+
+ PR jit/95306
+ * jit-builtins.c (builtins_manager::make_primitive_type):
+ Implement BT_CONST_VOLATILE_PTR.
+
2020-06-02 David Malcolm <dmalcolm@redhat.com>
PR jit/95426
diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog
index 047afbafc80..599d22922d5 100644
--- a/gcc/lto/ChangeLog
+++ b/gcc/lto/ChangeLog
@@ -1,3 +1,7 @@
+2020-06-03 Jan Hubicka <hubicka@ucw.cz>
+
+ * lto-common.c (compare_tree_sccs_1): Do not compare TYPE_VALUES.
+
2020-05-22 Jan Hubicka <hubicka@ucw.cz>
* lto-common.c (lto_read_decls): Do not skip stray refs.
diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog
index 064985a7d7b..8f2e0a644d3 100644
--- a/gcc/po/ChangeLog
+++ b/gcc/po/ChangeLog
@@ -1,3 +1,7 @@
+2020-06-03 Joseph Myers <joseph@codesourcery.com>
+
+ * sv.po: Update.
+
2020-05-18 Joseph Myers <joseph@codesourcery.com>
* sv.po: Update.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 23f21cc8f4d..89a1ad55923 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,72 @@
+2020-06-03 Mark Wielaard <mark@klomp.org>
+
+ * g++.dg/spellcheck-inttypes.C: Add string-literal testcases.
+
+2020-06-03 Mark Wielaard <mark@klomp.org>
+
+ * gcc.dg/spellcheck-inttypes.c: New test.
+ * g++.dg/spellcheck-inttypes.C: Likewise.
+
+2020-06-03 Mark Wielaard <mark@klomp.org>
+
+ * c-c++-common/missing-close-func-paren.c: New test.
+
+2020-06-03 Vitor Guidi <vitor.guidi@usp.br>
+
+ * gcc.dg/tanhbysinh.c: New testcase.
+
+2020-06-03 Patrick Palka <ppalka@redhat.com>
+
+ * g++.dg/cpp2a/concepts-partial-spec8.C: New test.
+
+2020-06-03 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/92103
+ * g++.dg/cpp2a/concepts-partial-spec7.C: New test.
+
+2020-06-03 Jan Hubicka <hubicka@ucw.cz>
+
+ * g++.dg/lto/pr84805_0.C: Update.
+
+2020-06-03 Iain Sandoe <iain@sandoe.co.uk>
+
+ PR c++/95345
+ * g++.dg/coroutines/pr95345.C: New test.
+
+2020-06-03 Jason Merrill <jason@redhat.com>
+
+ PR c++/95232
+ * g++.dg/ubsan/vla-2.C: New test.
+
+2020-06-03 José Rui Faustino de Sousa <jrfsousa@gmail.com>
+
+ PR fortran/95214
+ PR fortran/66833
+ PR fortran/67938
+ * gfortran.dg/PR95214.f90: New test.
+
+2020-06-03 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/95487
+ * g++.dg/vect/pr95487.cc: New testcase.
+
+2020-06-03 David Malcolm <dmalcolm@redhat.com>
+
+ PR jit/95306
+ * jit.dg/test-pr95306-builtin-types.c (create_code): Add
+ test of getting __atomic_load.
+
+2020-06-03 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/95495
+ * gcc.dg/vect/pr95495.c: New testcase.
+
+2020-06-03 Thomas Schwinge <thomas@codesourcery.com>
+ Tobias Burnus <tobias@codesourcery.com>
+
+ PR middle-end/94874
+ * c-c++-common/gomp/pr94874.c: New.
+
2020-06-02 David Malcolm <dmalcolm@redhat.com>
PR jit/95426
diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index 0b4228237bc..3b20f6f86a7 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,11 @@
+2020-06-03 Martin Liska <mliska@suse.cz>
+
+ PR gcov-profile/95480
+ * libgcov-profiler.c (GCOV_SUPPORTS_ATOMIC): Move to...
+ * libgcov.h (GCOV_SUPPORTS_ATOMIC): ...here.
+ (gcov_counter_add): Use GCOV_SUPPORTS_ATOMIC guard.
+ (gcov_counter_set_if_null): Likewise.
+
2020-06-02 Jim Wilson <jimw@sifive.com>
* config/riscv/div.S (__divdi3): For negative arguments, change bgez
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2020-06-11 10:13 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-06-11 9:59 [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:09 Martin Liska
2020-06-11 10:04 Martin Liska
2020-06-11 10:00 Martin Liska
2020-06-11 9:58 Martin Liska
2020-06-11 9:54 Martin Liska
2020-06-11 9:48 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).