local analysis of On_Charging_Status.part.0 scanning: GV_Charging_Status_M_Torq = 0; scanning: GV_VCU_TrqCmd = 0.0; scanning: GV_Charging_Status_Steer_Angle = 0; scanning: GV_VCU_Drive_Mode = 3; scanning: return; Function is locally const. local analysis of On_Charging_Status scanning: GV_Charging_Status_val.1_1 = GV_Charging_Status_val; scanning: _2 = GV_Charging_Status_val.1_1 + 255; scanning: if (_2 <= 2) scanning: On_Charging_Status.part.0 (); scanning: return; Function is locally const. local analysis of Check_Charging_Status scanning: _1 = ECU3.RX.CH0_BCM_VCU_Signal2_0x580.ChargingStatus; scanning: _2 = (unsigned char) _1; scanning: GV_Charging_Status_val = _2; scanning: _3 = _2 + 255; scanning: if (_3 <= 1) scanning: On_Charging_Status (); scanning: return; Function is locally const. callgraph: On_Charging_Status.part.0/8 (On_Charging_Status.part.0) @06aff1c0 Type: function definition analyzed Visibility: prevailing_def_ironly artificial Aux: @06617490 References: GV_Charging_Status_M_Torq/4 (write)GV_VCU_TrqCmd/5 (write)GV_Charging_Status_Steer_Angle/6 (write)GV_VCU_Drive_Mode/7 (write) Referring: Function On_Charging_Status.part.0/8 is inline copy in On_Charging_Status/1 Availability: local Function flags: count:536870912 (estimated locally) first_run:1 body local split_part optimize_size Called by: On_Charging_Status/1 (inlined) (536870912 (estimated locally),0.50 per call) Calls: On_Charging_Status/1 (On_Charging_Status) @06aff620 Type: function definition analyzed Visibility: externally_visible public Aux: @06617590 References: GV_Charging_Status_val/3 (read) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Check_Charging_Status/0 (273804165 (estimated locally),0.25 per call) Calls: On_Charging_Status.part.0/8 (inlined) (536870912 (estimated locally),0.50 per call) Check_Charging_Status/0 (Check_Charging_Status) @06aff380 Type: function definition analyzed Visibility: externally_visible public Aux: @066174f0 References: ECU3/2 (read)GV_Charging_Status_val/3 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: On_Charging_Status/1 (273804165 (estimated locally),0.25 per call) ordered call graph: reduced for nothrow On_Charging_Status.part.0/8 (On_Charging_Status.part.0) @06aff1c0 Type: function definition analyzed Visibility: prevailing_def_ironly artificial Aux: @06617490 References: GV_Charging_Status_M_Torq/4 (write)GV_VCU_TrqCmd/5 (write)GV_Charging_Status_Steer_Angle/6 (write)GV_VCU_Drive_Mode/7 (write) Referring: Function On_Charging_Status.part.0/8 is inline copy in On_Charging_Status/1 Availability: local Function flags: count:536870912 (estimated locally) first_run:1 body local split_part optimize_size Called by: On_Charging_Status/1 (inlined) (536870912 (estimated locally),0.50 per call) Calls: On_Charging_Status/1 (On_Charging_Status) @06aff620 Type: function definition analyzed Visibility: externally_visible public Aux: @06617590 References: GV_Charging_Status_val/3 (read) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Check_Charging_Status/0 (273804165 (estimated locally),0.25 per call) Calls: On_Charging_Status.part.0/8 (inlined) (536870912 (estimated locally),0.50 per call) Check_Charging_Status/0 (Check_Charging_Status) @06aff380 Type: function definition analyzed Visibility: externally_visible public Aux: @066174f0 References: ECU3/2 (read)GV_Charging_Status_val/3 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: On_Charging_Status/1 (273804165 (estimated locally),0.25 per call) MALLOC LATTICE Initial: On_Charging_Status.part.0: malloc_bottom On_Charging_Status: malloc_bottom Check_Charging_Status: malloc_bottom MALLOC LATTICE after propagation: On_Charging_Status.part.0: malloc_bottom On_Charging_Status: malloc_bottom Check_Charging_Status: malloc_bottom callgraph: On_Charging_Status.part.0/8 (On_Charging_Status.part.0) @06aff1c0 Type: function definition analyzed Visibility: prevailing_def_ironly artificial Aux: @066174f0 References: GV_Charging_Status_M_Torq/4 (write)GV_VCU_TrqCmd/5 (write)GV_Charging_Status_Steer_Angle/6 (write)GV_VCU_Drive_Mode/7 (write) Referring: Function On_Charging_Status.part.0/8 is inline copy in On_Charging_Status/1 Availability: local Function flags: count:536870912 (estimated locally) first_run:1 body local split_part optimize_size Called by: On_Charging_Status/1 (inlined) (536870912 (estimated locally),0.50 per call) Calls: On_Charging_Status/1 (On_Charging_Status) @06aff620 Type: function definition analyzed Visibility: externally_visible public Aux: @06617630 References: GV_Charging_Status_val/3 (read) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Check_Charging_Status/0 (273804165 (estimated locally),0.25 per call) Calls: On_Charging_Status.part.0/8 (inlined) (536870912 (estimated locally),0.50 per call) Check_Charging_Status/0 (Check_Charging_Status) @06aff380 Type: function definition analyzed Visibility: externally_visible public Aux: @06617490 References: ECU3/2 (read)GV_Charging_Status_val/3 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: On_Charging_Status/1 (273804165 (estimated locally),0.25 per call) ordered call graph: reduced Check_Charging_Status/0 (Check_Charging_Status) @06aff380 Type: function definition analyzed Visibility: externally_visible public Aux: @06617490 References: ECU3/2 (read)GV_Charging_Status_val/3 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: On_Charging_Status/1 (273804165 (estimated locally),0.25 per call) On_Charging_Status/1 (On_Charging_Status) @06aff620 Type: function definition analyzed Visibility: externally_visible public Aux: @06617630 References: GV_Charging_Status_val/3 (read) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Check_Charging_Status/0 (273804165 (estimated locally),0.25 per call) Calls: On_Charging_Status.part.0/8 (inlined) (536870912 (estimated locally),0.50 per call) On_Charging_Status.part.0/8 (On_Charging_Status.part.0) @06aff1c0 Type: function definition analyzed Visibility: prevailing_def_ironly artificial Aux: @066174f0 References: GV_Charging_Status_M_Torq/4 (write)GV_VCU_TrqCmd/5 (write)GV_Charging_Status_Steer_Angle/6 (write)GV_VCU_Drive_Mode/7 (write) Referring: Function On_Charging_Status.part.0/8 is inline copy in On_Charging_Status/1 Availability: local Function flags: count:536870912 (estimated locally) first_run:1 body local split_part optimize_size Called by: On_Charging_Status/1 (inlined) (536870912 (estimated locally),0.50 per call) Calls: Function found not to call free: On_Charging_Status.part.0 Function found not to call free: On_Charging_Status Function found not to call free: Check_Charging_Status On_Charging_Status.part.0 () { [local count: 1073741824]: [local count: 1073741824]: # DEBUG BEGIN_STMT GV_Charging_Status_M_Torq = 0; # DEBUG BEGIN_STMT GV_VCU_TrqCmd = 0.0; # DEBUG BEGIN_STMT GV_Charging_Status_Steer_Angle = 0; # DEBUG BEGIN_STMT GV_VCU_Drive_Mode = 3; [local count: 1073741824]: return; } On_Charging_Status () { unsigned char GV_Charging_Status_val.1_1; unsigned char _2; [local count: 1073741824]: # DEBUG BEGIN_STMT GV_Charging_Status_val.1_1 = GV_Charging_Status_val; _2 = GV_Charging_Status_val.1_1 + 255; if (_2 <= 2) goto ; [50.00%] else goto ; [50.00%] [local count: 536870912]: On_Charging_Status.part.0 (); [local count: 1073741824]: return; } Check_Charging_Status () { _1; unsigned char _2; unsigned char _3; [local count: 1073741824]: # DEBUG BEGIN_STMT _1 = ECU3.RX.CH0_BCM_VCU_Signal2_0x580.ChargingStatus; _2 = (unsigned char) _1; GV_Charging_Status_val = _2; # DEBUG BEGIN_STMT _3 = _2 + 255; if (_3 <= 1) goto ; [25.50%] else goto ; [74.50%] [local count: 273804165]: # DEBUG BEGIN_STMT On_Charging_Status (); [local count: 1073741824]: return; }