
Reclaiming functions:
Reclaiming variables:
Clearing address taken flags:
Symbol table:

Can_MainFunction_Read/86 (Can_MainFunction_Read) @0c82b9a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
vTaskStartScheduler/85 (vTaskStartScheduler) @0c82b8c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
ReceiveTask/84 (ReceiveTask) @0c82b7e0
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: main/52 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
BleTask/83 (BleTask) @0c82b700
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: main/52 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
xTaskCreate/82 (xTaskCreate) @0c82b620
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 main/52 
  Calls: 
xQueueGenericSend/81 (xQueueGenericSend) @0c82b540
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
sem_handle/80 (sem_handle) @0c829b40
  Type: variable
  Body removed by symtab_remove_unreachable_nodes
  Visibility: external public
  References: 
  Referring: main/52 (write)main/52 (read)main/52 (read)
  Availability: not_available
  Varpool flags:
xQueueGenericCreate/79 (xQueueGenericCreate) @0c82b460
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
Dio_WriteChannel/78 (Dio_WriteChannel) @0c82b380
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 main/52 
  Calls: 
Can_MsgInfo.10211/77 (Can_MsgInfo) @0c829a20
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: main/52 (write)main/52 (write)main/52 (write)main/52 (write)main/52 (read)
  Availability: available
  Varpool flags:
Can_SetControllerMode/76 (Can_SetControllerMode) @0c82b2a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
Can_Init/75 (Can_Init) @0c82b1c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
Uart_Init/74 (Uart_Init) @0c82b0e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
Port_Init/73 (Port_Init) @0c82b000
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
Dma0_Ch5_IRQHandler/72 (Dma0_Ch5_IRQHandler) @0c82aa80
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: main/52 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
Dma0_Ch4_IRQHandler/71 (Dma0_Ch4_IRQHandler) @0c82aee0
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: main/52 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
Dma0_Ch3_IRQHandler/70 (Dma0_Ch3_IRQHandler) @0c82ae00
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: main/52 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
Dma0_Ch2_IRQHandler/69 (Dma0_Ch2_IRQHandler) @0c82ad20
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: main/52 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
Dma0_Ch1_IRQHandler/68 (Dma0_Ch1_IRQHandler) @0c82ac40
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: main/52 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
Dma0_Ch0_IRQHandler/67 (Dma0_Ch0_IRQHandler) @0c82ab60
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: main/52 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
MCL_FLEXIO_ISR/66 (MCL_FLEXIO_ISR) @0c82a9a0
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: main/52 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
LPUART_UART_IP_2_IRQHandler/65 (LPUART_UART_IP_2_IRQHandler) @0c82a8c0
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: main/52 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
LPUART_UART_IP_1_IRQHandler/64 (LPUART_UART_IP_1_IRQHandler) @0c82a7e0
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: main/52 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
LPUART_UART_IP_0_IRQHandler/63 (LPUART_UART_IP_0_IRQHandler) @0c82a700
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: main/52 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
Platform_InstallIrqHandler/62 (Platform_InstallIrqHandler) @0c82a620
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 main/52 main/52 main/52 main/52 main/52 main/52 main/52 main/52 main/52 
  Calls: 
Platform_Init/61 (Platform_Init) @0c82a540
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
OsIf_Init/60 (OsIf_Init) @0c82a460
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
Mcu_SetMode/59 (Mcu_SetMode) @0c82a380
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
Mcl_Init/58 (Mcl_Init) @0c82a2a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
Mcu_InitClock/57 (Mcu_InitClock) @0c82a1c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
Mcu_Init/56 (Mcu_Init) @0c82a0e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: main/52 
  Calls: 
DelayTimer.10199/55 (DelayTimer) @0c829048
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: TestDelay/51 (read)TestDelay/51 (write)TestDelay/51 (read)TestDelay/51 (write)
  Availability: available
  Varpool flags: initialized
Can_MainFunction_Write/54 (Can_MainFunction_Write) @07547e00
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: CanIf_SendMessage/50 
  Calls: 
Can_Write/53 (Can_Write) @07547d20
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: CanIf_SendMessage/50 
  Calls: 
main/52 (main) @075471c0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: CanIf_bTxFlag/38 (write)CanIf_bRxFlag/40 (write)LPUART_UART_IP_0_IRQHandler/63 (addr)LPUART_UART_IP_1_IRQHandler/64 (addr)LPUART_UART_IP_2_IRQHandler/65 (addr)MCL_FLEXIO_ISR/66 (addr)Dma0_Ch0_IRQHandler/67 (addr)Dma0_Ch1_IRQHandler/68 (addr)Dma0_Ch2_IRQHandler/69 (addr)Dma0_Ch3_IRQHandler/70 (addr)Dma0_Ch4_IRQHandler/71 (addr)Dma0_Ch5_IRQHandler/72 (addr)Can_MsgInfo.10211/77 (write)Can_MsgInfo.10211/77 (write)Can_MsgInfo.10211/77 (write)Can_MsgInfo.10211/77 (write)Can_au8Sdu8bytes/34 (addr)sem_handle/80 (write)sem_handle/80 (read)sem_handle/80 (read)BleTask/83 (addr)ReceiveTask/84 (addr)pinValue/35 (read)pinValue/35 (write)Can_MsgInfo.10211/77 (read)CanIf_bRxFlag/40 (write)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: TestDelay/51 Can_MainFunction_Read/86 TestDelay/51 CanIf_SendMessage/50 vTaskStartScheduler/85 xTaskCreate/82 xTaskCreate/82 xQueueGenericSend/81 xQueueGenericCreate/79 Dio_WriteChannel/78 Dio_WriteChannel/78 Can_SetControllerMode/76 Can_Init/75 Uart_Init/74 Port_Init/73 Platform_InstallIrqHandler/62 Platform_InstallIrqHandler/62 Platform_InstallIrqHandler/62 Platform_InstallIrqHandler/62 Platform_InstallIrqHandler/62 Platform_InstallIrqHandler/62 Platform_InstallIrqHandler/62 Platform_InstallIrqHandler/62 Platform_InstallIrqHandler/62 Platform_InstallIrqHandler/62 Platform_Init/61 OsIf_Init/60 Mcu_SetMode/59 Mcl_Init/58 Mcu_InitClock/57 Mcu_Init/56 
TestDelay/51 (TestDelay) @0c765ee0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: DelayTimer.10199/55 (read)DelayTimer.10199/55 (write)DelayTimer.10199/55 (read)DelayTimer.10199/55 (write)
  Referring: 
  Availability: available
  Function flags: body
  Called by: main/52 main/52 
  Calls: 
CanIf_SendMessage/50 (CanIf_SendMessage) @0c765c40
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: CanIf_bTxFlag/38 (write)CanIf_bTxFlag/38 (read)CanIf_bTxFlag/38 (read)
  Referring: 
  Availability: available
  Function flags: body
  Called by: main/52 
  Calls: Can_DummyDelay/49 Can_MainFunction_Write/54 Can_Write/53 Can_CreatePduInfo/42 
Can_DummyDelay/49 (Can_DummyDelay) @0c7659a0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: CanIf_SendMessage/50 
  Calls: 
CanIf_CurrentIcomConfiguration/48 (CanIf_CurrentIcomConfiguration) @0c765700
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
CanIf_RxIndication/47 (CanIf_RxIndication) @0c765460
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: CanIf_bRxFlag/40 (write)CanIf_u8RxIndicationCnt/39 (read)canRxMsg_Buff/41 (write)CanIf_u8RxIndicationCnt/39 (read)CanIf_u8RxIndicationCnt/39 (write)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Can_GetMsgInfo/43 
CanIf_TxConfirmation/46 (CanIf_TxConfirmation) @0c7651c0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: CanIf_u8TxConfirmCnt/37 (read)CanIf_u8TxConfirmCnt/37 (write)CanIf_bTxFlag/38 (write)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
CanIf_ControllerModeIndication/45 (CanIf_ControllerModeIndication) @0c761ee0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
CanIf_ControllerBusOff/44 (CanIf_ControllerBusOff) @0c761c40
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
Can_GetMsgInfo/43 (Can_GetMsgInfo) @0c7619a0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: CanIf_RxIndication/47 
  Calls: 
Can_CreatePduInfo/42 (Can_CreatePduInfo) @0c761700
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: CanIf_SendMessage/50 
  Calls: 
canRxMsg_Buff/41 (canRxMsg_Buff) @0c75f708
  Type: variable definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: CanIf_RxIndication/47 (write)
  Availability: available
  Varpool flags:
CanIf_bRxFlag/40 (CanIf_bRxFlag) @0c75f3f0
  Type: variable definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: CanIf_RxIndication/47 (write)main/52 (write)main/52 (write)
  Availability: available
  Varpool flags: initialized
CanIf_u8RxIndicationCnt/39 (CanIf_u8RxIndicationCnt) @0c75f360
  Type: variable definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: CanIf_RxIndication/47 (read)CanIf_RxIndication/47 (read)CanIf_RxIndication/47 (write)
  Availability: available
  Varpool flags: initialized
CanIf_bTxFlag/38 (CanIf_bTxFlag) @0c75f2d0
  Type: variable definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: CanIf_TxConfirmation/46 (write)CanIf_SendMessage/50 (read)CanIf_SendMessage/50 (write)CanIf_SendMessage/50 (read)main/52 (write)
  Availability: available
  Varpool flags: initialized
CanIf_u8TxConfirmCnt/37 (CanIf_u8TxConfirmCnt) @0c75f240
  Type: variable definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: CanIf_TxConfirmation/46 (read)CanIf_TxConfirmation/46 (write)
  Availability: available
  Varpool flags: initialized
dummyData/36 (dummyData) @0c75f1b0
  Type: variable definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Varpool flags: initialized
pinValue/35 (pinValue) @0c75f0d8
  Type: variable definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: main/52 (read)main/52 (write)
  Availability: available
  Varpool flags: initialized
Can_au8Sdu8bytes/34 (Can_au8Sdu8bytes) @0c75f048
  Type: variable definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: main/52 (addr)
  Availability: available
  Varpool flags: initialized
main ()
{
  uint8 u8TimeOut;
  uint8 rxBuffer[100];
  volatile Std_ReturnType CAN_Write_Status;
  static struct Can_Msg_Type Can_MsgInfo;
  volatile Std_ReturnType R_Uart_Status2;
  volatile Std_ReturnType R_Uart_Status1;
  volatile Std_ReturnType T_Uart_Status3;
  volatile Std_ReturnType T_Uart_Status2;
  volatile Std_ReturnType T_Uart_Status1;
  int D.10240;
  struct QueueDefinition * _1;
  struct QueueDefinition * sem_handle.18_2;
  struct QueueDefinition * sem_handle.19_3;
  unsigned char pinValue.20_4;
  unsigned char _5;

  <bb 2> :
  u8TimeOut_8 = 100;
  CanIf_bTxFlag = 0;
  CanIf_bRxFlag = 0;
  Mcu_Init (0B);
  Mcu_InitClock (0);
  Mcl_Init (0B);
  Mcu_SetMode (0);
  OsIf_Init (0B);
  Platform_Init (0B);
  Platform_InstallIrqHandler (31, LPUART_UART_IP_0_IRQHandler, 0B);
  Platform_InstallIrqHandler (33, LPUART_UART_IP_1_IRQHandler, 0B);
  Platform_InstallIrqHandler (35, LPUART_UART_IP_2_IRQHandler, 0B);
  Platform_InstallIrqHandler (69, MCL_FLEXIO_ISR, 0B);
  Platform_InstallIrqHandler (0, Dma0_Ch0_IRQHandler, 0B);
  Platform_InstallIrqHandler (1, Dma0_Ch1_IRQHandler, 0B);
  Platform_InstallIrqHandler (2, Dma0_Ch2_IRQHandler, 0B);
  Platform_InstallIrqHandler (3, Dma0_Ch3_IRQHandler, 0B);
  Platform_InstallIrqHandler (4, Dma0_Ch4_IRQHandler, 0B);
  Platform_InstallIrqHandler (5, Dma0_Ch5_IRQHandler, 0B);
  Port_Init (0B);
  Uart_Init (0B);
  Can_Init (0B);
  Can_SetControllerMode (0, 1);
  Can_MsgInfo.id = 403846230;
  Can_MsgInfo.idFrame = 2;
  Can_MsgInfo.length = 8;
  Can_MsgInfo.sdu = &Can_au8Sdu8bytes;
  Dio_WriteChannel (137, 1);
  Dio_WriteChannel (135, 1);
  _1 = xQueueGenericCreate (1, 0, 3);
  sem_handle = _1;
  sem_handle.18_2 = sem_handle;
  if (sem_handle.18_2 != 0B)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  sem_handle.19_3 = sem_handle;
  xQueueGenericSend (sem_handle.19_3, 0B, 0, 0);

  <bb 4> :
  xTaskCreate (BleTask, "BleTask", 1114, 0B, 2, 0B);
  xTaskCreate (ReceiveTask, "RecTask", 90, 0B, 3, 0B);
  vTaskStartScheduler ();

  <bb 5> :
  pinValue.20_4 ={v} pinValue;
  _5 = ~pinValue.20_4;
  pinValue ={v} _5;
  CanIf_SendMessage (0, Can_MsgInfo);
  TestDelay (100000);
  Can_MainFunction_Read ();
  CanIf_bRxFlag = 0;
  TestDelay (100000);
  goto <bb 5>; [INV]

}


TestDelay (uint32 delay)
{
  static volatile uint32 DelayTimer = 0;
  long unsigned int DelayTimer.16_1;
  long unsigned int _2;
  long unsigned int DelayTimer.17_3;

  <bb 2> :
  goto <bb 4>; [INV]

  <bb 3> :
  DelayTimer.16_1 ={v} DelayTimer;
  _2 = DelayTimer.16_1 + 1;
  DelayTimer ={v} _2;

  <bb 4> :
  DelayTimer.17_3 ={v} DelayTimer;
  if (delay_6(D) > DelayTimer.17_3)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  DelayTimer ={v} 0;
  return;

}


CanIf_SendMessage (uint8 ControllerId, struct Can_Msg_Type CanMsg)
{
  Can_HwHandleType Hth;
  uint8 u8TimeOut;
  Std_ReturnType retVal;
  volatile Std_ReturnType CAN_Write_Status;
  volatile struct Can_PduType Can_PduInfo;
  Std_ReturnType D.10236;
  short unsigned int _1;
  long unsigned int _2;
  <unnamed type> _3;
  unsigned char _4;
  uint8 * _5;
  unsigned char _6;
  unsigned char CAN_Write_Status.12_7;
  unsigned char u8TimeOut.13_8;
  _Bool CanIf_bTxFlag.14_9;
  _Bool _10;
  _Bool CanIf_bTxFlag.15_11;
  Std_ReturnType _30;

  <bb 2> :
  retVal_16 = 1;
  u8TimeOut_17 = 100;
  _1 = (short unsigned int) ControllerId_18(D);
  Hth_19 = _1 + 1;
  _2 = CanMsg.id;
  _3 = CanMsg.idFrame;
  _4 = CanMsg.length;
  _5 = CanMsg.sdu;
  Can_PduInfo ={v} Can_CreatePduInfo (_2, _3, 0, _4, _5);
  _6 = Can_Write (Hth_19, &Can_PduInfo);
  CAN_Write_Status ={v} _6;
  CanIf_bTxFlag = 0;
  CAN_Write_Status.12_7 ={v} CAN_Write_Status;
  if (CAN_Write_Status.12_7 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 3> :
  goto <bb 5>; [INV]

  <bb 4> :
  Can_MainFunction_Write ();
  Can_DummyDelay (100);
  u8TimeOut.13_8 = u8TimeOut_13;
  u8TimeOut_27 = u8TimeOut.13_8 + 255;

  <bb 5> :
  # u8TimeOut_13 = PHI <u8TimeOut_17(3), u8TimeOut_27(4)>
  CanIf_bTxFlag.14_9 = CanIf_bTxFlag;
  _10 = ~CanIf_bTxFlag.14_9;
  if (_10 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  if (u8TimeOut_13 != 0)
    goto <bb 4>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 7> :
  CanIf_bTxFlag.15_11 = CanIf_bTxFlag;
  if (CanIf_bTxFlag.15_11 != 0)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 8> :
  retVal_29 = 0;
  goto <bb 10>; [INV]

  <bb 9> :
  retVal_28 = 1;

  <bb 10> :
  # retVal_12 = PHI <retVal_29(8), retVal_28(9)>
  _30 = retVal_12;

  <bb 11> :
<L9>:
  return _30;

}


Can_DummyDelay (uint32 loops)
{
  volatile uint32 contor2;
  volatile uint32 contor1;
  volatile uint32 data;
  long unsigned int D.10229;
  long unsigned int contor1.5_1;
  int _2;
  long unsigned int _3;
  long unsigned int contor2.6_4;
  long unsigned int _5;
  long unsigned int data.7_6;
  long unsigned int _7;
  long unsigned int contor1.8_8;
  long unsigned int _9;
  long unsigned int contor1.9_10;
  long unsigned int contor2.10_11;
  long unsigned int _12;
  long unsigned int contor2.11_13;
  long unsigned int _23;

  <bb 2> :
  data ={v} 2857740885;
  contor1 ={v} 0;
  contor2 ={v} loops_19(D);

  <bb 3> :
  contor1 ={v} 0;
  goto <bb 5>; [INV]

  <bb 4> :
  contor1.5_1 ={v} contor1;
  _2 = 1 << contor1.5_1;
  _3 = (long unsigned int) _2;
  contor2.6_4 ={v} contor2;
  _5 = _3 | contor2.6_4;
  _23 = _5 | 11184810;
  data.7_6 ={v} data;
  _7 = _23 ^ data.7_6;
  data ={v} _7;
  contor1.8_8 ={v} contor1;
  _9 = contor1.8_8 + 1;
  contor1 ={v} _9;

  <bb 5> :
  contor1.9_10 ={v} contor1;
  if (contor1.9_10 <= 766)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 6> :
  contor2.10_11 ={v} contor2;
  _12 = contor2.10_11 + 4294967295;
  contor2 ={v} _12;
  contor2.11_13 ={v} contor2;
  if (contor2.11_13 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 7> :
  return;

}


CanIf_CurrentIcomConfiguration (uint8 ControllerId, IcomConfigIdType ConfigurationId, IcomSwitch_ErrorType Error)
{
  <bb 2> :
  return;

}


CanIf_RxIndication (const struct Can_HwType * Mailbox, const struct PduInfoType * PduInfoPtr)
{
  long unsigned int _1;
  long unsigned int _2;
  unsigned char _3;
  uint8 * _4;
  unsigned char CanIf_u8RxIndicationCnt.2_5;
  int _6;
  unsigned char CanIf_u8RxIndicationCnt.3_7;
  unsigned char CanIf_u8RxIndicationCnt.4_8;
  unsigned char _9;

  <bb 2> :
  CanIf_bRxFlag = 1;
  _1 = Mailbox_12(D)->CanId;
  _2 = PduInfoPtr_13(D)->SduLength;
  _3 = (unsigned char) _2;
  _4 = PduInfoPtr_13(D)->SduDataPtr;
  CanIf_u8RxIndicationCnt.2_5 = CanIf_u8RxIndicationCnt;
  _6 = (int) CanIf_u8RxIndicationCnt.2_5;
  canRxMsg_Buff[_6] = Can_GetMsgInfo (_1, _3, _4);
  CanIf_u8RxIndicationCnt.3_7 = CanIf_u8RxIndicationCnt;
  CanIf_u8RxIndicationCnt.4_8 = CanIf_u8RxIndicationCnt.3_7;
  _9 = CanIf_u8RxIndicationCnt.4_8 + 1;
  CanIf_u8RxIndicationCnt = _9;
  return;

}


CanIf_TxConfirmation (PduIdType CanTxPduId)
{
  unsigned char CanIf_u8TxConfirmCnt.0_1;
  unsigned char CanIf_u8TxConfirmCnt.1_2;
  unsigned char _3;

  <bb 2> :
  CanIf_u8TxConfirmCnt.0_1 = CanIf_u8TxConfirmCnt;
  CanIf_u8TxConfirmCnt.1_2 = CanIf_u8TxConfirmCnt.0_1;
  _3 = CanIf_u8TxConfirmCnt.1_2 + 1;
  CanIf_u8TxConfirmCnt = _3;
  CanIf_bTxFlag = 1;
  return;

}


CanIf_ControllerModeIndication (uint8 ControllerId, Can_ControllerStateType ControllerMode)
{
  <bb 2> :
  return;

}


CanIf_ControllerBusOff (uint8 ControllerId)
{
  <bb 2> :
  return;

}


Can_GetMsgInfo (Can_IdType id, uint8 length, uint8 * sdu)
{
  struct Can_Msg_Type CanMsgInfo;
  long unsigned int _1;
  <unnamed type> _2;
  unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;

  <bb 2> :
  _1 = id_7(D) >> 30;
  CanMsgInfo.idFrame = _1;
  _2 = CanMsgInfo.idFrame;
  _3 = _2 & 1;
  if (_3 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _4 = id_7(D) & 2047;
  CanMsgInfo.id = _4;
  goto <bb 5>; [INV]

  <bb 4> :
  _5 = id_7(D) & 536870911;
  CanMsgInfo.id = _5;

  <bb 5> :
  CanMsgInfo.length = length_12(D);
  CanMsgInfo.sdu = sdu_14(D);
  <retval> = CanMsgInfo;
  CanMsgInfo ={v} {CLOBBER};

  <bb 6> :
<L4>:
  return <retval>;

}


Can_CreatePduInfo (Can_IdType id, CAN_IdFrameType idFrame, PduIdType swPduHandle, uint8 length, uint8 * sdu)
{
  struct Can_PduType PduInfo;
  long unsigned int _1;

  <bb 2> :
  switch (idFrame_3(D)) <default: <L4> [INV], case 0: <L0> [INV], case 1: <L1> [INV], case 2: <L2> [INV], case 3: <L3> [INV]>

  <bb 3> :
<L0>:
  id_8 = id_4(D) & 2047;
  goto <bb 8>; [INV]

  <bb 4> :
<L1>:
  _1 = id_4(D) & 2047;
  id_7 = _1 | 1073741824;
  goto <bb 8>; [INV]

  <bb 5> :
<L2>:
  id_6 = id_4(D) | 2147483648;
  goto <bb 8>; [INV]

  <bb 6> :
<L3>:
  id_5 = id_4(D) | 3221225472;
  goto <bb 8>; [INV]

  <bb 7> :
<L4>:
  id_9 = id_4(D) & 2047;

  <bb 8> :
  # id_2 = PHI <id_8(3), id_7(4), id_6(5), id_5(6), id_9(7)>
  PduInfo.id = id_2;
  PduInfo.swPduHandle = swPduHandle_12(D);
  PduInfo.length = length_14(D);
  PduInfo.sdu = sdu_16(D);
  <retval> = PduInfo;
  PduInfo ={v} {CLOBBER};

  <bb 9> :
<L7>:
  return <retval>;

}


