From 40e16fda0f4be0420873eb8a9ebaca8ee0b1363e Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Wed, 10 Jan 2024 00:21:32 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 6 ++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 62 +++++++++++++++++++++++++++++++++++++++++ gcc/testsuite/ChangeLog | 14 ++++++++++ 4 files changed, 83 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0c9250797661..6821b7a2941f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2024-01-09 Eric Botcazou + + PR rtl-optimization/113140 + * reorg.cc (fill_slots_from_thread): If we are to branch after the + last instruction of the function, create an end label. + 2024-01-08 Georg-Johann Lay Backported from master: diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index e55f042e203f..4748a81cfd93 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20240109 +20240110 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index b46b70f1d5a1..805d41cef3ce 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,65 @@ +2024-01-09 Eric Botcazou + + PR ada/112781 + * exp_ch6.ads (Is_Build_In_Place_Function): Adjust description. + * exp_ch6.adb (Is_True_Build_In_Place_Function_Call): Delete. + (Is_Function_Call_With_BIP_Formals): New predicate. + (Is_Build_In_Place_Function_Call): Restore original semantics. + (Expand_Call_Helper): Adjust conditions guarding the calls to + Add_Dummy_Build_In_Place_Actuals to above renaming. + (Expand_N_Extended_Return_Statement): Adjust to above renaming. + (Expand_Simple_Function_Return): Likewise. Move the assertion + to after the transformation into an extended return statement. + (Make_Build_In_Place_Call_In_Allocator): Remove unreachable code. + (Make_Build_In_Place_Call_In_Assignment): Likewise. + +2024-01-09 Javier Miranda + + * einfo-utils.adb (Underlying_Type): Protect recursion call + against non-available attribute Etype. + * einfo.ads (Protected_Subprogram): Fix typo in documentation. + * exp_ch3.adb (BIP_Function_Call_Id): New subprogram. + (Expand_N_Object_Declaration): Improve code that evaluates if the + object is initialized with a BIP function call. + * exp_ch6.adb (Is_True_Build_In_Place_Function_Call): New + subprogram. + (Add_Task_Actuals_To_Build_In_Place_Call): Add dummy actuals if + the function does not require the BIP task actuals but it is a + dispatching operation that inherited them. + (Build_In_Place_Formal): Improve code to avoid never-ending loop + if the BIP formal is not found. + (Add_Dummy_Build_In_Place_Actuals): New subprogram. + (Expand_Call_Helper): Add calls to + Add_Dummy_Build_In_Place_Actuals. + (Expand_N_Extended_Return_Statement): Adjust assertion. + (Expand_Simple_Function_Return): Adjust assertion. + (Make_Build_In_Place_Call_In_Allocator): No action needed if the + called function inherited the BIP extra formals but it is not a + true BIP function. + (Make_Build_In_Place_Call_In_Assignment): Ditto. + * exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove code + reporting unsupported case (since this patch adds support for it). + * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Adding assertion + to ensure matching of BIP formals when setting the + Protected_Formal field of a protected subprogram to reference the + corresponding extra formal of the subprogram that implements it. + (Might_Need_BIP_Task_Actuals): New subprogram. + (Create_Extra_Formals): Improve code adding inherited extra + formals. + +2024-01-09 Eric Botcazou + + PR ada/112781 + * sem_ch12.adb (Instantiate_Type): Use Etype instead of Base_Type + consistently to retrieve the ancestor for a derived type. + * sem_ch4.adb (Analyze_Explicit_Dereference): Test Is_Access_Type + consistently before accessing Designated_Type. + +2024-01-09 Eric Botcazou + + * gcc-interface/utils2.cc (build_binary_op) : Relax + assertion for regular pointer types. + 2023-12-20 Eric Botcazou * sem_ch3.adb (Analyze_Subtype_Declaration): Remove a short-circuit diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9f29a57fa8dd..45ea987d88de 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,17 @@ +2024-01-09 Eric Botcazou + + * gnat.dg/bip_prim_func2.adb: New test. + * gnat.dg/bip_prim_func2_pkg.ads, gnat.dg/bip_prim_func2_pkg.adb: + New helper package. + +2024-01-09 Eric Botcazou + + * gnat.dg/specs/anon4.ads: New test. + +2024-01-09 Eric Botcazou + + * g++.dg/opt/delay-slot-2.C: New test. + 2024-01-08 Georg-Johann Lay Backported from master: -- 2.47.2