;; Function baz (baz) baz () { int i; int * i.0; : [uninit-B.c : 12] if ([uninit-B.c : 12] i_1(D) != 0) goto ; else goto ; : [uninit-B.c : 13] bar (i_1(D)); : [uninit-B.c : 14] i.0_2 = (int *) i_1(D); [uninit-B.c : 14] foo (i.0_2); [uninit-B.c : 15] return; }