From e0f91730aa7e31fb56c6ae4a888497c38e4d584c Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Sat, 29 Jul 2023 00:17:43 +0000 Subject: Daily bump. --- gcc/ChangeLog | 99 ++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 113 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 6 +++ gcc/fortran/ChangeLog | 8 ++++ gcc/po/ChangeLog | 6 +++ gcc/testsuite/ChangeLog | 80 ++++++++++++++++++++++++++++++++++ 7 files changed, 313 insertions(+), 1 deletion(-) (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f51da64..5082374 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,102 @@ +2023-07-28 Andrew MacLeod + + * gimple-range-cache.cc (ssa_cache::merge_range): New. + (ssa_lazy_cache::merge_range): New. + * gimple-range-cache.h (class ssa_cache): Adjust protoypes. + (class ssa_lazy_cache): Ditto. + * gimple-range.cc (assume_query::calculate_op): Use merge_range. + +2023-07-28 Andrew MacLeod + + * tree-ssa-propagate.cc (substitute_and_fold_engine::value_on_edge): + Move from value-query.cc. + (substitute_and_fold_engine::value_of_stmt): Ditto. + (substitute_and_fold_engine::range_of_expr): New. + * tree-ssa-propagate.h (substitute_and_fold_engine): Inherit from + range_query. New prototypes. + * value-query.cc (value_query::value_on_edge): Relocate. + (value_query::value_of_stmt): Ditto. + * value-query.h (class value_query): Remove. + (class range_query): Remove base class. Adjust prototypes. + +2023-07-28 Andrew MacLeod + + PR tree-optimization/110205 + * gimple-range-cache.h (ranger_cache::m_estimate): Delete. + * range-op-mixed.h (operator_bitwise_xor::op1_op2_relation_effect): + Add final override. + * range-op.cc (operator_lshift): Add missing final overrides. + (operator_rshift): Ditto. + +2023-07-28 Jose E. Marchesi + + * config/bpf/bpf.cc (bpf_option_override): Disable tail-call + optimizations in BPF target. + +2023-07-28 Honza + + * cfgloopmanip.cc (loop_count_in): Break out from ... + (loop_exit_for_scaling): Break out from ... + (update_loop_exit_probability_scale_dom_bbs): Break out from ...; + add more sanity check and debug info. + (scale_loop_profile): ... here. + (create_empty_loop_on_edge): Fix whitespac. + * cfgloopmanip.h (update_loop_exit_probability_scale_dom_bbs): Declare. + * loop-unroll.cc (unroll_loop_constant_iterations): Use + update_loop_exit_probability_scale_dom_bbs. + * tree-ssa-loop-manip.cc (update_exit_probability_after_unrolling): Remove. + (tree_transform_and_unroll_loop): Use + update_loop_exit_probability_scale_dom_bbs. + * tree-ssa-loop-split.cc (split_loop): Use + update_loop_exit_probability_scale_dom_bbs. + +2023-07-28 Jan Hubicka + + PR middle-end/77689 + * tree-ssa-loop-split.cc: Include value-query.h. + (split_at_bb_p): Analyze cases where EQ/NE can be turned + into LT/LE/GT/GE; return updated guard code. + (split_loop): Use guard code. + +2023-07-28 Roger Sayle + Richard Biener + + PR middle-end/28071 + PR rtl-optimization/110587 + * expr.cc (emit_group_load_1): Simplify logic for calling + force_reg on ORIG_SRC, to avoid making a copy if the source + is already in a pseudo register. + +2023-07-28 Jan Hubicka + + PR middle-end/106923 + * tree-ssa-loop-split.cc (connect_loops): Change probability + of the test preconditioning second loop to very_likely. + (fix_loop_bb_probability): Handle correctly case where + on of the arms of the conditional is empty. + (split_loop): Fold the test guarding first condition to + see if it is constant true; Set correct entry block + probabilities of the split loops; determine correct loop + eixt probabilities. + +2023-07-28 xuli + + * config/riscv/riscv-vector-builtins-bases.cc: remove rounding mode of + vsadd[u] and vssub[u]. + * config/riscv/vector.md: Ditto. + +2023-07-28 Jan Hubicka + + * tree-ssa-loop-split.cc (split_loop): Also support NE driven + loops when IV test is not overflowing. + +2023-07-28 liuhongt + + PR target/110788 + * config/i386/sse.md (avx512cd_maskb_vec_dup): Add + UNSPEC_MASKOP. + (avx512cd_maskw_vec_dup): Ditto. + 2023-07-27 David Faust PR target/110782 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 3da940d..65a68ec 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230728 +20230729 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 03db122..336da5a 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,116 @@ +2023-07-28 Eric Botcazou + + * gcc-interface/trans.cc (gnat_to_gnu): Restrict previous change to + the case where the simple return statement has got no storage pool. + +2023-07-28 Clément Chigot + + * libgnarl/s-inmaop__posix.adb: Add assert after sigwait in + Interrupt_Wait + +2023-07-28 Javier Miranda + + * einfo-utils.adb (Underlying_Type): Protect recursion call + against non-available attribute Etype. + * einfo.ads (Protected_Subprogram): Fix typo in documentation. + * exp_ch3.adb (BIP_Function_Call_Id): New subprogram. + (Expand_N_Object_Declaration): Improve code that evaluates if the + object is initialized with a BIP function call. + * exp_ch6.adb (Is_True_Build_In_Place_Function_Call): New + subprogram. + (Add_Task_Actuals_To_Build_In_Place_Call): Add dummy actuals if + the function does not require the BIP task actuals but it is a + dispatching operation that inherited them. + (Build_In_Place_Formal): Improve code to avoid never-ending loop + if the BIP formal is not found. + (Add_Dummy_Build_In_Place_Actuals): New subprogram. + (Expand_Call_Helper): Add calls to + Add_Dummy_Build_In_Place_Actuals. + (Expand_N_Extended_Return_Statement): Adjust assertion. + (Expand_Simple_Function_Return): Adjust assertion. + (Make_Build_In_Place_Call_In_Allocator): No action needed if the + called function inherited the BIP extra formals but it is not a + true BIP function. + (Make_Build_In_Place_Call_In_Assignment): Ditto. + * exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove code + reporting unsupported case (since this patch adds support for it). + * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Adding assertion + to ensure matching of BIP formals when setting the + Protected_Formal field of a protected subprogram to reference the + corresponding extra formal of the subprogram that implements it. + (Might_Need_BIP_Task_Actuals): New subprogram. + (Create_Extra_Formals): Improve code adding inherited extra + formals. + +2023-07-28 Pascal Obry + + * s-oscons-tmplt.c: Add support for SO_BINDTODEVICE constant. + * libgnat/g-socket.ads (Set_Socket_Option): Handle SO_BINDTODEVICE option. + (Get_Socket_Option): Handle SO_BINDTODEVICE option. + * libgnat/g-socket.adb: Likewise. + (Get_Socket_Option): Handle the case where IF_NAMESIZE is not defined + and so equal to -1. + +2023-07-28 Léo Creuse + + * par_sco.adb (Has_Decision): Consider that quantified expressions + contain decisions. + +2023-07-28 Ronan Desplanques + + * libgnarl/s-tposen.adb: Fix race condition. Add comment to justify + the locking timing. + +2023-07-28 Viljar Indus + + * exp_util.adb (Find_Optional_Prim_Op): use "No" instead of "= Empty" + +2023-07-28 Piotr Trojanek + + * sem_res.adb (Resolve_Actuals): Add guard for the call to + Class_Preconditions_Subprogram. + +2023-07-28 Eric Botcazou + + * exp_aggr.adb (Is_Two_Dim_Packed_Array): Return true only if the + component type of the array is scalar. + +2023-07-28 Piotr Trojanek + + * sem_ch6.adb (Check_Statement_Sequence): Only warn about missing return + statements and let GNATprove emit a check when needed. + +2023-07-28 Tom Tromey + + * fe.h (Convention): Now inline function. + * gen_il-gen.adb (Put_C_Type_And_Subtypes.Put_Enum_Lit) + (Put_C_Type_And_Subtypes.Put_Kind_Subtype, Put_C_Getter): + Emit enum. + * snames.h-tmpl (Name_Id, Name_, Attribute_Id, Attribute_) + (Convention_Id, Convention_, Pragma_Id, Pragma_): Now enum. + (Get_Attribute_Id, Get_Pragma_Id): Now inline functions. + * types.h (Node_Kind, Entity_Kind, Convention_Id, Name_Id): + Now enum. + * xsnamest.adb (Output_Header_Line, Make_Value): Emit enum. + +2023-07-28 Piotr Trojanek + + * libgnat/a-except.ads (Save_Occurrence): Fix typo. + +2023-07-28 Piotr Trojanek + + * einfo-utils.adb (Number_Formals): Change types in body. + * einfo-utils.ads (Number_Formals): Change type in spec. + * einfo.ads (Number_Formals): Change type in comment. + * sem_ch13.adb (Is_Property_Function): Fix style in a caller of + Number_Formals that was likely to crash because of missing guards. + +2023-07-28 Piotr Trojanek + + * sem_warn.adb (Check_Infinite_Loop_Warning): Don't look at the type of + actual parameter when it has no type at all, e.g. because the entire + subprogram call is illegal. + 2023-07-18 Tom Tromey * gcc-interface/decl.cc (check_ok_for_atomic_type): Use Pragma_Id. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index ea59058..1a42897 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2023-07-28 Ng YongXiang + + PR c++/110057 + PR ipa/83054 + * init.cc (build_vec_delete_1): Devirtualize array destruction. + 2023-07-27 Patrick Palka PR c++/110197 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 799e7a6..b584b54 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,11 @@ +2023-07-28 Harald Anlauf + + PR fortran/110825 + * gfortran.texi: Clarify argument passing convention. + * trans-expr.cc (gfc_conv_procedure_call): Do not pass the character + length as hidden argument when the declared dummy argument is + assumed-type. + 2023-07-27 Tobias Burnus * openmp.cc (resolve_omp_target): Minor cleanup. diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog index 33ee0fb..42e0277 100644 --- a/gcc/po/ChangeLog +++ b/gcc/po/ChangeLog @@ -1,3 +1,9 @@ +2023-07-28 Joseph Myers + + * be.po, da.po, de.po, el.po, es.po, fi.po, fr.po, hr.po, id.po, + ja.po, nl.po, ru.po, sr.po, sv.po, tr.po, uk.po, vi.po, zh_CN.po, + zh_TW.po: Update. + 2023-07-26 Joseph Myers * uk.po: Update. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ae47b1e..88d1339 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,83 @@ +2023-07-28 Harald Anlauf + + PR fortran/110825 + * gfortran.dg/assumed_type_18.f90: New test. + +2023-07-28 Patrick O'Neill + + * gcc.target/riscv/rvv/autovec/madd-split2-1.c: Add -mabi=lp64d + to dg-options. + +2023-07-28 Ng YongXiang + + PR c++/110057 + PR ipa/83054 + * g++.dg/warn/pr83054.C: Remove devirtualization warning. + * g++.dg/lto/pr89335_0.C: Likewise. + * g++.dg/tree-ssa/devirt-array-destructor-1.C: New test. + * g++.dg/tree-ssa/devirt-array-destructor-2.C: New test. + * g++.dg/warn/pr83054-2.C: New test. + +2023-07-28 Jan Hubicka + + PR middle-end/77689 + * g++.dg/tree-ssa/loop-split-1.C: New test. + +2023-07-28 Jan Hubicka + + PR middle-end/106293 + * gcc.dg/tree-prof/loop-split-1.c: New test. + * gcc.dg/tree-prof/loop-split-2.c: New test. + * gcc.dg/tree-prof/loop-split-3.c: New test. + +2023-07-28 xuli + + * g++.target/riscv/rvv/base/bug-12.C: Adapt testcase. + * g++.target/riscv/rvv/base/bug-14.C: Ditto. + * g++.target/riscv/rvv/base/bug-18.C: Ditto. + * g++.target/riscv/rvv/base/bug-19.C: Ditto. + * g++.target/riscv/rvv/base/bug-20.C: Ditto. + * g++.target/riscv/rvv/base/bug-21.C: Ditto. + * g++.target/riscv/rvv/base/bug-22.C: Ditto. + * g++.target/riscv/rvv/base/bug-23.C: Ditto. + * g++.target/riscv/rvv/base/bug-3.C: Ditto. + * g++.target/riscv/rvv/base/bug-8.C: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-100.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-101.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-102.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-103.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-104.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-105.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-106.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-107.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-108.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-109.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-110.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-111.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-112.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-113.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-114.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-115.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-116.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-117.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-118.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-119.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-97.c: Ditto. + * gcc.target/riscv/rvv/base/binop_vx_constraint-98.c: Ditto. + * gcc.target/riscv/rvv/base/merge_constraint-1.c: Ditto. + * gcc.target/riscv/rvv/base/fixed-point-vxrm-error.c: New test. + * gcc.target/riscv/rvv/base/fixed-point-vxrm.c: New test. + +2023-07-28 Jan Hubicka + + * gcc.dg/tree-ssa/ifc-12.c: Disable loop splitting. + * gcc.target/i386/avx2-gather-6.c: Likewise. + * gcc.target/i386/avx2-vect-aggressive.c: Likewise. + +2023-07-28 liuhongt + + * gcc.target/i386/pr110788.c: New test. + 2023-07-27 David Faust PR target/110782 -- cgit v1.1