diff options
-rw-r--r-- | gcc/ChangeLog | 130 | ||||
-rw-r--r-- | gcc/DATESTAMP | 2 | ||||
-rw-r--r-- | gcc/ada/ChangeLog | 261 | ||||
-rw-r--r-- | gcc/c/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/cp/ChangeLog | 44 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 127 | ||||
-rw-r--r-- | libstdc++-v3/ChangeLog | 114 |
7 files changed, 682 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9a873d6..039254c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,133 @@ +2024-06-13 Patrick O'Neill <patrick@rivosinc.com> + + * config/riscv/sync-rvwmo.md: Add support for subword fenced + loads/stores. + * config/riscv/sync-ztso.md: Ditto. + * config/riscv/sync.md: Ditto. + +2024-06-13 Gerald Pfeifer <gerald@pfeifer.com> + + * doc/extend.texi (AArch64 Function Attributes): Add + (AVR Variable Attributes): Ditto. + (Common Type Attributes): Ditto. + +2024-06-13 Hongyu Wang <hongyu.wang@intel.com> + + PR target/115370 + PR target/115463 + * target.def (have_ccmp): New target hook. + * targhooks.cc (default_have_ccmp): New function. + * targhooks.h (default_have_ccmp): New prototype. + * doc/tm.texi.in: Add TARGET_HAVE_CCMP. + * doc/tm.texi: Regenerate. + * cfgexpand.cc (expand_gimple_cond): Call targetm.have_ccmp + instead of checking if targetm.gen_ccmp_first exists. + * expr.cc (expand_expr_real_gassign): Likewise. + * config/i386/i386.cc (ix86_have_ccmp): New target hook to + check if APX_CCMP enabled. + (TARGET_HAVE_CCMP): Define. + +2024-06-13 Richard Sandiford <richard.sandiford@arm.com> + + PR target/115464 + * simplify-rtx.cc (simplify_context::simplify_subreg): Don't try + to fold two subregs together if their relationship isn't known + at compile time. + * explow.h (force_subreg): Declare. + * explow.cc (force_subreg): New function. + * config/aarch64/aarch64-sve-builtins-base.cc + (svset_neonq_impl::expand): Use it instead of simplify_gen_subreg. + +2024-06-13 Pan Li <pan2.li@intel.com> + + PR target/115456 + * config/riscv/autovec.md: Take ZVFH mode iterator instead of + the ZVFHMIN for the alignment. + * config/riscv/vector-iterators.md: Add 2 new iterator + V_VLS_ZVFH and VLS_ZVFH. + +2024-06-13 Hongyu Wang <hongyu.wang@intel.com> + + * config/i386/i386.md (@ccmp<mode>): Add new alternative + <r>,C and adjust output templates. Also adjust UNSPEC mode + to CCmode. + +2024-06-13 Gerald Pfeifer <gerald@pfeifer.com> + + PR other/69374 + * doc/install.texi (Prerequisites): Simplify note on the C++ + compiler required. Drop requirements for versions of GCC prior + to 3.4. Fix grammar. + +2024-06-13 Richard Biener <rguenther@suse.de> + + * tree-vect-stmts.cc (get_group_load_store_type): Consistently + use VMAT_STRIDED_SLP for strided SLP accesses and not + VMAT_ELEMENTWISE. + (vectorizable_store): Adjust VMAT_STRIDED_SLP handling to + allow not only half-size but also smaller accesses. + (vectorizable_load): Likewise. + +2024-06-13 Richard Biener <rguenther@suse.de> + + PR tree-optimization/115385 + * tree-vect-stmts.cc (get_group_load_store_type): Peeling + of a single scalar iteration is sufficient if we can narrow + the access to the next power of two of the bits in the last + access. + (vectorizable_load): Ensure that the last access is narrowed. + +2024-06-13 Richard Biener <rguenther@suse.de> + + PR tree-optimization/114107 + PR tree-optimization/110445 + * tree-vect-stmts.cc (get_group_load_store_type): Refactor + contiguous access case. Make sure peeling for gap constraints + are always tested and consistently relax when we know we can + avoid touching excess elements during code generation. But + rewrite the check poly-int aware. + +2024-06-13 Andi Kleen <ak@linux.intel.com> + + * doc/extend.texi: Use std::string_view in asm constexpr + example. + +2024-06-13 liuhongt <hongtao.liu@intel.com> + + PR target/115452 + * config/i386/i386-features.cc (scalar_chain::convert_op): Use + reg_or_subregno instead of REGNO to avoid ICE. + +2024-06-13 YunQiang Su <syq@gcc.gnu.org> + + * config/mips/mips-cpus.def: Use PROCESSOR_24KF1_1 for mips32; + Use PROCESSOR_5KF for mips64/mips64r2/mips64r3/mips64r5. + +2024-06-13 YunQiang Su <syq@gcc.gnu.org> + + * config/mips/mips-modes.def: New CC_MODE CCE. + * config/mips/mips-protos.h(mips_output_compare): New function. + * config/mips/mips.cc(mips_allocate_fcc): Set CCEmode count=1. + (mips_emit_compare): Use CCEmode for LTGT/LT/LE for pre-R6. + (mips_output_compare): New function. Convert lt/le to slt/sle + for R6; convert ueq to ngl for CCEmode. + (mips_hard_regno_mode_ok_uncached): Mention CCEmode. + * config/mips/mips.h: Mention CCEmode for LOAD_EXTEND_OP. + * config/mips/mips.md(FPCC): Add CCE. + (define_mode_iterator MOVECC): Mention CCE. + (define_mode_attr reg): Add CCE with "z". + (define_mode_attr fpcmp): Add CCE with "c". + (define_code_attr fcond): ltgt should use sne instead of ne. + (s<code>_<SCALARF:mode>_using_<FPCC:mode>): call mips_output_compare. + +2024-06-13 Lingling Kong <lingling.kong@intel.com> + + * config/i386/i386-opts.h (enum apx_features): Add apx_zu. + * config/i386/i386.h (TARGET_APX_ZU): Define. + * config/i386/i386.md (*imulhi<mode>zu): New define_insn. + (*setcc_<mode>_zu): Ditto. + * config/i386/i386.opt: Add enum value for zu. + 2024-06-12 David Malcolm <dmalcolm@redhat.com> PR bootstrap/115465 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 9da7c1a8c..5306f61 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20240613 +20240614 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 1c9996a..b92440c 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,264 @@ +2024-06-14 Alexandre Oliva <oliva@gnu.org> + + Revert: + 2024-06-12 Alexandre Oliva <oliva@adacore.com> + + * gcc-interface/decl.cc (gnat_to_gnu_field): Use unpacked type + as the debug type for packed fields. + +2024-06-13 Steve Baird <baird@adacore.com> + + * exp_util.adb + (Insert_Actions): Code was relying on an incorrect assumption that an + N_Itype_Reference cannot occur in declaration list or a statement + list. Fix the code to handle this case. + +2024-06-13 Viljar Indus <indus@adacore.com> + + * debug.adb: Remove mentions of -gnatdJ. + * errout.adb: Remove printing subprogram names to JSON. + * erroutc.adb: Remove printing subprogram names in messages. + * erroutc.ads: Remove Node and Subprogram_Name_Ptr used for -gnatdJ. + * errutil.adb: Remove Node used for -gnatdJ + * gnat1drv.adb: Remove references of -gnatdJ and + Include_Subprgram_In_Messages. + * opt.ads: Remove Include_Subprgram_In_Messages + * par-util.adb: Remove behavior related to + Include_Subprgram_In_Messages. + * sem_util.adb: Remove Subprogram_Name used for -gnatdJ + +2024-06-13 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch7.adb (Attach_Object_To_Master_Node): Fix formatting. + (Build_Finalizer.Process_Object_Declaration): Synthesize a local + Finalize_Address primitive if the object's subtype is an array + that has a constrained first subtype and is not this first subtype. + * exp_util.adb (Find_Last_Init): Get again to the base type in the + indirect case. + +2024-06-13 Eric Botcazou <ebotcazou@adacore.com> + + * doc/gnat_rm/implementation_defined_attributes.rst (Iterable): + Delete entry. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2024-06-13 Yannick Moy <moy@adacore.com> + + * sem_util.adb (Check_Ambiguous_Aggregate): Fix test. + +2024-06-13 Javier Miranda <miranda@adacore.com> + + * freeze.ads (Check_Condition_Entities): Complete documentation. + * freeze.adb (Check_Inherited_Conditions): Extend its functionality to + build two kind of wrappers: the existing LSP wrappers, and wrappers + required to handle postconditions of interface primitives implemented + by inherited primitives. + (Build_Inherited_Condition_Pragmas): Rename formal. + (Freeze_Record_Type): For derived tagged types, move call to + Check_Inherited_Conditions to subprogram Freeze_Entity_Checks; + done to improve the performance of Check_Inherited_Conditions since it + can rely on the internal entities that link interface primitives with + tagged type primitives that implement them. + (Check_Interface_Primitives_Strub_Mode): New subprogram. + * sem_ch13.adb (Freeze_Entity_Checks): Call Check_Inherited_Conditions. + Call Check_Inherited_Conditions with derived interface types to check + strub mode compatibility of their primitives. + * sem_disp.adb (Check_Dispatching_Operation): Adjust assertion to accept + wrappers of interface primitives that have classwide postconditions. + * exp_disp.adb (Write_DT): Adding text to identify wrappers. + +2024-06-13 Viljar Indus <indus@adacore.com> + + * sem_res.adb (Resolve_Call): add warning insertion + character into the info message. + +2024-06-13 Steve Baird <baird@adacore.com> + + * sem_util.adb + (New_Copy_Tree.Visit_Entity): Delete code that prevented copying some entities. + +2024-06-13 Bob Duff <duff@adacore.com> + + * sem_ch12.adb (Check_Fixed_Point_Actual): Minor rewording; it seems + more proper to say "operator" rather than "operation". + (Matching_Actual): Give an error for <> in positional notation. + This is a syntax error. Disable this for now. + (Analyze_Associations): Copy the use clause in all cases. + The "mustn't recopy" comment seems wrong, because New_Copy_Tree + preserves Slocs. + * libgnat/a-ticoau.ads: Fix violation of new postion-box error. + * libgnat/a-wtcoau.ads: Likewise. + * libgnat/a-ztcoau.ads: Likewise. + +2024-06-13 Viljar Indus <indus@adacore.com> + + * par-labl.adb (Rewrite_As_Loop): Remove info message + +2024-06-13 Viljar Indus <indus@adacore.com> + + * par-ch7.adb: Remove warning characters from info message + * par-endh.adb: Remove warning characters from info message + * sem_res.adb: Remove warning characters from info message + +2024-06-13 Viljar Indus <indus@adacore.com> + + * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): change the + info message to a continuation message. + +2024-06-13 Viljar Indus <indus@adacore.com> + + * inline.adb (Cannot_Inline): Simplify string handling logic. + +2024-06-13 Yannick Moy <moy@adacore.com> + + * exp_ch5.adb (Expand_Iterator_Loop_Over_Container): Skip entities + of kind E_Subprogram_Body. + * repinfo.adb (List_Entities): Remove special case for subprogram + bodies. + * sem_ch6.adb (Analyze_Subprogram_Body_Helper): List subprogram + body entities in the enclosing scope. + +2024-06-13 Javier Miranda <miranda@adacore.com> + + * sem_ch4.adb (Traverse_Interfaces): Add missing support + for climbing to parents of interface types. + +2024-06-13 Steve Baird <baird@adacore.com> + + * doc/gnat_rm/implementation_defined_attributes.rst: + Update Super attribute documentation. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2024-06-13 Ronan Desplanques <desplanques@adacore.com> + + * exp_ch7.adb (Build_Cleanup_Statements): Adapt to changes + made to Build_Protected_Subprogram_Call_Cleanup. + * exp_ch9.adb (Make_Unlock_Statement, Wrap_Unprotected_Call): + New functions. + (Build_Protected_Subprogram_Body): Fix resource management in + generated code. + (Build_Protected_Subprogram_Call_Cleanup): Make use of newly + introduced Make_Unlock_Statement. + +2024-06-13 Eric Botcazou <ebotcazou@adacore.com> + + PR ada/114710 + * exp_util.adb (Find_Renamed_Object): Recurse for any renaming. + +2024-06-13 Piotr Trojanek <trojanek@adacore.com> + + * sem_prag.adb (Check_Mode_Restriction_In_Enclosing_Context): + Iterate over encapsulating abstract states. + +2024-06-13 Eric Botcazou <ebotcazou@adacore.com> + + * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add s-imad32$(objext), + s-imad64$(objext) and s-imagea$(objext). + * exp_atag.ads (Build_Set_Size_Function): Replace Tag_Node parameter + with Typ parameter. + * exp_atag.adb: Add clauses for Sinfo.Utils. + (Build_Set_Size_Function): Retrieve the TSD object statically. + * exp_disp.adb: Add clauses for Ttypes. + (Make_DT): Call Address_Image{32,64] instead of Address_Image. + (Register_Primitive): Pass Tag_Typ to Build_Set_Size_Function. + * rtsfind.ads (RTU_Id): Remove System_Address_Image and add + System_Img_Address_{32;64}. + (RE_Id): Remove entry for RE_Address_Image and add entries for + RE_Address_Image{32,64}. + * rtsfind.adb (System_Descendant): Adjust to above changes. + * libgnat/a-tags.ads (Address_Array): Suppress initialization. + * libgnat/s-addima.adb (System.Address_Image): Call the appropriate + routine based on the address size. + * libgnat/s-imad32.ads: New file. + * libgnat/s-imad64.ads: Likewise. + * libgnat/s-imagea.ads: Likewise. + * libgnat/s-imagea.adb: Likewise. + * gcc-interface/Make-lang.in (GNAT_ADA_OBJS) [$(STAGE1)=False]: Add + ada/libgnat/s-imad32.o and ada/libgnat/s-imad64.o. + +2024-06-13 Yannick Moy <moy@adacore.com> + + * inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Do not inline + when constant with address clause is found. + +2024-06-13 Ronan Desplanques <desplanques@adacore.com> + + * gnatlink.adb (Gnatlink): Fix incorrect lower bound assumption. + (Is_Prefix): New function. + +2024-06-13 Steve Baird <baird@adacore.com> + + * sem_ch7.adb + (Requires_Completion_In_Body): Modify the Comes_From_Source test so that + the implicit declaration of an inherited subprogram does not cause + an incorrect result of True. + +2024-06-13 Richard Kenner <kenner@adacore.com> + + * exp_ch6.adb (Expand_Ctrl_Function_Call): Inline if -gnatn in + CCG mode even if -O0. + +2024-06-13 Eric Botcazou <ebotcazou@adacore.com> + + PR ada/114710 + * exp_util.adb (Find_Renamed_Object): Recurse if the renamed object + is itself a renaming. + +2024-06-13 Javier Miranda <miranda@adacore.com> + + * sem_attr.adb (Analyze_Attribute): Enhance support for + using 'Old with a prefix that references an overloaded + function that has no parameters; add missing support + for the use of 'Old within qualified expressions. + * sem_util.ads (Preanalyze_And_Resolve_Without_Errors): + New subprogram. + * sem_util.adb (Preanalyze_And_Resolve_Without_Errors): + New subprogram. + +2024-06-13 Piotr Trojanek <trojanek@adacore.com> + + * layout.adb (Layout_Type): Use high-level wrapper routine. + * sem_ch13.adb (Inherit_Delayed_Rep_Aspects): Likewise. + * sem_ch3.adb (Analyze_Object_Declaration): Likewise. + +2024-06-13 Eric Botcazou <ebotcazou@adacore.com> + + * libgnat/s-tsmona__linux.adb (Get): Move down descriptive comment. + * libgnat/s-tsmona__mingw.adb: Add with clause and use clause for + System.Storage_Elements. + (Get): Pass GET_MODULE_HANDLE_EX_FLAG_UNCHANGED_REFCOUNT in the call + to GetModuleHandleEx and remove the subsequent call to FreeLibrary. + Upon success, set Load_Addr to the base address of the module. + * libgnat/s-win32.ads (GET_MODULE_HANDLE_EX_FLAG_FROM_ADDRESS): Use + shorter literal. + (GET_MODULE_HANDLE_EX_FLAG_UNCHANGED_REFCOUNT): New constant. + +2024-06-13 Eric Botcazou <ebotcazou@adacore.com> + + PR ada/114710 + * exp_ch7.adb (Build_Finalizer.Process_Declarations): Remove dead + code dealing with renamings. + * exp_util.ads (Is_Finalizable_Transient): Rename Rel_Node to N. + * exp_util.adb (Is_Finalizable_Transient): Likewise. + (Is_Aliased): Remove obsolete code dealing wih EWA nodes and only + consider renamings present in N itself. + (Requires_Cleanup_Actions): Remove dead code dealing with renamings. + +2024-06-13 Javier Miranda <miranda@adacore.com> + + * sem_ch13.adb (Analyze_One_Aspect): Set the applicable policy + of a type declaration when its aspect Dynamic_Predicate is + analyzed. + * sem_prag.adb (Handle_Dynamic_Predicate_Check): New subprogram + that enables or ignores dynamic predicate checks depending on + whether dynamic checks are enabled in the context where the + associated type declaration is defined; used in the analysis + of pragma check. In addition, for pragma Predicate, do not + disable it when the aspect was internally build as part of + processing a dynamic predicate aspect. + 2024-06-12 Alexandre Oliva <oliva@adacore.com> * gcc-interface/decl.cc (gnat_to_gnu_field): Use unpacked type diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 81d708f..3aed377 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,8 @@ +2024-06-13 Joseph Myers <josmyers@redhat.com> + + * c-typeck.cc (build_unary_op): Use pedwarn_c23 for complex + increment and decrement. + 2024-06-12 David Malcolm <dmalcolm@redhat.com> * c-objc-common.cc (print_type): Update for fields of diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index fab5869..c5dd1c3 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,47 @@ +2024-06-13 Jason Merrill <jason@redhat.com> + + PR c++/114683 + * name-lookup.cc (do_nonmember_using_decl): Allow exporting + a newly inserted decl. + +2024-06-13 Jason Merrill <jason@redhat.com> + + PR c++/115194 + * name-lookup.cc (name_lookup::process_module_binding): Strip an + OVERLOAD from a non-function. + +2024-06-13 Jason Merrill <jason@redhat.com> + + * module.cc (depset::hash::add_binding_entity): Adjust comment. + +2024-06-13 Patrick Palka <ppalka@redhat.com> + + PR c++/99678 + * parser.cc (cp_parser_constraint_primary_expression): Diagnose + a bare unresolved unqualified-id. + +2024-06-13 Patrick Palka <ppalka@redhat.com> + + PR c++/115239 + * call.cc (tourney): Don't consider a non-strictly viable + candidate as the champ if there was ambiguity between two + strictly viable candidates. + +2024-06-13 Andi Kleen <ak@linux.intel.com> + + * parser.cc (cp_parser_asm_string_expression): Use correct error + message. + +2024-06-13 Andi Kleen <ak@linux.intel.com> + + * parser.cc (cp_parser_asm_string_expression): Parse close + parent when constexpr extraction fails. + +2024-06-13 Andi Kleen <ak@linux.intel.com> + + * parser.cc (cp_parser_asm_string_expression): Remove support + for const char * for asm constexpr. + 2024-06-13 Patrick Palka <ppalka@redhat.com> PR c++/115283 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ed82918..ecb39dc 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,130 @@ +2024-06-14 Alexandre Oliva <oliva@gnu.org> + + Revert: + 2024-06-14 Alexandre Oliva <oliva@adacore.com> + + * gnat.dg/bias1.adb: Count occurrences of -7.*DW_AT_GNU_bias. + +2024-06-13 Patrick O'Neill <patrick@rivosinc.com> + + * gcc.target/riscv/amo/amo-table-a-6-load-1.c: Increase test coverage to + include longs, shorts, chars, and bools. + * gcc.target/riscv/amo/amo-table-a-6-load-2.c: Ditto. + * gcc.target/riscv/amo/amo-table-a-6-load-3.c: Ditto. + * gcc.target/riscv/amo/amo-table-a-6-store-1.c: Ditto. + * gcc.target/riscv/amo/amo-table-a-6-store-2.c: Ditto. + * gcc.target/riscv/amo/amo-table-a-6-store-compat-3.c: Ditto. + * gcc.target/riscv/amo/amo-table-ztso-load-1.c: Ditto. + * gcc.target/riscv/amo/amo-table-ztso-load-2.c: Ditto. + * gcc.target/riscv/amo/amo-table-ztso-load-3.c: Ditto. + * gcc.target/riscv/amo/amo-table-ztso-store-1.c: Ditto. + * gcc.target/riscv/amo/amo-table-ztso-store-2.c: Ditto. + * gcc.target/riscv/amo/amo-table-ztso-store-3.c: Ditto. + +2024-06-13 Joseph Myers <josmyers@redhat.com> + + * gcc.dg/c23-complex-1.c, gcc.dg/c23-complex-2.c, + gcc.dg/c23-complex-3.c, gcc.dg/c23-complex-4.c, + gcc.dg/c2y-complex-1.c, gcc.dg/c2y-complex-2.c: New tests. + +2024-06-13 Carl Love <cel@linux.ibm.com> + + * gcc.target/powerpc/altivec-2-runnable.c: Change dg-do + argument to run. + +2024-06-13 Jason Merrill <jason@redhat.com> + + PR c++/114683 + * g++.dg/modules/using-22_a.C: New test. + * g++.dg/modules/using-22_b.C: New test. + +2024-06-13 Jason Merrill <jason@redhat.com> + + PR c++/115194 + * g++.dg/modules/using-23_a.C: New test. + * g++.dg/modules/using-23_b.C: New test. + +2024-06-13 Patrick Palka <ppalka@redhat.com> + + PR c++/99678 + * g++.dg/cpp2a/concepts-requires38.C: New test. + +2024-06-13 Patrick Palka <ppalka@redhat.com> + + PR c++/115239 + * g++.dg/overload/error7.C: New test. + +2024-06-13 Richard Sandiford <richard.sandiford@arm.com> + + PR target/115464 + * gcc.target/aarch64/sve/acle/general/pr115464.c: New test. + +2024-06-13 Pan Li <pan2.li@intel.com> + + PR target/115456 + * gcc.target/riscv/rvv/base/pr115456-1.c: New test. + +2024-06-13 Hongyu Wang <hongyu.wang@intel.com> + + * gcc.target/i386/apx-ccmp-1.c: Adjust output to scan ctest. + * gcc.target/i386/apx-ccmp-2.c: Adjust some condition to + compare with 0. + +2024-06-13 Richard Biener <rguenther@suse.de> + + * gcc.target/i386/vect-strided-1.c: New testcase. + * gcc.target/i386/vect-strided-2.c: Likewise. + * gcc.target/i386/vect-strided-3.c: Likewise. + * gcc.target/i386/vect-strided-4.c: Likewise. + +2024-06-13 Richard Biener <rguenther@suse.de> + + PR tree-optimization/115385 + * gcc.dg/vect/pr115385.c: New testcase. + * gcc.target/i386/vect-pr115385.c: Likewise. + +2024-06-13 Richard Biener <rguenther@suse.de> + + PR tree-optimization/114107 + PR tree-optimization/110445 + * gcc.dg/vect/pr114107.c: New testcase. + * gcc.dg/vect/pr103116-1.c: Adjust. + * gcc.dg/vect/pr103116-2.c: Likewise. + +2024-06-13 Andi Kleen <ak@linux.intel.com> + + * g++.dg/cpp1z/constexpr-asm-3.C: Adjust for new message. + +2024-06-13 Andi Kleen <ak@linux.intel.com> + + * g++.dg/cpp1z/constexpr-asm-1.C: Use std::std_string_view. + * g++.dg/cpp1z/constexpr-asm-3.C: Dito. + +2024-06-13 liuhongt <hongtao.liu@intel.com> + + * gcc.target/i386/pr115452.c: New test. + +2024-06-13 Pan Li <pan2.li@intel.com> + + * gcc.target/riscv/pr115387-1.c: Move to... + * gcc.dg/torture/pr115387-1.c: ...here. + * gcc.target/riscv/pr115387-2.c: Move to... + * gcc.dg/torture/pr115387-2.c: ...here. + +2024-06-13 Peter Bergner <bergner@linux.ibm.com> + + PR testsuite/115262 + * gcc.target/powerpc/pr66144-3.c (dg-do): Compile for all targets. + (dg-options): Add -fno-unroll-loops and remove -mvsx. + (scan-assembler): Change from this... + (scan-assembler-times): ...to this. Tweak regex to accept multiple + allowable instructions. + +2024-06-13 Lingling Kong <lingling.kong@intel.com> + + * gcc.target/i386/apx-zu-1.c: New test. + * gcc.target/i386/apx-zu-2.c: New test. + 2024-06-13 Patrick Palka <ppalka@redhat.com> PR c++/115283 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 23c56fa..c1aa7a4 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,117 @@ +2024-06-13 Alexandre Oliva <oliva@adacore.com> + + PR libstdc++/114359 + * testsuite/26_numerics/random/binomial_distribution/114359.cc: + Require cmath. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + + * include/std/type_traits (__add_rval_ref_t): Use + __add_rvalue_reference built-in trait. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + + * include/std/type_traits (__add_lval_ref_t): Use + __add_lvalue_reference built-in trait. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + Jonathan Wakely <jwakely@redhat.com> + + * include/bits/cpp_type_traits.h (__is_pointer): Use + __is_pointer built-in trait. + * include/std/type_traits (is_pointer): Likewise. Optimize its + implementation. + (is_pointer_v): Likewise. + +2024-06-13 Jonathan Wakely <jwakely@redhat.com> + + * include/bits/ranges_base.h (range_common_reference_t): New + alias template, as per LWG 3860. + * testsuite/std/ranges/range.cc: Check it. + +2024-06-13 Jonathan Wakely <jwakely@redhat.com> + + * include/bits/ranges_base.h (const_iterator_t): Change + preprocessor condition to use __glibcxx_ranges_as_const. + (const_sentinel_t, range_const_reference_t): Likewise. + (__access::__possibly_const_range, cbegin, cend, crbegin) + (crend, cdata): Likewise. + * include/bits/stl_iterator.h (iter_const_reference_t) + (basic_const_iterator, const_iterator, const_sentinel) + (make_const_iterator): Likewise. + +2024-06-13 Jonathan Wakely <jwakely@redhat.com> + + PR libstdc++/115420 + * include/bits/hashtable.h (_Hashtable): Add static_assert to + check that hash function is copy constructible. + * testsuite/23_containers/unordered_map/115420.cc: New test. + +2024-06-13 Jonathan Wakely <jwakely@redhat.com> + + PR libstdc++/113376 + * include/pstl/pstl_config.h: Use #if instead of #ifdef to test + the _PSTL_USAGE_WARNINGS macro. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + + * include/std/type_traits (is_nothrow_invocable): Use + __is_nothrow_invocable built-in trait. + * testsuite/20_util/is_nothrow_invocable/incomplete_args_neg.cc: + Handle the new error from __is_nothrow_invocable. + * testsuite/20_util/is_nothrow_invocable/incomplete_neg.cc: + Likewise. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + + * include/std/type_traits (is_invocable): Use __is_invocable + built-in trait. + * testsuite/20_util/is_invocable/incomplete_args_neg.cc: Handle + the new error from __is_invocable. + * testsuite/20_util/is_invocable/incomplete_neg.cc: Likewise. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + + * include/std/type_traits (rank): Use __array_rank built-in + trait. + (rank_v): Likewise. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + + * include/std/type_traits (decay): Use __decay built-in trait. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + + * include/std/type_traits (remove_all_extents): Use + __remove_all_extents built-in trait. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + + * include/std/type_traits (remove_extent): Use __remove_extent + built-in trait. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + + * include/std/type_traits (add_pointer): Use __add_pointer + built-in trait. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + + * include/std/type_traits (is_unbounded_array_v): Use + __is_unbounded_array built-in trait. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + + * include/std/type_traits (is_volatile): Use __is_volatile + built-in trait. + (is_volatile_v): Likewise. + +2024-06-13 Ken Matsui <kmatsui@gcc.gnu.org> + + * include/std/type_traits (is_const): Use __is_const built-in + trait. + (is_const_v): Likewise. + 2024-06-12 Alexandre Oliva <oliva@adacore.com> * testsuite/26_numerics/headers/cmath/constexpr_std_c++23.cc: |