+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
+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.
+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.
+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
+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.
+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
+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
+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
projects / thirdparty / gcc.git / commitdiff
