public inbox for libstdc++-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc(refs/vendors/redhat/heads/gcc-13-branch)] Merge commit 'r13-5048-g553332c19a04ad0a6bbdd2aafc3499a1cb4dfa0c' into redhat/gcc-13-branch
@ 2023-01-06 14:41 Jakub Jelinek
0 siblings, 0 replies; only message in thread
From: Jakub Jelinek @ 2023-01-06 14:41 UTC (permalink / raw)
To: gcc-cvs, libstdc++-cvs
https://gcc.gnu.org/g:c6c750faf80327e73b3001de89080943a2ee71f6
commit c6c750faf80327e73b3001de89080943a2ee71f6
Merge: 03416d670d4 553332c19a0
Author: Jakub Jelinek <jakub@redhat.com>
Date: Fri Jan 6 15:40:31 2023 +0100
Merge commit 'r13-5048-g553332c19a04ad0a6bbdd2aafc3499a1cb4dfa0c' into redhat/gcc-13-branch
Diff:
ChangeLog | 4 +
MAINTAINERS | 1 +
configure | 4 +-
configure.ac | 4 +-
contrib/update-copyright.py | 1 +
gcc/ChangeLog | 194 ++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 344 +++++++
gcc/ada/checks.adb | 28 +-
gcc/ada/contracts.adb | 105 +-
.../building_executable_programs_with_gnat.rst | 2 +
gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 831 ++++++---------
.../doc/gnat_ugn/platform_specific_information.rst | 4 +-
gcc/ada/einfo.ads | 6 +-
gcc/ada/errout.adb | 7 +-
gcc/ada/exp_aggr.adb | 106 +-
gcc/ada/exp_attr.adb | 25 +-
gcc/ada/exp_ch2.adb | 117 +++
gcc/ada/exp_ch2.ads | 7 +-
gcc/ada/exp_ch3.adb | 264 ++---
gcc/ada/exp_ch4.adb | 86 +-
gcc/ada/exp_ch6.adb | 30 +-
gcc/ada/exp_ch7.adb | 13 +-
gcc/ada/exp_put_image.adb | 43 +-
gcc/ada/exp_tss.adb | 5 +-
gcc/ada/exp_util.adb | 193 +++-
gcc/ada/exp_util.ads | 12 +
gcc/ada/expander.adb | 3 +
gcc/ada/freeze.adb | 27 +-
gcc/ada/gen_il-gen-gen_nodes.adb | 3 +
gcc/ada/gen_il-types.ads | 1 +
gcc/ada/ghost.adb | 10 +
gcc/ada/gnat_ugn.texi | 8 +-
gcc/ada/lib.adb | 96 +-
gcc/ada/lib.ads | 9 +-
gcc/ada/libgnat/a-stbubo.adb | 19 +-
gcc/ada/libgnat/a-stbuun.adb | 68 +-
gcc/ada/libgnat/a-sttebu.adb | 22 +-
gcc/ada/libgnat/a-sttebu.ads | 16 +
gcc/ada/libgnat/g-forstr.adb | 412 ++++++--
gcc/ada/libgnat/g-forstr.ads | 6 +-
gcc/ada/libgnat/s-putima.adb | 50 +-
gcc/ada/libgnat/s-putima.ads | 16 +-
gcc/ada/output.adb | 6 +-
gcc/ada/par-ch2.adb | 73 ++
gcc/ada/par-ch4.adb | 16 +
gcc/ada/par-tchk.adb | 14 +
gcc/ada/par.adb | 4 +
gcc/ada/repinfo.ads | 4 +-
gcc/ada/rtsfind.ads | 2 +
gcc/ada/scans.ads | 14 +-
gcc/ada/scng.adb | 136 ++-
gcc/ada/sem.adb | 3 +
gcc/ada/sem_aggr.adb | 2 +-
gcc/ada/sem_ch12.adb | 36 +-
gcc/ada/sem_ch13.adb | 205 ++--
gcc/ada/sem_ch2.adb | 19 +
gcc/ada/sem_ch2.ads | 11 +-
gcc/ada/sem_ch5.adb | 13 +-
gcc/ada/sem_ch8.adb | 12 +-
gcc/ada/sem_prag.adb | 20 +-
gcc/ada/sem_res.adb | 61 +-
gcc/ada/sem_util.adb | 27 +-
gcc/ada/sem_util.ads | 22 +-
gcc/ada/sinfo.ads | 27 +
gcc/ada/sprint.adb | 32 +
gcc/ada/urealp.adb | 39 +-
gcc/c-family/ChangeLog | 31 +
gcc/c-family/c-cppbuiltin.cc | 7 +-
gcc/cfgrtl.cc | 8 +-
gcc/cgraph.h | 7 +-
gcc/cgraphunit.cc | 49 +-
gcc/common.opt | 4 +
gcc/common/config/i386/cpuinfo.h | 3 +-
gcc/common/config/i386/i386-common.cc | 4 +-
gcc/config/aarch64/aarch64-simd.md | 88 +-
gcc/config/aarch64/aarch64.cc | 1 -
gcc/config/aarch64/iterators.md | 30 +-
gcc/config/arm/types.md | 6 +-
gcc/config/darwin.h | 7 +-
gcc/config/i386/i386-features.cc | 8 +
gcc/config/i386/i386.md | 1 +
gcc/config/i386/znver4.md | 1068 ++++++++++++++++++++
gcc/config/msp430/msp430.cc | 11 +-
gcc/config/rs6000/rs6000.cc | 14 +-
gcc/convert.cc | 8 +
gcc/cp/ChangeLog | 24 +
gcc/cp/decl.cc | 2 +
gcc/cp/decl2.cc | 2 +-
gcc/cp/parser.cc | 23 +-
gcc/cp/semantics.cc | 4 +-
gcc/d/ChangeLog | 4 +
gcc/debug.h | 2 -
gcc/doc/extend.texi | 20 +-
gcc/doc/gm2.texi | 4 +
gcc/doc/options.texi | 26 +-
gcc/doc/tm.texi | 7 +-
gcc/dwarf2cfi.cc | 116 +--
gcc/expr.cc | 3 +
gcc/fold-const.cc | 4 +-
gcc/fortran/ChangeLog | 9 +
gcc/gcc.cc | 12 +-
gcc/generic-match-head.cc | 5 +-
gcc/go/ChangeLog | 4 +
gcc/lto/ChangeLog | 5 +
gcc/lto/lto-partition.cc | 7 +-
gcc/m2/ChangeLog | 51 +
gcc/m2/Make-lang.in | 16 +-
gcc/m2/gm2-gcc/m2builtins.cc | 12 -
gcc/m2/gm2-gcc/m2decl.cc | 2 +-
gcc/m2/gm2-libs-ch/UnixArgs.cc | 5 +-
gcc/m2/gm2-libs-ch/dtoa.cc | 5 +-
gcc/m2/gm2-libs-ch/ldtoa.cc | 5 +-
gcc/m2/gm2-libs-iso/LowLong.mod | 5 +-
gcc/m2/gm2-libs-iso/LowReal.mod | 4 +-
gcc/m2/gm2-libs-iso/LowShort.mod | 4 +-
gcc/m2/gm2-libs-min/M2RTS.def | 4 +
gcc/m2/gm2-libs-min/M2RTS.mod | 12 +
gcc/m2/gm2-libs/Builtins.def | 8 -
gcc/m2/gm2-libs/Builtins.mod | 30 -
gcc/m2/gm2spec.cc | 29 +-
gcc/m2/lang.opt | 4 +
gcc/m2/target-independent/Builtins.texi | 14 -
gcc/omp-simd-clone.cc | 5 +
gcc/rust/ChangeLog | 10 +
gcc/rust/Make-lang.in | 12 +
gcc/rust/resolve/rust-ast-resolve-item.cc | 3 -
gcc/target.def | 8 +-
gcc/testsuite/ChangeLog | 74 ++
gcc/testsuite/c-c++-common/ubsan/pr108256.c | 27 +
gcc/testsuite/g++.dg/cpp2a/concepts-requires34.C | 19 +
gcc/testsuite/g++.dg/gomp/target-simd-clone-1.C | 7 +-
gcc/testsuite/g++.dg/modules/modules.exp | 5 +
gcc/testsuite/g++.dg/opt/pr108253.C | 48 +
gcc/testsuite/g++.dg/parse/access14.C | 18 +
gcc/testsuite/g++.dg/template/pr108206.C | 5 +
gcc/testsuite/gcc.c-torture/compile/pr108237.c | 14 +
gcc/testsuite/gcc.c-torture/execute/pr108292.c | 18 +
gcc/testsuite/gcc.dg/gomp/target-simd-clone-1.c | 6 +-
gcc/testsuite/gcc.dg/pr108263.c | 25 +
gcc/testsuite/gcc.dg/pr108264.c | 27 +
gcc/testsuite/gcc.dg/pr108308.c | 39 +
gcc/testsuite/gcc.target/aarch64/sve/slp_1.c | 10 +-
gcc/testsuite/gcc.target/i386/pr108292.c | 15 +
gcc/testsuite/gcc.target/powerpc/pr99708.c | 1 +
gcc/testsuite/gm2/iso/pass/realbitscast.mod | 5 +-
gcc/testsuite/gm2/link/min/pass/link-min-pass.exp | 37 +
gcc/testsuite/gm2/link/min/pass/tiny.mod | 7 +
gcc/testsuite/lib/gm2.exp | 39 +
gcc/tree-vect-stmts.cc | 3 +
gcc/tree-vrp.cc | 18 +-
libgcc/ChangeLog | 49 +
libgcc/unwind-dw2.c | 41 +-
libgm2/ChangeLog | 18 +
libgm2/configure | 2 +-
libgm2/configure.ac | 4 +-
libgm2/libm2cor/KeyBoardLEDs.cc | 5 +-
libgm2/libm2iso/ErrnoCategory.cc | 5 +-
libgm2/libm2iso/RTco.cc | 5 +-
libgm2/libm2pim/Selective.cc | 5 +-
libgm2/libm2pim/SysExceptions.cc | 5 +-
libgm2/libm2pim/UnixArgs.cc | 5 +-
libgm2/libm2pim/cgetopt.cc | 5 +-
libgm2/libm2pim/dtoa.cc | 5 +-
libgm2/libm2pim/errno.cc | 5 +-
libgm2/libm2pim/ldtoa.cc | 5 +-
libgm2/libm2pim/sckt.cc | 5 +-
libgm2/libm2pim/termios.cc | 5 +-
libgm2/libm2pim/wrapc.c | 1 +
libgomp/ChangeLog | 9 +
libgomp/testsuite/libgomp.c++/pr108286.C | 29 +
libitm/ChangeLog | 4 +
libquadmath/ChangeLog | 4 +
libstdc++-v3/ChangeLog | 67 ++
libstdc++-v3/config/abi/pre/gnu.ver | 1 +
libstdc++-v3/config/cpu/hppa/atomicity.h | 29 +-
libstdc++-v3/include/debug/safe_iterator.h | 18 +-
libstdc++-v3/include/std/array | 2 +-
libstdc++-v3/include/std/bitset | 24 +-
libstdc++-v3/include/std/chrono | 15 +-
libstdc++-v3/include/std/format | 2 +
libstdc++-v3/include/std/functional | 6 +-
libstdc++-v3/python/libstdcxx/v6/printers.py | 19 +-
libstdc++-v3/src/c++20/tzdb.cc | 104 +-
libstdc++-v3/testsuite/20_util/bitset/io/input.cc | 21 +
.../20_util/function_objects/bind_front/107784.cc | 38 +-
.../array/element_access/constexpr_c++17.cc | 19 +-
libstdc++-v3/testsuite/std/time/hh_mm_ss/1.cc | 16 +
188 files changed, 5193 insertions(+), 1764 deletions(-)
diff --cc gcc/ada/ChangeLog
index ec4e231e991,b51a0ef0aa0..7e176d91251
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@@ -1,7 -1,347 +1,351 @@@
+ 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.
+
+ 2023-01-03 Ghjuvan Lacambre <lacambre@adacore.com>
+
+ * output.adb (Write_Buffer): Use Flush_Buffer instead of Write_Eol.
+
+ 2023-01-03 Ronan Desplanques <desplanques@adacore.com>
+
+ * libgnat/g-forstr.adb (P_Flt_Format): Add "*" syntax handling.
+
+ 2023-01-03 Ronan Desplanques <desplanques@adacore.com>
+
+ * libgnat/g-forstr.adb (P_Int_Format): Fix parsing bug.
+
+ 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch6.adb (Expand_Simple_Function_Return): Make sure that a
+ captured function call also verifies Is_Related_To_Func_Return.
+ Do not generate an actual subtype for special return objects.
+ * exp_util.ads (Is_Related_To_Func_Return): Add commentary.
+
+ 2023-01-03 Ronan Desplanques <desplanques@adacore.com>
+
+ * libgnat/g-forstr.adb
+ (Advance_And_Accumulate_Until_Next_Specifier): New procedure.
+ ("-"): Replace inline code with call to
+ Advance_And_Accumulate_Until_Next_Specifier.
+ (Next_Format): likewise.
+
+ 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * checks.adb (Apply_Discriminant_Check.Denotes_Explicit_Dereference):
+ Return false for artificial dereferences generated by the expander.
+
+ 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch6.adb (Is_Build_In_Place_Function): Adjust comment.
+ * sem_util.adb (Compute_Returns_By_Ref): Do not set Returns_By_Ref
+ on functions with foreign convention.
+
+ 2023-01-03 Marc Poulhiès <poulhies@adacore.com>
+
+ * exp_aggr.adb (Build_Assignment_With_Temporary): New.
+ (Expand_Array_Aggregate): Tune backend optimization
+ and insert a temporary in the case of an access with
+ Designated_Storage_Model aspect.
+ (Convert_Array_Aggr_In_Allocator): Likewise.
+
+ 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_res.adb (Resolve_Membership_Op): Adjust again latest change.
+
+ 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_util.ads (Set_Debug_Info_Defining_Id): Adjust comment.
+ * sem_util.adb (Is_Aliased_View) <N_Explicit_Dereference>: Return
+ false for more artificial dereferences generated by the expander.
+ (Set_Debug_Info_Defining_Id): Set Debug_Info_Needed unconditionally
+ in -gnatD mode.
+ * exp_ch6.adb (Replace_Renaming_Declaration_Id): Also preserve the
+ Is_Aliased flag.
+
+ 2023-01-03 Joel Brobecker <brobecker@adacore.com>
+
+ * doc/gnat_ugn/platform_specific_information.rst
+ (_Platform_Specific_Information): Minor rewording of intro text.
+ * gnat_ugn.texi: Regenerate.
+
+ 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_util.ads (Is_Captured_Function_Call): Declare.
+ * exp_util.adb (Is_Captured_Function_Call): New predicate.
+ * exp_ch3.adb (Expand_N_Object_Declaration): Use it to detect a
+ rewritten function call as the initializing expression.
+ * exp_ch6.adb (Expand_Simple_Function_Return): Use it to detect a
+ rewritten function call as the returned expression.
+
+ 2023-01-03 Bob Duff <duff@adacore.com>
+
+ * exp_util.adb (Integer_Type_For): Assertion and comment.
+ (Small_Integer_Type_For): Remove some code and call
+ Integer_Type_For instead.
+ * sem_util.ads (Rep_To_Pos_Flag): Improve comments. "Standard_..."
+ seems overly pedantic here.
+ * exp_attr.adb (Succ, Pred): Clean up: make the code as similar as
+ possible.
+ * exp_ch4.adb: Minor: named notation.
+
+ 2023-01-03 Javier Miranda <miranda@adacore.com>
+
+ * ghost.adb (Is_OK_Declaration): A reference to a Ghost entity may
+ appear within the class-wide precondition of a helper subprogram.
+ This context is treated as suitable because it was already
+ verified when we were analyzing the original class-wide
+ precondition.
+
+ 2023-01-03 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_tss.adb (Base_Init_Proc): Do not return the Init_Proc of the
+ ancestor type for a derived array type.
+ * sem_ch13.adb (Inherit_Aspects_At_Freeze_Point): Factor out the
+ common processing done on representation items.
+ For Default_Component_Value and Default_Value, look into the first
+ subtype to find out the representation items.
+
+ 2023-01-02 Iain Sandoe <iain@sandoe.co.uk>
+
+ PR ada/108202
+ * gcc-interface/Make-lang.in (GCC_LINKERFLAGS, GCC_LDFLAGS):
+ Versions of ALL_LINKERFLAGS, LDFLAGS with -Werror and
+ -static-libgcc filtered out for Darwin8 and 9 (-Werror is filtered
+ out for other hosts).
+
+ 2023-01-02 Jakub Jelinek <jakub@redhat.com>
+
+ * gnat_ugn.texi: Bump @copying's copyright year.
+ * gnat_rm.texi: Likewise.
+
+2010-06-30 Jakub Jelinek <jakub@redhat.com>
+
+ * gnat-style.texi: Change dircategory to GNU Ada tools.
+
\f
Copyright (C) 2023 Free Software Foundation, Inc.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-01-06 14:41 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-06 14:41 [gcc(refs/vendors/redhat/heads/gcc-13-branch)] Merge commit 'r13-5048-g553332c19a04ad0a6bbdd2aafc3499a1cb4dfa0c' into redhat/gcc-13-branch Jakub Jelinek
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).