From 970d683f67777319990b30302a21a860990e2ec8 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Tue, 20 Oct 2020 00:16:29 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 66 +++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 242 ++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 10 ++ gcc/testsuite/ChangeLog | 109 ++++++++++++++++++ libcpp/ChangeLog | 7 ++ libsanitizer/ChangeLog | 4 + libstdc++-v3/ChangeLog | 26 +++++ 8 files changed, 465 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d1ce634eb2b..6eef4e84241 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,69 @@ +2020-10-19 Andrew MacLeod + + PR tree-optimization/97360 + * gimple-range.h (range_compatible_p): New. + * gimple-range-gori.cc (is_gimple_logical_p): Use range_compatible_p. + (range_is_either_true_or_false): Ditto. + (gori_compute::outgoing_edge_range_p): Cast result to the correct + type if necessary. + (logical_stmt_cache::cacheable_p): Use range_compatible_p. + * gimple-range.cc (gimple_ranger::calc_stmt): Check range_compatible_p + before casting the range. + (gimple_ranger::range_on_exit): Use range_compatible_p. + (gimple_ranger::range_on_edge): Ditto. + +2020-10-19 Martin Jambor + + PR tree-optimization/97456 + * tree-complex.c (set_component_ssa_name): Do not replace ignored decl + default definitions with new component vars. Reorder if conditions. + +2020-10-19 David Edelsohn + + * config/rs6000/vsx.md (vextract_fp_from_shorth): Fix vals_be. + (vextract_fp_from_shortl) Same. + +2020-10-19 Aldy Hernandez + + PR tree-optimization/97488 + * range-op.cc (operator_lshift::op1_range): Handle large right shifts. + +2020-10-19 Martin Liska + + * ipa-modref.c (compute_parm_map): Clear vector. + +2020-10-19 Richard Biener + + PR tree-optimization/97486 + * tree-vect-slp.c (vect_slp_function): Split after stmts + ending a BB. + +2020-10-19 Jonathan Wakely + + * doc/invoke.texi (OPptimize Options): Add missing closing + parenthesis. + +2020-10-19 Aldy Hernandez + + PR tree-optimization/97467 + * range-op.cc (operator_lshift::op1_range): Handle shifts by 0. + +2020-10-19 Richard Biener + + PR tree-optimization/97466 + * tree-vect-slp.c (vect_get_and_check_slp_defs): Remove + spurious assert, re-indent. + +2020-10-19 Li Jia He + + PR tree-optimization/66552 + * match.pd (x << (n % C) -> x << (n & C-1)): New simplification. + +2020-10-19 Richard Biener + + * tree-cfg.c (verify_gimple_comparison): Drop special-case + for pointer comparison. + 2020-10-16 Andrew MacLeod * vr-values.c (dump_all_value_ranges): Only dump names which are diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index d408c72ce93..90bac5173df 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20201019 +20201020 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9c28e697fa2..56ea2a3bd4d 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,245 @@ +2020-10-19 Ed Schonberg + + * par-ch4.adb: (P_Aggregate_Or_Paren_Expr): Recognize + Iterated_Element_Component. + (P_Iterated_Component_Association): Rebuild node as an Iterated_ + Element_Association when Key_Expression is present, and attach + either the Loop_Parameter_Specification or the + Iterator_Specification to the new node. + * sem_aggr.adb: (Resolve_Container_Aggregate): + Resolve_Iterated_Association handles bota Iterated_Component_ + and Iterated_Element_Associations, in which case it analyzes and + resoles the orresponding Key_Expression. + * exp_aggr.adb (Expand_Iterated_Component): If a Key_Expression + is present, use it as the required parameter in the call to the + insertion routine for the destination container aggregate. Call + this routine for both kinds of Iterated_Associations. + +2020-10-19 Arnaud Charlet + + * exp_ch4.adb (Expand_Concatenate): Enable needed range checks. + +2020-10-19 Bob Duff + + * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): + Set the Warnings_Off flag on the pointer object used in the + expansion of iterators and similar. + +2020-10-19 Eric Botcazou + + * Makefile.rtl (PowerPC/Linux): Use s-taspri__posix.ads instead + of s-taspri__posix-noaltstack.ads for s-taspri.ads. + +2020-10-19 Piotr Trojanek + + * sem_ch13.adb (Add_Call): Remove excessive condition and + unnecessary call to Set_Has_Predicates. + +2020-10-19 Yannick Moy + + * debug.adb: Use debug switch -gnatdF for this alternative + display of messages. + * errout.adb (Output_Messages): Alternative display when -gnatdF + is used. + * erroutc.adb (Output_Msg_Text): Likewise. + +2020-10-19 Arnaud Charlet + + * sem_ch6.adb (Check_Untagged_Equality): Check for AI12-0352. + +2020-10-19 Ed Schonberg + + * exp_ch6.adb (Add_View_Conversion_Invariants): Do not insert + generated invariant checks when the call is a function call. + These tests are properly inserted in the code in procedure + Insert_Post_Call_Actions, which takes care of finding the proper + insertion point for the checks. + (Insert_Post_Call_Actions): Add question marks to indicate + possible gap in handling function calls that appear as aggregate + components. + +2020-10-19 Arnaud Charlet + + * contracts.adb (Process_Preconditions_For): Do not exclude + instances. + * sem_ch4.adb (Analyze_Quantified_Expression): Disable spurious + warning on internally generated variables. + +2020-10-19 Ghjuvan Lacambre + + * debug.adb: Document -gnatd_c flag as being used for CUDA. + * gnat_cuda.ads: New file. + * gnat_cuda.adb: New file. + * rtsfind.ads: Add Interfaces_C_Strings package and + RE_Fatbin_Wrapper, RE_Register_Fat_Binary, + RE_Register_Fat_Binary_End, RE_Register_Function, RE_Chars_Ptr, + RE_New_Char_Array entities. + * rtsfind.adb: Create new Interfaces_C_Descendant subtype, + handle it. + * sem_ch7.adb (Analyze_Package_Body_Helper): Call CUDA init + procedure. + * sem_prag.adb (Analyze_Pragma): Call Add_Cuda_Kernel procedure. + * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Add gnat_cuda.o. + +2020-10-19 Bob Duff + + * ghost.adb (Whole_Object_Ref): New function to compute the name + of the whole object. + (Mark_And_Set_Ghost_Assignment): Rewrite to use + Whole_Object_Ref. We need to partly analyze the left-hand side + in order to distinguish expanded names and record components. + * lib-xref.ads, lib-xref.adb (Deferred_References): Move table + to body, and add Defer_Reference to update the table, avoiding + duplicates. + (Generate_Reference): Avoid duplicates. + * sem_ch8.ads, sem_ch8.adb (Find_Direct_Name): Remove _OK + parameters, which are no longer needed. Ignore errors in + Ignore_Errors mode. + * sem_util.ads, sem_util.adb (Preanalyze_Without_Errors): Make + this public, so we can call it from Ghost. + * errout.ads, scng.adb, sem_prag.adb: Minor. + +2020-10-19 Ghjuvan Lacambre + + * exp_attr.adb (Expand_N_Attribute_Reference): Check if type + depends on discriminant. + +2020-10-19 Bob Duff + + * libgnat/a-coinve.adb, libgnat/a-cidlli.adb (Put_Image): Call + Iterate. + +2020-10-19 Arnaud Charlet + + * sem_aggr.adb (Resolve_Record_Aggregate): Properly apply + subtype constraints when using a Default_Value. + * freeze.adb: Fix typo. + +2020-10-19 Yannick Moy + + * sem_ch13.adb (Analyze_Aspect_Relaxed_Initialization): Fix bug + where a call to Error_Msg_N leads to crash due to + Error_Msg_Name_1 being removed by the call, while a subsequent + call to Error_Msg_N tries to use it. The variable + Error_Msg_Name_1 should be restored prior to the next call. Also + add checking for the new rules. + +2020-10-19 Arnaud Charlet + + * checks.adb (Apply_Type_Conversion_Checks): Minor code clean + up. + * exp_ch4.adb (Discrete_Range_Check): Optimize range checks. + Update comments. + (Expand_N_Type_Conversion): Generate range check when rewriting + a type conversion if needed. Add assertion. + * exp_ch6.adb (Expand_Simple_Function_Return): Minor code clean + up. + * sem_res.adb (Resolve_Type_Conversion): Apply range check when + needed. Update comments. + +2020-10-19 Yannick Moy + + * libgnat/a-textio.ads: Update top-level comment. + +2020-10-19 Piotr Trojanek + + * sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Fix typo. + +2020-10-19 Piotr Trojanek + + * exp_ch6.adb (Expand_Actuals): Simplify condition for by-copy + types. + +2020-10-19 Yannick Moy + + * errout.ads: Add comment regarding lack of preservation of + Errout state across successive calls to the API. + +2020-10-19 Bob Duff + + * exp_put_image.adb (Build_Elementary_Put_Image_Call): Use the + base type to recognize various cases of access types. + * libgnat/a-cbdlli.adb, libgnat/a-cbdlli.ads, libgnat/a-cbhama.adb, + libgnat/a-cbhama.ads, libgnat/a-cbhase.adb, libgnat/a-cbhase.ads, + libgnat/a-cbmutr.adb, libgnat/a-cbmutr.ads, libgnat/a-cborma.adb, + libgnat/a-cborma.ads, libgnat/a-cborse.adb, libgnat/a-cborse.ads, + libgnat/a-cdlili.adb, libgnat/a-cdlili.ads, libgnat/a-cidlli.adb, + libgnat/a-cidlli.ads, libgnat/a-cihama.adb, libgnat/a-cihama.ads, + libgnat/a-cihase.adb, libgnat/a-cihase.ads, libgnat/a-cimutr.adb, + libgnat/a-cimutr.ads, libgnat/a-ciorma.adb, libgnat/a-ciorma.ads, + libgnat/a-ciormu.adb, libgnat/a-ciormu.ads, libgnat/a-ciorse.adb, + libgnat/a-ciorse.ads, libgnat/a-coboho.adb, libgnat/a-coboho.ads, + libgnat/a-cobove.adb, libgnat/a-cobove.ads, libgnat/a-cohama.adb, + libgnat/a-cohama.ads, libgnat/a-cohase.adb, libgnat/a-cohase.ads, + libgnat/a-coinho.adb, libgnat/a-coinho.ads, + libgnat/a-coinho__shared.adb, libgnat/a-coinho__shared.ads, + libgnat/a-coinve.adb, libgnat/a-coinve.ads, libgnat/a-comutr.adb, + libgnat/a-comutr.ads, libgnat/a-coorma.adb, libgnat/a-coorma.ads, + libgnat/a-coormu.adb, libgnat/a-coormu.ads, libgnat/a-coorse.adb, + libgnat/a-coorse.ads, libgnat/a-strunb.adb, libgnat/a-strunb.ads, + libgnat/a-strunb__shared.adb, libgnat/a-strunb__shared.ads: + Implement Put_Image attibute. + * libgnat/a-stteou.ads, libgnat/s-putima.ads, + libgnat/a-stouut.ads, libgnat/a-stoubu.adb: Make + Ada.Strings.Text_Output, Ada.Strings.Text_Output.Utils, and + System.Put_Images Pure, so they can be with'ed by Pure units + that should have Put_Image defined. + * libgnat/a-stouut.adb: Add missing column adjustments, and + remove a redundant one. + * libgnat/s-putima.adb (Put_Arrow): New routine to print an + arrow. Avoids adding a with clause to some containers. + +2020-10-19 Bob Duff + + * par-ch4.adb (P_Aggregate_Or_Paren_Expr): Require matching + parens or brackets. + * par.adb, par-tchk.adb (T_Right_Bracket): New procedure to give + an error on missing ]. + +2020-10-19 Javier Miranda + + * sem_ch8.adb (Find_Direct_Name): Do not trust in the decoration + of the Entity attribute in constants associated with + discriminals of protected types. + +2020-10-19 Gary Dismukes + + * sem_disp.adb (Check_Dispatching_Context): When the enclosing + subprogram is abstract, bypass early return if the call is + tag-indeterminate, to continue with the later error checking. + +2020-10-19 Javier Miranda + + * sem_ch7.adb (Uninstall_Declarations): Uninstall the + declaration of a subtype declaration defined in the private part + of a package. + +2020-10-19 Arnaud Charlet + + * par-ch4.adb (P_Aggregate_Or_Paren_Expr): Simplify code since + we are always under -gnatX if we encounter a Tok_Left_Bracket. + * scng.adb (Scan): [] is an aggregate under -gnatX and a wide + character otherwise. + +2020-10-19 Piotr Trojanek + + * exp_ch6.adb (Expand_Call_Helper): Cleanup. + +2020-10-19 Piotr Trojanek + + * exp_ch6.adb (Is_Direct_Deep_Call): Refine type from Node_Id to + Entity_Id. + +2020-10-19 Piotr Trojanek + + * exp_ch6.adb (May_Fold): Detect all operators, i.e. both binary + and unary ones. + +2020-10-19 Piotr Trojanek + + * inline.adb (Expand_Inlined_Call): Simplify repeated calls to + Nkind. + 2020-10-18 Alexandre Oliva * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Compile Ada.Numerics diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 985f616966e..004df549897 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,13 @@ +2020-10-19 Iain Sandoe + + PR c++/97438 + * coroutines.cc (struct coroutine_info): Add a field to + record that we emitted a promise type error. + (coro_promise_type_found_p): Check for the case that the + promise type contains both return_void and return_value. + Emit an error if so, with information about the wrong + type methods. + 2020-10-16 Nathan Sidwell PR c++/97460 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 18b975dc3a1..bbfb97b4069 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,112 @@ +2020-10-19 Andrew MacLeod + + * gcc.dg/pr97360-2.c: New test. + +2020-10-19 David Edelsohn + + * gcc.target/powerpc/sad-vectorize-1.c: Remove target. + * gcc.target/powerpc/sad-vectorize-2.c: Remove target. + * gcc.target/powerpc/vec-extract-v16qi-df.c: Remove target. + * gcc.target/powerpc/vec-extract-v16qi.c: Remove target. + * gcc.target/powerpc/vec-extract-v16qiu-df.c: Remove target. + * gcc.target/powerpc/vec-extract-v16qiu.c: Remove target. + * gcc.target/powerpc/vec-extract-v2df.c: Remove target. + * gcc.target/powerpc/vec-extract-v2di.c: Require lp64. + * gcc.target/powerpc/vec-extract-v4sf.c: Remove target. + * gcc.target/powerpc/vec-extract-v4si-df.c: Remove target. + * gcc.target/powerpc/vec-extract-v4si.c: Remove target. + * gcc.target/powerpc/vec-extract-v4siu-df.c: Remove target. + * gcc.target/powerpc/vec-extract-v4siu.c: Remove target. + * gcc.target/powerpc/vec-extract-v8hi-df.c: Remove target. + * gcc.target/powerpc/vec-extract-v8hi.c: Remove target. + * gcc.target/powerpc/vec-extract-v8hiu-df.c: Remove target. + * gcc.target/powerpc/vec-extract-v8hiu.c: Remove target. + * gcc.target/powerpc/vec-init-1.c: Remove target. + * gcc.target/powerpc/vec-init-2.c: Require lp64. + * gcc.target/powerpc/vec-init-3.c: Require lp64. + * gcc.target/powerpc/vec-init-4.c: Remove target. + * gcc.target/powerpc/vec-init-5.c: Remove target. + * gcc.target/powerpc/vec-init-6.c: Require lp64. + * gcc.target/powerpc/vec-init-7.c: Require lp64. + * gcc.target/powerpc/vec-init-8.c: Remove target. + * gcc.target/powerpc/vec-init-9.c: Require lp64. + * gcc.target/powerpc/vec-setup-double.c: Remove target. + * gcc.target/powerpc/vec-setup-long.c: Remove target. + * gcc.target/powerpc/vsu/vec-xl-len-13.c: Correct expected warnings. + * gcc.target/powerpc/vsu/vsu.exp: Enable on AIX. + +2020-10-19 David Edelsohn + + * gcc.target/powerpc/fold-vec-extract-char.p7.c: Remove target. + * gcc.target/powerpc/fold-vec-extract-char.p8.c: Remove target. + * gcc.target/powerpc/fold-vec-extract-char.p9.c: Remove target. + Expect 3 addi for ilp32. + * gcc.target/powerpc/fold-vec-extract-double.p7.c: Remove target. + Add -mbig-endian for Linux. + * gcc.target/powerpc/fold-vec-extract-double.p8.c: Remove target. + * gcc.target/powerpc/fold-vec-extract-float.p7.c: Remove target. + * gcc.target/powerpc/fold-vec-extract-float.p8.c: Remove target. + * gcc.target/powerpc/fold-vec-extract-float.p9.c: Require lp64. + * gcc.target/powerpc/fold-vec-extract-int.p7.c: Remove target. + * gcc.target/powerpc/fold-vec-extract-int.p8.c: Remove target. + * gcc.target/powerpc/fold-vec-extract-int.p9.c: Remove target. + Expect 3 addi for ilp32. + * gcc.target/powerpc/fold-vec-extract-longlong.p7.c: Remove target. + Expect 4 addi for ilp32. + * gcc.target/powerpc/fold-vec-extract-longlong.p8.c: Remove target. + Expect 4 addi for ilp32. + * gcc.target/powerpc/fold-vec-extract-longlong.p9.c: Require lp64. + * gcc.target/powerpc/fold-vec-extract-short.p7.c: Remove target. + * gcc.target/powerpc/fold-vec-extract-short.p8.c: Remove target. + * gcc.target/powerpc/fold-vec-extract-short.p9.c: Require lp64. + * gcc.target/powerpc/fold-vec-insert-char-p8.c: Remove target. + * gcc.target/powerpc/fold-vec-insert-char-p9.c: Remove target. + * gcc.target/powerpc/fold-vec-insert-double.c: Remove target. + * gcc.target/powerpc/fold-vec-insert-float-p8.c: Remove target. + * gcc.target/powerpc/fold-vec-insert-float-p9.c: Remove target. + * gcc.target/powerpc/fold-vec-insert-int-p8.c: Remove target. + * gcc.target/powerpc/fold-vec-insert-int-p9.c: Remove target. + Require 8 addi for ilp32. + * gcc.target/powerpc/fold-vec-insert-longlong.c: Remove target. + * gcc.target/powerpc/fold-vec-insert-short-p8.c: Remove target. + * gcc.target/powerpc/fold-vec-insert-short-p9.c: Remove target. + * gcc.target/powerpc/fold-vec-select-double.c: Remove target. + * gcc.target/powerpc/fold-vec-select-float.c: Remove target. + * gcc.target/powerpc/fold-vec-splats-int.c: Require lp64. + * gcc.target/powerpc/fold-vec-splats-longlong.c: Require lp64. + +2020-10-19 Iain Sandoe + + PR c++/97438 + * g++.dg/coroutines/pr97438.C: New test. + +2020-10-19 Martin Jambor + + PR tree-optimization/97456 + * gcc.dg/tree-ssa/pr97456.c: New test. + +2020-10-19 Nathan Sidwell + + * c-c++-common/cpp/pr97471.c: New. + +2020-10-19 Aldy Hernandez + + * gcc.dg/pr97488.c: New test. + +2020-10-19 Richard Biener + + PR tree-optimization/97486 + * gcc.dg/vect/bb-slp-pr97486.c: New testcase. + +2020-10-19 Aldy Hernandez + + * gcc.dg/pr97467.c: New test. + +2020-10-19 Li Jia He + + PR tree-optimization/66552 + * gcc.dg/pr66552.c: New testcase. + 2020-10-18 Harald Anlauf * gfortran.dg/matmul_20.f90: New test. diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index 1aa2764dbe8..411b2be8ce3 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,10 @@ +2020-10-19 Nathan Sidwell + + * internal.h (struct cpp_reader): Rename 'eof' field to 'endarg'. + * init.c (cpp_create_reader): Adjust. + * macro.c (collect_args): Use endarg for separator. Always rewind + in the not-fn case. + 2020-10-08 Nathan Sidwell * internal.h (enum include_type): Rename IT_MAIN_INJECT to diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog index 3776235b222..90e1f052778 100644 --- a/libsanitizer/ChangeLog +++ b/libsanitizer/ChangeLog @@ -1,3 +1,7 @@ +2020-10-19 Martin Liska + + * LOCAL_PATCHES: Add one commit. + 2020-10-18 Iain Sandoe * sanitizer_common/sanitizer_mac.h: Ensure that TARGET_OS_ diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 80ef947207a..5861f3a077e 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,29 @@ +2020-10-19 Jonathan Wakely + + * include/bits/unique_ptr.h (make_unique_for_overwrite): Define + for C++20. + * testsuite/20_util/unique_ptr/creation/array_neg.cc: Remove + unused header. Adjust standard reference. + * testsuite/20_util/unique_ptr/creation/for_overwrite.cc: New test. + * testsuite/20_util/unique_ptr/creation/for_overwrite__neg.cc: New test. + +2020-10-19 Jonathan Wakely + + * include/std/tuple (_Head_base): Use reserved + form of __no_unique_address__ attribute because + no_unique_address is not reserved prior to C++20. + +2020-10-19 Jonathan Wakely + + * include/bits/node_handle.h (_Node_handle_common): Replace + std::optional with custom type. + * testsuite/20_util/variant/exception_safety.cc: Add missing + header include. + +2020-10-19 Jonathan Wakely + + * include/precompiled/expc++.h: Removed. + 2020-10-17 Ville Voutilainen PR libstdc++/97449 -- 2.30.2