FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Daily bump.

Browse source
This commit is contained in:
GCC Administrator 2023-05-16 00:17:47 +00:00
parent d62d5686f4
commit 3427b51bcc
9 changed files with 447 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

85
gcc/ChangeLog
View file

@ -1,3 +1,88 @@
2023-05-15 Aldy Hernandez <aldyh@redhat.com>
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 <aldyh@redhat.com>
* 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 <juzhe.zhong@rivai.ai>
* 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 <pan2.li@intel.com>
* optabs.cc (maybe_gen_insn): Add case to generate instruction
that has 11 operands.
2023-05-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
* config/aarch64/aarch64.cc (aarch64_rtx_costs, NEG case): Add costing
logic for vector modes.
2023-05-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
PR target/99195
* config/aarch64/aarch64-simd.md (aarch64_cm<optab><mode>): Rename to...
(aarch64_cm<optab><mode><vczle><vczbe>): ... This.
(aarch64_cmtst<mode>): Rename to...
(aarch64_cmtst<mode><vczle><vczbe>): ... This.
(*aarch64_cmtst_same_<mode>): Rename to...
(*aarch64_cmtst_same_<mode><vczle><vczbe>): ... This.
(*aarch64_cmtstdi): Rename to...
(*aarch64_cmtstdi<vczle><vczbe>): ... This.
(aarch64_fac<optab><mode>): Rename to...
(aarch64_fac<optab><mode><vczle><vczbe>): ... This.
2023-05-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
PR target/99195
* config/aarch64/aarch64-simd.md (aarch64_s<optab><mode>): Rename to...
(aarch64_s<optab><mode><vczle><vczbe>): ... This.
2023-05-15 Pan Li <pan2.li@intel.com>
Juzhe-Zhong <juzhe.zhong@rivai.ai>
kito-cheng <kito.cheng@sifive.com>
* 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 <rguenther@suse.de>
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 <juzhe.zhong@rivai.ai>
* config/riscv/riscv.cc
(riscv_vectorize_preferred_vector_alignment): New function.
(TARGET_VECTORIZE_PREFERRED_VECTOR_ALIGNMENT): New target hook.
2023-05-14 Andrew Pinski <apinski@marvell.com>
PR tree-optimization/109829

2
gcc/DATESTAMP
View file

@ -1 +1 @@
20230515
20230516

220
gcc/ada/ChangeLog
View file

@ -1,3 +1,223 @@
2023-05-15 Marc Poulhiès <poulhies@adacore.com>
* exp_ch3.adb (Make_Allocator_For_Return): Fix typo in comment.
2023-05-15 Yannick Moy <moy@adacore.com>
* 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 <moy@adacore.com>
* 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 <moy@adacore.com>
* libgnat/i-c.adb: Add loop variants. Remove useless
initialization.
2023-05-15 Bob Duff <duff@adacore.com>
* einfo-utils.ads: Remove comment.
2023-05-15 Bob Duff <duff@adacore.com>
* 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 <desplanques@adacore.com>
* doc/gnat_ugn/gnat_utility_programs.rst: Fix formatting
inconsistency.
2023-05-15 Bob Duff <duff@adacore.com>
* einfo-utils.adb:
(Proc_Next_Component_Or_Discriminant): Call
Next_Component_Or_Discriminant.
2023-05-15 Bob Duff <duff@adacore.com>
* 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 <duff@adacore.com>
* 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 <ebotcazou@adacore.com>
* 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 <trojanek@adacore.com>
* sem_util.adb (New_Copy_Tree): Remove redundant calls to Present.
2023-05-15 Ronan Desplanques <desplanques@adacore.com>
* sem_ch8.adb (End_Scope): Simplify lookup of predecessor in
homonym chain.
2023-05-15 Piotr Trojanek <trojanek@adacore.com>
* sem_aggr.adb (Resolve_Aggregate): Accept aggregates with OTHERS
appearing inside unchecked conversions.
2023-05-15 Steve Baird <baird@adacore.com>
* 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 <moy@adacore.com>
* sem_attr.adb: Update comment referring to rule number.
2023-05-15 Ronan Desplanques <desplanques@adacore.com>
* sem_attr.adb: sem_attr.adb (Analyze_Access_Attribute): Tighten
validity check for task types.
2023-05-15 Ronan Desplanques <desplanques@adacore.com>
* 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 <duff@adacore.com>
* 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 <duff@adacore.com>
* sem_attr.adb
(Analyze_Attribute): Add a call to Check_Error_Detected.
2023-05-15 Yannick Moy <moy@adacore.com>
* par-prag.adb (First_Arg_Is_Matching_Tool_Name): Fix access to
expression in pragma association.
2023-05-15 Eric Botcazou <ebotcazou@adacore.com>
* 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 <dross@adacore.com>
* 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 <moy@adacore.com>
* sem_prag.adb (Check_Grouping): Allow Annotate pragmas between
loop pragmas.
2023-05-15 Javier Miranda <miranda@adacore.com>
* 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 <brobecker@adacore.com>
* 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 <miranda@adacore.com>
* 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 <trojanek@adacore.com>
* sem_attr.adb (Analyze_Attribute): Reject attribute Initialized
on unchecked unions; fix grammar in comment.
2023-05-15 Ronan Desplanques <desplanques@adacore.com>
* sem_ch13.adb (Validate_Unchecked_Conversion): Fix behavior on
System.Address to access to subprogram subtype conversion.
2023-05-15 Piotr Trojanek <trojanek@adacore.com>
* 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 <jinma@linux.alibaba.com>
* gcc-interface/utils.cc (unchecked_convert): Fixed typo.

