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:

System_check/18 (System_check) @06b3aee0
  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) @06b3ae00
  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) @06b3ad20
  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) @06b3ac40
  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) @06b3ab60
  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) @06b34c60
  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) @06b34c18
  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) @06b34b88
  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) @06b3aa80
  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: 
CheckIgnition/9 (CheckIgnition) @06b3a7e0
  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) @06b3a2a0
  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) @06b3a000
  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) @06b35b60
  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) @06b357e0
  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) @06b351c0
  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: System_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) @06b350e0
  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) @06b35d20
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: CheckIgnition/9 
ECU3_KATECH_Logic_init/1 (ECU3_KATECH_Logic_init) @06b35a80
  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_) @06b217e0
  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
  System_check ();
  return;

}


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

}


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

}


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

}