Marking local functions: Marking externally visible functions: WIPER_CMD Marking externally visible variables: Reclaiming functions: Reclaiming variables: Clearing address taken flags: Symbol table: GV_WIPER_CMD/1 (GV_WIPER_CMD) @05eabe10 Type: variable Body removed by symtab_remove_unreachable_nodes Visibility: external public References: Referring: WIPER_CMD/0 (write)WIPER_CMD/0 (write)WIPER_CMD/0 (write)WIPER_CMD/0 (write) Availability: not_available Varpool flags: WIPER_CMD/0 (WIPER_CMD) @05eace00 Type: function definition analyzed Visibility: externally_visible public References: GV_WIPER_CMD/1 (write)GV_WIPER_CMD/1 (write)GV_WIPER_CMD/1 (write)GV_WIPER_CMD/1 (write) Referring: Availability: available Function flags: body optimize_size Called by: Calls: WIPER_CMD (int x) { : # DEBUG BEGIN_STMT if (x == 0) goto ; [INV] else goto ; [INV] : # DEBUG BEGIN_STMT GV_WIPER_CMD = 0; goto ; [INV] : # DEBUG BEGIN_STMT if (x == 1) goto ; [INV] else goto ; [INV] : # DEBUG BEGIN_STMT GV_WIPER_CMD = 1; goto ; [INV] : # DEBUG BEGIN_STMT if (x == 2) goto ; [INV] else goto ; [INV] : # DEBUG BEGIN_STMT GV_WIPER_CMD = 2; goto ; [INV] : # DEBUG BEGIN_STMT if (x == 3) goto ; [INV] else goto ; [INV] : # DEBUG BEGIN_STMT GV_WIPER_CMD = 3; : return; }