[gcc r13-5039] Daily bump.
GCC Administrator
gccadmin@gcc.gnu.org
Fri Jan 6 00:18:11 GMT 2023
https://gcc.gnu.org/g:53ef7c1d9a44a2c681d4b3433a853cd4461be8c5
commit r13-5039-g53ef7c1d9a44a2c681d4b3433a853cd4461be8c5
Author: GCC Administrator <gccadmin@gcc.gnu.org>
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 <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 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 <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 e72f9435035..df833a77351 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 2dbf85fcf66..2d38a607c91 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 035f5ea2f0f..23ff6caa74c 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 218732b84ed..fbd43fd5c44 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 c6e9e3b0b43..fa1976d6fdb 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 43471e10e94..9ace9f0da74 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
More information about the Libstdc++-cvs
mailing list