diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 50218d045109c87c02036423b6a7a85ab7dccbb3..967e3395c1e7e28f5b66076f7c2c20c4ef76975d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,26 @@ +2023-01-05 Roger Sayle <roger@nextmovesoftware.com> + + Revert: + 2023-01-03 Roger Sayle <roger@nextmovesoftware.com> + + * 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 <iain@sandoe.co.uk> + + * 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 <TejasSanjay.Joshi@amd.com> + + * 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 <jakub@redhat.com> PR tree-optimization/108253 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 9d39ee8c855bff5818dd74e1fe9f8b615735da61..5cf4a37854956d395cf813e4cc8009531d895c9d 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230105 +20230106 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index c492ee71f273aa9898526a11fd1b2669a5cb2be0..b51a0ef0aa0c27ede4e7bad61e00ce2e99510db3 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,227 @@ +2023-01-05 Eric Botcazou <ebotcazou@adacore.com> + + * exp_util.adb (Make_CW_Equivalent_Type) <Has_Tag_Of_Type>: Tweak. + +2023-01-05 Eric Botcazou <ebotcazou@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * freeze.adb (Build_Renamed_Body): Revert a special case for + GNATprove; remove unnecessary initialization of a local variable. + +2023-01-05 Marc Poulhiès <poulhies@adacore.com> + + * sem_ch12.adb (Instantiate_Package_Body): Better filtering when + installing parent on the scope stack. + +2023-01-05 Eric Botcazou <ebotcazou@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * 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) <Has_Tag_Of_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 <ebotcazou@adacore.com> + + * exp_ch3.adb (Expand_N_Object_Declaration): Fix pasto in comment. + +2023-01-05 Ronan Desplanques <desplanques@adacore.com> + + * sem_aggr.adb (Resolve_Array_Aggregate): Tweak conditions for + warning about use of parentheses for array aggregates. + +2023-01-05 Javier Miranda <miranda@adacore.com> + + * 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 <azevedo@adacore.com> + + * doc/gnat_ugn/gnat_utility_programs.rst: add gnatpp --layout + switch and update legacy switches. + +2023-01-05 Eric Botcazou <ebotcazou@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * contracts.adb (Build_Subprogram_Contract_Wrapper): Generate an + extended return statement in all cases. + (Expand_Subprogram_Contract): Adjust comment. + +2023-01-05 Ronan Desplanques <desplanques@adacore.com> + + * 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 <poulhies@adacore.com> + + * sem_ch12.adb (Instantiate_Package_Body): Correctly find the + parent instance to place on the scope stack. + +2023-01-05 Justin Squirek <squirek@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * 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 <baird@adacore.com> + + * 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 <duff@adacore.com> + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: + Add RM references. + * gnat_ugn.texi: Regenerate. + +2023-01-05 Eric Botcazou <ebotcazou@adacore.com> + + * 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 <duff@adacore.com> + + * 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 <lacambre@adacore.com> * errout.adb (Write_JSON_Span): Escape subprogram name. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index e72f9435035dd89eff5ec903c72920dcf934dd6c..df833a77351cffc2b79c1df5a8ad87631df33e45 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,15 @@ +2023-01-05 Patrick Palka <ppalka@redhat.com> + + 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 <jakub@redhat.com> + + PR c++/108286 + * semantics.cc (finish_omp_target_clauses): Ignore clauses other than + OMP_CLAUSE_MAP. + 2023-01-04 Patrick Palka <ppalka@redhat.com> PR c++/108282 diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog index 2dbf85fcf669d35019ad65494187d413ca21995f..2d38a607c9159d77bcccf96fcfcd8255d0700ba8 100644 --- a/gcc/m2/ChangeLog +++ b/gcc/m2/ChangeLog @@ -1,3 +1,35 @@ +2023-01-05 Iain Sandoe <iain@sandoe.co.uk> + + 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 <gaiusmod2@gmail.com> + + * 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 <iain@sandoe.co.uk> + + * gm2spec.cc (lang_specific_driver): Handle static-libgm2. + * lang.opt: Add static-libgm2. + +2023-01-05 Iain Sandoe <iain@sandoe.co.uk> + + * 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 <iain@sandoe.co.uk> PR modula2/108183 diff --git a/gcc/rust/ChangeLog b/gcc/rust/ChangeLog index 035f5ea2f0f493c35041e28c3363f3e23e0118f5..23ff6caa74c309f9be641cfb681a46958fc5ca48 100644 --- a/gcc/rust/ChangeLog +++ b/gcc/rust/ChangeLog @@ -1,3 +1,13 @@ +2023-01-05 David Malcolm <dmalcolm@redhat.com> + + * resolve/rust-ast-resolve-item.cc (selftest::rust_flatten_list): + Remove output to stderr. + +2023-01-05 David Malcolm <dmalcolm@redhat.com> + + * Make-lang.in (selftest-rust-gdb): New. + (selftest-rust-valgrind): New. + 2022-12-20 Marc Poulhiès <dkm@kataplop.net> PR rust/108113 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 218732b84ed713bdce8d9aeb273bccc41759c9f4..fbd43fd5c44de349190e5dd5cbdfd8824ee9c7a6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,23 @@ +2023-01-05 Roger Sayle <roger@nextmovesoftware.com> + + Revert: + 2023-01-05 Roger Sayle <roger@nextmovesoftware.com> + + * gcc.target/i386/cmov10.c: New test case. + +2023-01-05 Patrick Palka <ppalka@redhat.com> + + PR c++/108275 + * g++.dg/parse/access14.C: New test. + +2023-01-05 Gaius Mulley <gaiusmod2@gmail.com> + + * 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 <ppalka@redhat.com> PR c++/108282 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index c6e9e3b0b43418c4f0f7d0ac3d004e0c86e609ab..fa1976d6fdb30882ed4a44bfb890e424e0181707 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,8 @@ +2023-01-05 Jakub Jelinek <jakub@redhat.com> + + PR c++/108286 + * testsuite/libgomp.c++/pr108286.C: New test. + 2023-01-02 Jakub Jelinek <jakub@redhat.com> * libgomp.texi: Bump @copying's copyright year. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 43471e10e946526a7f9a652297698167dcdfe2ee..9ace9f0da749d67eeca15fcaa11b6230af982d68 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,56 @@ +2023-01-05 John David Anglin <danglin@gcc.gnu.org> + + * 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 <jwakely@redhat.com> + + PR libstdc++/108212 + * python/libstdcxx/v6/printers.py (_utc_timezone): New global + variable. + (StdChronoTimePointPrinter::to_string): Use it. + +2023-01-05 Jonathan Wakely <jwakely@redhat.com> + + 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 <jwakely@redhat.com> + + 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 <jwakely@redhat.com> + + 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 <jwakely@redhat.com> + + 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 <iain@sandoe.co.uk> PR libstdc++/108228