From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1698) id BCB1339F3437; Fri, 17 Jul 2020 21:16:55 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org BCB1339F3437 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1595020615; bh=y094tYPjvukIeXLn4ztjksQ/3+CirWCUCOANe0CyPmA=; h=From:To:Subject:Date:From; b=pi8fiRTdxc8trBJE16c6lpDbfREBKK/LRKjDV2QRuYrQZ534b2fAAJNVHKTk+qdWn Fv0AHQ4q5+kIqFk9wgmvcBmc6d7V5I3l7N3Mj5zQ4lT/uMHa+Orh/v2h2+cPGWl5O5 YT10LPZeLRJT4kBScNki11Z9pWZ4mIjapawH8Oz0= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit From: Iain D Sandoe To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/c++-coroutines] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/devel/c++-coroutines X-Git-Oldrev: 84c5396d4bdbf9f1d628c77db4421808f9a9dcb6 X-Git-Newrev: 96686b3fcd10a6ab55bf09bee324fe91b1fde076 Message-Id: <20200717211655.BCB1339F3437@sourceware.org> Date: Fri, 17 Jul 2020 21:16:55 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 17 Jul 2020 21:16:55 -0000 https://gcc.gnu.org/g:96686b3fcd10a6ab55bf09bee324fe91b1fde076 commit 96686b3fcd10a6ab55bf09bee324fe91b1fde076 Author: GCC Administrator Date: Fri Jul 17 00:16:27 2020 +0000 Daily bump. Diff: --- gcc/ChangeLog | 79 +++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 251 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 59 ++++++++++++ gcc/fortran/ChangeLog | 6 ++ gcc/testsuite/ChangeLog | 33 +++++++ libgomp/ChangeLog | 6 ++ libsanitizer/ChangeLog | 5 + 8 files changed, 440 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c6e2868b01c..518fc7cebd2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,82 @@ +2020-07-16 Hans-Peter Nilsson + Segher Boessenkool + + PR target/93372 + * combine.c (is_just_move): Take an rtx_insn* as argument. Use + single_set on it. + +2020-07-16 Uroš Bizjak + + PR target/96189 + * config/i386/sync.md + (peephole2 to remove unneded compare after CMPXCHG): + New pattern, also handle XOR zeroing and load of -1 by OR. + +2020-07-16 Eric Botcazou + + * config/i386/i386.c (ix86_compute_frame_layout): Minor tweak. + (ix86_adjust_stack_and_probe): Delete. + (ix86_adjust_stack_and_probe_stack_clash): Rename to above and add + PROTECTION_AREA parameter. If it is true, probe PROBE_INTERVAL plus + a small dope beyond SIZE bytes. + (ix86_emit_probe_stack_range): Use local variable. + (ix86_expand_prologue): Adjust calls to ix86_adjust_stack_and_probe + and tidy up the stack checking code. + * explow.c (get_stack_check_protect): Fix head comment. + (anti_adjust_stack_and_probe_stack_clash): Likewise. + (allocate_dynamic_stack_space): Add comment. + * tree-nested.c (lookup_field_for_decl): Set the DECL_IGNORED_P and + TREE_NO_WARNING but not TREE_ADDRESSABLE flags on the field. + +2020-07-16 Andrew Stubbs + + * config/gcn/mkoffload.c: Include simple-object.h and elf.h. + (EM_AMDGPU): New macro. + (ELFOSABI_AMDGPU_HSA): New macro. + (ELFABIVERSION_AMDGPU_HSA): New macro. + (EF_AMDGPU_MACH_AMDGCN_GFX803): New macro. + (EF_AMDGPU_MACH_AMDGCN_GFX900): New macro. + (EF_AMDGPU_MACH_AMDGCN_GFX906): New macro. + (R_AMDGPU_NONE): New macro. + (R_AMDGPU_ABS32_LO): New macro. + (R_AMDGPU_ABS32_HI): New macro. + (R_AMDGPU_ABS64): New macro. + (R_AMDGPU_REL32): New macro. + (R_AMDGPU_REL64): New macro. + (R_AMDGPU_ABS32): New macro. + (R_AMDGPU_GOTPCREL): New macro. + (R_AMDGPU_GOTPCREL32_LO): New macro. + (R_AMDGPU_GOTPCREL32_HI): New macro. + (R_AMDGPU_REL32_LO): New macro. + (R_AMDGPU_REL32_HI): New macro. + (reserved): New macro. + (R_AMDGPU_RELATIVE64): New macro. + (gcn_s1_name): Delete global variable. + (gcn_s2_name): Delete global variable. + (gcn_o_name): Delete global variable. + (gcn_cfile_name): Delete global variable. + (files_to_cleanup): New global variable. + (offload_abi): New global variable. + (tool_cleanup): Use files_to_cleanup, not explicit list. + (copy_early_debug_info): New function. + (main): New local variables gcn_s1_name, gcn_s2_name, gcn_o_name, + gcn_cfile_name. + Create files_to_cleanup obstack. + Recognize -march options. + Copy early debug info from input .o files. + +2020-07-16 Andrea Corallo + + * Makefile.in (TAGS): Remove 'params.def'. + +2020-07-16 Roger Sayle + + * target.def (TARGET_TRULY_NOOP_TRUNCATION): Clarify that + targets that return false, indicating SUBREGs shouldn't be + used, also need to provide a trunc?i?i2 optab that performs this + truncation. + * doc/tm.texi: Regenerate. + 2020-07-15 Uroš Bizjak PR target/96189 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 788faba5246..9e40331a3cc 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20200716 +20200717 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 27c26289bea..e690700bfb5 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,254 @@ +2020-07-16 Javier Miranda + + * exp_ch3.adb (Expand_N_Full_Type_Declaration): Ensure a _master + declaration on limited types that might have tasks. + * exp_ch9.adb (Build_Master_Renaming): For private types, if we + are processing declarations in the private part, ensure that + master is inserted before its full declaration; otherwise the + master renaming may be inserted in the public part of the + package (and hence before the declaration of its _master + variable). + +2020-07-16 Arnaud Charlet + + * sem_ch8.adb (Analyze_Subprogram_Renaming): A renames-as-body + freezes the expression of any expression function that it + renames. + +2020-07-16 Ed Schonberg + + * sem_aggr.adb (Resolve_Container_Aggregate): Add semantic + checks for indexed aggregates, including component associations + and iterated component associations. + * exp_aggr.adb (Expand_Iterated_Component): New subprogram, + subsidiary of Expand_Container_Aggreggate, used for positional, + named, and indexed aggregates. + (Aggregate_Size): New subprogram to precompute the size of an + indexed aggregate prior to call to allocate it. + (Expand_Range_Component): New subprogram so generate loop for a + component association given by a range or a subtype name in an + indexed aggregate. + +2020-07-16 Bob Duff + + * bindo-diagnostics.adb (Output_Invocation_Related_Suggestions): + Use Cumulative_Restrictions.Set, because Restriction_Active only + works at compile time. + +2020-07-16 Bob Duff + + * gnatbind.adb (Gnatbind): For No_Tasks_Unassigned_To_CPU, check + that CPU has been set on the main subprogram. + (Restriction_Could_Be_Set): Don't print + No_Tasks_Unassigned_To_CPU if it would violate the + above-mentioned rule. Up to now, all restrictions were checked + by the compiler, with the binder just checking for consistency. + But the compiler can't know which subprogram is the main, so + it's impossible to check this one at compile time. + * restrict.ads, restrict.adb: Misc refactoring. Change Warning + to Warn, for consistency, since most already use Warn. + (Set_Restriction): New convenience routine. + * sem_ch13.adb (Attribute_CPU): Check + No_Tasks_Unassigned_To_CPU. + * sem_prag.adb (Pragma_CPU): Check No_Tasks_Unassigned_To_CPU. + Misc refactoring. + * tbuild.ads, tbuild.adb (Sel_Comp): New functions for building + selected components. + +2020-07-16 Eric Botcazou + + * impunit.adb (Non_Imp_File_Names_95): Remove duplicate entry. + +2020-07-16 Arnaud Charlet + + * Makefile.rtl: replace a-numaux__x86.ads by + a-numaux__libc-x86.ads and a-numaux__x86.adb by + a-numaux__dummy.adb. + * libgnat/a-numaux__x86.ads, libgnat/a-numaux__x86.adb: Removed. + * libgnat/a-numaux__dummy.adb: New. + +2020-07-16 Ed Schonberg + + * sem_ch12.adb (Load_Parent_Of_Generic): If an ancestor is an + instance whose source appears within a formal package of the + current unit, there is no body of the ancestor needed to + complete the current generic compilation. + +2020-07-16 Doug Rupp + + * libgnat/s-thread__ae653.adb (taskVarAdd): Defunct, so remove. + (Current_ATSD): Make it a TLS variable. + (OK): Move to package scope. + (System.Storage_Elements): Import and Use. + +2020-07-16 Eric Botcazou + + * exp_ch9.adb (Expand_N_Accept_Statement): Set Parent of the + created block entity to the created block statement. + +2020-07-16 Arnaud Charlet + + * scng.adb (Scan): Detect wide characters not in NFKC. + * libgnat/a-chahan.adb, libgnat/a-chahan.ads, + libgnat/a-wichha.adb, libgnat/a-wichha.ads, + libgnat/a-wichun.adb, libgnat/a-wichun.ads, + libgnat/a-zchhan.adb, libgnat/a-zchhan.ads, + libgnat/a-zchuni.adb, libgnat/a-zchuni.ads (Is_NFKC): New. + * libgnat/s-utf_32.ads, libgnat/s-utf_32.adb (Is_UTF_32_NFKC): + New. + +2020-07-16 Bob Duff + + * libgnat/s-rident.ads (Restriction_Id): Add + No_Tasks_Unassigned_To_CPU. + +2020-07-16 Bob Duff + + * exp_aggr.adb (Max_Aggregate_Size): Use the small size of 64 + when copying is needed (for example, for the initialization of a + local variable, and for assignment statements). Use the larger + size when static allocation can be done without copying. + +2020-07-16 Bob Duff + + * libgnat/s-rident.ads (No_Dynamic_CPU_Assignment): New + restriction. Add it to all relevant profiles. + * sem_ch13.adb (Attribute_CPU): Check No_Dynamic_CPU_Assignment + restriction. + (Attribute_CPU, Attribute_Dispatching_Domain, + Attribute_Interrupt_Priority): Remove error checks -- these are + checked in the parser. + * sem_prag.adb (Pragma_CPU): Check No_Dynamic_CPU_Assignment + restriction. We've got a little violation of DRY here. + * sem.ads, sem_ch3.ads: Minor comment fix. + +2020-07-16 Gary Dismukes + + * sem_ch4.adb (Try_Container_Indexing): When the prefix type is + an access type, change it to the designated type, change the + prefix to an explicit dereference, and emit a ?d? warning for + the implicit dereference. Include a ??? comment questioning + whether this is the right context in which to perform the + implicit dereferencing. + +2020-07-16 Arnaud Charlet + + * sem_ch13.adb (Validate_Literal_Aspect): Ensure that the + parameter is not aliased. Minor reformatting. + * sem_util.adb (Statically_Names_Object): Update comment. + +2020-07-16 Ghjuvan Lacambre + + * sem_case.adb (Build_Choice): Set Is_Static_Expression flag. + (Lit_Of): Update specification to mention Is_Static_Expression + flag. + * sem_ch13.adb (Membership_Entry): Check for N_Others_Choice. + +2020-07-16 Bob Duff + + * sem_ch6.adb (Null_Exclusions_Match): New function to check + that the null exclusions match, including in the case addressed + by this AI. + (Check_Conformance): Remove calls to Comes_From_Source + when calling Null_Exclusions_Match. These are not + needed, as indicated by an ancient "???" comment. + +2020-07-16 Justin Squirek + + * exp_ch4.adb (Expand_N_Type_Conversion): Remove flawed test for + whether "statically deeper" accessibility rules apply to a given + target type and instead use the new routine + Statically_Deeper_Relation_Applies. + (Statically_Deeper_Relation_Applies): Created to centralize the + calculation of whether a target type within a conversion must + have static accessibility checks. + * sem_ch13.adb (Check_One_Function): Minor comment revision. + +2020-07-16 Eric Botcazou + + * fe.h (Is_OK_Static_Expression): Delete. + * sem_eval.ads (Is_OK_Static_Expression): Remove WARNING note. + +2020-07-16 Justin Squirek + + * einfo.adb, einfo.ads (Is_Named_Access_Type): Created for + readability. + * sem_ch6.adb (Check_Return_Construct_Accessibility): Add + special cases for formals. + * sem_util.adb (Object_Access_Level): Add handling of access + attributes and named access types in the general case. + +2020-07-16 Piotr Trojanek + + * sem_case.adb (Build_Choice): Simplify. + +2020-07-16 Arnaud Charlet + + * frontend.adb: Disable Initialize_Scalars on runtime files. + +2020-07-16 Ghjuvan Lacambre + + * sem_ch3.adb (Analyze_Object_Declaration): Add + Comes_From_Source call. + +2020-07-16 Javier Miranda + + * exp_attr.adb (Expand_Access_To_Protected_Op): Initialize + variable Sub to Empty to avoid false positive reported by + Codepeer. + +2020-07-16 Arnaud Charlet + + * sem_ch8.adb (Note_Redundant_Use): Add missing warning tag. + Do not check for redundant use clauses in predefined units to avoid + misleading warnings that may occur as part of a rtsfind load. + +2020-07-16 Javier Miranda + + * exp_attr.adb (Has_By_Protected_Procedure_Prefixed_View): New + subprogram. + (Expand_Access_To_Protected_Op): Adding support for prefixed + class-wide view with By_Protected_Procedure convention. + * sem_attr.adb (Get_Convention): New subprogram. + (Get_Kind): Adapted to use Get_Convention. + * sem_ch4.adb (Try_By_Protected_Procedure_Prefixed_View): New + subprogram. + (Analyze_Selected_Component): Invoke + Try_By_Protected_Procedure_Prefixed_View. + * sem_util.ads (Is_By_Protected_Procedure): New subprogram. + * sem_util.adb (Is_By_Protected_Procedure): New subprogram. + +2020-07-16 Arnaud Charlet + + * libgnat/s-ststop.ads: Fix typo. + * libgnat/s-ststop.adb (Read, Write): Fix block number + computation to avoid overflows in case of large strings. + +2020-07-16 Arnaud Charlet + + * libgnat/s-genbig.adb ("**"): Remove capacity limit check. + Improve code by using an extended return. + (Normalize): Perform capacity limit check here instead which is + the centralized place where (potentially large) big integers are + allocated. + +2020-07-16 Gary Dismukes + + * exp_ch4.adb (Expand_N_Type_Conversion): Handle the case of + applying an invariant check for a conversion to a class-wide + type whose root type has a type invariant, when the conversion + appears within the immediate scope of the type and the + expression is of a specific tagged type. + * sem_ch3.adb (Is_Private_Primitive): New function to determine + whether a primitive subprogram is a private operation. + (Check_Abstract_Overriding): Enforce the restriction imposed by + AI12-0042 of requiring overriding of an inherited nonabstract + private operation when the ancestor has a class-wide type + invariant and the ancestor's private operation is visible. + (Derive_Subprogram): Set Requires_Overriding on a subprogram + inherited from a visible private operation of an ancestor to + which a Type_Invariant'Class expression applies. + 2020-07-15 Piotr Trojanek * sem_util.adb (Find_Overlaid_Entity): Fix style in comment. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 37a1ccefea6..03ff6f206f1 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,62 @@ +2020-07-16 Iain Sandoe + + PR c++/95591 + PR c++/95599 + PR c++/95823 + PR c++/95824 + PR c++/95895 + * coroutines.cc (struct coro_ret_data): Delete. + (coro_maybe_expand_co_return): Delete. + (co_return_expander): Delete. + (expand_co_returns): Delete. + (co_await_find_in_subtree): Remove unused name. + (build_actor_fn): Remove unused parm, remove handling + for co_return expansion. + (register_await_info): Demote duplicate info message to a + warning. + (coro_make_frame_entry): Move closer to use site. + (struct susp_frame_data): Add fields for final suspend label + and a flag to indicate await expressions with initializers. + (captures_temporary): Delete. + (register_awaits): Remove unused code, update comments. + (find_any_await): New. + (tmp_target_expr_p): New. + (struct interesting): New. + (find_interesting_subtree): New. + (struct var_nest_node): New. + (flatten_await_stmt): New. + (handle_nested_conditionals): New. + (process_conditional): New. + (replace_statement_captures): Rename to... + (maybe_promote_temps): ... this. + (maybe_promote_captured_temps): Delete. + (analyze_expression_awaits): Check for await expressions with + initializers. Simplify handling for truth-and/or-if. + (expand_one_truth_if): Simplify (map cases that need expansion + to COND_EXPR). + (await_statement_walker): Handle CO_RETURN_EXPR. Simplify the + handling for truth-and/or-if expressions. + (register_local_var_uses): Ensure that we create names in the + implementation namespace. + (morph_fn_to_coro): Add final suspend label to suspend frame + callback data and remove it from the build_actor_fn call. + +2020-07-16 Marek Polacek + + * call.c (convert_like): Remove macro and introduce a new + wrapper instead. + (convert_like_with_context): Likewise. + (convert_like_real): Rename to convert_like. + (convert_like_real_1): Rename to convert_like_internal. Call + convert_like instead of convert_like_real therein. + (perform_direct_initialization_if_possible): Call convert_like + instead of convert_like_real. + +2020-07-16 Iain Sandoe + + * coroutines.cc: Correct some spelling errors + in comments. + 2020-07-15 Nathan Sidwell * parser.c (cp_parser_declaration): Avoid copying tokens. diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index cd1ad2f9c20..1063b6bd723 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2020-07-16 Julian Brown + Thomas Schwinge + + * trans-openmp.c (gfc_trans_omp_clauses): Rework OpenACC + attach/detach handling for arrays with descriptors. + 2020-07-14 Steven G. Kargl Mark Eggleston diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c18c82aa1c9..1f5d762330c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,36 @@ +2020-07-16 Julian Brown + Thomas Schwinge + + * gfortran.dg/goacc/attach-descriptor.f90: New test. + +2020-07-16 Iain Sandoe + + PR c++/95591 + PR c++/95599 + PR c++/95823 + PR c++/95824 + PR c++/95895 + * g++.dg/coroutines/pr95591.C: New test. + * g++.dg/coroutines/pr95599.C: New test. + * g++.dg/coroutines/pr95823.C: New test. + * g++.dg/coroutines/pr95824.C: New test. + +2020-07-16 Jonathan Wakely + + PR testsuite/96014 + * g++.dg/analyzer/pr94028.C: Replace dynamic exception + specification with noexcept-specifier for C++11 and later. + +2020-07-16 Uroš Bizjak + + PR target/96189 + * gcc.target/i386/pr96189-1.c: New test. + +2020-07-16 Marek Polacek + + DR 188 + * g++.dg/DRs/dr188.C: New test. + 2020-07-15 Uroš Bizjak PR target/96189 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index b5db16aec79..50c16a140ca 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,9 @@ +2020-07-16 Julian Brown + Thomas Schwinge + + * testsuite/libgomp.oacc-fortran/attach-descriptor-1.f90: New test. + * testsuite/libgomp.oacc-fortran/attach-descriptor-2.f90: New test. + 2020-07-15 Tobias Burnus * testsuite/libgomp.fortran/alloc-1.F90: Use c_size_t to diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog index bbf95fbbdf2..145cc687ce1 100644 --- a/libsanitizer/ChangeLog +++ b/libsanitizer/ChangeLog @@ -1,3 +1,8 @@ +2020-07-16 Rainer Orth + + * sanitizer_common/sanitizer_linux.cpp: Cherry-pick llvm-project + revision f0e9b76c3500496f8f3ea7abe6f4bf801e3b41e7. + 2020-06-09 Martin Liska * asan/Makefile.am: Replace gnu++11 with gnu++14.