local analysis of PWM_for_dirve_mode
   scanning: GV_Operation_Mode.0_1 = GV_Operation_Mode;
  scanning: if (GV_Operation_Mode.0_1 == 1)
  scanning: GV_PWM_1.1_2 = GV_PWM_1;
  scanning: if (GV_PWM_1.1_2 == 0)
  scanning: Set_PWM_Duty (0, 1.0e+2);
  scanning: Set_PWM_Duty (1, 0.0);
  scanning: GV_PWM_1 = 1;
  scanning: GV_PWM_2 = 0;
  scanning: Set_PWM_Duty (0, 0.0);
  scanning: Set_PWM_Duty (1, 0.0);
  scanning: GV_PWM_1 = 0;
  scanning: GV_PWM_2 = 0;
  scanning: if (GV_Operation_Mode.0_1 == 0)
  scanning: GV_PWM_2.3_3 = GV_PWM_2;
  scanning: if (GV_PWM_2.3_3 == 0)
  scanning: Set_PWM_Duty (1, 1.0e+2);
  scanning: Set_PWM_Duty (0, 0.0);
  scanning: GV_PWM_2 = 1;
  scanning: GV_PWM_1 = 0;
  scanning: Set_PWM_Duty (1, 0.0);
  scanning: Set_PWM_Duty (0, 0.0);
  scanning: GV_PWM_2 = 0;
  scanning: GV_PWM_1 = 0;
  scanning: Set_PWM_Duty (1, 0.0);
  scanning: Set_PWM_Duty (0, 0.0);
  scanning: GV_PWM_2 = 0;
  scanning: GV_PWM_1 = 0;
  scanning: return;
Function is locally const.
callgraph:

Set_PWM_Duty/3 (Set_PWM_Duty) @06abf2a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: PWM_for_dirve_mode/0 (233860969 (estimated locally),0.22 per call) PWM_for_dirve_mode/0 (233860969 (estimated locally),0.22 per call) PWM_for_dirve_mode/0 (237404317 (estimated locally),0.22 per call) PWM_for_dirve_mode/0 (237404317 (estimated locally),0.22 per call) PWM_for_dirve_mode/0 (237404317 (estimated locally),0.22 per call) PWM_for_dirve_mode/0 (237404317 (estimated locally),0.22 per call) PWM_for_dirve_mode/0 (182536110 (estimated locally),0.17 per call) PWM_for_dirve_mode/0 (182536110 (estimated locally),0.17 per call) PWM_for_dirve_mode/0 (182536110 (estimated locally),0.17 per call) PWM_for_dirve_mode/0 (182536110 (estimated locally),0.17 per call) 
  Calls: 
PWM_for_dirve_mode/0 (PWM_for_dirve_mode) @06ab8b60
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @04ad66b8
  References: GV_Operation_Mode/1 (read)GV_PWM_1/2 (read)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_2/4 (read)GV_PWM_2/4 (write)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_1/2 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Set_PWM_Duty/3 (233860969 (estimated locally),0.22 per call) Set_PWM_Duty/3 (233860969 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) 


 ordered call graph: reduced for nothrow
PWM_for_dirve_mode/0 (PWM_for_dirve_mode) @06ab8b60
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @04ad66b8
  References: GV_Operation_Mode/1 (read)GV_PWM_1/2 (read)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_2/4 (read)GV_PWM_2/4 (write)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_1/2 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Set_PWM_Duty/3 (233860969 (estimated locally),0.22 per call) Set_PWM_Duty/3 (233860969 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) 



MALLOC LATTICE Initial:
PWM_for_dirve_mode: malloc_bottom


MALLOC LATTICE after propagation:
PWM_for_dirve_mode: malloc_bottom
callgraph:

Set_PWM_Duty/3 (Set_PWM_Duty) @06abf2a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: PWM_for_dirve_mode/0 (233860969 (estimated locally),0.22 per call) PWM_for_dirve_mode/0 (233860969 (estimated locally),0.22 per call) PWM_for_dirve_mode/0 (237404317 (estimated locally),0.22 per call) PWM_for_dirve_mode/0 (237404317 (estimated locally),0.22 per call) PWM_for_dirve_mode/0 (237404317 (estimated locally),0.22 per call) PWM_for_dirve_mode/0 (237404317 (estimated locally),0.22 per call) PWM_for_dirve_mode/0 (182536110 (estimated locally),0.17 per call) PWM_for_dirve_mode/0 (182536110 (estimated locally),0.17 per call) PWM_for_dirve_mode/0 (182536110 (estimated locally),0.17 per call) PWM_for_dirve_mode/0 (182536110 (estimated locally),0.17 per call) 
  Calls: 
PWM_for_dirve_mode/0 (PWM_for_dirve_mode) @06ab8b60
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @04ad6758
  References: GV_Operation_Mode/1 (read)GV_PWM_1/2 (read)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_2/4 (read)GV_PWM_2/4 (write)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_1/2 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Set_PWM_Duty/3 (233860969 (estimated locally),0.22 per call) Set_PWM_Duty/3 (233860969 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) 


 ordered call graph: reduced
PWM_for_dirve_mode/0 (PWM_for_dirve_mode) @06ab8b60
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @04ad6758
  References: GV_Operation_Mode/1 (read)GV_PWM_1/2 (read)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_2/4 (read)GV_PWM_2/4 (write)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_1/2 (write)GV_PWM_2/4 (write)GV_PWM_1/2 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: Set_PWM_Duty/3 (233860969 (estimated locally),0.22 per call) Set_PWM_Duty/3 (233860969 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (237404317 (estimated locally),0.22 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) Set_PWM_Duty/3 (182536110 (estimated locally),0.17 per call) 

PWM_for_dirve_mode ()
{
  unsigned char GV_Operation_Mode.0_1;
  unsigned char GV_PWM_1.1_2;
  unsigned char GV_PWM_2.3_3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  GV_Operation_Mode.0_1 = GV_Operation_Mode;
  if (GV_Operation_Mode.0_1 == 1)
    goto <bb 3>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 3> [local count: 365072220]:
  # DEBUG BEGIN_STMT
  GV_PWM_1.1_2 = GV_PWM_1;
  if (GV_PWM_1.1_2 == 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 4> [local count: 182536110]:
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (0, 1.0e+2);
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (1, 0.0);
  # DEBUG BEGIN_STMT
  GV_PWM_1 = 1;
  # DEBUG BEGIN_STMT
  GV_PWM_2 = 0;
  goto <bb 11>; [100.00%]

  <bb 5> [local count: 182536110]:
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (0, 0.0);
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (1, 0.0);
  # DEBUG BEGIN_STMT
  GV_PWM_1 = 0;
  # DEBUG BEGIN_STMT
  GV_PWM_2 = 0;
  goto <bb 11>; [100.00%]

  <bb 6> [local count: 708669605]:
  # DEBUG BEGIN_STMT
  if (GV_Operation_Mode.0_1 == 0)
    goto <bb 7>; [67.00%]
  else
    goto <bb 10>; [33.00%]

  <bb 7> [local count: 474808635]:
  # DEBUG BEGIN_STMT
  GV_PWM_2.3_3 = GV_PWM_2;
  if (GV_PWM_2.3_3 == 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 8> [local count: 237404317]:
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (1, 1.0e+2);
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (0, 0.0);
  # DEBUG BEGIN_STMT
  GV_PWM_2 = 1;
  # DEBUG BEGIN_STMT
  GV_PWM_1 = 0;
  goto <bb 11>; [100.00%]

  <bb 9> [local count: 237404317]:
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (1, 0.0);
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (0, 0.0);
  # DEBUG BEGIN_STMT
  GV_PWM_2 = 0;
  # DEBUG BEGIN_STMT
  GV_PWM_1 = 0;
  goto <bb 11>; [100.00%]

  <bb 10> [local count: 233860969]:
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (1, 0.0);
  # DEBUG BEGIN_STMT
  Set_PWM_Duty (0, 0.0);
  # DEBUG BEGIN_STMT
  GV_PWM_2 = 0;
  # DEBUG BEGIN_STMT
  GV_PWM_1 = 0;

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

}