local analysis of Read_LDC_Voltage
   scanning: _1 = ECU3.RX.CH0_BCM_VCU_Signal4_0x595.LDC_INP_VOLT;
  scanning: _2 = (unsigned char) _1;
  scanning: GV_can_rx_ldc_v = _2;
  scanning: return;
Function is locally const.
callgraph:

Read_LDC_Voltage/0 (Read_LDC_Voltage) @06b97ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @066b6598
  References: ECU3/1 (read)GV_can_rx_ldc_v/2 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 


 ordered call graph: reduced for nothrow
Read_LDC_Voltage/0 (Read_LDC_Voltage) @06b97ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @066b6598
  References: ECU3/1 (read)GV_can_rx_ldc_v/2 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 



MALLOC LATTICE Initial:
Read_LDC_Voltage: malloc_bottom


MALLOC LATTICE after propagation:
Read_LDC_Voltage: malloc_bottom
callgraph:

Read_LDC_Voltage/0 (Read_LDC_Voltage) @06b97ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @066b6598
  References: ECU3/1 (read)GV_can_rx_ldc_v/2 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 


 ordered call graph: reduced
Read_LDC_Voltage/0 (Read_LDC_Voltage) @06b97ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @066b6598
  References: ECU3/1 (read)GV_can_rx_ldc_v/2 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 

Function found not to call free: Read_LDC_Voltage
Read_LDC_Voltage ()
{
  <unnamed-unsigned:10> _1;
  unsigned char _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = ECU3.RX.CH0_BCM_VCU_Signal4_0x595.LDC_INP_VOLT;
  _2 = (unsigned char) _1;
  GV_can_rx_ldc_v = _2;
  return;

}