10
gcc/c-family/ChangeLog
View file

@ -1,3 +1,13 @@
2023-05-15 Joseph Myers <joseph@codesourcery.com>
* c-lex.cc (c_common_has_attribute): Use 202311 as
__has_c_attribute return for all C2x attributes.
2023-05-15 Patrick Palka <ppalka@redhat.com>
* c-cppbuiltin.cc (c_cpp_builtins): Predefine __cpp_auto_cast
for C++23.
2023-05-01 Marek Polacek <polacek@redhat.com>
* c-ubsan.cc (ubsan_maybe_instrument_array_ref): Don't copy_node.

5
gcc/c/ChangeLog
View file

@ -1,3 +1,8 @@
2023-05-15 Joseph Myers <joseph@codesourcery.com>
* c-decl.cc (grokdeclarator): Ignore _Atomic on function return
type for C2x.
2023-04-30 Andrew Pinski <apinski@marvell.com>
* c-typeck.cc (process_init_element): Print out array type

7
gcc/fortran/ChangeLog
View file

@ -1,3 +1,10 @@
2023-05-15 Harald Anlauf <anlauf@gmx.de>
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 <xry111@xry111.site>
* Make-lang.in: Use grep instead of fgrep.

49
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,52 @@
2023-05-15 Joseph Myers <joseph@codesourcery.com>
* gcc.dg/qual-return-9.c, gcc.dg/qual-return-10.c: New tests.
2023-05-15 Joseph Myers <joseph@codesourcery.com>
* 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 <anlauf@gmx.de>
PR fortran/109846
* gfortran.dg/ptr-func-5.f90: New test.
2023-05-15 Patrick Palka <ppalka@redhat.com>
* g++.dg/cpp23/feat-cxx2b.C: Test __cpp_auto_cast.
2023-05-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
* gcc.target/aarch64/facg_1.c: New test.
2023-05-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
PR target/99195
* gcc.target/aarch64/simd/pr99195_7.c: New test.
2023-05-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
PR target/99195
* gcc.target/aarch64/simd/pr99195_4.c: Add testing for qabs, qneg.
2023-05-15 Pan Li <pan2.li@intel.com>
Juzhe-Zhong <juzhe.zhong@rivai.ai>
kito-cheng <kito.cheng@sifive.com>
* gcc.target/riscv/rvv/base/vf_avl-1.c: New test.
2023-05-15 Richard Biener <rguenther@suse.de>
* gcc.dg/vect/pr108950.c: Re-order dg-require-effective-target
and dg-do.
2023-05-15 Juzhe-Zhong <juzhe.zhong@rivai.ai>
* 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 <apinski@marvell.com>
PR tree-optimization/109829

8
libgcc/ChangeLog
View file

@ -1,3 +1,11 @@
2023-05-15 Thomas Neumann <tneumann@users.sourceforge.net>
* unwind-dw2-fde.c: Fix assert in non-atomic path.
2023-05-15 Sören Tempel <soeren+git@soeren-tempel.net>
* unwind-dw2-fde.c: Accept empty ranges when deregistering frames.
2023-05-02 Patrick O'Neill <patrick@rivosinc.com>
* config/riscv/atomic.c: Change LR.aq/SC.rl pairs into

62
libgomp/ChangeLog
View file

@ -1,3 +1,65 @@
2023-05-15 Thomas Schwinge <thomas@codesourcery.com>
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 <ro@CeBiTec.Uni-Bielefeld.DE>
Thomas Schwinge <thomas@codesourcery.com>
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 <thomas@codesourcery.com>
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 <thomas@codesourcery.com>
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 <tobias@codesourcery.com>
PR libstdc++/109816