* Remove calls to __po_hi_c_simulate_wcet

src/backends/ocarina-backends-c_common-subprograms.adb

@@ -897,7 +897,7 @@ package body Ocarina.Backends.C_Common.Subprograms is
                      Get_Data_Representation (Corresponding_Instance (S)) =
                      Data_With_Accessors then
 
-                     --  For POHIC, generate globvars thathave only accessors.
+                     --  For POHIC, generate globvars that have only accessors
 
                      N := Make_Variable_Declaration
                         (Map_C_Defining_Identifier (S),

src/backends/ocarina-backends-c_tree-nutils.adb

@@ -1146,10 +1146,12 @@ package body Ocarina.Backends.C_Tree.Nutils is
    -- To_C_Name --
    ---------------
 
-   function To_C_Name (N : Name_Id;
-                       Ada_Style : Boolean := False;
-                       Keyword_Check : Boolean := True)
-                      return Name_Id is
+   function To_C_Name
+     (N : Name_Id;
+      Ada_Style : Boolean := False;
+      Keyword_Check : Boolean := True)
+     return Name_Id
+   is
       Name      : Name_Id;
       Test_Name : Name_Id;
       V         : Types.Byte;
@@ -2183,63 +2185,6 @@ package body Ocarina.Backends.C_Tree.Nutils is
       end if;
    end POK_Make_Function_Call_With_Assert;
 
-   -------------------
-   -- Simulate_WCET --
-   -------------------
-
-   procedure Simulate_WCET
-     (Caller            : Node_Id;
-      Declarations      : List_Id;
-      Statements        : List_Id) is
-      N                 : Node_Id;
-      Parameters        : List_Id;
-      Execution_Times   : constant Time_Array
-               := Get_Execution_Time (Caller);
-   begin
-      if Get_Current_Backend_Kind = PolyORB_HI_C then
-
-         N := Make_Variable_Declaration
-           (Make_Defining_Identifier
-            (Get_String_Name ("wcet_low")),
-           PHCR.RE (PHCR.RE_Time_T));
-         Append_Node_To_List (N, Declarations);
-
-         N := Make_Variable_Declaration
-           (Make_Defining_Identifier
-            (Get_String_Name ("wcet_high")),
-           PHCR.RE (PHCR.RE_Time_T));
-         Append_Node_To_List (N, Declarations);
-
-         if Execution_Times'Length > 0 then
-            Parameters := New_List (CTN.K_Parameter_List);
-
-            N := Map_Time (Execution_Times (0),
-                           Get_String_Name ("wcet_low"));
-            Append_Node_To_List (N, Declarations);
-
-            N := Map_Time (Execution_Times (1),
-                           Get_String_Name ("wcet_high"));
-            Append_Node_To_List (N, Declarations);
-
-            Append_Node_To_List
-               (Make_Variable_Address
-                  (Make_Defining_Identifier
-                  (Get_String_Name ("wcet_low"))),
-               Parameters);
-
-            Append_Node_To_List
-               (Make_Variable_Address
-               (Make_Defining_Identifier
-                  (Get_String_Name ("wcet_high"))),
-               Parameters);
-
-            N := Make_Call_Profile
-               (PHCR.RE (PHCR.RE_Simulate_WCET), Parameters);
-            Append_Node_To_List (N, Statements);
-         end if;
-      end if;
-   end Simulate_WCET;
-
    -------------------
    -- Get_Data_Size --
    -------------------

src/backends/ocarina-backends-c_tree-nutils.ads

@@ -593,11 +593,6 @@ package Ocarina.Backends.C_Tree.Nutils is
 
    procedure Add_Define_Deployment (E : Node_Id);
 
-   procedure Simulate_WCET
-     (Caller       : Node_Id;
-      Declarations : List_Id;
-      Statements   : List_Id);
-
    function Make_Array_Value (Array_Name : Node_Id; Array_Item : Node_Id)
       return Node_Id;
 

src/backends/ocarina-backends-po_hi_c-activity.adb

@@ -875,7 +875,6 @@ package body Ocarina.Backends.PO_HI_C.Activity is
 
                CTU.Handle_Call_Sequence
                  (S, Call_Seq, Declarations, WStatements, Current_Device);
-               CTU.Simulate_WCET (E, Declarations, WStatements);
             else
                N := Message_Comment ("not implemented yet");
                Append_Node_To_List (N, WStatements);

src/backends/ocarina-backends-po_hi_c-runtime.ads

@@ -132,7 +132,6 @@ package Ocarina.Backends.PO_HI_C.Runtime is
       RE_Gqueue_Next_Value,              -- __po_hi_gqueue_next_value
       RE_Gqueue_Wait_For_Incoming_Event, -- __po_hi_gqueue_wait_for_incoming
       RE_Compute_Next_Period,            -- __po_hi_compute_next_period
-      RE_Simulate_WCET,                  -- __po_hi_simulate_wcet
       RE_Sporadic_Wait,                  -- __po_hi_sporadic_wait
       RE_Compute_Miss,                   -- __po_hi_compute_miss
       RE_Deployment_Endiannesses,        -- __po_hi_deployment_endiannesses
@@ -326,7 +325,6 @@ package Ocarina.Backends.PO_HI_C.Runtime is
          RE_Create_Periodic_Task           => RH_PO_HI_Task,
          RE_Main_Deliver                   => RH_Activity,
          RE_Create_Sporadic_Task           => RH_PO_HI_Task,
-         RE_Simulate_WCET                  => RH_PO_HI_Utils,
          RE_Compute_Miss                   => RH_PO_HI_Utils,
          RE_Deployment_Endiannesses        => RH_PO_HI_Transport,
          RE_Task_Wait_Offset               => RH_PO_HI_Task,