Commit fdbddadf authored by jdelange's avatar jdelange

* ocarina/src/backends/ocarina-backends-pok_c-main.adb

   - Integrate Jeremy Rosen patch for ARINC653 compliance



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5727 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 9843d9d8
......@@ -331,6 +331,17 @@ package body Ocarina.Backends.POK_C.Main is
(POK_Make_Function_Call_With_Assert
(RF (RE_Create_Process), Parameters),
Statements);
Parameters := New_List(CTN.K_Parameter_List);
Append_Node_To_List ( Make_Array_Value
(Copy_Node (Process_Variable_Name),
CTU.Make_Literal
(CV.New_Int_Value (Thread_Id, 1, 10))),
Parameters);
Add_Return_Variable_In_Parameters(Parameters);
Append_Node_To_List
(POK_Make_Function_Call_With_Assert
(RF (RE_Start), Parameters),
Statements);
else
Append_Node_To_List
(POK_Make_Function_Call_With_Assert
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment