mirror of
https://github.com/Dev-KATECH/ADM.git
synced 2026-05-17 01:43:59 +09:00
117 lines
2.7 KiB
Plaintext
117 lines
2.7 KiB
Plaintext
Parsed function:On_Charging_Status.part.0
|
|
Parsed function:On_Charging_Status
|
|
Parsed function:Check_Charging_Status
|
|
Dump after hash based groups
|
|
Congruence classes: 3 (unique hash values: 3), with total: 3 items
|
|
Class size histogram [num of members]: number of classe number of classess
|
|
[1]: 3 classes
|
|
|
|
|
|
Dump after WPA based types groups
|
|
Congruence classes: 3 (unique hash values: 3), with total: 3 items
|
|
Class size histogram [num of members]: number of classe number of classess
|
|
[1]: 3 classes
|
|
|
|
|
|
Worklist has been filled with: 2
|
|
Address reference subdivision created: 0 new classes.
|
|
Dump after callgraph-based congruence reduction
|
|
Congruence classes: 3 (unique hash values: 3), with total: 3 items
|
|
Class size histogram [num of members]: number of classe number of classess
|
|
[1]: 3 classes
|
|
|
|
|
|
Init called for 0 items (0.00%).
|
|
Dump after full equality comparison of groups
|
|
Congruence classes: 3 (unique hash values: 3), with total: 3 items
|
|
Class size histogram [num of members]: number of classe number of classess
|
|
[1]: 3 classes
|
|
|
|
|
|
Worklist has been filled with: 2
|
|
Address reference subdivision created: 0 new classes.
|
|
Congruence classes: 3 (unique hash values: 3), with total: 3 items
|
|
Class size histogram [num of members]: number of classe number of classess
|
|
[1]: 3 classes
|
|
|
|
|
|
|
|
Item count: 3
|
|
Congruent classes before: 3, after: 3
|
|
Average class size before: 1.00, after: 1.00
|
|
Average non-singular class size: 0.00, count: 0
|
|
Equal symbols: 0
|
|
Fraction of visited symbols: 0.00%
|
|
|
|
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;
|
|
|
|
}
|
|
|
|
|