Symbol table: GV_VCU_Vx_Fbk/10 (GV_VCU_Vx_Fbk) @069efb40 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: BREAK_Speed/4 (read) Availability: not_available Varpool flags: GV_RCU_BrakeTorqueCommand/9 (GV_RCU_BrakeTorqueCommand) @069efaf8 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: BREAK_Speed/4 (write)BREAK_Speed/4 (write)BREAK_Speed/4 (write) Availability: not_available Varpool flags: GV_BrakeTorqueCommand/8 (GV_BrakeTorqueCommand) @069efab0 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: BREAK_Speed/4 (write)BREAK_Speed/4 (write)BREAK_Speed/4 (write) Availability: not_available Varpool flags: Cur_CLMAP_FORCE/7 (Cur_CLMAP_FORCE) @069efa68 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: BREAK_Speed/4 (read)BREAK_Speed/4 (write)BREAK_Speed/4 (read)BREAK_Speed/4 (write) Availability: not_available Varpool flags: GV_MASTER_CLMAP_FORCE/6 (GV_MASTER_CLMAP_FORCE) @069efa20 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: BREAK_Speed/4 (read) Availability: not_available Varpool flags: GV_Operation_Mode/5 (GV_Operation_Mode) @069ef9d8 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: BREAK_Speed/4 (read) Availability: not_available Varpool flags: BREAK_Speed/4 (BREAK_Speed) @06b38700 Type: function definition analyzed Visibility: externally_visible public References: GV_Operation_Mode/5 (read)GV_MASTER_CLMAP_FORCE/6 (read)Cur_CLMAP_FORCE/7 (read)BREAK_Speed_limit/0 (read)Cur_CLMAP_FORCE/7 (write)GV_BrakeTorqueCommand/8 (write)GV_RCU_BrakeTorqueCommand/9 (write)Cur_CLMAP_FORCE/7 (read)BREAK_Speed_limit/0 (read)Cur_CLMAP_FORCE/7 (write)GV_BrakeTorqueCommand/8 (write)GV_RCU_BrakeTorqueCommand/9 (write)Auto_Brake_Flag/1 (read)Auto_Brake_Flag/1 (write)Auto_Brake_Flag/1 (read)GV_VCU_Vx_Fbk/10 (read)temp_Vehicle_Speed/2 (write)Auto_Brake_Flag/1 (write)Auto_Brake_Flag/1 (read)temp_Vehicle_Speed/2 (read)Auto_Brake_Tunning/3 (read)GV_BrakeTorqueCommand/8 (write)GV_RCU_BrakeTorqueCommand/9 (write)Auto_Brake_Flag/1 (write) Referring: Availability: available Function flags: count:1073741823 (estimated locally) body optimize_size Called by: Calls: Auto_Brake_Tunning/3 (Auto_Brake_Tunning) @06b33b40 Type: variable definition analyzed Visibility: externally_visible public References: Referring: BREAK_Speed/4 (read) Availability: available Varpool flags: initialized temp_Vehicle_Speed/2 (temp_Vehicle_Speed) @06b33ab0 Type: variable definition analyzed Visibility: externally_visible public References: Referring: BREAK_Speed/4 (write)BREAK_Speed/4 (read) Availability: available Varpool flags: initialized Auto_Brake_Flag/1 (Auto_Brake_Flag) @06b33a20 Type: variable definition analyzed Visibility: externally_visible public References: Referring: BREAK_Speed/4 (read)BREAK_Speed/4 (write)BREAK_Speed/4 (read)BREAK_Speed/4 (write)BREAK_Speed/4 (read)BREAK_Speed/4 (write) Availability: available Varpool flags: initialized BREAK_Speed_limit/0 (BREAK_Speed_limit) @06b33990 Type: variable definition analyzed Visibility: externally_visible public References: Referring: BREAK_Speed/4 (read)BREAK_Speed/4 (read) Availability: available Varpool flags: initialized BREAK_Speed () { unsigned char GV_Operation_Mode.0_1; float GV_MASTER_CLMAP_FORCE.1_2; float Cur_CLMAP_FORCE.2_3; int BREAK_Speed_limit.6_4; float _5; float _6; float Cur_CLMAP_FORCE.9_7; int BREAK_Speed_limit.11_8; float _9; float _10; int Auto_Brake_Flag.16_11; int Auto_Brake_Flag.17_12; float GV_VCU_Vx_Fbk.18_13; int Auto_Brake_Flag.19_14; float temp_Vehicle_Speed.20_15; float _16; float Auto_Brake_Tunning.21_17; float _18; [local count: 1073741823]: # DEBUG BEGIN_STMT GV_Operation_Mode.0_1 = GV_Operation_Mode; if (GV_Operation_Mode.0_1 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 365072220]: # DEBUG BEGIN_STMT GV_MASTER_CLMAP_FORCE.1_2 = GV_MASTER_CLMAP_FORCE; Cur_CLMAP_FORCE.2_3 = Cur_CLMAP_FORCE; if (GV_MASTER_CLMAP_FORCE.1_2 != Cur_CLMAP_FORCE.2_3) goto ; [50.00%] else goto ; [50.00%] [local count: 182536110]: # DEBUG BEGIN_STMT if (GV_MASTER_CLMAP_FORCE.1_2 < Cur_CLMAP_FORCE.2_3) goto ; [50.00%] else goto ; [50.00%] [local count: 91268055]: # DEBUG BEGIN_STMT BREAK_Speed_limit.6_4 = BREAK_Speed_limit; _5 = (float) BREAK_Speed_limit.6_4; _6 = Cur_CLMAP_FORCE.2_3 - _5; Cur_CLMAP_FORCE = _6; # DEBUG BEGIN_STMT GV_BrakeTorqueCommand = _6; # DEBUG BEGIN_STMT GV_RCU_BrakeTorqueCommand = _6; [local count: 182536110]: # DEBUG BEGIN_STMT Cur_CLMAP_FORCE.9_7 = Cur_CLMAP_FORCE; if (GV_MASTER_CLMAP_FORCE.1_2 > Cur_CLMAP_FORCE.9_7) goto ; [50.00%] else goto ; [50.00%] [local count: 91268055]: # DEBUG BEGIN_STMT BREAK_Speed_limit.11_8 = BREAK_Speed_limit; _9 = (float) BREAK_Speed_limit.11_8; _10 = Cur_CLMAP_FORCE.9_7 + _9; Cur_CLMAP_FORCE = _10; # DEBUG BEGIN_STMT GV_BrakeTorqueCommand = _10; # DEBUG BEGIN_STMT GV_RCU_BrakeTorqueCommand = _10; [local count: 1073741823]: # DEBUG BEGIN_STMT if (GV_Operation_Mode.0_1 == 2) goto ; [34.00%] else goto ; [66.00%] [local count: 365072220]: # DEBUG BEGIN_STMT Auto_Brake_Flag.16_11 = Auto_Brake_Flag; if (Auto_Brake_Flag.16_11 == 0) goto ; [50.00%] else goto ; [50.00%] [local count: 182536110]: # DEBUG BEGIN_STMT Auto_Brake_Flag = 1; [local count: 365072220]: # DEBUG BEGIN_STMT Auto_Brake_Flag.17_12 = Auto_Brake_Flag; if (Auto_Brake_Flag.17_12 == 1) goto ; [34.00%] else goto ; [66.00%] [local count: 124124555]: # DEBUG BEGIN_STMT GV_VCU_Vx_Fbk.18_13 = GV_VCU_Vx_Fbk; temp_Vehicle_Speed = GV_VCU_Vx_Fbk.18_13; # DEBUG BEGIN_STMT Auto_Brake_Flag = 2; [local count: 365072220]: # DEBUG BEGIN_STMT Auto_Brake_Flag.19_14 = Auto_Brake_Flag; if (Auto_Brake_Flag.19_14 == 2) goto ; [34.00%] else goto ; [66.00%] [local count: 124124555]: # DEBUG BEGIN_STMT temp_Vehicle_Speed.20_15 = temp_Vehicle_Speed; _16 = temp_Vehicle_Speed.20_15 * 1.0e+1; Auto_Brake_Tunning.21_17 = Auto_Brake_Tunning; _18 = _16 * Auto_Brake_Tunning.21_17; GV_BrakeTorqueCommand = _18; # DEBUG BEGIN_STMT GV_RCU_BrakeTorqueCommand = _18; goto ; [100.00%] [local count: 708669604]: # DEBUG BEGIN_STMT Auto_Brake_Flag = 0; [local count: 1073741824]: return; }