;; Function f (f)



 local analysis of f
   scanning: D.2014_7 = (long unsigned int) i_2;
  scanning: D.2015_8 = D.2014_7 * 4;
  scanning: D.2016_10 = a_9(D) + D.2015_8;
  scanning: D.2014_11 = (long unsigned int) i_2;
  scanning: D.2015_12 = D.2014_11 * 4;
  scanning: D.2017_14 = b_13(D) + D.2015_12;
  scanning: D.2018_15 = *D.2017_14;
    Indirect ref read is not const
  scanning: D.2019_17 = D.2018_15 + c_16(D);
  scanning: *D.2016_10 = D.2019_17;
    Indirect ref write is not const/pure
  scanning: count_18 = count_1 + 1;
  scanning: i_19 = i_2 + 1;
  scanning: if (i_2 <= end_6(D))
  scanning: D.2020_21 = sp_20(D)->s;
    Indirect ref read is not const
  scanning: D.2021_22 = D.2020_21->vp;
    Indirect ref read is not const
  scanning: D.2022_23 = (int (*<T264>) (const char *, void *, int *)) D.2021_22;
  scanning: D.2022_23 ("Hello World!\n", exit, &M_var);
  scanning: return count_1;
Function is locally looping.
Function found to be nothrow: f
f (int start, int end, int * a, int * b, int c, struct s * sp)
{
  int i;
  int count;
  int (*<T264>) (const char *, void *, int *) D.2022;
  void * D.2021;
  struct s * D.2020;
  int D.2019;
  int D.2018;
  int * D.2017;
  int * D.2016;
  long unsigned int D.2015;
  long unsigned int D.2014;

  # BLOCK 2 freq:900
  # PRED: ENTRY [100.0%]  (fallthru,exec)
  goto <bb 4>;
  # SUCC: 4 [100.0%]  (fallthru,exec)

  # BLOCK 3 freq:9100
  # PRED: 4 [91.0%]  (true,exec)
  D.2014_7 = (long unsigned int) i_2;
  D.2015_8 = D.2014_7 * 4;
  D.2016_10 = a_9(D) + D.2015_8;
  D.2014_11 = (long unsigned int) i_2;
  D.2015_12 = D.2014_11 * 4;
  D.2017_14 = b_13(D) + D.2015_12;
  D.2018_15 = *D.2017_14;
  D.2019_17 = D.2018_15 + c_16(D);
  *D.2016_10 = D.2019_17;
  count_18 = count_1 + 1;
  i_19 = i_2 + 1;
  # SUCC: 4 [100.0%]  (fallthru,dfs_back,exec)

  # BLOCK 4 freq:10000
  # PRED: 2 [100.0%]  (fallthru,exec) 3 [100.0%]  (fallthru,dfs_back,exec)
  # count_1 = PHI <0(2), count_18(3)>
  # i_2 = PHI <start_4(D)(2), i_19(3)>
  if (i_2 <= end_6(D))
    goto <bb 3>;
  else
    goto <bb 5>;
  # SUCC: 3 [91.0%]  (true,exec) 5 [9.0%]  (false,exec)

  # BLOCK 5 freq:900
  # PRED: 4 [9.0%]  (false,exec)
  D.2020_21 = sp_20(D)->s;
  D.2021_22 = D.2020_21->vp;
  D.2022_23 = (int (*<T264>) (const char *, void *, int *)) D.2021_22;
  D.2022_23 ("Hello World!\n", exit, &M_var);
  return count_1;
  # SUCC: EXIT [100.0%] 

}



;; Function g (g)



 local analysis of g
   scanning: D.2029_7 = (unsigned int) i_2(D);
  scanning: csui.0_8 = D.2029_7 + 4294967295;
  scanning: if (csui.0_8 <= 4)
  scanning: <L8>:
  scanning: D.2012_5 = 0;
  scanning: <L9>:
  scanning: D.2012_6 = CSWTCH.1[csui.0_8];
  scanning: <L10>:
  scanning: <L7>:
  scanning: return D.2012_1;
Function is locally const.
Function found to be const: g
Function found to be nothrow: g
g (int i)
{
  unsigned int D.2029;
  unsigned int csui.0;
  int D.2012;

  # BLOCK 2 freq:10000
  # PRED: ENTRY [100.0%]  (fallthru,exec)
  D.2029_7 = (unsigned int) i_2(D);
  csui.0_8 = D.2029_7 + 4294967295;
  if (csui.0_8 <= 4)
    goto <bb 10> (<L9>);
  else
    goto <bb 9> (<L8>);
  # SUCC: 9 [39.0%]  (false) 10 [61.0%]  (true)

  # BLOCK 9 freq:3900
  # PRED: 2 [39.0%]  (false)
<L8>:
  D.2012_5 = 0;
  goto <bb 8> (<L10>);
  # SUCC: 8 [100.0%]  (fallthru)

  # BLOCK 10 freq:6100
  # PRED: 2 [61.0%]  (true)
<L9>:
  D.2012_6 = CSWTCH.1[csui.0_8];
  # SUCC: 8 [100.0%]  (fallthru)

  # BLOCK 8 freq:10000
  # PRED: 10 [100.0%]  (fallthru) 9 [100.0%]  (fallthru)
  # D.2012_1 = PHI <D.2012_6(10), D.2012_5(9)>
<L10>:
<L7>:
  return D.2012_1;
  # SUCC: EXIT [100.0%] 

}