From 3427b51bccaca9c2df43f67f2dd3860e0e0f48c6 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Tue, 16 May 2023 00:17:47 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 85 ++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 220 ++++++++++++++++++++++++++++++++++++++++ gcc/c-family/ChangeLog | 10 ++ gcc/c/ChangeLog | 5 + gcc/fortran/ChangeLog | 7 ++ gcc/testsuite/ChangeLog | 49 +++++++++ libgcc/ChangeLog | 8 ++ libgomp/ChangeLog | 62 +++++++++++ 9 files changed, 447 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 864c9dacf21..d8de175844e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,88 @@ +2023-05-15 Aldy Hernandez + + PR tree-optimization/109695 + * value-range.cc (irange::operator=): Resize range. + (irange::union_): Same. + (irange::intersect): Same. + (irange::invert): Same. + (int_range_max): Default to 3 sub-ranges and resize as needed. + * value-range.h (irange::maybe_resize): New. + (~int_range): New. + (int_range::int_range): Adjust for resizing. + (int_range::operator=): Same. + +2023-05-15 Aldy Hernandez + + * ipa-cp.cc (ipcp_vr_lattice::meet_with_1): Avoid unnecessary + range copying + * value-range.cc (irange::union_nonzero_bits): Return TRUE only + when range changed. + +2023-05-15 Juzhe-Zhong + + * config/riscv/riscv-protos.h (enum vxrm_field_enum): New enum. + * config/riscv/riscv-vector-builtins.cc + (function_expander::use_exact_insn): Add default rounding mode operand. + * config/riscv/riscv.cc (riscv_hard_regno_nregs): Add VXRM_REGNUM. + (riscv_hard_regno_mode_ok): Ditto. + (riscv_conditional_register_usage): Ditto. + * config/riscv/riscv.h (DWARF_FRAME_REGNUM): Ditto. + (VXRM_REG_P): Ditto. + (RISCV_DWARF_VXRM): Ditto. + * config/riscv/riscv.md: Ditto. + * config/riscv/vector.md: Ditto + +2023-05-15 Pan Li + + * optabs.cc (maybe_gen_insn): Add case to generate instruction + that has 11 operands. + +2023-05-15 Kyrylo Tkachov + + * config/aarch64/aarch64.cc (aarch64_rtx_costs, NEG case): Add costing + logic for vector modes. + +2023-05-15 Kyrylo Tkachov + + PR target/99195 + * config/aarch64/aarch64-simd.md (aarch64_cm): Rename to... + (aarch64_cm): ... This. + (aarch64_cmtst): Rename to... + (aarch64_cmtst): ... This. + (*aarch64_cmtst_same_): Rename to... + (*aarch64_cmtst_same_): ... This. + (*aarch64_cmtstdi): Rename to... + (*aarch64_cmtstdi): ... This. + (aarch64_fac): Rename to... + (aarch64_fac): ... This. + +2023-05-15 Kyrylo Tkachov + + PR target/99195 + * config/aarch64/aarch64-simd.md (aarch64_s): Rename to... + (aarch64_s): ... This. + +2023-05-15 Pan Li + Juzhe-Zhong + kito-cheng + + * config/riscv/riscv-v.cc (const_vlmax_p): New function for + deciding the mode is constant or not. + (set_len_and_policy): Optimize VLS-VLMAX code gen to vsetivli. + +2023-05-15 Richard Biener + + PR tree-optimization/109848 + * tree-ssa-forwprop.cc (pass_forwprop::execute): Put the + TARGET_MEM_REF address preparation before the store, not + before the CTOR. + +2023-05-15 Juzhe-Zhong + + * config/riscv/riscv.cc + (riscv_vectorize_preferred_vector_alignment): New function. + (TARGET_VECTORIZE_PREFERRED_VECTOR_ALIGNMENT): New target hook. + 2023-05-14 Andrew Pinski PR tree-optimization/109829 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 0bf2258d634..ae488c0e7fc 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230515 +20230516 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 5d891ddf5db..54d0350a45f 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,223 @@ +2023-05-15 Marc Poulhiès + + * exp_ch3.adb (Make_Allocator_For_Return): Fix typo in comment. + +2023-05-15 Yannick Moy + + * libgnat/a-strbou.ads: Add justifications for Mapping. + * libgnat/a-strfix.adb: Same. + * libgnat/a-strfix.ads: Same. + * libgnat/a-strsea.adb: Same. + * libgnat/a-strsea.ads: Same. + * libgnat/a-strsup.adb: Same and add loop variants. + * libgnat/a-strsup.ads: Same and add specification of termination. + +2023-05-15 Yannick Moy + + * libgnat/a-strsup.adb (Super_Slice): Reorder component assignment + to avoid failing predicate check related to initialization. + * libgnat/s-expmod.adb (Exp_Modular): Add intermediate assertion. + +2023-05-15 Yannick Moy + + * libgnat/i-c.adb: Add loop variants. Remove useless + initialization. + +2023-05-15 Bob Duff + + * einfo-utils.ads: Remove comment. + +2023-05-15 Bob Duff + + * einfo-utils.ads, einfo-utils.adb: Get rid of the Proc_Next_... + procedures. Use Inline aspect instead of pragma Inline. + Is_Discrete_Or_Fixed_Point_Type did not have pragma Inline, but + now has the aspect; this was probably an oversight + (which illustrates why aspects are better). + +2023-05-15 Ronan Desplanques + + * doc/gnat_ugn/gnat_utility_programs.rst: Fix formatting + inconsistency. + +2023-05-15 Bob Duff + + * einfo-utils.adb: + (Proc_Next_Component_Or_Discriminant): Call + Next_Component_Or_Discriminant. + +2023-05-15 Bob Duff + + * einfo.ads: + (First_Entity): Update comment explaining why this exists on all + [sub]types, as opposed to just the ones with associated entities. + +2023-05-15 Bob Duff + + * atree.adb + (Check_Vanishing_Fields): Disable the check for "root/base type + only" fields. This is a bug fix -- if we're checking some subtype + S, we don't want to reach over to the root or base type and + Reinit_Field_To_Zero of that, thus modifying the field for lots of + subtypes other than S. Disable in the to/from E_Void cases. Misc + cleanup. + * gen_il-gen-gen_entities.adb: Define First_Entity, Last_Entity, + and Stored_Constraint for all type entities, because there are too + many cases where Reinit_Field_To_Zero would otherwise be needed. + In any case, it seems cleaner to have First_Entity and Last_Entity + defined in the same entity kinds. + * einfo.ads: + (First_Entity, Last_Entity, Stored_Constraint): Update comments to + reflect gen_il-gen-gen_entities.adb changes. + (Lit_Hash): Add missing "[root type only]" comment. + * exp_ch5.adb: Add Reinit_Field_To_Zero calls for vanishing + fields. + * sem_ch10.adb: Likewise. + * sem_ch6.adb: Likewise. + * sem_ch7.adb: Likewise. + * sem_ch8.adb: Likewise. + * sem_ch3.adb: Likewise. Also remove now-unnecessary + Reinit_Field_To_Zero calls. + +2023-05-15 Eric Botcazou + + * sem_ch7.adb (Hide_Public_Entities): Use the same condition for + subprogram bodies without specification as for those with one. + +2023-05-15 Piotr Trojanek + + * sem_util.adb (New_Copy_Tree): Remove redundant calls to Present. + +2023-05-15 Ronan Desplanques + + * sem_ch8.adb (End_Scope): Simplify lookup of predecessor in + homonym chain. + +2023-05-15 Piotr Trojanek + + * sem_aggr.adb (Resolve_Aggregate): Accept aggregates with OTHERS + appearing inside unchecked conversions. + +2023-05-15 Steve Baird + + * warnsw.ads: Add a new element, + Warn_On_Ineffective_Predicate_Test, to the Opt_Warnings_Enum + enumeration type. + * warnsw.adb: Bind "-gnatw_s" to the new + Warn_On_Ineffective_Predicate_Test switch. Add the new switch to + the set of switches enabled by -gnata . + * sem_ch13.adb + (Build_Discrete_Static_Predicate): Declare new local procedure, + Warn_If_Test_Ineffective, which conditionally generates new + warning. Call this new procedure when building a new element of an + RList. + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: + Document the -gnatw_s switch (and the corresponding -gnatw_S + switch). + * gnat_ugn.texi: Regenerate. + +2023-05-15 Yannick Moy + + * sem_attr.adb: Update comment referring to rule number. + +2023-05-15 Ronan Desplanques + + * sem_attr.adb: sem_attr.adb (Analyze_Access_Attribute): Tighten + validity check for task types. + +2023-05-15 Ronan Desplanques + + * doc/gnat_rm/implementation_defined_characteristics.rst: Fix + minor documentation formatting issue. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2023-05-15 Bob Duff + + * exp_ch4.adb + (Expand_N_Op_Expon): Remove the too-big check. Simplify. Signed + and modular cases are combined, etc. Remove code with comment "We + only handle cases where the right type is a[sic] integer", because + the right operand must always be an integer at this point. + +2023-05-15 Bob Duff + + * sem_attr.adb + (Analyze_Attribute): Add a call to Check_Error_Detected. + +2023-05-15 Yannick Moy + + * par-prag.adb (First_Arg_Is_Matching_Tool_Name): Fix access to + expression in pragma association. + +2023-05-15 Eric Botcazou + + * repinfo.ads (JSON output format): Document special case of + Present member of a Variant object. + * repinfo.adb (List_Structural_Record_Layout): Change the type of + Ext_Level parameter to Integer. Restrict the first recursion with + increasing levels to the fixed part and implement a second + recursion with decreasing levels for the variant part. Deal with + an extension of a type with unknown discriminants. + +2023-05-15 Claire Dross + + * libgnat/s-valueu.adb: Use cut operations inside assertion to + restore proofs + * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Add s-spark and + s-spcuop dependencies. + +2023-05-15 Yannick Moy + + * sem_prag.adb (Check_Grouping): Allow Annotate pragmas between + loop pragmas. + +2023-05-15 Javier Miranda + + * doc/gnat_rm/implementation_defined_pragmas.rst + (Extensions_Allowed): Document string interpolation. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2023-05-15 Joel Brobecker + + * doc/gnat_ugn/platform_specific_information.rst + (_PIE_Enabled_By_Default_On_Linux): New section. + * gnat-style.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2023-05-15 Javier Miranda + + * exp_disp.adb + (Has_Dispatching_Constructor_Call): New subprogram. + (Expand_Interface_Conversion): No need to perform dynamic + interface conversion when the operand and the target type are + interface types and the target interface type is an ancestor of + the operand type. The unique exception to this rule is when the + operand has a dispatching constructor call (as documented in the + sources). + +2023-05-15 Piotr Trojanek + + * sem_attr.adb (Analyze_Attribute): Reject attribute Initialized + on unchecked unions; fix grammar in comment. + +2023-05-15 Ronan Desplanques + + * sem_ch13.adb (Validate_Unchecked_Conversion): Fix behavior on + System.Address to access to subprogram subtype conversion. + +2023-05-15 Piotr Trojanek + + * atree.ads + (Is_Syntactic_Node): Refactored from New_Copy_Tree. + * atree.adb + (Is_Syntactic_Node): Likewise. + (Copy_Separate_Tree): Use Is_Syntactic_Node. + * sem_util.adb + (Has_More_Ids): Move to Atree. + (Is_Syntactic_Node): Likewise. + 2023-04-18 Jin Ma * gcc-interface/utils.cc (unchecked_convert): Fixed typo. diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 8415152f883..df1112d979b 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,13 @@ +2023-05-15 Joseph Myers + + * c-lex.cc (c_common_has_attribute): Use 202311 as + __has_c_attribute return for all C2x attributes. + +2023-05-15 Patrick Palka + + * c-cppbuiltin.cc (c_cpp_builtins): Predefine __cpp_auto_cast + for C++23. + 2023-05-01 Marek Polacek * c-ubsan.cc (ubsan_maybe_instrument_array_ref): Don't copy_node. diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 67445c5d284..cbd612379e4 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,8 @@ +2023-05-15 Joseph Myers + + * c-decl.cc (grokdeclarator): Ignore _Atomic on function return + type for C2x. + 2023-04-30 Andrew Pinski * c-typeck.cc (process_init_element): Print out array type diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index f1b0c5ae276..f0648163280 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,10 @@ +2023-05-15 Harald Anlauf + + PR fortran/109846 + * expr.cc (gfc_check_vardef_context): Check appropriate pointer + attribute for CLASS vs. non-CLASS function result in variable + definition context. + 2023-05-11 Xi Ruoyao * Make-lang.in: Use grep instead of fgrep. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 76bb09bfa4b..c2e62ded77e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,52 @@ +2023-05-15 Joseph Myers + + * gcc.dg/qual-return-9.c, gcc.dg/qual-return-10.c: New tests. + +2023-05-15 Joseph Myers + + * gcc.dg/c2x-has-c-attribute-2.c: Expect 202311L return value from + __has_c_attribute for all C2x attributes. + +2023-05-15 Harald Anlauf + + PR fortran/109846 + * gfortran.dg/ptr-func-5.f90: New test. + +2023-05-15 Patrick Palka + + * g++.dg/cpp23/feat-cxx2b.C: Test __cpp_auto_cast. + +2023-05-15 Kyrylo Tkachov + + * gcc.target/aarch64/facg_1.c: New test. + +2023-05-15 Kyrylo Tkachov + + PR target/99195 + * gcc.target/aarch64/simd/pr99195_7.c: New test. + +2023-05-15 Kyrylo Tkachov + + PR target/99195 + * gcc.target/aarch64/simd/pr99195_4.c: Add testing for qabs, qneg. + +2023-05-15 Pan Li + Juzhe-Zhong + kito-cheng + + * gcc.target/riscv/rvv/base/vf_avl-1.c: New test. + +2023-05-15 Richard Biener + + * gcc.dg/vect/pr108950.c: Re-order dg-require-effective-target + and dg-do. + +2023-05-15 Juzhe-Zhong + + * gcc.target/riscv/rvv/autovec/binop/shift-rv32gcv.c: Adapt testcase. + * gcc.target/riscv/rvv/autovec/align-1.c: New test. + * gcc.target/riscv/rvv/autovec/align-2.c: New test. + 2023-05-14 Andrew Pinski PR tree-optimization/109829 diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index 1ebcf32a51a..78aa86c7bc1 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,11 @@ +2023-05-15 Thomas Neumann + + * unwind-dw2-fde.c: Fix assert in non-atomic path. + +2023-05-15 Sören Tempel + + * unwind-dw2-fde.c: Accept empty ranges when deregistering frames. + 2023-05-02 Patrick O'Neill * config/riscv/atomic.c: Change LR.aq/SC.rl pairs into diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index f6b4a40f12a..d650ffdec20 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,65 @@ +2023-05-15 Thomas Schwinge + + PR testsuite/66005 + * configure.ac: Look for 'flock'. + * testsuite/Makefile.am (gcc_test_parallel_slots): Enable parallel testing. + * testsuite/config/default.exp: Don't 'load_lib "standard.exp"' here... + * testsuite/lib/libgomp.exp: ... but here, instead. + (libgomp_load): Override for parallel testing. + * testsuite/libgomp-site-extra.exp.in (FLOCK): Set. + * configure: Regenerate. + * Makefile.in: Regenerate. + * testsuite/Makefile.in: Regenerate. + +2023-05-15 Rainer Orth + Thomas Schwinge + + PR testsuite/66005 + * testsuite/Makefile.am (PWD_COMMAND): New variable. + (%/site.exp): New target. + (check_p_numbers0, check_p_numbers1, check_p_numbers2) + (check_p_numbers3, check_p_numbers4, check_p_numbers5) + (check_p_numbers6, check_p_numbers, gcc_test_parallel_slots) + (check_p_subdirs) + (check_DEJAGNU_libgomp_targets): New variables. + ($(check_DEJAGNU_libgomp_targets)): New target. + ($(check_DEJAGNU_libgomp_targets)): New dependency. + (check-DEJAGNU $(check_DEJAGNU_libgomp_targets)): New targets. + * testsuite/Makefile.in: Regenerate. + * testsuite/lib/libgomp.exp: For parallel testing, + 'load_file ../libgomp-test-support.exp'. + +2023-05-15 Thomas Schwinge + + PR testsuite/91884 + * configure.ac: 'AC_SUBST(CXX)'. + * configure: Regenerate. + * Makefile.in: Likewise. + * testsuite/Makefile.in: Likewise. + * testsuite/libgomp-site-extra.exp.in (GXX_UNDER_TEST) + (GFORTRAN_UNDER_TEST): Set. + * testsuite/lib/libgomp.exp (libgomp_init): Adjust. + * testsuite/libgomp.c++/c++.exp: Use 'GXX_UNDER_TEST'. + * testsuite/libgomp.oacc-c++/c++.exp: Likewise. + * testsuite/libgomp.fortran/fortran.exp: Use + 'GFORTRAN_UNDER_TEST'. + * testsuite/libgomp.oacc-fortran/fortran.exp: Likewise. + +2023-05-15 Thomas Schwinge + + PR testsuite/91884 + * testsuite/lib/libgomp.exp (libgomp_target_compile): Don't + specify compiler. + * testsuite/libgomp.c++/c++.exp (ALWAYS_CFLAGS): Specify compiler. + * testsuite/libgomp.c/c.exp (ALWAYS_CFLAGS): Likewise. + * testsuite/libgomp.fortran/fortran.exp (ALWAYS_CFLAGS): Likewise. + * testsuite/libgomp.graphite/graphite.exp (ALWAYS_CFLAGS): + Likewise. + * testsuite/libgomp.oacc-c++/c++.exp (ALWAYS_CFLAGS): Likewise. + * testsuite/libgomp.oacc-c/c.exp (ALWAYS_CFLAGS): Likewise. + * testsuite/libgomp.oacc-fortran/fortran.exp (ALWAYS_CFLAGS): + Likewise. + 2023-05-12 Tobias Burnus PR libstdc++/109816