mirror of
https://github.com/Dev-KATECH/ADM.git
synced 2026-05-17 01:43:59 +09:00
252 lines
8.6 KiB
Plaintext
252 lines
8.6 KiB
Plaintext
|
|
|
|
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) @06a9f1c0
|
|
Type: function definition analyzed
|
|
Visibility: prevailing_def_ironly artificial
|
|
Aux: @065b7690
|
|
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) @06a9f620
|
|
Type: function definition analyzed
|
|
Visibility: externally_visible public
|
|
Aux: @065b77b0
|
|
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) @06a9f380
|
|
Type: function definition analyzed
|
|
Visibility: externally_visible public
|
|
Aux: @065b75b0
|
|
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) @06a9f1c0
|
|
Type: function definition analyzed
|
|
Visibility: prevailing_def_ironly artificial
|
|
Aux: @065b7690
|
|
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) @06a9f620
|
|
Type: function definition analyzed
|
|
Visibility: externally_visible public
|
|
Aux: @065b77b0
|
|
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) @06a9f380
|
|
Type: function definition analyzed
|
|
Visibility: externally_visible public
|
|
Aux: @065b75b0
|
|
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) @06a9f1c0
|
|
Type: function definition analyzed
|
|
Visibility: prevailing_def_ironly artificial
|
|
Aux: @065b7550
|
|
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) @06a9f620
|
|
Type: function definition analyzed
|
|
Visibility: externally_visible public
|
|
Aux: @065b74b0
|
|
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) @06a9f380
|
|
Type: function definition analyzed
|
|
Visibility: externally_visible public
|
|
Aux: @065b7570
|
|
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) @06a9f380
|
|
Type: function definition analyzed
|
|
Visibility: externally_visible public
|
|
Aux: @065b7570
|
|
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) @06a9f620
|
|
Type: function definition analyzed
|
|
Visibility: externally_visible public
|
|
Aux: @065b74b0
|
|
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) @06a9f1c0
|
|
Type: function definition analyzed
|
|
Visibility: prevailing_def_ironly artificial
|
|
Aux: @065b7550
|
|
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 ()
|
|
{
|
|
<bb 4> [local count: 1073741824]:
|
|
|
|
<bb 2> [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;
|
|
|
|
<bb 3> [local count: 1073741824]:
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
On_Charging_Status ()
|
|
{
|
|
unsigned char GV_Charging_Status_val.1_1;
|
|
unsigned char _2;
|
|
|
|
<bb 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 <bb 3>; [50.00%]
|
|
else
|
|
goto <bb 4>; [50.00%]
|
|
|
|
<bb 3> [local count: 536870912]:
|
|
On_Charging_Status.part.0 ();
|
|
|
|
<bb 4> [local count: 1073741824]:
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
Check_Charging_Status ()
|
|
{
|
|
<unnamed-unsigned:3> _1;
|
|
unsigned char _2;
|
|
unsigned char _3;
|
|
|
|
<bb 2> [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 <bb 3>; [25.50%]
|
|
else
|
|
goto <bb 4>; [74.50%]
|
|
|
|
<bb 3> [local count: 273804165]:
|
|
# DEBUG BEGIN_STMT
|
|
On_Charging_Status ();
|
|
|
|
<bb 4> [local count: 1073741824]:
|
|
return;
|
|
|
|
}
|
|
|
|
|