From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id ECA713858D28; Fri, 6 Jan 2023 00:18:11 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org ECA713858D28 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1672964291; bh=a17+xfPUQfRp8mF/NaRWg0sntNCTyn83zChZ17E80P4=; h=From:To:Subject:Date:From; b=PNBXrtlO8rILXFoKDVo+iZVr0C/UajIPUmx39c9Sq42ax37RM77Cn9Ia1c+PoLY5P Zva2xtDTPwQ7fi1emQxdbN+CFz/ipZ35gxtZGmukCTJViT9yroS0M1wdipa81mXixk O3CIYfkCVaqDdcWbKo8cEqKZc0aLjxIJEdrH1eis= MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r13-5039] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 9e6ac747ac5cff9e3f58421cdd9f03538e48ed07 X-Git-Newrev: 53ef7c1d9a44a2c681d4b3433a853cd4461be8c5 Message-Id: <20230106001811.ECA713858D28@sourceware.org> Date: Fri, 6 Jan 2023 00:18:11 +0000 (GMT) List-Id: https://gcc.gnu.org/g:53ef7c1d9a44a2c681d4b3433a853cd4461be8c5 commit r13-5039-g53ef7c1d9a44a2c681d4b3433a853cd4461be8c5 Author: GCC Administrator Date: Fri Jan 6 00:17:35 2023 +0000 Daily bump. Diff: --- gcc/ChangeLog | 23 +++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 224 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 12 +++ gcc/m2/ChangeLog | 32 +++++++ gcc/rust/ChangeLog | 10 +++ gcc/testsuite/ChangeLog | 20 +++++ libgomp/ChangeLog | 5 ++ libstdc++-v3/ChangeLog | 53 ++++++++++++ 9 files changed, 380 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 50218d04510..967e3395c1e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,26 @@ +2023-01-05 Roger Sayle + + Revert: + 2023-01-03 Roger Sayle + + * config/i386/i386-expand.cc (ix86_expand_int_movcc): Rewrite + RTL expansion to allow condition (mask) to be shared/reused, + by avoiding overwriting pseudos and adding REG_EQUAL notes. + +2023-01-05 Iain Sandoe + + * common.opt: Add -static-libgm2. + * config/darwin.h (LINK_SPEC): Handle static-libgm2. + * doc/gm2.texi: Document static-libgm2. + * gcc.cc (driver_handle_option): Allow static-libgm2. + +2023-01-05 Tejas Joshi + + * common/config/i386/i386-common.cc (processor_alias_table): + Use CPU_ZNVER4 for znver4. + * config/i386/i386.md: Add znver4.md. + * config/i386/znver4.md: New. + 2023-01-04 Jakub Jelinek PR tree-optimization/108253 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 9d39ee8c855..5cf4a378549 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230105 +20230106 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index c492ee71f27..b51a0ef0aa0 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,227 @@ +2023-01-05 Eric Botcazou + + * exp_util.adb (Make_CW_Equivalent_Type) : Tweak. + +2023-01-05 Eric Botcazou + + * exp_ch3.adb (Expand_N_Object_Declaration): Rewrite the end of the + handling of objects with (class-wide) interface type by using the + same idiom as the other cases generating a renaming. + * exp_util.adb (Is_Displacement_Of_Object_Or_Function_Result): Tweak + pattern matching code and exclude special return objects. + (Requires_Cleanup_Actions): Adjust comment. + * exp_ch7.adb (Build_Finalizer): Likewise. + +2023-01-05 Piotr Trojanek + + * freeze.adb (Build_Renamed_Body): Rewrite subprogram renaming to + subprogram declaration early and then set the Body_To_Inling flag. + +2023-01-05 Piotr Trojanek + + * freeze.adb (Build_Renamed_Body): Revert a special case for + GNATprove; remove unnecessary initialization of a local variable. + +2023-01-05 Marc Poulhiès + + * sem_ch12.adb (Instantiate_Package_Body): Better filtering when + installing parent on the scope stack. + +2023-01-05 Eric Botcazou + + * repinfo.ads (The JSON output format): Document change. + * urealp.adb (UR_Write_To_JSON): Output a fraction instead of a + decimal approximation. + +2023-01-05 Eric Botcazou + + * exp_ch3.adb (Expand_N_Object_Declaration): New local variable + Func_Id holding the function for a special return object. + Use a direct renaming in the class-wide case when the initializing + expression is a captured function call, except for a special return + object when the two functions do not return on the same stack. + Apply the accessibility check for class-wide special return objects. + * exp_util.adb (Make_CW_Equivalent_Type) : New. + Do not force a dispatching call to the primitive operation _Size if + the expression is known to statically have the tag of its type. + +2023-01-05 Eric Botcazou + + * exp_ch3.adb (Expand_N_Object_Declaration): Fix pasto in comment. + +2023-01-05 Ronan Desplanques + + * sem_aggr.adb (Resolve_Array_Aggregate): Tweak conditions for + warning about use of parentheses for array aggregates. + +2023-01-05 Javier Miranda + + * scans.ads (Tok_Left_Curly_Bracket, Tok_Right_Curly_Bracket) + (Tok_Left_Interpolated_String): Placed in no category since they + don't fit well in the existing categories. Fix typo in comment. + (Inside_Interpolated_String_Literal): New scan state variable. + * scng.adb (Slit): Scan interpolated string literals, + continuations of interpolated string literals and escaped + characters found in interpolated string literals. + (Scan): Handle consecutive interpolated expressions. Handle ending + delimiter placed immediately after an interpolated expression. + Handle string literal placed after interpolated expression. Handle + left and right curly brackets; when extensions are not allowed + they are treated as left and right paren; when extensions are + allowed they are handled as delimiters of interpolated string + literals. + * sinfo.ads (N_Interpolated_String_Literal): New node. + * gen_il-gen-gen_nodes.adb (N_Interpolated_String_Literal): Define + N_String_Literal node. + * gen_il-types.ads (Opt_Type_Enum): Define N_String_Literal as + concrete node type. + * par-ch2.adb (P_Interpolated_String_Literal): New subprogram. + * par-ch4.adb (P_Simple_Expression): Handle '}' as expression + terminator when scanning an interpolated expression; disable error + recovery machinery for binary operator when we are processing an + interpolated string literal and reach the expression terminator + '}'. + (P_Primary): Call P_Interpolated_String_Literal when the opening + interpolated-string-literal delimiter is found (that is, the left + curly bracket '{'). + * par-tchk.adb (T_Right_Curly_Bracket): New subprogram. + * par.adb (P_Interpolated_String_Literal): New declaration. + (T_Right_Curly_Bracket): New declaration. + * sem.adb (Analyze): Call Analyze_Interpolated_String_Literal. + * sem_ch2.ads (Analyze_Interpolated_String_Literal): New + subprogram + * sem_ch2.adb (Analyze_Interpolated_String_Literal): Likewise. + * sem_util.adb (Is_User_Defined_Literal): Complete mapping of + literal aspects adding that interpolated string literals have no + correspondence with any aspect. + * sem_res.adb (Resolve_Interpolated_String_Literal): New + subprogram. + (Has_Applicable_User_Defined_Literal): Complete mapping of literal + aspects adding that interpolated string literals have no + correspondency with any aspect. + * expander.adb (Expand): Add call to + Expand_N_Interpolated_String_Literal. + * exp_util.adb (Insert_Actions): Handle + N_Interpolated_String_Literal nodes; that is, continue climbing. + * exp_ch2.ads (Expand_N_Interpolated_String_Literal): New + subprogram. + * exp_ch2.adb (Expand_N_Interpolated_String_Literal): Likewise. + * exp_put_image.adb (Build_Elementary_Put_Image_Call): Add missing + conversion to force dispatching call. Required to handle calls to + descendants. + (Build_String_Put_Image_Call): Do not output string delimiters + when the put_image call is part of an interpolated string literal. + * rtsfind.ads (RTU_Id): Add RE_Set_Trim_Leading_Spaces. + * sprint.adb (Sprint_Node): Output interpolated string contents. + * libgnat/a-stbubo.adb (Get_UTF_8): Add default value for + Trim_Leading_White_Spaces component in aggregate. + (Buffer_Type_Implementation): Update Trim_Leading_White_Spaces. + * libgnat/a-stbuun.adb (Get_UTF_8): Likewise. + (Buffer_Type_Implementation): Likewise. + * libgnat/a-sttebu.ads (Set_Trim_Leading_Spaces): New subprogram. + (Trim_Leading_Spaces): New subprogram. + (Root_Buffer_Type): Adding Trim_Leading_While_Spaces component. + * libgnat/a-sttebu.adb (procedure Set_Trim_Leading_Spaces): New + subprogram. + (Trim_Leading_Space): New subprogram. + (Put_UTF_8): Handle Trim_Leading_White_Spaces. + (New_Line): Likewise. + * libgnat/s-putima.ads (Put_Image_String): Adding formal + (with_delimiters). + (Put_Image_Wide_String): Likewise. + (Put_Image_Wide_Wide_String): Likewise. + * libgnat/s-putima.adb (Put_Image_String): Adding support for new + formal. + (Put_Image_Wide_String): Likewise. + (Put_Image_Wide_Wide_String): Likewise. + +2023-01-05 Joao Azevedo + + * doc/gnat_ugn/gnat_utility_programs.rst: add gnatpp --layout + switch and update legacy switches. + +2023-01-05 Eric Botcazou + + * freeze.adb (Freeze_Entity): For the purpose of deciding whether to + freeze an entity coming from an outer scope in an inner scope, treat + the internal subprogram generated because of post-conditions as also + coming from source if the original subprogram itself does. + +2023-01-05 Eric Botcazou + + * contracts.adb (Build_Subprogram_Contract_Wrapper): Generate an + extended return statement in all cases. + (Expand_Subprogram_Contract): Adjust comment. + +2023-01-05 Ronan Desplanques + + * libgnat/g-forstr.adb (F_Kind): Rename enumeration literal. + (P_Flt_Format): Adjust handling of "%g". + (Determine_Notation_And_Aft): New procedure. + (Decimal_Exponent): New function. + (Increment_Integral_Part): New procedure. + (Remove_Extraneous_Decimal_Digit): New procedure. + (Trim_Fractional_Part): New procedure. + * libgnat/g-forstr.ads: Change description of "%g" specifier. + +2023-01-05 Marc Poulhiès + + * sem_ch12.adb (Instantiate_Package_Body): Correctly find the + parent instance to place on the scope stack. + +2023-01-05 Justin Squirek + + * sem_ch8.adb (Set_Entity_Or_Discriminal): Verify we are actually + resetting the entity field of a non-prefixed discriminant + reference. + +2023-01-05 Eric Botcazou + + * exp_ch3.adb (Expand_N_Object_Declaration): New local variable used + throughout instead of testing Is_Special_Return_Object every time. + Do not rename an OK_To_Rename object for a special return object. + * exp_ch4.adb (Expand_Concatenate): Revert to constrained allocation + if the result is allocated on the secondary stack. + +2023-01-05 Steve Baird + + * sem_prag.adb (Analyze_Pragma): Fix Is_Configuration_Pragma + function to handle case where the pragma's parent is an + N_Aspect_Specification node. In analyzing a Discard_Names pragma, + do not assume that a nonzero number of arguments implies that the + pragma is not a configuration pragma; that assumption only holds + for legal programs. + +2023-01-05 Bob Duff + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: + Add RM references. + * gnat_ugn.texi: Regenerate. + +2023-01-05 Eric Botcazou + + * exp_ch3.adb (Expand_N_Object_Declaration): For a special return + object of an interface type that is not inherently limited, make + a call to the Adjust primitive after doing the copy. For a special + return object of a non-class-wide type initialized by a function + call, use a direct renaming only if the object doing the capture + is flagged by Is_Related_To_Func_Return. For a special return + object using a direct renaming, reassign the tag, if need be. + * exp_ch6.adb (Expand_Simple_Function_Return): Fix comment. + * exp_util.adb (Is_Related_To_Func_Return): Accept both regular and + renaming object declarations for return objects. + +2023-01-05 Bob Duff + + * sem_ch5.adb (Analyze_Assignment): Fix the bug by checking + Original_Node. The renaming might be elsewhere, but the (original) + reference is right here. + * errout.adb: Remove pragma Unreferenced which was added because + of the above bug. + * einfo.ads: Misc cleanup. + * lib.adb: Likewise. + * lib.ads: Likewise. + 2023-01-03 Ghjuvan Lacambre * errout.adb (Write_JSON_Span): Escape subprogram name. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index e72f9435035..df833a77351 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,15 @@ +2023-01-05 Patrick Palka + + PR c++/108275 + * parser.cc (cp_parser_class_head): Use dk_deferred instead of + dk_no_check when parsing the class name. + +2023-01-05 Jakub Jelinek + + PR c++/108286 + * semantics.cc (finish_omp_target_clauses): Ignore clauses other than + OMP_CLAUSE_MAP. + 2023-01-04 Patrick Palka PR c++/108282 diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog index 2dbf85fcf66..2d38a607c91 100644 --- a/gcc/m2/ChangeLog +++ b/gcc/m2/ChangeLog @@ -1,3 +1,35 @@ +2023-01-05 Iain Sandoe + + PR modula2/107631 + * gm2-gcc/m2builtins.cc: Remove scalb, scalbf, scalbl, + significand, significandf, significandl. + * gm2-libs/Builtins.def (significand): Likewise. + * gm2-libs/Builtins.mod: Likewise. + * target-independent/Builtins.texi: Likewise. + * gm2-libs-iso/LowLong.mod: Implement fraction with scalbn*() and + ilogb*(). + * gm2-libs-iso/LowReal.mod: Likewise. + * gm2-libs-iso/LowShort.mod: Likewise. + +2023-01-05 Gaius Mulley + + * gm2-libs-min/M2RTS.def (ConstructModules): New procedure + declaration. + (DeconstructModules): New procedure declaration. + * gm2-libs-min/M2RTS.mod (ConstructModules): New procedure + dummy implementation. + (DeconstructModules): New procedure dummy implementation. + +2023-01-05 Iain Sandoe + + * gm2spec.cc (lang_specific_driver): Handle static-libgm2. + * lang.opt: Add static-libgm2. + +2023-01-05 Iain Sandoe + + * gm2spec.cc (lang_specific_driver): Pass -static-libstdc++ on to + the target driver if the linker does not support Bstatic/dynamic. + 2023-01-04 Iain Sandoe PR modula2/108183 diff --git a/gcc/rust/ChangeLog b/gcc/rust/ChangeLog index 035f5ea2f0f..23ff6caa74c 100644 --- a/gcc/rust/ChangeLog +++ b/gcc/rust/ChangeLog @@ -1,3 +1,13 @@ +2023-01-05 David Malcolm + + * resolve/rust-ast-resolve-item.cc (selftest::rust_flatten_list): + Remove output to stderr. + +2023-01-05 David Malcolm + + * Make-lang.in (selftest-rust-gdb): New. + (selftest-rust-valgrind): New. + 2022-12-20 Marc Poulhiès PR rust/108113 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 218732b84ed..fbd43fd5c44 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,23 @@ +2023-01-05 Roger Sayle + + Revert: + 2023-01-05 Roger Sayle + + * gcc.target/i386/cmov10.c: New test case. + +2023-01-05 Patrick Palka + + PR c++/108275 + * g++.dg/parse/access14.C: New test. + +2023-01-05 Gaius Mulley + + * lib/gm2.exp (gm2_init_minx): New procedure. + (gm2_init_min): New procedure calls gm2_init_min with + dialect flags. + * gm2/link/min/pass/tiny.mod: New test case. + * gm2/link/min/pass/link-min-pass.exp: New file. + 2023-01-04 Patrick Palka PR c++/108282 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index c6e9e3b0b43..fa1976d6fdb 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,8 @@ +2023-01-05 Jakub Jelinek + + PR c++/108286 + * testsuite/libgomp.c++/pr108286.C: New test. + 2023-01-02 Jakub Jelinek * libgomp.texi: Bump @copying's copyright year. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 43471e10e94..9ace9f0da74 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,56 @@ +2023-01-05 John David Anglin + + * config/cpu/hppa/atomicity.h (_PA_LDCW_INSN): Define. + (__exchange_and_add): Use _PA_LDCW_INSN. Use ordered store for + lock release. Revise loop. + (__atomic_add): Likewise. + +2023-01-05 Jonathan Wakely + + PR libstdc++/108212 + * python/libstdcxx/v6/printers.py (_utc_timezone): New global + variable. + (StdChronoTimePointPrinter::to_string): Use it. + +2023-01-05 Jonathan Wakely + + PR libstdc++/108290 + * include/std/functional (_Bind_front): Add no_unique_address + attribute to data members. + * testsuite/20_util/function_objects/bind_front/107784.cc: Check + size of call wrappers with empty types for targets and bound + arguments. + +2023-01-05 Jonathan Wakely + + PR libstdc++/108211 + * src/c++20/tzdb.cc (chrono::current_zone()): Check for zone + using only last component of the name. + +2023-01-05 Jonathan Wakely + + PR libstdc++/108228 + PR libstdc++/108235 + * config/abi/pre/gnu.ver: Move zoneinfo_dir_override export to + the latest symbol version. + * src/c++20/tzdb.cc (USE_ATOMIC_SHARED_PTR): Define to 0 if + atomic<_Node*> is not always lock free. + (USE_ATOMIC_LIST_HEAD): New macro. + [__hpux__] (__gnu_cxx::zoneinfo_dir_override()): Provide + definition of weak symbol. + (tzdb_list::_Node::_S_head): Rename to _S_head_cache. + (tzdb_list::_Node::_S_list_head): New function for accessing + list head efficiently. + (tzdb_list::_Node::_S_cache_list_head): New function for + updating _S_list_head. + +2023-01-05 Jonathan Wakely + + PR libstdc++/108265 + * include/std/chrono (hh_mm_ss): Do not use chrono::abs if + duration rep is unsigned. + * testsuite/std/time/hh_mm_ss/1.cc: Check unsigned rep. + 2023-01-04 Iain Sandoe PR libstdc++/108228