;; Function f (f) Symbols to be put in SSA form { .MEM } Incremental SSA update started at block: 0 Number of blocks in CFG: 6 Number of blocks to update: 5 ( 83%) f (int start, int end, int * a, int * b, int c, struct s * sp) { int i; int count; int D.2023; int (*) (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; : count_3 = 0; i_5 = start_4(D); goto ; : 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; : # count_1 = PHI # i_2 = PHI if (i_2 <= end_6(D)) goto ; else goto ; : D.2020_21 = sp_20(D)->s; D.2021_22 = D.2020_21->vp; D.2022_23 = (int (*) (const char *, void *, int *)) D.2021_22; D.2022_23 ("Hello World!\n", exit, &M_var); D.2023_24 = count_1; return D.2023_24; } ;; Function g (g) g (int i) { int D.2012; : switch (i_2(D)) , case 1: , case 2: , case 3: , case 4: , case 5: > : D.2012_3 = 42; goto ; : D.2012_4 = 60; goto ; : D.2012_5 = 7; goto ; : D.2012_6 = 3; goto ; : D.2012_7 = 1048576; goto ; : D.2012_8 = 0; : # D.2012_1 = PHI return D.2012_1; }