local analysis of Soc_Check_befor_IGN
   scanning: _1 = ECU3.RX.CH0_BCM_VCU_Signal2_0x580.BMS_SOC;
  scanning: _2 = (float) _1;
  scanning: GV_SOC_Value = _2;
  scanning: if (_2 <= 3.0e+1)
  scanning: GV_SOC_STAT_Flag = 3;
  scanning: return;
Function is locally const.


 local analysis of Soc_Check
   scanning: _1 = ECU3.RX.CH0_BCM_VCU_Signal2_0x580.BMS_SOC;
  scanning: _2 = (float) _1;
  scanning: GV_SOC_Value = _2;
  scanning: return;
Function is locally const.
callgraph:

Soc_Check_befor_IGN/1 (Soc_Check_befor_IGN) @06ae1000
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @065f5eb8
  References: ECU3/2 (read)GV_SOC_Value/3 (write)GV_SOC_STAT_Flag/4 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Soc_Check/0 (Soc_Check) @06ad7b60
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @065f5ef8
  References: ECU3/2 (read)GV_SOC_Value/3 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 


 ordered call graph: reduced for nothrow
Soc_Check_befor_IGN/1 (Soc_Check_befor_IGN) @06ae1000
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @065f5eb8
  References: ECU3/2 (read)GV_SOC_Value/3 (write)GV_SOC_STAT_Flag/4 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Soc_Check/0 (Soc_Check) @06ad7b60
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @065f5ef8
  References: ECU3/2 (read)GV_SOC_Value/3 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 



MALLOC LATTICE Initial:
Soc_Check_befor_IGN: malloc_bottom
Soc_Check: malloc_bottom


MALLOC LATTICE after propagation:
Soc_Check_befor_IGN: malloc_bottom
Soc_Check: malloc_bottom
callgraph:

Soc_Check_befor_IGN/1 (Soc_Check_befor_IGN) @06ae1000
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @065f5ef8
  References: ECU3/2 (read)GV_SOC_Value/3 (write)GV_SOC_STAT_Flag/4 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Soc_Check/0 (Soc_Check) @06ad7b60
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @065f5eb8
  References: ECU3/2 (read)GV_SOC_Value/3 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 


 ordered call graph: reduced
Soc_Check_befor_IGN/1 (Soc_Check_befor_IGN) @06ae1000
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @065f5ef8
  References: ECU3/2 (read)GV_SOC_Value/3 (write)GV_SOC_STAT_Flag/4 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
Soc_Check/0 (Soc_Check) @06ad7b60
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @065f5eb8
  References: ECU3/2 (read)GV_SOC_Value/3 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 

Function found not to call free: Soc_Check
Function found not to call free: Soc_Check_befor_IGN
Soc_Check_befor_IGN ()
{
  unsigned char _1;
  float _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = ECU3.RX.CH0_BCM_VCU_Signal2_0x580.BMS_SOC;
  _2 = (float) _1;
  GV_SOC_Value = _2;
  # DEBUG BEGIN_STMT
  if (_2 <= 3.0e+1)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  GV_SOC_STAT_Flag = 3;

  <bb 4> [local count: 1073741824]:
  return;

}


Soc_Check ()
{
  unsigned char _1;
  float _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = ECU3.RX.CH0_BCM_VCU_Signal2_0x580.BMS_SOC;
  _2 = (float) _1;
  GV_SOC_Value = _2;
  return;

}