local analysis of WIPER_CMD
   scanning: if (x_2(D) == 0)
  scanning: GV_WIPER_CMD = 0;
  scanning: if (x_2(D) == 1)
  scanning: GV_WIPER_CMD = 1;
  scanning: if (x_2(D) == 2)
  scanning: GV_WIPER_CMD = 2;
  scanning: if (x_2(D) == 3)
  scanning: GV_WIPER_CMD = 3;
  scanning: return;
Function is locally const.
callgraph:

WIPER_CMD/0 (WIPER_CMD) @06b080e0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06616d00
  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: count:1073741823 (estimated locally) body optimize_size
  Called by: 
  Calls: 


 ordered call graph: reduced for nothrow
WIPER_CMD/0 (WIPER_CMD) @06b080e0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06616d00
  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: count:1073741823 (estimated locally) body optimize_size
  Called by: 
  Calls: 



MALLOC LATTICE Initial:
WIPER_CMD: malloc_bottom


MALLOC LATTICE after propagation:
WIPER_CMD: malloc_bottom
callgraph:

WIPER_CMD/0 (WIPER_CMD) @06b080e0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06616d00
  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: count:1073741823 (estimated locally) body optimize_size
  Called by: 
  Calls: 


 ordered call graph: reduced
WIPER_CMD/0 (WIPER_CMD) @06b080e0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06616d00
  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: count:1073741823 (estimated locally) body optimize_size
  Called by: 
  Calls: 

Function found not to call free: WIPER_CMD
WIPER_CMD (int x)
{
  <bb 2> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  if (x_2(D) == 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870911]:
  # DEBUG BEGIN_STMT
  GV_WIPER_CMD = 0;
  goto <bb 10>; [100.00%]

  <bb 4> [local count: 536870911]:
  # DEBUG BEGIN_STMT
  if (x_2(D) == 1)
    goto <bb 5>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 5> [local count: 182536110]:
  # DEBUG BEGIN_STMT
  GV_WIPER_CMD = 1;
  goto <bb 10>; [100.00%]

  <bb 6> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  if (x_2(D) == 2)
    goto <bb 7>; [34.00%]
  else
    goto <bb 8>; [66.00%]

  <bb 7> [local count: 120473832]:
  # DEBUG BEGIN_STMT
  GV_WIPER_CMD = 2;
  goto <bb 10>; [100.00%]

  <bb 8> [local count: 233860969]:
  # DEBUG BEGIN_STMT
  if (x_2(D) == 3)
    goto <bb 9>; [34.00%]
  else
    goto <bb 10>; [66.00%]

  <bb 9> [local count: 79512729]:
  # DEBUG BEGIN_STMT
  GV_WIPER_CMD = 3;

  <bb 10> [local count: 1073741824]:
  return;

}