From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2153) id 0C76F3858C1F; Fri, 6 Jan 2023 14:41:38 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0C76F3858C1F DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1673016098; bh=iwPfWkCQsfrG6O7UxYsLLyJKHGo/+W/QxIBAx1D+CFo=; h=From:To:Subject:Date:From; b=rKTVwaZRRwry9bcihoIK9LLQQ/A8KDcu2ErFF1fRs+SD7kPznIPc+FHf4HNa4X3GR u1PTZPRC3m6vzATz4gZBwLf9ZpLIS7nt0UdKOkFfzzXxLQ98IZcH2ZnkRIxBZdMyqD piVRPoZVUI39R1YrXbutoiOCtSKyK/TeGVHqjVIc= MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: Jakub Jelinek To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc(refs/vendors/redhat/heads/gcc-13-branch)] Merge commit 'r13-5048-g553332c19a04ad0a6bbdd2aafc3499a1cb4dfa0c' into redhat/gcc-13-branch X-Act-Checkin: gcc X-Git-Author: Jakub Jelinek X-Git-Refname: refs/vendors/redhat/heads/gcc-13-branch X-Git-Oldrev: 03416d670d42ba9bb15caa682778b63ffffdeb92 X-Git-Newrev: c6c750faf80327e73b3001de89080943a2ee71f6 Message-Id: <20230106144138.0C76F3858C1F@sourceware.org> Date: Fri, 6 Jan 2023 14:41:38 +0000 (GMT) List-Id: https://gcc.gnu.org/g:c6c750faf80327e73b3001de89080943a2ee71f6 commit c6c750faf80327e73b3001de89080943a2ee71f6 Merge: 03416d670d4 553332c19a0 Author: Jakub Jelinek 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 + + * 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. + + 2023-01-03 Ghjuvan Lacambre + + * output.adb (Write_Buffer): Use Flush_Buffer instead of Write_Eol. + + 2023-01-03 Ronan Desplanques + + * libgnat/g-forstr.adb (P_Flt_Format): Add "*" syntax handling. + + 2023-01-03 Ronan Desplanques + + * libgnat/g-forstr.adb (P_Int_Format): Fix parsing bug. + + 2023-01-03 Eric Botcazou + + * 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 + + * 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 + + * checks.adb (Apply_Discriminant_Check.Denotes_Explicit_Dereference): + Return false for artificial dereferences generated by the expander. + + 2023-01-03 Eric Botcazou + + * 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 + + * 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 + + * sem_res.adb (Resolve_Membership_Op): Adjust again latest change. + + 2023-01-03 Eric Botcazou + + * sem_util.ads (Set_Debug_Info_Defining_Id): Adjust comment. + * sem_util.adb (Is_Aliased_View) : 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 + + * doc/gnat_ugn/platform_specific_information.rst + (_Platform_Specific_Information): Minor rewording of intro text. + * gnat_ugn.texi: Regenerate. + + 2023-01-03 Eric Botcazou + + * 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 + + * 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 + + * 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 + + * 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 + + 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 + + * gnat_ugn.texi: Bump @copying's copyright year. + * gnat_rm.texi: Likewise. + +2010-06-30 Jakub Jelinek + + * gnat-style.texi: Change dircategory to GNU Ada tools. + Copyright (C) 2023 Free Software Foundation, Inc.