
Reclaiming functions:
Reclaiming variables:
Clearing address taken flags:
Symbol table:

oal_mutex_destroy_internal/14 (oal_mutex_destroy_internal) @06eaeb60
  Type: function definition analyzed
  Visibility: externally_visible public
  References: mutex_alloc/12 (read)mutex_alloc/12 (write)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
oal_mutex_init_internal/13 (oal_mutex_init_internal) @06eae8c0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: mutex_alloc/12 (read)mutex_alloc/12 (write)mutex_alloc/12 (read)mutex_alloc/12 (write)mutex_alloc/12 (read)mutex_alloc/12 (write)mutex_alloc/12 (read)mutex_alloc/12 (write)mutex_alloc/12 (read)mutex_alloc/12 (write)mutex_alloc/12 (read)mutex_alloc/12 (write)mutex_alloc/12 (read)mutex_alloc/12 (write)mutex_alloc/12 (read)mutex_alloc/12 (write)
  Referring: 
  Availability: available
  Function flags: count:710563872 (estimated locally) body optimize_size
  Called by: 
  Calls: 
mutex_alloc/12 (mutex_alloc) @06eb0288
  Type: variable definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: oal_mutex_init_internal/13 (read)oal_mutex_init_internal/13 (write)oal_mutex_init_internal/13 (read)oal_mutex_init_internal/13 (write)oal_mutex_init_internal/13 (read)oal_mutex_init_internal/13 (write)oal_mutex_init_internal/13 (read)oal_mutex_init_internal/13 (write)oal_mutex_init_internal/13 (read)oal_mutex_init_internal/13 (write)oal_mutex_init_internal/13 (read)oal_mutex_init_internal/13 (write)oal_mutex_init_internal/13 (read)oal_mutex_init_internal/13 (write)oal_mutex_init_internal/13 (read)oal_mutex_init_internal/13 (write)oal_mutex_destroy_internal/14 (read)oal_mutex_destroy_internal/14 (write)
  Availability: available
  Varpool flags: initialized
oal_mutex_destroy_internal (oal_mutex_t * mutex)
{
  errno_t retval;
  short unsigned int _1;
  int _2;
  unsigned char _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG retval => 22
  # DEBUG BEGIN_STMT
  _1 = *mutex_7(D);
  if (_1 <= 255)
    goto <bb 3>; [65.00%]
  else
    goto <bb 5>; [35.00%]

  <bb 3> [local count: 697932186]:
  # DEBUG BEGIN_STMT
  _2 = (int) _1;
  _3 = mutex_alloc[_2];
  if (_3 == 1)
    goto <bb 4>; [48.89%]
  else
    goto <bb 5>; [51.11%]

  <bb 4> [local count: 341219046]:
  # DEBUG BEGIN_STMT
  mutex_alloc[_2] = 0;
  # DEBUG BEGIN_STMT
  *mutex_7(D) = 256;
  # DEBUG BEGIN_STMT
  # DEBUG retval => 0

  <bb 5> [local count: 1073741824]:
  # retval_4 = PHI <22(2), 0(4), 22(3)>
  # DEBUG retval => retval_4
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return retval_4;

}


oal_mutex_init_internal (oal_mutex_t * mutex)
{
  errno_t retval;
  uint16_t index;
  short unsigned int _1;
  int _2;
  int _3;
  unsigned char _4;
  int _5;
  unsigned char _6;
  int _7;
  unsigned char _8;
  int _11;
  unsigned char _12;
  int _15;
  unsigned char _16;
  int _17;
  int _18;
  int _19;
  unsigned char _20;
  int _23;
  unsigned char _24;
  int _26;
  int _27;
  int _28;
  unsigned char _29;
  int _30;
  int _31;

  <bb 2> [local count: 710563872]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG retval => -1
  # DEBUG BEGIN_STMT
  _1 = *mutex_42(D);
  _2 = (int) _1;
  switch (_1) <default: <L78> [11.11%], case 0: <L93> [11.11%], case 1: <L94> [11.11%], case 2: <L95> [11.11%], case 3: <L96> [11.11%], case 5: <L97> [11.11%], case 6: <L98> [11.11%], case 7 ... 9: <L99> [11.11%], case 161 ... 188: <L44> [11.11%]>

  <bb 40> [local count: 78943646]:
<L99>:
  goto <bb 22>; [100.00%]

  <bb 39> [local count: 78943646]:
<L98>:
  goto <bb 30>; [100.00%]

  <bb 38> [local count: 78943646]:
<L97>:
  goto <bb 26>; [100.00%]

  <bb 37> [local count: 78943646]:
<L96>:
  goto <bb 18>; [100.00%]

  <bb 36> [local count: 78943646]:
<L95>:
  goto <bb 14>; [100.00%]

  <bb 35> [local count: 78943646]:
<L94>:
  goto <bb 10>; [100.00%]

  <bb 34> [local count: 78943646]:
<L93>:
  goto <bb 6>; [100.00%]

  <bb 3> [local count: 1052696486]:
  # DEBUG BEGIN_STMT
  _3 = (int) index_32;
  _4 = mutex_alloc[_3];
  if (_4 == 0)
    goto <bb 4>; [5.50%]
  else
    goto <bb 5>; [94.50%]

  <bb 4> [local count: 57898307]:
  # _27 = PHI <_3(3)>
  # index_25 = PHI <index_32(3)>
  # DEBUG BEGIN_STMT
  mutex_alloc[_27] = 1;
  # DEBUG BEGIN_STMT
  *mutex_42(D) = index_25;
  # DEBUG BEGIN_STMT
  # DEBUG retval => 0
  # DEBUG BEGIN_STMT
  goto <bb 33>; [100.00%]

  <bb 5> [local count: 994798178]:
  # DEBUG BEGIN_STMT
  index_62 = index_32 + 1;
  # DEBUG index => index_62

  <bb 6> [local count: 1073741824]:
  # index_32 = PHI <index_62(5), 0(34)>
<L79>:
  # DEBUG index => index_32
  # DEBUG BEGIN_STMT
  if (index_32 != 50)
    goto <bb 3>; [98.04%]
  else
    goto <bb 33>; [1.96%]

  <bb 7> [local count: 1052696486]:
  # DEBUG BEGIN_STMT
  _5 = (int) index_33;
  _6 = mutex_alloc[_5];
  if (_6 == 0)
    goto <bb 8>; [5.50%]
  else
    goto <bb 9>; [94.50%]

  <bb 8> [local count: 57898307]:
  # _28 = PHI <_5(7)>
  # index_22 = PHI <index_33(7)>
  # DEBUG BEGIN_STMT
  mutex_alloc[_28] = 1;
  # DEBUG BEGIN_STMT
  *mutex_42(D) = index_22;
  # DEBUG BEGIN_STMT
  # DEBUG retval => 0
  # DEBUG BEGIN_STMT
  goto <bb 33>; [100.00%]

  <bb 9> [local count: 994798178]:
  # DEBUG BEGIN_STMT
  index_59 = index_33 + 1;
  # DEBUG index => index_59

  <bb 10> [local count: 1073741824]:
  # index_33 = PHI <index_59(9), 50(35)>
<L80>:
  # DEBUG index => index_33
  # DEBUG BEGIN_STMT
  if (index_33 != 100)
    goto <bb 7>; [98.04%]
  else
    goto <bb 33>; [1.96%]

  <bb 11> [local count: 438610077]:
  # DEBUG BEGIN_STMT
  _7 = (int) index_34;
  _8 = mutex_alloc[_7];
  if (_8 == 0)
    goto <bb 12>; [5.50%]
  else
    goto <bb 13>; [94.50%]

  <bb 12> [local count: 24123554]:
  # _30 = PHI <_7(11)>
  # index_21 = PHI <index_34(11)>
  # DEBUG BEGIN_STMT
  mutex_alloc[_30] = 1;
  # DEBUG BEGIN_STMT
  *mutex_42(D) = index_21;
  # DEBUG BEGIN_STMT
  # DEBUG retval => 0
  # DEBUG BEGIN_STMT
  goto <bb 33>; [100.00%]

  <bb 13> [local count: 414486523]:
  # DEBUG BEGIN_STMT
  index_56 = index_34 + 1;
  # DEBUG index => index_56

  <bb 14> [local count: 493430168]:
  # index_34 = PHI <index_56(13), 100(36)>
<L81>:
  # DEBUG index => index_34
  # DEBUG BEGIN_STMT
  if (index_34 != 108)
    goto <bb 11>; [88.89%]
  else
    goto <bb 33>; [11.11%]

  <bb 15> [local count: 816658401]:
  # DEBUG BEGIN_STMT
  _11 = (int) index_35;
  _12 = mutex_alloc[_11];
  if (_12 == 0)
    goto <bb 16>; [5.50%]
  else
    goto <bb 17>; [94.50%]

  <bb 16> [local count: 44916212]:
  # _31 = PHI <_11(15)>
  # index_14 = PHI <index_35(15)>
  # DEBUG BEGIN_STMT
  mutex_alloc[_31] = 1;
  # DEBUG BEGIN_STMT
  *mutex_42(D) = index_14;
  # DEBUG BEGIN_STMT
  # DEBUG retval => 0
  # DEBUG BEGIN_STMT
  goto <bb 33>; [100.00%]

  <bb 17> [local count: 771742188]:
  # DEBUG BEGIN_STMT
  index_53 = index_35 + 1;
  # DEBUG index => index_53

  <bb 18> [local count: 850685835]:
  # index_35 = PHI <index_53(17), 108(37)>
<L82>:
  # DEBUG index => index_35
  # DEBUG BEGIN_STMT
  if (index_35 != 132)
    goto <bb 15>; [96.00%]
  else
    goto <bb 33>; [4.00%]

  <bb 19> [local count: 648851891]:
  # DEBUG BEGIN_STMT
  _15 = (int) index_36;
  _16 = mutex_alloc[_15];
  if (_16 == 0)
    goto <bb 20>; [5.50%]
  else
    goto <bb 21>; [94.50%]

  <bb 20> [local count: 35686854]:
  # _18 = PHI <_15(19)>
  # index_13 = PHI <index_36(19)>
  # DEBUG BEGIN_STMT
  mutex_alloc[_18] = 1;
  # DEBUG BEGIN_STMT
  *mutex_42(D) = index_13;
  # DEBUG BEGIN_STMT
  # DEBUG retval => 0
  # DEBUG BEGIN_STMT
  goto <bb 33>; [100.00%]

  <bb 21> [local count: 613165037]:
  # DEBUG BEGIN_STMT
  index_44 = index_36 + 1;
  # DEBUG index => index_44

  <bb 22> [local count: 692108683]:
  # index_36 = PHI <index_44(21), 132(40)>
<L83>:
  # DEBUG index => index_36
  # DEBUG BEGIN_STMT
  if (index_36 != 147)
    goto <bb 19>; [93.75%]
  else
    goto <bb 33>; [6.25%]

  <bb 23> [local count: 475246032]:
  # DEBUG BEGIN_STMT
  _19 = (int) index_37;
  _20 = mutex_alloc[_19];
  if (_20 == 0)
    goto <bb 24>; [5.50%]
  else
    goto <bb 25>; [94.50%]

  <bb 24> [local count: 26138532]:
  # _17 = PHI <_19(23)>
  # index_10 = PHI <index_37(23)>
  # DEBUG BEGIN_STMT
  mutex_alloc[_17] = 1;
  # DEBUG BEGIN_STMT
  *mutex_42(D) = index_10;
  # DEBUG BEGIN_STMT
  # DEBUG retval => 0
  # DEBUG BEGIN_STMT
  goto <bb 33>; [100.00%]

  <bb 25> [local count: 449107500]:
  # DEBUG BEGIN_STMT
  index_50 = index_37 + 1;
  # DEBUG index => index_50

  <bb 26> [local count: 528051147]:
  # index_37 = PHI <index_50(25), 147(38)>
<L84>:
  # DEBUG index => index_37
  # DEBUG BEGIN_STMT
  if (index_37 != 156)
    goto <bb 23>; [90.00%]
  else
    goto <bb 33>; [10.00%]

  <bb 27> [local count: 309524661]:
  # DEBUG BEGIN_STMT
  _23 = (int) index_38;
  _24 = mutex_alloc[_23];
  if (_24 == 0)
    goto <bb 28>; [5.50%]
  else
    goto <bb 29>; [94.50%]

  <bb 28> [local count: 17023856]:
  # _26 = PHI <_23(27)>
  # index_9 = PHI <index_38(27)>
  # DEBUG BEGIN_STMT
  mutex_alloc[_26] = 1;
  # DEBUG BEGIN_STMT
  *mutex_42(D) = index_9;
  # DEBUG BEGIN_STMT
  # DEBUG retval => 0
  # DEBUG BEGIN_STMT
  goto <bb 33>; [100.00%]

  <bb 29> [local count: 292500805]:
  # DEBUG BEGIN_STMT
  index_47 = index_38 + 1;
  # DEBUG index => index_47

  <bb 30> [local count: 371444451]:
  # index_38 = PHI <index_47(29), 156(39)>
<L85>:
  # DEBUG index => index_38
  # DEBUG BEGIN_STMT
  if (index_38 != 161)
    goto <bb 27>; [83.33%]
  else
    goto <bb 33>; [16.67%]

  <bb 31> [local count: 78943646]:
<L44>:
  # DEBUG BEGIN_STMT
  _29 = mutex_alloc[_2];
  if (_29 == 0)
    goto <bb 32>; [98.00%]
  else
    goto <bb 33>; [2.00%]

  <bb 32> [local count: 77364773]:
  # DEBUG BEGIN_STMT
  mutex_alloc[_2] = 1;
  # DEBUG BEGIN_STMT
  # DEBUG retval => 0

  <bb 33> [local count: 710492817]:
  # retval_39 = PHI <-1(6), -1(10), -1(14), -1(18), -1(22), -1(26), -1(30), 0(32), -1(2), 0(4), 0(8), 0(12), 0(16), 0(20), 0(24), 0(28), -1(31)>
<L78>:
  # DEBUG retval => retval_39
  # DEBUG BEGIN_STMT
  return retval_39;

}


