Parsed function:Emergency_Stop_Mode_Func.part.0 Parsed function:Operation_Mode_Func Parsed function:Vehicle_Environment Parsed function:Operation_IDB_RWA Parsed function:Emergency_Stop_Mode_Func Parsed function:Mannual_Mode_Func Parsed function:Autonomous_Mode_Func Parsed function:Default_Mode_Func Parsed function:Operation_Mode_Check Dump after hash based groups Congruence classes: 9 (unique hash values: 9), with total: 9 items Class size histogram [num of members]: number of classe number of classess [1]: 9 classes Dump after WPA based types groups Congruence classes: 9 (unique hash values: 9), with total: 9 items Class size histogram [num of members]: number of classe number of classess [1]: 9 classes Worklist has been filled with: 8 Address reference subdivision created: 0 new classes. Dump after callgraph-based congruence reduction Congruence classes: 9 (unique hash values: 9), with total: 9 items Class size histogram [num of members]: number of classe number of classess [1]: 9 classes Init called for 0 items (0.00%). Dump after full equality comparison of groups Congruence classes: 9 (unique hash values: 9), with total: 9 items Class size histogram [num of members]: number of classe number of classess [1]: 9 classes Worklist has been filled with: 8 Address reference subdivision created: 0 new classes. Congruence classes: 9 (unique hash values: 9), with total: 9 items Class size histogram [num of members]: number of classe number of classess [1]: 9 classes Item count: 9 Congruent classes before: 9, after: 9 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% Emergency_Stop_Mode_Func.part.0 () { [local count: 1073741824]: [local count: 1073741824]: # DEBUG BEGIN_STMT GV_Out_Lamp_BRAKE_CMD = 0; # DEBUG BEGIN_STMT GV_Out_Lamp_Hazard_CMD = 0; # DEBUG BEGIN_STMT GV_VCU_RC_Emergency_Stop = 0; # DEBUG BEGIN_STMT GV_VCU_ACU_Emergency_Stop = 0; # DEBUG BEGIN_STMT GV_VCU_Drive_Mode = 3; [local count: 1073741824]: return; } Operation_Mode_Func () { unsigned char GV_Operation_Mode.56_1; [local count: 1073741824]: # DEBUG BEGIN_STMT Operation_IDB_RWA (); # DEBUG BEGIN_STMT Vehicle_Environment (); # DEBUG BEGIN_STMT Operation_Mode_Check (); # DEBUG BEGIN_STMT GV_Operation_Mode.56_1 = GV_Operation_Mode; if (GV_Operation_Mode.56_1 == 0) goto ; [33.00%] else goto ; [67.00%] [local count: 354334802]: # DEBUG BEGIN_STMT Autonomous_Mode_Func (); goto ; [100.00%] [local count: 719407023]: # DEBUG BEGIN_STMT if (GV_Operation_Mode.56_1 == 1) goto ; [20.24%] else goto ; [79.76%] [local count: 145607981]: # DEBUG BEGIN_STMT Mannual_Mode_Func (); goto ; [100.00%] [local count: 573799041]: # DEBUG BEGIN_STMT if (GV_Operation_Mode.56_1 == 2) goto ; [20.24%] else goto ; [79.76%] [local count: 116136926]: # DEBUG BEGIN_STMT Emergency_Stop_Mode_Func (); goto ; [100.00%] [local count: 457662114]: # DEBUG BEGIN_STMT if (GV_Operation_Mode.56_1 == 3) goto ; [20.24%] else goto ; [79.76%] [local count: 92630812]: # DEBUG BEGIN_STMT Default_Mode_Func (); [local count: 1073741824]: return; } Vehicle_Environment () { [local count: 1073741824]: # DEBUG BEGIN_STMT GV_Env_384_EnvironmentTemperature = 0; # DEBUG BEGIN_STMT GV_Env_384_EnvironmentTemperatureValid = 0; # DEBUG BEGIN_STMT GV_Env_384_TimestampDay = 21; # DEBUG BEGIN_STMT GV_Env_384_TimestampHour = 0; # DEBUG BEGIN_STMT GV_Env_384_TimestampMinute = 0; # DEBUG BEGIN_STMT GV_Env_384_TimestampMonth = 6; # DEBUG BEGIN_STMT GV_Env_384_TimestampSecond = 0; # DEBUG BEGIN_STMT GV_Env_384_TimestampYear = 24; # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT return; } Operation_IDB_RWA () { float GV_VCU_TrqCmd.53_1; long unsigned int _2; long unsigned int GV_VCU_GearSelStat.54_3; [local count: 1073741824]: # DEBUG BEGIN_STMT GV_VCU_TrqCmd.53_1 = GV_VCU_TrqCmd; _2 = (long unsigned int) GV_VCU_TrqCmd.53_1; GV_DriveTorqueCommand = _2; # DEBUG BEGIN_STMT GV_DriveTorqueCommandValid = 1; # DEBUG BEGIN_STMT GV_PowertrainMode = 1; # DEBUG BEGIN_STMT GV_VCU_GearSelStat.54_3 = GV_VCU_GearSelStat; GV_GearPosition = GV_VCU_GearSelStat.54_3; # DEBUG BEGIN_STMT GV_RCU_PowertrainMode = 1; # DEBUG BEGIN_STMT GV_RCU_GearPosition = GV_VCU_GearSelStat.54_3; # DEBUG BEGIN_STMT GV_IDB_032_WakeUpCommand = 1; # DEBUG BEGIN_STMT GV_RCU_033_WakeUpCommand = 1; # DEBUG BEGIN_STMT GV_RWA_040_RackAngleCmdValid = 1; # DEBUG BEGIN_STMT GV_RWA2_040_RackAngleCmdValid = 1; # DEBUG BEGIN_STMT GV_RWA_310_ModeCommand = 1; # DEBUG BEGIN_STMT GV_RWA_310_WakeupCommand = 1; # DEBUG BEGIN_STMT GV_RWA2_310_ModeCommand = 0; # DEBUG BEGIN_STMT GV_RWA2_310_WakeupCommand = 0; # DEBUG BEGIN_STMT GV_RWS1_040_RackAngleCmdValid = 1; # DEBUG BEGIN_STMT GV_RWS1_310_WakeupCommand = 1; # DEBUG BEGIN_STMT GV_RWS1_310_ModeCommand = 1; # DEBUG BEGIN_STMT GV_RWS2_040_RackAngleCmdValid = 1; # DEBUG BEGIN_STMT GV_RWS2_310_WakeupCommand = 0; # DEBUG BEGIN_STMT GV_RWS2_310_ModeCommand = 0; return; } Emergency_Stop_Mode_Func () { short unsigned int EMEMERGNECY_BUTTEN.49_1; long unsigned int GV_RC_Emergency_Stop.50_2; long unsigned int GV_ACU_Emergency_Stop.51_3; long unsigned int GV_RC_ALV_FLAG.52_4; [local count: 1073741824]: # DEBUG BEGIN_STMT BREAK_Speed (); # DEBUG BEGIN_STMT GV_Out_Lamp_BRAKE_CMD = 2; # DEBUG BEGIN_STMT GV_Out_Lamp_Hazard_CMD = 2; # DEBUG BEGIN_STMT GV_VCU_RC_Emergency_Stop = 1; # DEBUG BEGIN_STMT GV_VCU_ACU_Emergency_Stop = 1; # DEBUG BEGIN_STMT HV_OFF_FUNC (); # DEBUG BEGIN_STMT GV_VCU_TrqCmd = 0.0; # DEBUG BEGIN_STMT EMEMERGNECY_BUTTEN.49_1 = EMEMERGNECY_BUTTEN; if (EMEMERGNECY_BUTTEN.49_1 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 536870913]: GV_RC_Emergency_Stop.50_2 = GV_RC_Emergency_Stop; if (GV_RC_Emergency_Stop.50_2 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 268435456]: GV_ACU_Emergency_Stop.51_3 = GV_ACU_Emergency_Stop; if (GV_ACU_Emergency_Stop.51_3 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 134217728]: GV_RC_ALV_FLAG.52_4 = GV_RC_ALV_FLAG; if (GV_RC_ALV_FLAG.52_4 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 67108864]: Emergency_Stop_Mode_Func.part.0 (); [local count: 1073741824]: return; } Mannual_Mode_Func () { float GV_RC_RWA_RackAngleCommand.32_1; double _2; long unsigned int GV_Tunning_Slewrate.33_3; double _4; float GV_VCU_Vx_Fbk.34_5; double _6; double _7; double _8; double _9; double _10; float _11; float GV_RWA1_RackAngleFbk.39_12; float GV_SpeedGoat_BrakeTorqueCommand_master.40_13; float GV_Hiil_BrakeTorqueCommand.42_14; float _15; float GV_RC_BrakeTorqueCommand_Master.43_16; float GV_Hiil_BrakeTorqueCommand.44_17; float _18; long unsigned int GV_RC_GearSelStat.45_19; long unsigned int GV_RC_Emergency_Stop.46_20; long unsigned int GV_RC_VX_Limit.47_21; float GV_VCU_Dynamics_TrqCmd.48_22; [local count: 1073741824]: # DEBUG BEGIN_STMT HV_ON_FUNC (); # DEBUG BEGIN_STMT GV_RC_RWA_RackAngleCommand.32_1 = GV_RC_RWA_RackAngleCommand; _2 = (double) GV_RC_RWA_RackAngleCommand.32_1; RateLimiter_U.Data_Input = _2; # DEBUG BEGIN_STMT GV_Tunning_Slewrate.33_3 = GV_Tunning_Slewrate; _4 = (double) GV_Tunning_Slewrate.33_3; GV_VCU_Vx_Fbk.34_5 = GV_VCU_Vx_Fbk; _6 = (double) GV_VCU_Vx_Fbk.34_5; _7 = _6 * 6.5e+0; _8 = _4 - _7; _9 = -_8; RateLimiter_U.Down_Slewrate = _9; # DEBUG BEGIN_STMT if (_9 > -1.4e+2) goto ; [50.00%] else goto ; [50.00%] [local count: 536870913]: # DEBUG BEGIN_STMT RateLimiter_U.Down_Slewrate = -1.4e+2; [local count: 1073741824]: # DEBUG BEGIN_STMT RateLimiter_U.Upper_Slewrate = _8; # DEBUG BEGIN_STMT if (_8 < 1.4e+2) goto ; [50.00%] else goto ; [50.00%] [local count: 536870913]: # DEBUG BEGIN_STMT RateLimiter_U.Upper_Slewrate = 1.4e+2; [local count: 1073741824]: # DEBUG BEGIN_STMT RateLimiter_step (); # DEBUG BEGIN_STMT _10 = RateLimiter_Y.Data_Output; _11 = (float) _10; GV_MASTER_RWA_RackAngleCommand = _11; # DEBUG BEGIN_STMT GV_RWA_040_RackAngleCmd = _11; # DEBUG BEGIN_STMT GV_RWA2_040_RackAngleCmd = _11; # DEBUG BEGIN_STMT GV_RWS1_040_RackAngleCmd = 0.0; # DEBUG BEGIN_STMT GV_RWS2_040_RackAngleCmd = 0.0; # DEBUG BEGIN_STMT GV_RWA1_RackAngleFbk.39_12 = GV_RWA1_RackAngleFbk; GV_VCU_RWA_Rack_Fbk = GV_RWA1_RackAngleFbk.39_12; # DEBUG BEGIN_STMT BREAK_Speed (); # DEBUG BEGIN_STMT GV_SpeedGoat_BrakeTorqueCommand_master.40_13 = GV_SpeedGoat_BrakeTorqueCommand_master; if (GV_SpeedGoat_BrakeTorqueCommand_master.40_13 != 0.0) goto ; [50.00%] else goto ; [50.00%] [local count: 536870913]: # DEBUG BEGIN_STMT GV_Hiil_BrakeTorqueCommand.42_14 = GV_Hiil_BrakeTorqueCommand; _15 = GV_SpeedGoat_BrakeTorqueCommand_master.40_13 + GV_Hiil_BrakeTorqueCommand.42_14; GV_BrakeTorqueCommand = _15; goto ; [100.00%] [local count: 536870913]: # DEBUG BEGIN_STMT GV_RC_BrakeTorqueCommand_Master.43_16 = GV_RC_BrakeTorqueCommand_Master; GV_Hiil_BrakeTorqueCommand.44_17 = GV_Hiil_BrakeTorqueCommand; _18 = GV_RC_BrakeTorqueCommand_Master.43_16 + GV_Hiil_BrakeTorqueCommand.44_17; GV_BrakeTorqueCommand = _18; [local count: 1073741824]: # DEBUG BEGIN_STMT GV_RC_GearSelStat.45_19 = GV_RC_GearSelStat; GV_VCU_GearSelStat = GV_RC_GearSelStat.45_19; # DEBUG BEGIN_STMT GV_RC_Emergency_Stop.46_20 = GV_RC_Emergency_Stop; if (GV_RC_Emergency_Stop.46_20 != 1) goto ; [66.00%] else goto ; [34.00%] [local count: 708669605]: # DEBUG BEGIN_STMT GV_VCU_RC_Emergency_Stop = 0; [local count: 1073741824]: # DEBUG BEGIN_STMT GV_RC_VX_Limit.47_21 = GV_RC_VX_Limit; GV_VCU_Vx_Limit = GV_RC_VX_Limit.47_21; # DEBUG BEGIN_STMT GV_VCU_Dynamics_TrqCmd.48_22 = GV_VCU_Dynamics_TrqCmd; GV_VCU_TrqCmd = GV_VCU_Dynamics_TrqCmd.48_22; return; } Autonomous_Mode_Func () { float GV_ACU_RWA_cmd_deg.22_1; float GV_ACU_RWS_cmd_deg.24_2; long unsigned int GV_VCU_GearSelStat.26_3; long unsigned int GV_ACU_Emergency_Stop.28_4; long unsigned int GV_ACU_VCU_GearPos.29_5; float GV_Dynamics_BrakeTorqueCommand.30_6; float GV_ACU_BrakeTorqueCommand.31_7; float _8; [local count: 1073741824]: # DEBUG BEGIN_STMT HV_ON_FUNC (); # DEBUG BEGIN_STMT GV_ACU_RWA_cmd_deg.22_1 = GV_ACU_RWA_cmd_deg; GV_MASTER_RWA_RackAngleCommand = GV_ACU_RWA_cmd_deg.22_1; # DEBUG BEGIN_STMT GV_RWA_040_RackAngleCmd = GV_ACU_RWA_cmd_deg.22_1; # DEBUG BEGIN_STMT GV_ACU_RWS_cmd_deg.24_2 = GV_ACU_RWS_cmd_deg; GV_MASTER_RWS_RackAngleCommand = GV_ACU_RWS_cmd_deg.24_2; # DEBUG BEGIN_STMT GV_RWS1_040_RackAngleCmd = GV_ACU_RWS_cmd_deg.24_2; # DEBUG BEGIN_STMT GV_VCU_GearSelStat.26_3 = GV_VCU_GearSelStat; if (GV_VCU_GearSelStat.26_3 == 1) goto ; [20.24%] else goto ; [79.76%] [local count: 856416480]: if (GV_VCU_GearSelStat.26_3 == 3) goto ; [34.00%] else goto ; [66.00%] [local count: 508506948]: # DEBUG BEGIN_STMT Set_ACU_VCU_Dynamics_logic (); [local count: 1073741824]: # DEBUG BEGIN_STMT GV_ACU_Emergency_Stop.28_4 = GV_ACU_Emergency_Stop; if (GV_ACU_Emergency_Stop.28_4 != 1) goto ; [66.00%] else goto ; [34.00%] [local count: 708669605]: # DEBUG BEGIN_STMT GV_VCU_ACU_Emergency_Stop = 0; [local count: 1073741824]: # DEBUG BEGIN_STMT GV_ACU_VCU_GearPos.29_5 = GV_ACU_VCU_GearPos; GV_VCU_GearSelStat = GV_ACU_VCU_GearPos.29_5; # DEBUG BEGIN_STMT GV_Dynamics_BrakeTorqueCommand.30_6 = GV_Dynamics_BrakeTorqueCommand; GV_ACU_BrakeTorqueCommand.31_7 = GV_ACU_BrakeTorqueCommand; _8 = GV_Dynamics_BrakeTorqueCommand.30_6 + GV_ACU_BrakeTorqueCommand.31_7; GV_BrakeTorqueCommand = _8; return; } Default_Mode_Func () { short unsigned int EMEMERGNECY_BUTTEN.19_1; long unsigned int GV_RC_Emergency_Stop.20_2; long unsigned int GV_ACU_Emergency_Stop.21_3; [local count: 1073741824]: # DEBUG BEGIN_STMT GV_BrakeTorqueCommand = 0.0; # DEBUG BEGIN_STMT GV_VCU_TrqCmd = 0.0; # DEBUG BEGIN_STMT GV_MASTER_RWA_RackAngleCommand = 0.0; # DEBUG BEGIN_STMT GV_MASTER_RWS_RackAngleCommand = 0.0; # DEBUG BEGIN_STMT HV_OFF_FUNC (); # DEBUG BEGIN_STMT EMEMERGNECY_BUTTEN.19_1 = EMEMERGNECY_BUTTEN; if (EMEMERGNECY_BUTTEN.19_1 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 536870913]: GV_RC_Emergency_Stop.20_2 = GV_RC_Emergency_Stop; if (GV_RC_Emergency_Stop.20_2 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 268435456]: GV_ACU_Emergency_Stop.21_3 = GV_ACU_Emergency_Stop; if (GV_ACU_Emergency_Stop.21_3 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 134217728]: # DEBUG BEGIN_STMT GV_Out_Lamp_BRAKE_CMD = 0; # DEBUG BEGIN_STMT GV_Out_Lamp_Hazard_CMD = 0; # DEBUG BEGIN_STMT GV_RC_Lamp_Hazard_CMD = 0; # DEBUG BEGIN_STMT GV_RC_Lamp_BRAKE_CMD = 0; [local count: 1073741824]: # DEBUG BEGIN_STMT GV_VCU_RC_Emergency_Stop = 0; # DEBUG BEGIN_STMT GV_VCU_ACU_Emergency_Stop = 0; # DEBUG BEGIN_STMT GV_Out_Lamp_HBEAM_CMD = 0; # DEBUG BEGIN_STMT GV_Out_Lamp_Head_CMD = 0; # DEBUG BEGIN_STMT GV_Out_Lamp_LTRN_CMD = 0; # DEBUG BEGIN_STMT GV_Out_Lamp_Reverse_CMD = 0; # DEBUG BEGIN_STMT GV_Out_Lamp_RTRN_CMD = 0; # DEBUG BEGIN_STMT GV_Out_Lamp_Position_CMD = 0; # DEBUG BEGIN_STMT GV_Out_Lamp_DRL_CMD = 1; # DEBUG BEGIN_STMT GV_Out_Wiper_CMD = 0; return; } Operation_Mode_Check () { long unsigned int GV_RC_Emergency_Stop.0_1; short unsigned int EMEMERGNECY_BUTTEN.1_2; long unsigned int GV_ACU_Emergency_Stop.2_3; long unsigned int GV_RC_ALV_FLAG.3_4; long unsigned int GV_ACU_Drive_mode.4_5; long unsigned int GV_VCU_Drive_Mode.5_6; long unsigned int GV_RC_Drive_Mode.6_7; long unsigned int GV_RC_Drive_Mode.7_8; long unsigned int GV_VCU_Drive_Mode.8_9; long unsigned int GV_VCU_Drive_Mode.11_10; long unsigned int GV_VCU_Drive_Mode.13_11; long unsigned int GV_VCU_Drive_Mode.17_12; unsigned char _13; unsigned char GV_Charging_Status_val.18_14; unsigned char _15; [local count: 1073741823]: # DEBUG BEGIN_STMT GV_RC_Emergency_Stop.0_1 = GV_RC_Emergency_Stop; if (GV_RC_Emergency_Stop.0_1 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 708669604]: EMEMERGNECY_BUTTEN.1_2 = EMEMERGNECY_BUTTEN; if (EMEMERGNECY_BUTTEN.1_2 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 467721938]: GV_ACU_Emergency_Stop.2_3 = GV_ACU_Emergency_Stop; if (GV_ACU_Emergency_Stop.2_3 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 308696479]: GV_RC_ALV_FLAG.3_4 = GV_RC_ALV_FLAG; if (GV_RC_ALV_FLAG.3_4 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 870002147]: # DEBUG BEGIN_STMT GV_VCU_Drive_Mode = 2; goto ; [100.00%] [local count: 203739676]: # DEBUG BEGIN_STMT GV_ACU_Drive_mode.4_5 = GV_ACU_Drive_mode; if (GV_ACU_Drive_mode.4_5 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 69271490]: GV_VCU_Drive_Mode.5_6 = GV_VCU_Drive_Mode; if (GV_VCU_Drive_Mode.5_6 == 3) goto ; [34.00%] else goto ; [66.00%] [local count: 23552307]: GV_RC_Drive_Mode.6_7 = GV_RC_Drive_Mode; if (GV_RC_Drive_Mode.6_7 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 11776153]: # DEBUG BEGIN_STMT GV_VCU_Drive_Mode = 0; goto ; [100.00%] [local count: 191963523]: # DEBUG BEGIN_STMT GV_RC_Drive_Mode.7_8 = GV_RC_Drive_Mode; if (GV_RC_Drive_Mode.7_8 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 65267598]: GV_VCU_Drive_Mode.8_9 = GV_VCU_Drive_Mode; if (GV_VCU_Drive_Mode.8_9 == 3) goto ; [34.00%] else goto ; [66.00%] [local count: 22190983]: if (GV_ACU_Drive_mode.4_5 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 11095492]: # DEBUG BEGIN_STMT GV_VCU_Drive_Mode = 1; goto ; [100.00%] [local count: 180868032]: # DEBUG BEGIN_STMT if (GV_ACU_Drive_mode.4_5 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 90434016]: GV_VCU_Drive_Mode.11_10 = GV_VCU_Drive_Mode; if (GV_VCU_Drive_Mode.11_10 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 45217008]: # DEBUG BEGIN_STMT GV_VCU_Drive_Mode = 3; goto ; [100.00%] [local count: 135651024]: # DEBUG BEGIN_STMT if (GV_RC_Drive_Mode.7_8 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 67825512]: GV_VCU_Drive_Mode.13_11 = GV_VCU_Drive_Mode; if (GV_VCU_Drive_Mode.13_11 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 23060674]: # DEBUG BEGIN_STMT GV_VCU_Drive_Mode = 3; goto ; [100.00%] [local count: 112590350]: # DEBUG BEGIN_STMT if (GV_RC_Drive_Mode.7_8 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 38280719]: if (GV_ACU_Drive_mode.4_5 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 13015444]: if (GV_ACU_Emergency_Stop.2_3 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 6507722]: # DEBUG BEGIN_STMT GV_VCU_Drive_Mode = 1; [local count: 1073741824]: # DEBUG BEGIN_STMT GV_VCU_Drive_Mode.17_12 = GV_VCU_Drive_Mode; _13 = (unsigned char) GV_VCU_Drive_Mode.17_12; GV_Operation_Mode = _13; # DEBUG BEGIN_STMT GV_Charging_Status_val.18_14 = GV_Charging_Status_val; _15 = GV_Charging_Status_val.18_14 + 255; if (_15 <= 1) goto ; [41.00%] else goto ; [59.00%] [local count: 440234148]: # DEBUG BEGIN_STMT GV_Operation_Mode = 3; [local count: 1073741824]: return; }