Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0c925079766131313c5db0d9174283a2c822d3f7..6821b7a2941f4c7a909164f8c3914a99112bf37c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2024-01-09  Eric Botcazou  <ebotcazou@adacore.com>
+
+       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  <avr@gjlay.de>
 
        Backported from master:

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index e55f042e203f0b282fe2c8d7a4435656d91dd788..4748a81cfd936f33693b6e1d978377bba3228453 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240109
+20240110

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index b46b70f1d5a193e1353a9b14b06e10293925c536..805d41cef3cedc266aeed0edd8e85bf9ec71f857 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,65 @@
+2024-01-09  Eric Botcazou  <ebotcazou@adacore.com>
+
+       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  <miranda@adacore.com>
+
+       * 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  <ebotcazou@adacore.com>
+
+       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  <ebotcazou@adacore.com>
+
+       * gcc-interface/utils2.cc (build_binary_op) <EQ_EXPR>: Relax
+       assertion for regular pointer types.
+
 2023-12-20  Eric Botcazou  <ebotcazou@adacore.com>
 
        * sem_ch3.adb (Analyze_Subtype_Declaration): Remove a short-circuit

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 9f29a57fa8dd0730d86fffce562635d46b99d133..45ea987d88de0b8a929f76207485994074b45769 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,17 @@
+2024-01-09  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * 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  <ebotcazou@adacore.com>
+
+       * gnat.dg/specs/anon4.ads: New test.
+
+2024-01-09  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * g++.dg/opt/delay-slot-2.C: New test.
+
 2024-01-08  Georg-Johann Lay  <avr@gjlay.de>
 
        Backported from master: