Marking local functions:


Marking externally visible functions: ECU3_KATECH_Logic_1000ms ECU3_KATECH_Logic_200ms ECU3_KATECH_Logic_100ms ECU3_KATECH_Logic_20ms ECU3_KATECH_Logic_10ms ECU3_KATECH_Logic_5ms ECU3_KATECH_Logic_2ms ECU3_KATECH_Logic_init


Marking externally visible variables: Test_Signal_1_


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

ECU_check/18 (ECU_check) @06bb5e00
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: ECU3_KATECH_Logic_10ms/4 
  Calls: 
RWA2_Arc_check/17 (RWA2_Arc_check) @06bb5d20
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: ECU3_KATECH_Logic_10ms/4 
  Calls: 
RWA1_Arc_check/16 (RWA1_Arc_check) @06bb5c40
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: ECU3_KATECH_Logic_10ms/4 
  Calls: 
RCU_Arc_check/15 (RCU_Arc_check) @06bb5b60
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: ECU3_KATECH_Logic_10ms/4 
  Calls: 
IDB_Arc_check/14 (IDB_Arc_check) @06bb5a80
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: ECU3_KATECH_Logic_10ms/4 
  Calls: 
Emergency_Switch/13 (Emergency_Switch) @06bb68b8
  Type: variable
  Body removed by symtab_remove_unreachable_nodes
  Visibility: external public
  References: 
  Referring: ECU3_KATECH_Logic_10ms/4 (write)
  Availability: not_available
  Varpool flags:
GV_DIN_CH2/12 (GV_DIN_CH2) @06bb6870
  Type: variable
  Body removed by symtab_remove_unreachable_nodes
  Visibility: external public
  References: 
  Referring: ECU3_KATECH_Logic_10ms/4 (write)
  Availability: not_available
  Varpool flags:
GV_DIN_CH1/11 (GV_DIN_CH1) @06bb67e0
  Type: variable
  Body removed by symtab_remove_unreachable_nodes
  Visibility: external public
  References: 
  Referring: ECU3_KATECH_Logic_10ms/4 (write)ECU3_KATECH_Logic_10ms/4 (read)
  Availability: not_available
  Varpool flags:
Digital_Read/10 (Digital_Read) @06bb59a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: ECU3_KATECH_Logic_10ms/4 ECU3_KATECH_Logic_10ms/4 
  Calls: 
CheckSystem/9 (CheckSystem) @06bb5700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: ECU3_KATECH_Logic_2ms/2 
  Calls: 
ECU3_KATECH_Logic_1000ms/8 (ECU3_KATECH_Logic_1000ms) @06bb51c0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: 
ECU3_KATECH_Logic_200ms/7 (ECU3_KATECH_Logic_200ms) @06d2ad20
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: 
ECU3_KATECH_Logic_100ms/6 (ECU3_KATECH_Logic_100ms) @06d2a700
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: 
ECU3_KATECH_Logic_20ms/5 (ECU3_KATECH_Logic_20ms) @06d2a460
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: 
ECU3_KATECH_Logic_10ms/4 (ECU3_KATECH_Logic_10ms) @06d2a1c0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: GV_DIN_CH1/11 (write)GV_DIN_CH2/12 (write)GV_DIN_CH1/11 (read)Emergency_Switch/13 (write)
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: ECU_check/18 RWA2_Arc_check/17 RWA1_Arc_check/16 RCU_Arc_check/15 IDB_Arc_check/14 Digital_Read/10 Digital_Read/10 
ECU3_KATECH_Logic_5ms/3 (ECU3_KATECH_Logic_5ms) @06d2aee0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: 
ECU3_KATECH_Logic_2ms/2 (ECU3_KATECH_Logic_2ms) @06d2ac40
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: CheckSystem/9 
ECU3_KATECH_Logic_init/1 (ECU3_KATECH_Logic_init) @06d2a9a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: 
Test_Signal_1_/0 (Test_Signal_1_) @06ba04c8
  Type: variable definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Varpool flags:
ECU3_KATECH_Logic_1000ms ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  return;

}


ECU3_KATECH_Logic_200ms ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  return;

}


ECU3_KATECH_Logic_100ms ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  return;

}


ECU3_KATECH_Logic_20ms ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  return;

}


ECU3_KATECH_Logic_10ms ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = Digital_Read (0);
  _2 = (short unsigned int) _1;
  GV_DIN_CH1 = _2;
  # DEBUG BEGIN_STMT
  _3 = Digital_Read (1);
  _4 = (short unsigned int) _3;
  GV_DIN_CH2 = _4;
  # DEBUG BEGIN_STMT
  GV_DIN_CH1.0_5 = GV_DIN_CH1;
  Emergency_Switch = GV_DIN_CH1.0_5;
  # DEBUG BEGIN_STMT
  IDB_Arc_check ();
  # DEBUG BEGIN_STMT
  RCU_Arc_check ();
  # DEBUG BEGIN_STMT
  RWA1_Arc_check ();
  # DEBUG BEGIN_STMT
  RWA2_Arc_check ();
  # DEBUG BEGIN_STMT
  ECU_check ();
  return;

}


ECU3_KATECH_Logic_5ms ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  return;

}


ECU3_KATECH_Logic_2ms ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  CheckSystem ();
  return;

}


ECU3_KATECH_Logic_init ()
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  return;

}