Daily bump.

This commit is contained in:
GCC Administrator 2020-10-20 00:16:29 +00:00
parent 6e02de9461
commit 970d683f67
8 changed files with 465 additions and 1 deletions

View file

@ -1,3 +1,69 @@
2020-10-19 Andrew MacLeod <amacleod@redhat.com>
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 <mjambor@suse.cz>
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 <dje.gcc@gmail.com>
* config/rs6000/vsx.md (vextract_fp_from_shorth): Fix vals_be.
(vextract_fp_from_shortl) Same.
2020-10-19 Aldy Hernandez <aldyh@redhat.com>
PR tree-optimization/97488
* range-op.cc (operator_lshift::op1_range): Handle large right shifts.
2020-10-19 Martin Liska <mliska@suse.cz>
* ipa-modref.c (compute_parm_map): Clear vector.
2020-10-19 Richard Biener <rguenther@suse.de>
PR tree-optimization/97486
* tree-vect-slp.c (vect_slp_function): Split after stmts
ending a BB.
2020-10-19 Jonathan Wakely <jwakely@redhat.com>
* doc/invoke.texi (OPptimize Options): Add missing closing
parenthesis.
2020-10-19 Aldy Hernandez <aldyh@redhat.com>
PR tree-optimization/97467
* range-op.cc (operator_lshift::op1_range): Handle shifts by 0.
2020-10-19 Richard Biener <rguenther@suse.de>
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 <helijia@gcc.gnu.org>
PR tree-optimization/66552
* match.pd (x << (n % C) -> x << (n & C-1)): New simplification.
2020-10-19 Richard Biener <rguenther@suse.de>
* tree-cfg.c (verify_gimple_comparison): Drop special-case
for pointer comparison.
2020-10-16 Andrew MacLeod <amacleod@redhat.com>
* vr-values.c (dump_all_value_ranges): Only dump names which are

View file

@ -1 +1 @@
20201019
20201020

View file

@ -1,3 +1,245 @@
2020-10-19 Ed Schonberg <schonberg@adacore.com>
* 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 <charlet@adacore.com>
* exp_ch4.adb (Expand_Concatenate): Enable needed range checks.
2020-10-19 Bob Duff <duff@adacore.com>
* 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 <ebotcazou@adacore.com>
* 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 <trojanek@adacore.com>
* sem_ch13.adb (Add_Call): Remove excessive condition and
unnecessary call to Set_Has_Predicates.
2020-10-19 Yannick Moy <moy@adacore.com>
* 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 <charlet@adacore.com>
* sem_ch6.adb (Check_Untagged_Equality): Check for AI12-0352.
2020-10-19 Ed Schonberg <schonberg@adacore.com>
* 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 <charlet@adacore.com>
* 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 <lacambre@adacore.com>
* 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 <duff@adacore.com>
* 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 <lacambre@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference): Check if type
depends on discriminant.
2020-10-19 Bob Duff <duff@adacore.com>
* libgnat/a-coinve.adb, libgnat/a-cidlli.adb (Put_Image): Call
Iterate.
2020-10-19 Arnaud Charlet <charlet@adacore.com>
* sem_aggr.adb (Resolve_Record_Aggregate): Properly apply
subtype constraints when using a Default_Value.
* freeze.adb: Fix typo.
2020-10-19 Yannick Moy <moy@adacore.com>
* 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 <charlet@adacore.com>
* 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 <moy@adacore.com>
* libgnat/a-textio.ads: Update top-level comment.
2020-10-19 Piotr Trojanek <trojanek@adacore.com>
* sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Fix typo.
2020-10-19 Piotr Trojanek <trojanek@adacore.com>
* exp_ch6.adb (Expand_Actuals): Simplify condition for by-copy
types.
2020-10-19 Yannick Moy <moy@adacore.com>
* errout.ads: Add comment regarding lack of preservation of
Errout state across successive calls to the API.
2020-10-19 Bob Duff <duff@adacore.com>
* 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 <duff@adacore.com>
* 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 <miranda@adacore.com>
* 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 <dismukes@adacore.com>
* 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 <miranda@adacore.com>
* 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 <charlet@adacore.com>
* 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 <trojanek@adacore.com>
* exp_ch6.adb (Expand_Call_Helper): Cleanup.
2020-10-19 Piotr Trojanek <trojanek@adacore.com>
* exp_ch6.adb (Is_Direct_Deep_Call): Refine type from Node_Id to
Entity_Id.
2020-10-19 Piotr Trojanek <trojanek@adacore.com>
* exp_ch6.adb (May_Fold): Detect all operators, i.e. both binary
and unary ones.
2020-10-19 Piotr Trojanek <trojanek@adacore.com>
* inline.adb (Expand_Inlined_Call): Simplify repeated calls to
Nkind.
2020-10-18 Alexandre Oliva <oliva@adacore.com>
* Makefile.rtl (GNATRTL_NONTASKING_OBJS): Compile Ada.Numerics

View file

@ -1,3 +1,13 @@
2020-10-19 Iain Sandoe <iain@sandoe.co.uk>
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 <nathan@acm.org>
PR c++/97460

View file

@ -1,3 +1,112 @@
2020-10-19 Andrew MacLeod <amacleod@redhat.com>
* gcc.dg/pr97360-2.c: New test.
2020-10-19 David Edelsohn <dje.gcc@gmail.com>
* 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 <dje.gcc@gmail.com>
* 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 <iain@sandoe.co.uk>
PR c++/97438
* g++.dg/coroutines/pr97438.C: New test.
2020-10-19 Martin Jambor <mjambor@suse.cz>
PR tree-optimization/97456
* gcc.dg/tree-ssa/pr97456.c: New test.
2020-10-19 Nathan Sidwell <nathan@acm.org>
* c-c++-common/cpp/pr97471.c: New.
2020-10-19 Aldy Hernandez <aldyh@redhat.com>
* gcc.dg/pr97488.c: New test.
2020-10-19 Richard Biener <rguenther@suse.de>
PR tree-optimization/97486
* gcc.dg/vect/bb-slp-pr97486.c: New testcase.
2020-10-19 Aldy Hernandez <aldyh@redhat.com>
* gcc.dg/pr97467.c: New test.
2020-10-19 Li Jia He <helijia@gcc.gnu.org>
PR tree-optimization/66552
* gcc.dg/pr66552.c: New testcase.
2020-10-18 Harald Anlauf <anlauf@gmx.de>
* gfortran.dg/matmul_20.f90: New test.

View file

@ -1,3 +1,10 @@
2020-10-19 Nathan Sidwell <nathan@acm.org>
* 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 <nathan@acm.org>
* internal.h (enum include_type): Rename IT_MAIN_INJECT to

View file

@ -1,3 +1,7 @@
2020-10-19 Martin Liska <mliska@suse.cz>
* LOCAL_PATCHES: Add one commit.
2020-10-18 Iain Sandoe <iain@sandoe.co.uk>
* sanitizer_common/sanitizer_mac.h: Ensure that TARGET_OS_

View file

@ -1,3 +1,29 @@
2020-10-19 Jonathan Wakely <jwakely@redhat.com>
* 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 <jwakely@redhat.com>
* include/std/tuple (_Head_base<Idx, Head, true>): Use reserved
form of __no_unique_address__ attribute because
no_unique_address is not reserved prior to C++20.
2020-10-19 Jonathan Wakely <jwakely@redhat.com>
* 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 <jwakely@redhat.com>
* include/precompiled/expc++.h: Removed.
2020-10-17 Ville Voutilainen <ville.voutilainen@gmail.com>
PR libstdc++/97449